LLT Polynomials and Hecke Algebra Traces

Alejandro H. Morales,Mark A. Skandera,Jiayuan Wang

DOI: https://doi.org/10.4204/EPTCS.403.31

2024-06-24

Abstract:We show that coefficients in unicellular LLT polynomials are evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements. We express these in terms of traditional trace bases, induction, and Kazhdan-Lusztig R-polynomials.

Combinatorics

What problem does this paper attempt to address?

Traces of Hecke Operators via Hypergeometric Character Sums

Jerome W. Hoffman,Wen-Ching Winnie Li,Ling Long,Fang-Ting Tu

2024-08-06

Abstract:In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works, is uniform and more geometric, and it works equally well for forms on elliptic modular curves and Shimura curves. The same method can be applied to obtain eigenvalues of Hecke operators as well.

Number Theory
Lusztig varieties and Macdonald polynomials

Arun Ram

2024-02-28

Abstract:This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to Macdonald polynomials and how this provides a framework for generalizing integral form and modified Macdonald polynomials to Lie types other than $GL_n$. The key steps are to recognize (a) that counting points in Lusztig varieties is equivalent to computing traces on the Hecke algebras, (b) that traces on the Hecke algebra determine elements of the center of the Hecke algebra, (c) that the Geck-Rouquier basis elements of the center of the Hecke algebra produce an `expansion matrix', (d) that the parabolic subalgebras of the Hecke algebra produce a `contraction matrix' and (e) that the combination `expansion-contraction' is the plethystic transformation that relates integral form Macdonald polynomials and modified Macdonald polynomials.

Representation Theory,Combinatorics
Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula

Stefan Dawydiak

2024-08-17

Abstract:Let $\tilde{W}$ be an extended affine Weyl group, $\mathbf{H}$ be the corresponding affine Hecke algebra over the ring $\mathbb{C}[\mathbf{q}^\frac{1}{2}, \mathbf{q}^{-\frac{1}{2}}]$, and $J$ be Lusztig's asymptotic Hecke algebra, viewed as a based ring with basis $\{t_w\}$. Viewing $J$ as a subalgebra of the $(\mathbf{q}^{-\frac{1}{2}})$-adic completion of $\mathbf{H}$ via Lusztig's map $\phi$, we use Harish-Chandra's Plancherel formula for $p$-adic groups to show that the coefficient of $T_x$ in $t_w$ is a rational function of $\mathbf{q}$, with denominator depending only on the two-sided cell containing $w$, and dividing a power of the Poincaré polynomial of the finite Weyl group. As an application, we conjecture that these denominators encode more detailed information about the failure of the Kazhdan-Lusztig classification at roots of the Poincaré polynomial than is currently known. Along the way, we show that upon specializing $\mathbf{q}=q>1$, the map from $J$ to the Harish-Chandra Schwartz algebra is injective. As an application of injectivity, we give a novel criterion for an Iwahori-spherical representation to have fixed vectors under a larger parahoric subgroup in terms of its Kazhdan-Lusztig parameter.

Representation Theory
Trace Forms on the Cyclotomic Hecke Algebras and Cocenters of the Cyclotomic Schur Algebras

Zhekun He,Jun Hu,Huang Lin

DOI: https://doi.org/10.1016/j.jpaa.2022.107281

IF: 0.834

2023-01-01

Journal of Pure and Applied Algebra

Abstract:We define a unified trace form τ on the cyclotomic Hecke algebras Hn,K of type A, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter ξ≠1) and Brundan-Kleshchev's trace form on the degenerate version. We use seminormal basis theory to construct an explicit pair of dual bases for Hn,K with respect to the form. We also construct an explicit basis for the cocenter of the corresponding cyclotomic Schur algebra, which shows that the cocenter has dimension independent of the ground field K, the Hecke parameter ξ and the cyclotomic parameters Q1,⋯,Qℓ.
Traces of Hecke operators on Drinfeld modular forms for $\mathbb{F}_q[T]$

Sjoerd de Vries

2024-07-05

Abstract:In this paper, we study traces of Hecke operators on Drinfeld modular forms of level 1 in the case $A = \mathbb{F}_q[T]$. We deduce closed-form expressions for traces of Hecke operators corresponding to primes of degree 1 and provide algorithms for primes of higher degree. We improve the Ramanujan bound and deduce the decomposition of cusp forms of level $\Gamma_0(T)$ into oldforms and newforms, as conjectured by Bandini-Valentino, under the hypothesis that each Hecke eigenvalue has multiplicity less than $p$.

Number Theory,Algebraic Geometry
A decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2

Xun Xie

DOI: https://doi.org/10.48550/arXiv.1509.05991

2015-09-20

Abstract:In this paper, we prove a decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2 with positive weight function. Then we discuss some applications of this kind of decomposition to Lusztig's conjectures P1-P15.

Representation Theory
A note on traces for the Heisenberg calculus

Alexander Gorokhovsky,Erik van Erp

2024-10-16

Abstract:In previous work, we gave a local formula for the index of Heisenberg elliptic operators on contact manifolds. We constructed a cocycle in periodic cyclic cohomology which, when paired with the Connes-Chern character of the principal Heisenberg symbol, calculates the index. A crucial ingredient of our index formula was a new trace on the algebra of Heisenberg pseudodifferential operators. The construction of this trace was rather involved. In the present paper, we clarify the nature of this trace.

Functional Analysis,Analysis of PDEs,Differential Geometry
Ehrhart polynomials, Hecke series, and affine buildings

Claudia Alfes,Joshua Maglione,Christopher Voll

2024-02-24

Abstract:Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.

Number Theory,Group Theory,Combinatorics
Deformed Kazhdan-Lusztig elements and Macdonald polynomials

Jan de Gier,Alain Lascoux,Mark Sorrell

DOI: https://doi.org/10.48550/arXiv.1007.0861

2011-06-06

Abstract:We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.

Combinatorics,Mathematical Physics,Representation Theory
Zeroes of Rankin-Selberg $L$-functions and the trace formula

Tian An Wong

2024-05-06

Abstract:We express the contribution of certain maximal parabolic Eisenstein series to the spectral side of the Arthur--Selberg trace formula for GL$(n)$ in terms of zeroes of Rankin--Selberg $L$-functions, generalizing previous results for GL(2) and Hecke $L$-functions. As applications, we prove a lower bound for the sum of these zeroes, and a base change relation between the zeroes in the case $n=2$ for cyclic extensions of prime degree.

Number Theory
Conditional expectations, traces, angles between spaces and Representations of the Hecke algebras

Florin Radulescu

DOI: https://doi.org/10.14510/lm-ns.v33i2.1199

2014-08-16

Abstract:In this paper we extend the results in [Ra] on the representation of the Hecke algebra, determined by the matrix coefficients of a projective, unitary representation, in the discrete series of representations of the ambient group, to a more general, vector valued case. This method is used to analyze the traces of the Hecke operators. We construct representations of the Hecke algebra of a group $G$, relative to an almost normal subgroup $\Gamma$, into the von Neumann algebra of the group $G$, tensor matrices. The representations we obtain are a lifting of the Hecke operators to this larger algebra. By summing up the coefficients of the terms in the representation one obtains the classical Hecke operators. These representations were used in the scalar case in [Ra], to find an alternative representation of the Hecke operators on Maass forms, and hence to reformulate the Ramanujan Petersson conjectures as a problem on the angle (see e.g. A. Connes's paper [Co] on the generalization of CKM matrix) between two subalgebras of the von Neumann algebra of the group $G$: the image of the representation of the Hecke algebra and the algebra of the almost normal subgroup.

Operator Algebras,Group Theory,Number Theory
Markov traces on degenerate cyclotomic Hecke algebras

Deke Zhao

2024-10-19

Abstract:Let $H_n(\boldsymbol{u})$ be the degenerate cyclotomic Hecke algebra with parameter $\boldsymbol{u}=(u_1, \ldots, u_m)$ over $\mathbb{C}(\boldsymbol{u})$. We define and construct the (non-)normalized Markov traces on the sequence $\{H_n(\boldsymbol{u})\}_{n=1}^{\infty}$. This allows us to provide a canonical symmetrizing form on $H_n(\boldsymbol{u})$ and show that the Brudan--Kleshchev trace on $H_n(\boldsymbol{u})$ is a specialization of the non-normalized Markov traces.

Representation Theory,Rings and Algebras
Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration

Joshua Maglione,Christopher Voll

2024-10-24

Abstract:We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.

Combinatorics,Group Theory,Number Theory
Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$

Liyang Yang

2023-09-14

Abstract:Let $\pi'$ be a fixed unitary cuspidal representation of $\mathrm{GL}(n)/\mathbb{Q}.$ We establish a subconvex bound in the $t$-aspect $$ L(1/2+it,\pi\times\pi')\ll_{\pi,\pi',\varepsilon}(1+|t|)^{\frac{n(n+1)}{4}-\frac{1}{4\cdot (4n^2+2n-1)}+\varepsilon}, $$ for any unitary pure isobaric automorphic representation $\pi$ of $\mathrm{GL}(n+1)/\mathbb{Q}.$ Moreover, the bound improves in the standard $L$-function case $$ L(1/2+it, \pi')\ll_{\pi',\varepsilon}(1+|t|)^{\frac{n}{4}-\frac{1}{4(n+1)(4n-1)}+\varepsilon}. $$ We also prove an explicit lower bound for nonvanishing of central $L$-values $$ \sum_{\pi\in\mathcal{A}_0}\textbf{1}_{L(1/2,\pi\times\pi')\neq 0}\gg_{\varepsilon}|\mathcal{A}_0|^{\frac{1}{n(n+1)(4n^2+2n-1)}-\varepsilon}, $$ for a suitable finite family $\mathcal{A}_0$ of unitary cuspidal representations of $\mathrm{GL}(n+1)/\mathbb{Q}.$ More generally, we address the spectral side subconvexity in the case of uniform parameter growth, and a quantitative form of simultaneous nonvanishing of central $L$-values for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$ (over $\mathbb{Q}$) in both level and eigenvalue aspects. Among other ingredients, our proofs employ a new relative trace formula in conjunction with P. Nelson's construction of archimedean test functions in \cite{Nel21} and volume estimates in \cite{Nel20}.

Number Theory
Markov Traces on Cyclotomic Temperley–Lieb Algebras

HB Rui

DOI: https://doi.org/10.1090/s0002-9939-06-08327-4

IF: 0.9709

2006-01-01

Proceedings of the American Mathematical Society

Abstract:In this note, we use generalized Tchebychev polynomials to define a trace function which satisfies certain conditions. Such a trace will be called the Markov trace. In particular, we obtain formulae for the weights of the Markov trace. As a corollary, we get a combinatorial identity. This generalizes Jones’s 1983 result on Temperley–Lieb algebras.
Algebraic twists of GL(2) automorphic forms

Vignesh Arumugam Nadarajan

2024-12-20

Abstract:In this article, we consider the problem of estimating the correlation of Hecke eigenvalues of GL2 automorphic forms with a class of functions of algebraic origin defined over finite fields called trace functions. The class of trace functions is vast and includes many standard exponential sums like Gauss sums, Klostermann sums, Hyperklostermann sums etc. In particular, we prove a Burgess type power saving (of 1/8) over the trivial bound for forms with level coprime to the prime p over whose residue field, the trace function is defined. For forms whose level is divisible by at most one power of p we obtain a saving of 1/12. This generalizes the results of E. Fouvry, E. Kowalski and Ph. Michel to the case of number fields, with a slightly more restrictive assumption on the Fourier-Möbius group attached to the trace function. Moreover, the implied constant for the 1/12 power saving bound has polynomial dependence on the archimedean part of the conductor of the form. We work using the language of adeles which makes the analysis involved softer and makes the generalization to number fields more natural. The proof proceeds by studying the amplified second moment spectral average of the correlation sum using the relative trace formula.

Number Theory
Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

Vasily Krylov,Kenta Suzuki

2024-01-12

Abstract:We extend the techniques in [BKK] to the non-simply-laced situation, and calculate explicit special values of parabolic affine inverse Kazhdan-Lusztig polynomials for subregular nilpotent orbits. We thus obtain explicit character formulas for certain irreducible representations of affine Lie algebras. To do so, using the geometry of the Springer resolution, we identify the cell quotient of the anti-spherical module over $\widehat{W}$ corresponding to the subregular cell with a certain one-dimensional extension of a module defined by Lusztig in [Lus83]. We describe the canonical basis in this module geometrically and present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution. They correspond to irreducible objects in the heart of a certain $t$-structure that we describe using an equivariant version of the derived McKay correspondence.

Representation Theory,Algebraic Geometry
A note on the trace formula

Eran Assaf

2024-03-25

Abstract:In this mostly expository note, we prove explicit formulas for the traces of Hecke operators on spaces of cusp forms fixed by Atkin-Lehner involutions, which are suitable for efficient implementation. In addition, we correct a couple of errors in previously published formulas.

Number Theory
A trace formula for Hecke operators on Fuchsian groups

Alexandru A. Popa

2023-06-18

Abstract:In this paper we give a trace formula for Hecke operators acting on the cohomology of a Fuchsian group of finite covolume, with coefficients in a module $V$. The proof is based on constructing an operator whose trace on $V$ equals the Lefschetz number of the Hecke correspondence on cohomology, generalizing the operator introduced together with Don Zagier for the modular group.

Number Theory

LLT Polynomials and Hecke Algebra Traces

Traces of Hecke Operators via Hypergeometric Character Sums

Lusztig varieties and Macdonald polynomials

Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula

Trace Forms on the Cyclotomic Hecke Algebras and Cocenters of the Cyclotomic Schur Algebras

Traces of Hecke operators on Drinfeld modular forms for $\mathbb{F}_q[T]$

A decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2

A note on traces for the Heisenberg calculus

Ehrhart polynomials, Hecke series, and affine buildings

Deformed Kazhdan-Lusztig elements and Macdonald polynomials

Zeroes of Rankin-Selberg $L$-functions and the trace formula

Conditional expectations, traces, angles between spaces and Representations of the Hecke algebras

Markov traces on degenerate cyclotomic Hecke algebras

Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration

Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$

Markov Traces on Cyclotomic Temperley–Lieb Algebras

Algebraic twists of GL(2) automorphic forms

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

A note on the trace formula

A trace formula for Hecke operators on Fuchsian groups