Searcharxiv⌕ Search

arXiv subjects

Eric Rains

Publications and source records attributed to Eric Rains.

At least 19 recordsLinked to original sources
arXiv2025

Q-operators for the Ruijsenaars model

We prove that the Ruijsenaars model admits a one-parameter commuting family of Q-operators. The commutativity is equivalent to an elliptic hypergeometric integral transformation that was conjectured by Gadde et al., and has an alternative interpretation in terms of S-duality for quiver gauge theories. We present two proofs of this conjecture, one using the elliptic Macdonald polynomials of Langmann et al., and one using known results on elliptic hypergeometric integrals. We also explain how the Noumi-Sano operators appear as degenerations of Q-operators.

math-ph↗
arXiv2024

Exceptional pairs on del Pezzo surfaces and spaces of compatible Feigin-Odesskii brackets

We prove that for every relatively prime pair of integers $(d,r)$ with $r>0$, there exists an exceptional pair $({\mathcal O},V)$ on any del Pezzo surface of degree 4, such that $V$ is a bundle of rank $r$ and degree $d$. As an application, we prove that every Feigin-Odesskii Poisson bracket on a projective space can be included into a 5-dimensional linear space of compatible Poisson brackets. We also construct new examples of linear spaces of compatible Feigin-Odesskii Poisson brackets of dimension $>5$, coming from del Pezzo surfaces of degree $>4$.

math.AG↗
arXiv2024

Algebra of global sections of $\psi$-bundles on $\bar{M}_{0,n}$

We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic relations. As an application we prove that the moduli space $\bar{M}_{0,n}[\psi]$ of $\psi$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[\psi]$ is a rational resolution.

math.AG↗
arXiv2024

Bounds for asymptotic characters of simple Lie groups

An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(\lambda,x)$ (where $\lambda,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_\lambda(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $\lambda$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(\lambda,x)$ for fixed $\lambda$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_\lambda(0)$ when $|\lambda|=1$. This allows us to show that $|X(\lambda,x)|\le C(G)|\lambda|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{\pi^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.

math.RT↗
arXiv2020

Twisted Traces and Positive Forms on Quantized Kleinian Singularities of Type A

Following [Beem C., Peelaers W., Rastelli L., Comm. Math. Phys. 354 (2017), 345-392, arXiv:1601.05378] and [Etingof P., Stryker D., SIGMA 16 (2020), 014, 28 pages, arXiv:1909.13588], we undertake a detailed study of twisted traces on quantizations of Kleinian singularities of type $A_{n-1}$. In particular, we give explicit integral formulas for these traces and use them to determine when a trace defines a positive Hermitian form on the corresponding algebra. This leads to a classification of unitary short star-products for such quantizations, a problem posed by Beem, Peelaers and Rastelli in connection with 3-dimensional superconformal field theory. In particular, we confirm their conjecture that for $n\le 4$ a unitary short star-product is unique and compute its parameter as a function of the quantization parameters, giving exact formulas for the numerical functions by Beem, Peelaers and Rastelli. If $n=2$, this, in particular, recovers the theory of unitary spherical Harish-Chandra bimodules for ${\mathfrak{sl}}_2$. Thus the results of this paper may be viewed as a starting point for a generalization of the theory of unitary Harish-Chandra bimodules over enveloping algebras of reductive Lie algebras [Vogan Jr. D.A., Annals of Mathematics Studies, Vol. 118, Princeton University Press, Princeton, NJ, 1987] to more general quantum algebras. Finally, we derive recurrences to compute the coefficients of short star-products corresponding to twisted traces, which are generalizations of discrete Painlev\'e systems.

math.QA↗
arXiv2020

New realizations of deformed double current algebras and Deligne categories

In this paper we propose an alternative construction of a certain class of Deformed Double Current Algebras. We construct them as spherical subalgebras of symplectic reflection algebras in the Deligne category. They can also be thought of as ultraproducts of the corresponding spherical subalgebras in finite rank. We also provide new presentations of DDCA of types A and B by generators and relations.

math.RT↗
arXiv2019

Uniqueness of polarization for the autonomous 4-dimensional Painlev\'e-type systems

We prove that for any autonomous 4-dimensional integral system of Painlev\'e type, the Jacobian of the generic spectral curve has a unique polarization, and thus by Torelli's theorem cannot be isomorphic as an unpolarized abelian surface to any other Jacobian. This enables us to identify the spectral curve and any irreducible genus two component of the boundary of an affine patch of the Liouville torus.

math.CA↗
arXiv2019

Hyperelliptic limits of quadrics through canonical curves and ribbons

We describe explicitly all hyperelliptic limits of quadrics through smooth canonical curves of genus $g$ in ${\mathbb P}^{g-1}$. Also, we construct an open embedding of the blow up of a ${\rm PGL}_g$-bundle over the moduli space of curves of genus $g$ along the hyperelliptic locus into the blow up of the canonical Hilbert scheme of ${\mathbb P}^{g-1}$ along the closure of the locus of canonical ribbons, which are certain double thickenings of rational normal curves introduced and studied by Bayer and Eisenbud.

math.AG↗
arXiv2018

Mittag-Leffler type sums associated with root systems

This is a largely expository note which applies standard techniques of the theory of Duijstermaat-Heckman measures for compact Lie groups and results of P. Littelmann to prove a generalization of a conjecture of Coquereaux and Zuber.

math.RT↗
arXiv2015

On Cohen-Macaulayness of algebras generated by generalized power sums

Generalized power sums are linear combinations of i-th powers of coordinates. We consider subalgebras of the polynomial algebra generated by generalized power sums, and study when such algebras are Cohen-Macaulay. It turns out that the Cohen-Macaulay property of such algebras is rare, and tends to be related to quantum integrability and representation theory of Cherednik algebras. Using representation-theoretic results and deformation theory, we establish Cohen-Macaulayness of the algebra of $q,t$-deformed power sums defined by Sergeev and Veselov, and of some generalizations of this algebra, proving a conjecture from arXiv:1410.5096. We also apply representation-theoretic techniques to studying m-quasi-invariants of deformed Calogero-Moser systems. In an appendix to this paper, M. Feigin uses representation theory of Cherednik algebras to compute Hilbert series for such quasi-invariants, and show that in the case of one light particle, the ring of quasi-invariants is Gorenstein.

math.QA↗
arXiv2013

Modeling the distribution of ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves

Using maximal isotropic submodules in a quadratic module over Z_p, we prove the existence of a natural discrete probability distribution on the set of isomorphism classes of short exact sequences of co-finite type Z_p-modules, and then conjecture that as E varies over elliptic curves over a fixed global field k, the distribution of 0 --> E(k) tensor Q_p/Z_p --> Sel_{p^infty} E --> Sha[p^infty] --> 0 is that one. We show that this single conjecture would explain many of the known theorems and conjectures on ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves. We also prove the existence of a discrete probability distribution of the set of isomorphism classes of finite abelian p-groups equipped with a nondegenerate alternating pairing, defined in terms of the cokernel of a random alternating matrix over Z_p, and we prove that the two probability distributions are compatible with each other and with Delaunay's predicted distribution for Sha. Finally, we prove new theorems on the fppf cohomology of elliptic curves in order to give further evidence for our conjecture.

math.NT↗
arXiv2012

Difference operators of Sklyanin and van Diejen type

The Sklyanin algebra $S_{\eta}$ has a well-known family of infinite-dimensional representations $D(\mu)$, $\mu \in C^*$, in terms of difference operators with shift $\eta$ acting on even meromorphic functions. We show that for generic $\eta$ the coefficients of these operators have solely simple poles, with linear residue relations depending on their locations. More generally, we obtain explicit necessary and sufficient conditions on a difference operator for it to belong to $D(\mu)$. By definition, the even part of $D(\mu)$ is generated by twofold products of the Sklyanin generators. We prove that any sum of the latter products yields a difference operator of van Diejen type. We also obtain kernel identities for the Sklyanin generators. They give rise to order-reversing involutive automorphisms of $D(\mu)$, and are shown to entail previously known kernel identities for the van Diejen operators. Moreover, for special $\mu$ they yield novel finite-dimensional representations of $S_{\eta}$.

math-ph↗
arXiv2011

Groups and Lie algebras corresponding to the Yang-Baxter equations

For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal enveloping algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are the quadratic duals of the enveloping algebras). We construct cell complexes which are classifying spaces of the groups Tr_n and QTr_n, and show that the boundary maps in them are zero, which allows us to compute the integral cohomology of these groups. We show that the Lie algebras tr_n, qtr_n map onto the associated graded algebras of the Malcev Lie algebras of the groups Tr_n, QTr_n, respectively. We conjecture that this map is actually an isomorphism (this is now a theorem due to P. Lee). At the same time, we show that the groups Tr_n and QTr_n are not formal for n>3.

math.RA↗
arXiv2011

On Algebraically Integrable Differential Operators on an Elliptic Curve

We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special elliptic curves defined over ${\mathbb Q}$ which do not deform to generic elliptic curves. We also study algebraically integrable operators of higher order with several poles and with symmetries, and (conjecturally) relate them to crystallographic elliptic Calogero-Moser systems (which is a generalization of the results of Airault, McKean, and Moser).

math-ph↗
arXiv2010

Random maximal isotropic subspaces and Selmer groups

Under suitable hypotheses, we construct a probability measure on the set of closed maximal isotropic subspaces of a locally compact quadratic space over F_p. A random subspace chosen with respect to this measure is discrete with probability 1, and the dimension of its intersection with a fixed compact open maximal isotropic subspace is a certain nonnegative-integer-valued random variable. We then prove that the p-Selmer group of an elliptic curve is naturally the intersection of a discrete maximal isotropic subspace with a compact open maximal isotropic subspace in a locally compact quadratic space over F_p. By modeling the first subspace as being random, we can explain the known phenomena regarding distribution of Selmer ranks, such as the theorems of Heath-Brown, Swinnerton-Dyer, and Kane for 2-Selmer groups in certain families of quadratic twists, and the average size of 2- and 3-Selmer groups as computed by Bhargava and Shankar. Our model is compatible with Delaunay's heuristics for p-torsion in Shafarevich-Tate groups, and predicts that the average rank of elliptic curves over a fixed number field is at most 1/2. Many of our results generalize to abelian varieties over global fields.

math.NT↗