-
Pursuing Coxeter theory for Kac-Moody affine Hecke algebras
Authors:
Dinakar Muthiah,
Anna Puskás
Abstract:
The Kac-Moody affine Hecke algebra $\mathcal{H}$ was first constructed as the Iwahori-Hecke algebra of a $p$-adic Kac-Moody group by work of Braverman, Kazhdan, and Patnaik, and by work of Bardy-Panse, Gaussent, and Rousseau. Since $\mathcal{H}$ has a Bernstein presentation, for affine types it is a positive-level variation of Cherednik's double affine Hecke algebra.
Moreover, as $\mathcal{H}$ i…
▽ More
The Kac-Moody affine Hecke algebra $\mathcal{H}$ was first constructed as the Iwahori-Hecke algebra of a $p$-adic Kac-Moody group by work of Braverman, Kazhdan, and Patnaik, and by work of Bardy-Panse, Gaussent, and Rousseau. Since $\mathcal{H}$ has a Bernstein presentation, for affine types it is a positive-level variation of Cherednik's double affine Hecke algebra.
Moreover, as $\mathcal{H}$ is realized as a convolution algebra, it has an additional "$T$-basis" corresponding to indicator functions of double cosets. For classical affine Hecke algebras, this $T$-basis reflects the Coxeter group structure of the affine Weyl group. In the Kac-Moody affine context, the indexing set $W_{\mathcal{T}}$ for the $T$-basis is no longer a Coxeter group. Nonetheless, $W_{\mathcal{T}}$ carries some Coxeter-like structures: a Bruhat order, a length function, and a notion of inversion sets.
This paper contains the first steps toward a Coxeter theory for Kac-Moody affine Hecke algebras. We prove three results. The first is a construction of the length function via a representation of $\mathcal{H}$. The second concerns the support of products in classical affine Hecke algebras. The third is a characterization of length deficits in the Kac-Moody affine setting via inversion sets. Using this characterization, we phrase our support theorem as a precise conjecture for Kac-Moody affine Hecke algebras. Lastly, we give a conjectural definition of a Kac-Moody affine Demazure product via the $q=0$ specialization of $\mathcal{H}$.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
An Infinite Family of Connected 1-Factorisations of Complete 3-Uniform Hypergraphs
Authors:
Barbara Maenhaut,
Jeremy Mitchell,
Anna Puskas
Abstract:
A connected 1-factorisation is a 1-factorisation of a hypergraph for which the union of each pair of distinct 1-factors is a connected hypergraph. A uniform 1-factorisation is a 1-factorisation of a hypergraph for which the union of each pair of distinct 1-factors is isomorphic to the same subhypergraph, and a uniform-connected 1-factorisation is a uniform 1-factorisation in which that subhypergra…
▽ More
A connected 1-factorisation is a 1-factorisation of a hypergraph for which the union of each pair of distinct 1-factors is a connected hypergraph. A uniform 1-factorisation is a 1-factorisation of a hypergraph for which the union of each pair of distinct 1-factors is isomorphic to the same subhypergraph, and a uniform-connected 1-factorisation is a uniform 1-factorisation in which that subhypergraph is connected. Chen and Lu [Journal of Algebraic Combinatorics, 46(2) 475--497, 2017] describe a family of 1-factorisations of the complete 3-uniform hypergraph on $q+1$ vertices, where $q\equiv 2\pmod 3$ is a prime power. In this paper, we show that their construction yields a connected 1-factorisation only when $q=2,5,11$ or $q=2^p$ for some odd prime $p$, and a uniform 1-factorisation only for $q=2,5,8$ (each of these is a uniform-connected 1-factorisation).
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Arithmetic geometry of character varieties with regular monodromy, I
Authors:
Masoud Kamgarpour,
GyeongHyeon Nam,
Anna Puskás
Abstract:
We study character varieties arising as moduli of representations of an orientable surface group into a reductive group $G$. We first show that if $G/Z$ acts freely on the representation variety, then both the representation variety and the character variety are smooth and equidimensional. Next, we count points on a family of smooth character varieties; namely, those involving both regular semisim…
▽ More
We study character varieties arising as moduli of representations of an orientable surface group into a reductive group $G$. We first show that if $G/Z$ acts freely on the representation variety, then both the representation variety and the character variety are smooth and equidimensional. Next, we count points on a family of smooth character varieties; namely, those involving both regular semisimple and regular unipotent monodromy. In particular, we show that these varieties are polynomial count and obtain an explicit expression for their $E$-polynomials. Finally, by analysing the $E$-polynomial, we determine certain topological invariants of these varieties such as the Euler characteristic and the number of connected components. As an application, we give an example of a cohomologically rigid representation which is not physically rigid.
△ Less
Submitted 14 September, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Crystal constructions in Number Theory
Authors:
Anna Puskás
Abstract:
Weyl group multiple Dirichlet series and metaplectic Whittaker functions can be described in terms of crystal graphs. We present crystals as parameterized by Littelmann patterns and we give a survey of purely combinatorial constructions of prime power coefficients of Weyl group multiple Dirichlet series and metaplectic Whittaker functions using the language of crystal graphs. We explore how the br…
▽ More
Weyl group multiple Dirichlet series and metaplectic Whittaker functions can be described in terms of crystal graphs. We present crystals as parameterized by Littelmann patterns and we give a survey of purely combinatorial constructions of prime power coefficients of Weyl group multiple Dirichlet series and metaplectic Whittaker functions using the language of crystal graphs. We explore how the branching structure of crystals manifests in these constructions, and how it allows access to some intricate objects in number theory and related open questions using tools of algebraic combinatorics.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Ramanujan graphs in cryptography
Authors:
Anamaria Costache,
Brooke Feigon,
Kristin Lauter,
Maike Massierer,
Anna Puskás
Abstract:
In this paper we study the security of a proposal for Post-Quantum Cryptography from both a number theoretic and cryptographic perspective. Charles-Goren-Lauter in 2006 [CGL06] proposed two hash functions based on the hardness of finding paths in Ramanujan graphs. One is based on Lubotzky-Phillips-Sarnak (LPS) graphs and the other one is based on Supersingular Isogeny Graphs. A 2008 paper by Petit…
▽ More
In this paper we study the security of a proposal for Post-Quantum Cryptography from both a number theoretic and cryptographic perspective. Charles-Goren-Lauter in 2006 [CGL06] proposed two hash functions based on the hardness of finding paths in Ramanujan graphs. One is based on Lubotzky-Phillips-Sarnak (LPS) graphs and the other one is based on Supersingular Isogeny Graphs. A 2008 paper by Petit-Lauter-Quisquater breaks the hash function based on LPS graphs. On the Supersingular Isogeny Graphs proposal, recent work has continued to build cryptographic applications on the hardness of finding isogenies between supersingular elliptic curves. A 2011 paper by De Feo-Jao-Plût proposed a cryptographic system based on Supersingular Isogeny Diffie-Hellman as well as a set of five hard problems. In this paper we show that the security of the SIDH proposal relies on the hardness of the SIG path-finding problem introduced in [CGL06]. In addition, similarities between the number theoretic ingredients in the LPS and Pizer constructions suggest that the hardness of the path-finding problem in the two graphs may be linked. By viewing both graphs from a number theoretic perspective, we identify the similarities and differences between the Pizer and LPS graphs.
△ Less
Submitted 17 December, 2018; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Correction factors for Kac-Moody groups and $t$-deformed root multiplicities
Authors:
Dinakar Muthiah,
Anna Puskás,
Ian Whitehead
Abstract:
We study a correction factor for Kac-Moody root systems which arises in the theory of $p$-adic Kac-Moody groups. In affine type, this factor is known, and its explicit computation is the content of the Macdonald constant term conjecture. The data of the correction factor can be encoded as a collection of polynomials $m_λ\in \mathbb{Z}[t]$ indexed by positive imaginary roots $λ$. At $t=0$ these pol…
▽ More
We study a correction factor for Kac-Moody root systems which arises in the theory of $p$-adic Kac-Moody groups. In affine type, this factor is known, and its explicit computation is the content of the Macdonald constant term conjecture. The data of the correction factor can be encoded as a collection of polynomials $m_λ\in \mathbb{Z}[t]$ indexed by positive imaginary roots $λ$. At $t=0$ these polynomials evaluate to the root multiplicities, so we consider $m_λ$ to be a $t$-deformation of $\mathrm{mult} (λ)$. We generalize the Peterson algorithm and the Berman-Moody formula for root multiplicities to compute $m_λ$. As a consequence we deduce fundamental properties of $m_λ$.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Imaginary Multiquadratic Fields of Class Number Dividing $2^m$
Authors:
Amy Feaver,
Anna Puskas
Abstract:
This paper gives a method to find all imaginary multiquadratic fields of class number dividing $2^{m},$ provided the list of all imaginary quadratic fields of class number dividing $2^{m+1}$ is known. We give a bound on the degree of such fields. As an application of this algorithm, we compute a complete list of imaginary multiquadratic fields with class number dividing $32.$
This paper gives a method to find all imaginary multiquadratic fields of class number dividing $2^{m},$ provided the list of all imaginary quadratic fields of class number dividing $2^{m+1}$ is known. We give a bound on the degree of such fields. As an application of this algorithm, we compute a complete list of imaginary multiquadratic fields with class number dividing $32.$
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Metaplectic Covers of Kac-Moody Groups and Whittaker Functions
Authors:
Manish Patnaik,
Anna Puskás
Abstract:
Starting from some linear algebraic data (a Weyl-group invariant bilinear form) and some arithmetic data (a bilinear Steinberg symbol), we construct a cover of a Kac-Moody group generalizing the work of Matsumoto. Specializing our construction over non-archimedean local fields, for each positive integer n we obtain the notion of $n$-fold metaplectic covers of Kac-Moody groups. In this setting, we…
▽ More
Starting from some linear algebraic data (a Weyl-group invariant bilinear form) and some arithmetic data (a bilinear Steinberg symbol), we construct a cover of a Kac-Moody group generalizing the work of Matsumoto. Specializing our construction over non-archimedean local fields, for each positive integer n we obtain the notion of $n$-fold metaplectic covers of Kac-Moody groups. In this setting, we prove a Casselman-Shalika type formula for Whittaker functions.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Whittaker functions on metaplectic covers of GL(r)
Authors:
Anna Puskás
Abstract:
This paper establishes a combinatorial link between different approaches to constructing Whittaker functions on a metaplectic group over a non-archimedean local field. We prove a metaplectic analogue of Tokuyama's Theorem and give a crystal description of polynomials related to Iwahori-Whittaker functions. The proof relies on formulas of metaplectic Demazure and Demazure-Lusztig operators, proved…
▽ More
This paper establishes a combinatorial link between different approaches to constructing Whittaker functions on a metaplectic group over a non-archimedean local field. We prove a metaplectic analogue of Tokuyama's Theorem and give a crystal description of polynomials related to Iwahori-Whittaker functions. The proof relies on formulas of metaplectic Demazure and Demazure-Lusztig operators, proved previously in joint work with Gautam Chinta and Paul E. Gunnells.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
-
Whittaker functions and Demazure characters
Authors:
Kyu-Hwan Lee,
Cristian Lenart,
Dongwen Liu,
Dinakar Muthiah,
Anna Puskás
Abstract:
In this paper, we consider how to express an Iwahori--Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman--Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation o…
▽ More
In this paper, we consider how to express an Iwahori--Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman--Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a p-adic group; this generalizes a result of Bump--Nakasuji.
△ Less
Submitted 17 March, 2016; v1 submitted 20 February, 2016;
originally announced February 2016.
-
On Iwahori-Whittaker Functions for Metaplectic Groups
Authors:
Manish M. Patnaik,
Anna Puskás
Abstract:
We relate Iwahori-Whittaker functions on metaplectic covers to certain Demazure-Lusztig operators, the latter of which are built from a Weyl group action previously considered by G. Chinta and P. Gunnells. Using a certain combinatorial identity for the sum of these Demazure-Lusztig operators, we obtain an analogue of the Casselman-Shalika formula for spherical Whittaker functions in this context.
We relate Iwahori-Whittaker functions on metaplectic covers to certain Demazure-Lusztig operators, the latter of which are built from a Weyl group action previously considered by G. Chinta and P. Gunnells. Using a certain combinatorial identity for the sum of these Demazure-Lusztig operators, we obtain an analogue of the Casselman-Shalika formula for spherical Whittaker functions in this context.
△ Less
Submitted 30 April, 2017; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Metaplectic Demazure operators and Whittaker functions
Authors:
Gautam Chinta,
Paul E. Gunnells,
Anna Puskas
Abstract:
In a previous paper the first two named authors defined an action of a Weyl group on rational functions and used it to construct multiple Dirichlet series. These series are related to Whittaker functions on an n-fold metaplectic cover of a reductive group. In this paper, we define metaplectic analogues of the Demazure and Demazure-Lusztig operators. We show how these operators, together with resul…
▽ More
In a previous paper the first two named authors defined an action of a Weyl group on rational functions and used it to construct multiple Dirichlet series. These series are related to Whittaker functions on an n-fold metaplectic cover of a reductive group. In this paper, we define metaplectic analogues of the Demazure and Demazure-Lusztig operators. We show how these operators, together with results of McNamara, can be used to compute Whittaker functions on metaplectic groups over p-adic fields.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
Multisymmetric polynomials in dimension three
Authors:
M. Domokos,
A. Puskás
Abstract:
The polarizations of one relation of degree five and two relations of degree six minimally generate the ideal of relations among a minimal generating system of the algebra of multisymmetric polynomials in an arbitrary number of three-dimensional vector variables. In the general case of $n$-dimensional vector variables, a relation of degree $2n$ among the polarized power sums is presented such th…
▽ More
The polarizations of one relation of degree five and two relations of degree six minimally generate the ideal of relations among a minimal generating system of the algebra of multisymmetric polynomials in an arbitrary number of three-dimensional vector variables. In the general case of $n$-dimensional vector variables, a relation of degree $2n$ among the polarized power sums is presented such that it is not contained in the ideal generated by lower degree relations.
△ Less
Submitted 8 December, 2009;
originally announced December 2009.