arXiv subjects

Alexander Braverman

Publications and source records attributed to Alexander Braverman.

At least 19 recordsLinked to original sources

arXiv2026

Relative Langlands duality and Koszul duality

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_\psi(Y)$ is polarized, so that $Q(X)=D_\psi(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_\psi(Y)\operatorname{-mod}^B)^{{\mathbb Z}/2}$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{B^\vee,\operatorname{mon}})^{{\mathbb Z}/2}$.

math.AG↗

arXiv2026

An analogue of irreducible cuspidal representations for the group $PGL(2)$ over a two-dimensional local field

Let $F$ be a local non-archimedian field of odd residue characteristic and let $G=PGL(2)$. In this paper we study an analog of irreducible cuspidal representations of the group $G(F)$ when $F$ is replaced by the field $K=F((t))$. The story turns out to be similar to the classical case, but also with some differences. We present a construction of such representations essentially (up to a small subtlety) starting from a quadratic extension $L$ of $K$ and a character $\theta:L^*/K^*\to \mathbb C^*$ which is not Galois invariant. We also show that the restriction of the representations we construct to the group $P(K)$ (here $P$ is a Borel subgroup of $PGL(2)$) is irreducible. However, contrary to the classical case it turns out that these restrictions are not isomorphic to the "standard" irreducible cuspidal representation of $P(K)$. In the Appendix we propose a notion of cuspidality for smooth representations of the group $H(K)$ for an arbitrary split reductive group $H$.

math.RT↗

arXiv2024

Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

We establish an $S$-duality converse to the one studied by the 1st, 2nd and 4th authors; this is also a case of a twisted version of the relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh.. Namely, we prove that the $S$-dual of $\text{SO}(2n+1)\times \text{Sp}(2n)$ acting on the tensor product of their tautological representations is the symplectic mirabolic space $\text{Sp}(2n)\times\text{Sp}(2n)$ acting on the product $T^* \text{Sp}(2n)$ and the tautological representations of $\text{Sp}(2n)$. (Note that due to the anomaly, the dual of the second factor $\text{Sp}(2n)$ is the metaplectic dual, i.e. $\text{Sp}(2n)$). We also formulate the corresponding global conjecture, which describes explicitly the categorical theta-correspondence on the Langlands dual side.

math.RT↗

arXiv2024

Schwartz $\kappa$-densities for the moduli stack of rank $2$ bundles on a curve over a local field

Let $\rm{Bun}$ be the moduli stack of rank $2$ bundles with fixed determinant on a smooth proper curve $C$ over a local field $F$. We show how to associate with a Schwartz $\kappa$-density, for $\rm{Re}(\kappa)\ge 1/2$, a smooth function on the corresponding coarse moduli space of very stable bundles. In the non-archimedean case we also prove that the stack $\rm{Bun}$ is $\kappa$-bounded in the sense of Definition 2.10 of [arXiv:2112.08139] for any $\kappa\in\mathbb{C}$.

math.AG↗

arXiv2023

Hecke algebras for the 1st congruence subgroup and bundles on ${\mathbb P}^1$ I: the case of finite field

Let $G$ be a split reductive group over a finite field $k$. In this note we study the space $V$ of finitely supported functions on the set of isomorphism classes $G$-bundles on the projective line ${\mathbb P}^1$ endowed with a trivialization at $0$ and $\infty$. We show that $V$ is naturally isomorphic to the regular bimodule over the Hecke algebra $A$ of the group $G(k((t)))$ with respect to the first congruence subgroup. As a byproduct we show that Hecke operators at points different from $0$ and $\infty$ to generate the "stable center" of $A$. We provide an expression of the character of the lifting of an irreducible cuspidal representation of $GL(N,k)$ to $GL(N,k')$ where $k'$ is a finite extension of $k$ in terms of these generators. In a subsequent publication we plan to develop analogous constructions in the case when $k$ is replaced by a local non-archimedian field.

math.RT↗

arXiv2023

Hecke operators for curves over non-archimedean local fields and related finite rings

We study Hecke operators associated with curves over a non-archimedean local field $K$ and over the rings $O/{\mathfrak m}^N$, where $O\subset K$ is the ring of integers. Our main result is commutativity of a certain "small" local Hecke algebra over $O/{\mathfrak m}^N$, associated with a connected split reductive group $G$ such that $[G,G]$ is simple and simpy connected. The proof uses a Hecke algebra associated with $G(K(\!(t)\!))$ and a global argument involving $G$-bundles on curves.

math.NT↗

arXiv2023

Automorphic functions for nilpotent extensions of curves over finite fields

We define and study the subspace of cuspidal functions for $G$-bundles on a class of nilpotent extensions $C$ of curves over a finite field. We show that this subspace is preserved by the action of a certain noncommutative Hecke algebra $\mathcal{H}_{G,C}$. In the case $G=\rm{GL}_2$, we construct a commutative subalgebra in $\mathcal{H}_{G,C}$ of Hecke operators associated with simple divisors. In the case of length 2 extensions and of $G=\rm{GL}_2$, we prove that the space of cuspidal functions (for bundles with a fixed determinant) is finite-dimensional and provide bounds on its dimension. In this case we also construct some Hecke eigenfunctions using the relation to Higgs bundles over the corresponding reduced curve.

math.NT↗

arXiv2023

A fusion construction of local L-factors

We propose a new conjectural way to calculate the local $L$-factor $L=L_\chi(\pi,\rho,s)$ where $\pi$ is a representation of a $p$-adic group $G$, $\rho$ is an algebraic representation of the dual group $G^{\vee}$ and $\chi$ is an algebraic character of $G$ satisfying a positivity condition. A method going back to Godement and Jacquet yields a description of $L$ using as an input a certain space ${\mathcal S}_\rho$ of functions on $G$ depending on $\rho$. A (partly conjectural) description of ${\mathcal S}_\rho$ involving trace of Frobenius functions associated to perverse sheaves on the loop space of a semigroup containing $G$ was developed %by Bouthier, Ngo and Sakellaridis, partly based on an earlier work of Braverman and Kazhdan. Here we propose a different, more general conjectural description of ${\mathcal S}_\rho$: it also refers to trace of Frobenius functions but instead of the loop space of a semi-group we work with the ramified global Grassmannian fibering over the configuration space of points on a global curve defined by Beilinson-Drinfeld and Gaitsgory (a relation between two approaches is discussed in the appendix). Our main result asserts validity of our conjectures where $\pi$ is generated by an Iwahori fixed vector: we show that in this case it is compatible with the standard formula for $L$ involving local Langlands correspondence which is known for such representations $\pi$. The proof is based on properties of the coherent realization of the affine Hecke category.

math.RT↗

arXiv2022

Orthosymplectic Satake equivalence

This is a companion paper of arXiv:1909.11492. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of $SO(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $SO_N$. We explain how this equivalence fits into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh.

math.RT↗

arXiv2022

Orthosymplectic Satake equivalence, II

This is a companion paper of arXiv:1909.11492 and arXiv:1912.01930. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of twisted $Sp(2n,{\mathbb C}[\![t]\!])$-equivariant $D$-modules on the so called mirabolic affine Grassmannian of $Sp(2n)$. We also discuss (conjectural) extension of this equivalence to the case of quantum supergroups and to some exceptional supergroups.

math.RT↗

arXiv2022

A quasi-coherent description of the category D-mod(Gr$_{GL(n)}$)

In arXiv:1807.09038 we formulated a conjecture describing the derived category D-mod(Gr$_{GL(n)}$) of (all) D-modules on the affine Grassmannian of the group $GL(n)$ as the category of quasi-coherent sheaves on a certain stack (it is explained in loc. cit. that this conjecture "follows" naturally from some heuristic arguments involving 3-dimensional quantum field theory). In this paper we prove a weaker version of this conjecture for the case $n=2$.

math.RT↗

arXiv2022

Automorphic functions on moduli spaces of bundles on curves over local fields: a survey

This paper is the written version of D.Kazhdan's plenary talk at ICM 2022. It is dedicated to an exposition of recent results and (mostly) conjectures attempting to construct an analog of the theory of automorphic functions on moduli spaces of bundles on curves over local fields (both archimedian and non-archimedian). The talk is based on joint works of D.Kazhdan with A.Braverman, P.Etingof, E.Frenkel and A.Polishchuk.

math.RT↗

arXiv2022

Kazhdan-Lusztig conjecture via Zastava spaces

We deduce the Kazhdan-Lusztig conjecture on the multiplicities of simple modules over a simple complex Lie algebra in Verma modules in category O from the equivariant geometric Satake correspondence and the analysis of torus fixed points in zastava spaces. We make similar speculations for the affine Lie algebras and W-algebras.

math.RT↗

arXiv2022

Coulomb branches of noncotangent type (with appendices by Gurbir Dhillon and Theo Johnson-Freyd)

We propose a construction of the Coulomb branch of a $3d\ {\mathcal N}=4$ gauge theory corresponding to a choice of a connected reductive group $G$ and a symplectic finite-dimensional reprsentation $\mathbf M$ of $G$, satisfying certain anomaly cancellation condition. This extends the construction of arXiv:1601.03586 (where it was assumed that ${\mathbf M}={\mathbf N}\oplus{\mathbf N}^*$ for some representation $\mathbf N$ of $G$). Our construction goes through certain "universal" ring object in the twisted derived Satake category of the symplectic group $Sp(2n)$. The construction of this object uses a categorical version of the Weil representation; we also compute the image of this object under the (twisted) derived Satake equivalence and show that it can be obtained from the theta-sheaf introduced by S.Lysenko on $\operatorname{Bun}_{Sp(2n)}({\mathbb P}^1)$ via certain Radon transform. We also discuss applications of our construction to a potential mathematical construction of $S$-duality for super-symmetric boundary conditions in 4-dimensional gauge theory and to (some extension of) the conjectures of D.Ben-Zvi, Y.Sakellaridis and A.Venkatesh.

math.AG↗

arXiv2021

Mirabolic Satake equivalence and supergroups

We construct a mirabolic analogue of the geometric Satake equivalence. We also prove an equivalence that relates representations of a supergroup with the category of $GL(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $GL_N$. We explain how our equivalences fit into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh.

math.RT↗

arXiv2021

Gaiotto conjecture for $Rep_q(GL(N-1|N))$

We prove D.Gaiotto's conjecture about geometric Satake equivalence for quantum supergroup $U_q({\mathfrak{gl}}(N-1|N))$ for generic $q$. The equivalence goes through the category of factorizable sheaves.

math.RT↗

arXiv2021

Some results about the geometric Whittaker model

Let G be an algebraic reductive group over a an algebraically closed field of positive characteristic. Choose a parabolic subgroup $P$ in $G$ and denote by $U$ its unipotent radical. Let $X$ be a $G$-variety. The purpose of this paper is to give two examples of a situation in which the functor of averaging of l-adic sheaves on $X$ with respect to a generic character of $U$ commutes with Verdier duality. In the first example we take $χ$ to be an arbitrary $G$-variety and we prove the above property for all $\overline{P}$-equivariant sheaves on $X$ where $\overline{P}$ is an opposite parabolic subgroup assuming $χ$ satisfies a strong nondegeneracy condition (such a $χ$ exists for some but not all choices of $P$). In the case when $P$ is a Borel subgroup it is enough to require that the sheaf in question is $\overline{U}$ equivariant where $\overline{U}$ is the unipotent radical of $\overline{P}$. In the second example we take $X = G$ where $G$ acts by left translations and we prove the corresponding result when $P$ is a Borel subgroup for sheaves equivariant under the adjoint action of $G$ (the latter result was conjectured by B. C. Ngo who proved it for $G = GL(n)$). As an application we reprove a theorem of N. Katz and G. Laumon about local acyclicity of the kernel of the Fourier-Deligne transform.

math.AG↗

arXiv2020

Cyclotomic double affine Hecke algebras (with an appendix by Hiraku Nakajima and Daisuke Yamakawa)

We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a subalgebra of the degenerate DAHA of type A given by generators; (2) as an algebra given by generators and relations; (3) as an algebra of differential-reflection operators preserving some spaces of functions; (4) as equivariant Borel-Moore homology of a certain variety. Also, we define a new $q$-deformation of this algebra, which we call cyclotomic DAHA. Namely, we give a $q$-deformation of each of the above four descriptions of the partially spherical rational Cherednik algebra, replacing differential operators with difference operators, degenerate DAHA with DAHA, and homology with K-theory, and show that they give the same algebra. In addition, we show that spherical cyclotomic DAHA are quantizations of certain multiplicative quiver and bow varieties, which may be interpreted as K-theoretic Coulomb branches of a framed quiver gauge theory. Finally, we apply cyclotomic DAHA to prove new flatness results for various kinds of spaces of $q$-deformed quasiinvariants. In the appendix by H. Nakajima and D. Yamakawa (added in version 2), the authors explain the relations between multiplicative bow varieties and (various versions of) multiplicative quiver varieties for a cyclic quiver.

math.RT↗