The purity locus of matrix Kloosterman sums

Márton Erdélyi,Will Sawin,Árpád Tóth

DOI: https://doi.org/10.1090/tran/9149

IF: 1.3529

2024-05-22

Transactions of the American Mathematical Society

Abstract:Márton Erdélyi, Will Sawin and Árpád Tóth Trans. Amer. Math. Soc. 377 (), 4117-4132. , references and article information

mathematics

What problem does this paper attempt to address?

Matrix Kloosterman sums modulo prime powers

Márton Erdélyi,Árpád Tóth,Gergely Zábrádi

2024-01-25

Abstract:We give optimal bounds for matrix Kloosterman sums modulo prime powers extending earlier work of the first two authors on the case of prime moduli. These exponential sums arise in the theory of the horocyclic flow on $\mathrm{GL}_n$.

Number Theory
On matrix Kloosterman sums and Hall-Littlewood polynomials

Elad Zelingher

2024-06-22

Abstract:We prove an identity relating twisted matrix Kloosterman sums to modified Hall-Littlewood polynomials evaluated at the roots of the characteristic polynomial associated to a twisted Kloosterman sheaf. This solves a conjecture of Erdélyi and Tóth.

Number Theory,Representation Theory
Kloosterman sums on orthogonal groups

Catinca Mujdei

2024-10-28

Abstract: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. These are bounded by a combination of methods from algebraic geometry and $p$-adic analysis.

Number Theory
On purity theorem of Lusztig's perverse sheaves

Jie Xiao,Fan Xu,Minghui Zhao

DOI: https://doi.org/10.48550/arxiv.1712.04167

2017-01-01

Abstract:Let $Q$ be a finite quiver without loops and $\mathcal{Q}_{\alpha}$ be the Lusztig category for any dimension vector $\alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $\mathcal{H}^i(\mathcal{L})|_x$ for a simple perverse sheaf $\mathcal{L}\in \mathcal{Q}_{\alpha}$ and $x\in \mathbb{E}_{\alpha}^{F^n}=\mathbb{E}_{\alpha}(\mathbb{F}_{q^n})$ are equal to $(\sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (\cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.
On inverted Kloosterman sums over finite fields

Xin Lin,Daqing Wan

DOI: https://doi.org/10.1007/s00209-024-03457-0

2024-03-09

Mathematische Zeitschrift

Abstract:The classical n -variable Kloosterman sums over finite fields are well understood by Deligne's theorem from complex point of view and by Sperber's theorem from p -adic point of view. In this paper, we study the complex and p -adic estimates of inverted n -variable Kloosterman sums, addressing a question of Katz (Finite Fields Appl 1(3):395–398, 1995). We shall give two complex estimates. The first one is elementary based on Gauss sums. The second estimate is deeper, depending on the cohomological results of Adolphson–Sperber, Denef–Loeser and Fu for twisted toric exponential sums. This deeper result assumes that the characteristic p does not divide Combining with Dwork's p -adic theory, we also determine the exact p -adic valuations for zeros and poles of the L-function associated to inverted n -variable Kloosterman sums in the case As we shall see, the inverted n -variable Kloosterman sum is more complicated than the classical n -variable Kloosterman sum in all aspects in the sense that our understanding is less complete, partly because the Hodge numbers are now mostly 2 instead of 1.

mathematics
Positivity preservers over finite fields

Dominique Guillot,Himanshu Gupta,Prateek Kumar Vishwakarma,Chi Hoi Yip

2024-10-19

Abstract:We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider matrices with entries in a finite field and obtain a complete characterization of such preservers for matrices of a fixed dimension. When the dimension of the matrices is at least $3$, we prove that, surprisingly, the positivity preservers are precisely the positive multiples of the field's automorphisms. We also obtain characterizations of preservers for matrices of dimension $2$ over a finite field with $q$ elements, unless $q \equiv 1 \pmod 4$ and $q$ is not a square. Our proofs build on several novel connections between positivity preservers and field automorphisms via the works of Weil, Carlitz, and Muzychuk-Kovács, and via the structure of cliques in Paley graphs.

Combinatorics,Commutative Algebra
Purity for Perfectoidness

Tongmu He

2024-05-07

Abstract:There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits of semi-stable affine schemes. In fact, we established a valuative criterion for such an algebra being perfectoid, saying that it suffices to check the perfectoidness of the stalks of the associated Riemann-Zariski space. Combining with Gabber-Ramero's computation of differentials of valuation rings, we obtain a differential criterion for perfectoidness. We also establish a purity result for perfectoidness when the limit preserves generic points of the special fibres.

Algebraic Geometry,Number Theory
Splines, lattice points, and arithmetic matroids

Matthias Lenz

DOI: https://doi.org/10.1007/s10801-015-0621-2

2014-09-15

Abstract:Let $X$ be a $(d\times N)$-matrix. We consider the variable polytope $\Pi_X(u) = \{w \ge 0 : X w = u \}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^d$ the volume of the polytope $\Pi_X(u)$ is piecewise polynomial. The Brion-Vergne formula implies that the number of lattice points in $\Pi_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$. In this article we slightly improve the Brion-Vergne formula and we study two spaces of differential operators that arise in this context: the space of relevant differential operators (i.e. operators that do not annihilate $T_X$) and the space of nice differential operators (i.e. operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the arithmetic matroid defined by the matrix $X$. They are closely related to the $\mathcal{P}$-spaces studied by Ardila-Postnikov and Holtz-Ron in the context of zonotopal algebra and power ideals.

Combinatorics,Commutative Algebra
K-theoretic positivity for matroids

Christopher Eur,Matt Larson

2024-09-19

Abstract:Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.

Algebraic Geometry,Combinatorics
Purity in chromatically localized algebraic K-theory

Markus Land,Akhil Mathew,Lennart Meier,Georg Tamme

DOI: https://doi.org/10.1090/jams/1043

2024-02-01

Journal of the American Mathematical Society

Abstract:We prove a purity property in telescopically localized algebraic K K -theory of ring spectra: For n ≥ 1 n\geq 1 , the T ( n ) T(n) -localization of K ( R ) K(R) only depends on the T ( 0 ) ⊕ ⋯ ⊕ T ( n ) T(0)\oplus \dots \oplus T(n) -localization of R R . This complements a classical result of Waldhausen in rational K K -theory. Combining our result with work of Clausen–Mathew–Naumann–Noel, one finds that L T ( n ) K ( R ) L_{T(n)}K(R) in fact only depends on the T ( n − 1 ) ⊕ T ( n ) T(n-1)\oplus T(n) -localization of R R , again for n ≥ 1 n \geq 1 . As consequences, we deduce several vanishing results for telescopically localized K K -theory, as well as an equivalence between K ( R ) K(R) and T C ( τ ≥ 0 R ) TC(\tau _{\geq 0} R) after T ( n ) T(n) -localization for n ≥ 2 n\geq 2 .

mathematics
On CM Points Away from the Torelli Locus

Ke Chen,Xin Lu,Kang Zuo

DOI: https://doi.org/10.1112/jlms.12462

2021-01-01

Abstract:In this paper we prove that certain points in the Hecke orbit of a CM point in the Siegel modular variety do not lie in the open Torelli locus under suitable conditions on the field of definition and the CM factors that arise in the corresponding CM abelian variety. The proof is a combination of properties of stable Faltings height and known cases of the Sato-Tate equidistribution, and is motivated by an analogue over function fields proved by Kukulies. We also discuss the relation of our result with questions of Ekedahl-Serre type and refine a previous result showing that certain Shimura subvarieties of unitary type in the Siegel modular variety only meet the open Torelli locus in dimension zero.
On the 3-rank of tame kernels of certain pure cubic number fields

YuanYuan Li,HouRong Qin

DOI: https://doi.org/10.1007/s11425-010-4088-2

2010-01-01

Science China Mathematics

Abstract:In this paper, we present some explicit formulas for the 3-rank of the tame kernels of certain pure cubic number fields, and give the density results concerning the 3-rank of the tame kernels. Numerical examples are given in Tables 1 and 2.
Exact Structures and Purity

Kevin Schlegel

2024-06-28

Abstract:We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties about exact structures. We specialize to the case of a module category over an Artin algebra and show that generic modules are in one to one correspondence with particular maximal exact structures.

Representation Theory,Category Theory
The Center of the Quantized Matrix Algebra

Hans Plesner Jakobsen,Hechun Zhang

DOI: https://doi.org/10.1006/jabr.1997.7121

IF: 0.908

1997-01-01

Journal of Algebra

Abstract:We compute the center in the case whereqis a root of unity. The main steps are to compute the degree of an associated quasipolynomial algebra and to compute the dimensions of some interesting irreducible modules.
Pure *-homomorphisms

Joan Bosa,Eduard Vilalta

2024-06-16

Abstract:We introduce and study a notion of pureness for *-homomorphisms and, more generally, for cpc. order-zero maps. After providing several examples of pureness, such as "$\mathcal{Z}$-stable"-like maps, we focus on the question of when pure maps factor through a pure C*-algebra. We show that, up to Cuntz equivalence, any composition of two pure maps factors through a pure object. This is used to obtain several factorization results at the level of C*-algebras.

Operator Algebras
A uniform lower bound for classical Kloosterman sums and applications

Stephan Baier,Jishu Das,Jewel Mahajan

2024-11-26

Abstract:We present an elementary uniform lower bound for the classical Kloosterman sum $S(a,b;c)$ where $(ab,c)=1$ and $c$ is an odd integer. We apply this lower bound for Kloosterman sums to derive an explicit lower bound in the Petersson's trace formula, subject to a given condition. Consequently, we achieve a modified version of a theorem by Jung and Sardari, where weight $k$ and level $N$ are permitted to vary independently. Using this modified version, we get a conditional lower bound for the trace of the operator $(T_n)^t$ for integer $t>1$, where $T_n$ denotes the normalised Hecke operator for natural number $n$ with $(n,N)=1.$

Number Theory
Purity and almost strict purity of Anderson t-modules

Alexis Lucas

2024-01-16

Abstract:We study the relations between the notion of purity of a t -module introduced by Anderson and that of almost strict purity for a t -module introduced by Namoijam and Papanikolas (concept already mentioned by G.Anderson and D.Goss).

Number Theory,Algebraic Geometry
On the complexity of matrix Putinar's Positivstellensatz

Lei Huang

2024-06-20

Abstract:This paper studies the complexity of matrix Putinar's Positivstellensatz on the semialgebraic set that is given by the polynomial matrix inequality. Under the archimedeanness, we prove a polynomial bound on degrees of terms appearing in the representation of matrix Putinar's Positivstellensatz. Estimates on the exponent and constant are given. As a byproduct, a polynomial bound on the convergence rate of matrix sum-of-squares relaxations is obtained, which resolves an open question raised by Dinh and Pham. When the constraining set is unbounded (the archimedeanness fails), we also prove a similar bound for the matrix version of Putinar--Vasilescu's Positivstellensatz by exploiting homogenization techniques.

Optimization and Control
On sufficient conditions for the total positivity and for the multiple positivity of matrices

Olga M. Katkova,Anna M. Vishnyakova

DOI: https://doi.org/10.48550/arXiv.math/0504183

2005-04-09

Abstract:The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$ The constant $4\cos ^2 \frac{\pi}{k+1}$ in this Theorem is sharp. A few other results concerning totally positive and multiply positive matrices are obtained. Keywords: Multiply positive matrix; Totally positive matrix; Strictly totally positive matrix; Toeplitz matrix; Hankel matrix; Pólya frequency sequence.

Rings and Algebras

The purity locus of matrix Kloosterman sums

Matrix Kloosterman sums modulo prime powers

On matrix Kloosterman sums and Hall-Littlewood polynomials

Kloosterman sums on orthogonal groups

On purity theorem of Lusztig's perverse sheaves

On inverted Kloosterman sums over finite fields

Positivity preservers over finite fields

Purity for Perfectoidness

Splines, lattice points, and arithmetic matroids

K-theoretic positivity for matroids

Purity in chromatically localized algebraic K-theory

On CM Points Away from the Torelli Locus

On the 3-rank of tame kernels of certain pure cubic number fields

Exact Structures and Purity

The Center of the Quantized Matrix Algebra

Pure *-homomorphisms

A uniform lower bound for classical Kloosterman sums and applications

Purity and almost strict purity of Anderson t-modules

On the complexity of matrix Putinar's Positivstellensatz

On sufficient conditions for the total positivity and for the multiple positivity of matrices