Kowalski, EmmanuelMichel, PhilippeSawin, Will2017-10-092017-10-092017-10-09201710.4007/annals.2017.186.2.2https://infoscience.epfl.ch/handle/20.500.14299/141225WOS:000409276100002We prove nontrivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the range controlled by Fourier-analytic methods (Polya-Vinogradov range). We then derive applications to the second moment of cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on GL(3). Our main tools are new bounds for certain complete sums in three variables over finite fields, proved using methods from algebraic geometry, especially l-adic cohomology and the Riemann Hypothesis.Kloosterman sumsKloosterman sheavesmonodromyRiemann Hypothesis over finite fieldsshort exponential sumsmoments of L-functionsarithmetic functions in arithmetic progressionstext::journal::journal article::research article