Search arXiv⌕ Search

arXiv subjects

Hamed Ebadi

Publications and source records attributed to Hamed Ebadi.

2 recordsLinked to original sources

Cohomology of Linearly Constrained Kloosterman Families: Newton Polytopes, Weights, and Boundary Monodromy

We develop the cohomological structure of a family of linearly constrained Kloosterman-type exponential sums in arbitrary dimension. The phase is analyzed through its Newton polytope and the polytope at infinity, whose distinct normalized volumes govern respectively the critical-point geometry and compactly supported cohomology. After a face-by-face non-degeneracy argument, we determine concentration, rank, boundary contribution, Swan conductors, lissité, and the full weight filtration; the top-weight rank is $2^n-\binom{n}{\lfloor n/2\rfloor}$. We then prove the coordinate-boundary tameness needed for middle convolution by a local Fourier-transform argument, compute the tame unipotent Jordan blocks, and identify the restriction of the top-weight sheaf with the middle convolution. A complete fourth-moment calculation based on the Cayley cubic gives $M_4=2$ for $n\ge3$; together with the nontrivial boundary unipotent and Larsen's alternative this yields $G^0_{\mathrm{geom}}(\mathcal W_n)=\mathrm{SL}_{r(n)}$ for every $n\ge2$ in the stated characteristic range. The argument avoids finite-group classification.

math.NT↗

Moments and Large Geometric Monodromy for Linearly Constrained Kloosterman Families

We determine the connected geometric monodromy of the top-weight sheaves attached to linearly constrained Kloosterman families in every dimension n >= 4 and every characteristic p > max(2,n). The quantitative input is a fourth-moment identity whose auxiliary geometry depends on the moment degree rather than on the ambient family dimension. After an exact decoupling, the generic stratum is controlled by plane sections of the Cayley cubic, and a projective-ray argument gives the required power saving uniformly in each fixed dimension. On the geometric side, a local Fourier-transform calculation and Rojas-Leon's multiplicative-convolution formula produce a nonidentity unipotent boundary element. The fourth moment, reductivity, infinitude, and Larsen's alternative then give G_geom^0(W_n) = SL_r(n) without finite-group classification or numerical exceptional-case certificates. For comparison, we retain the independent Guralnick-Tiep route, including its sixth-moment and exact finite computations, but it is not used in the proof of the main theorem.

math.NT↗