Related papers: Hyperkloosterman sums revisited
We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.
Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…
These are notes of my lecture courses given in the summer of 2024 in the School on Number Theory and Physics at ICTP in Trieste and in the 27th Brazilian Algebra Meeting at IME-USP in S\~ao Paulo. We give an elementary account of $p$-adic…
We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…
The maximal degree over rational numbers that an n-dimensinonal Kloosterman sum defined over a finite field of characteristic p can achieve is known to be (p-1)/d where d=gcd(p-1,n+1). Wan has shown that this maximal degree is always…
We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…
We study Kloosterman sums on the orthogonal groups $SO_{3,3}$ and $SO_{4,2}$, associated to short elements of their respective Weyl groups. An explicit description for these sums is obtained in terms of multi-dimensional exponential sums.…
We bound Kloosterman-like sums of the shape \[ \sum_{n=1}^N \exp(2\pi i (x \lfloor f(n)\rfloor+ y \lfloor f(n)\rfloor^{-1})/p), \] with integers parts of a real-valued, twice-differentiable function $f$ is satisfying a certain limit…
Let $G$ be a split connected reductive group over the ring of integers of a finite unramified extension $K$ of $\mathbf{Q}_p$. Under a standard assumption on the Coxeter number of $G$, we compute the cohomology algebra of $G(\mathcal{O}_K)$…
We stratify the $\mathrm{SL}_3$ big cell Kloosterman sets using the reduced word decomposition of the Weyl group element, inspired by the Bott-Samelson factorization. Thus the $\mathrm{SL}_3$ long word Kloosterman sum is decomposed into…
Wan proved the rationality of partial toric $L$-functions using $\ell$-adic techniques. In this paper, we present a $p$-adic proof in the spirit of Dwork. We demonstrate that partial $L$-functions can be expressed as an alternating product…
For each positive integer k, we investigate the L-function attached to the k-th symmetric power of the F-crystal associated to the family of cubic exponential sums of x^3 + \lambda x. We explore its rationality, field of definition, degree,…
Three dimensional hyperbolic manifolds have accumulation points in the spectrum of their volumes, leading to a divergence in the sum over topologies. The limit points are cusped hyperbolic manifolds, and we propose to renormalize the sum by…
Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…
If T is an ergodic automorphism of a Lebesgue probability space (X,A,m), the set of coboundries B = db =T(b)+b with symmetric difference + form a subgroup of the set of cocycles A. Using tools from descriptive set theory, Greg Hjorth showed…
We prove two transformations for the $p$-adic hypergeometric series which can be described as $p$-adic analogues of a Kummer's linear transformation and a transformation of Clausen. We first evaluate two character sums, and then relate them…
We study the relationship between recent conjectures on slopes of overconvergent p-adic modular forms "near the boundary" of p-adic weight space. We also prove in tame level 1 that the coefficients of the Fredholm series of the U_p operator…
We establish the exact structure of the cohomology associated to a certain matrix exponential sum investigated in prior work (arXiv:2109.00762) of the first and last author.
In this paper we generalize to associative superalgebras Gerstenhaber's work on cohomology structure of an associative algebra. We introduce two multiplications U and [-,-] on the cochain complex C^*(A;A) of an associative superalgebra A.…