Showing 1–50 of 121 results for author: Rains, E

The (noncommutative) geometry of difference equations

Authors: Eric M. Rains

Abstract: The aim of this monograph is twofold: to explain various nonautonomous integrable systems (discrete Painlevé all the way up to the elliptic level, as well as generalizations à la Garnier) using an interpretation of difference and differential equations as sheaves on noncommutative projective surfaces, and to develop the theory of such surfaces enough to allow one to apply the usual GIT constructio… ▽ More The aim of this monograph is twofold: to explain various nonautonomous integrable systems (discrete Painlevé all the way up to the elliptic level, as well as generalizations à la Garnier) using an interpretation of difference and differential equations as sheaves on noncommutative projective surfaces, and to develop the theory of such surfaces enough to allow one to apply the usual GIT construction of moduli spaces of sheaves. This requires a fairly extensive development of the theory of birationally ruled noncommutative projective surfaces, both showing that the analogues of Cremona transformations work and understanding effective, nef, and ample divisor classes. This combines arXiv:1307.4032, arXiv:1307.4033, arXiv:1907.11301, as well as those portions of arXiv:1607.08876 needed to make things self-contained. Some additional results appear, most notably a proof that the resulting discrete actions on moduli spaces of equations are algebraically integrable. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 409 pages, 6 figures

Q-operators for the Ruijsenaars model

Authors: Eric Rains, Hjalmar Rosengren

Abstract: 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 Langman… ▽ More 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. △ Less

Submitted 23 March, 2025; originally announced March 2025.

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

Authors: Alexander Polishchuk, Eric Rains

Abstract: 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… ▽ More 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$. △ Less

Submitted 21 February, 2025; v1 submitted 27 July, 2024; originally announced July 2024.

Comments: 16 pages; v2: 18 pages, a more conceptual proof of the main result on exceptional pairs using a connection with weighted projective lines

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

Authors: Alexander Polishchuk, Eric Rains

Abstract: 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}[ψ]$ of $ψ$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map… ▽ More 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}[ψ]$ of $ψ$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[ψ]$ is a rational resolution. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Comments: 10 pages

Bounds for asymptotic characters of simple Lie groups

Authors: Pavel Etingof, Eric Rains

Abstract: An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ is str… ▽ More An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ 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_λ(0)$ when $|λ|=1$. This allows us to show that $|X(λ,x)|\le C(G)|λ|^{-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}{π^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$. △ Less

Submitted 21 January, 2025; v1 submitted 14 May, 2024; originally announced May 2024.

Comments: 19 pages, latex; the paper subsumes our previous note arXiv:1811.05293; minor changes in v2

Invariant derivations and trace bounds

Authors: Skip Garibaldi, Robert M. Guralnick, Eric M. Rains

Abstract: About 20 years ago, J-P.~Serre announced a bound on the trace of elements of compact Lie groups under the adjoint representation together with related results, provided indications of his proofs, and invited a better proof. This note provides a new, general method for proving such bounds; uses that method to derive Serre's bounds; gives a second proof of Serre's announced results that (we learned)… ▽ More About 20 years ago, J-P.~Serre announced a bound on the trace of elements of compact Lie groups under the adjoint representation together with related results, provided indications of his proofs, and invited a better proof. This note provides a new, general method for proving such bounds; uses that method to derive Serre's bounds; gives a second proof of Serre's announced results that (we learned) closely follows his original argument; and provides lower bounds for traces of other representations of compact Lie groups and for Brauer characters of finite groups. △ Less

Submitted 12 June, 2025; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: v4 has small improvements to the exposition. v3 re-writes part I, expands other parts of the text, and adds an appendix on finite groups. v2 strengthens the results of part IV

MSC Class: 22E47 (Primary); 22C05; 22G20 (Secondary)

Elliptic $\mathrm{A}_n$ Selberg integrals

Authors: Seamus P. Albion, Eric M. Rains, S. Ole Warnaar

Abstract: We use the elliptic interpolation kernel due to the second author to prove an $\mathrm{A}_n$ extension of the elliptic Selberg integral. More generally, we obtain elliptic analogues of the $\mathrm{A}_n$ Kadell, Hua-Kadell and Alba-Fateev-Litvinov-Tarnopolsky (or AFLT) integrals. We use the elliptic interpolation kernel due to the second author to prove an $\mathrm{A}_n$ extension of the elliptic Selberg integral. More generally, we obtain elliptic analogues of the $\mathrm{A}_n$ Kadell, Hua-Kadell and Alba-Fateev-Litvinov-Tarnopolsky (or AFLT) integrals. △ Less

Submitted 4 June, 2023; originally announced June 2023.

Comments: 27 pages

MSC Class: 05E05; 33D52; 33D67; 33E05

Quotients of abelian varieties by reflection groups

Authors: Eric M. Rains

Abstract: We prove (by a case-by-case analysis) a conjecture of Bernstein/Schwarzman to the effect that quotients of abelian varieties by suitable actions of (complex) reflection groups are weighted projective spaces, and show that this remains true after reduction to finite characteristic (including characteristics dividing the order of the group!). We also show that an analogous statement holds (with five… ▽ More We prove (by a case-by-case analysis) a conjecture of Bernstein/Schwarzman to the effect that quotients of abelian varieties by suitable actions of (complex) reflection groups are weighted projective spaces, and show that this remains true after reduction to finite characteristic (including characteristics dividing the order of the group!). We also show that an analogous statement holds (with five explicitly enumerated exceptions) for actions of quaternionic reflection groups on supersingular abelian varieties. △ Less

Submitted 29 February, 2024; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 77 pages LaTeX, 7 tables. v2: clarifies the (lack of) dependence on Popov's classification; adds some references to recent results on special cases

Filtered deformations of elliptic algebras

Authors: Eric M. Rains

Abstract: One of the difficulties in doing noncommutative projective geometry via explicitly presented graded algebras is that it is usually quite difficult to show flatness, as the Hilbert series is uncomputable in general. If the algebra has a regular central element, one can reduce to understanding the (hopefully more tractable) quotient. If the quotient is particularly nice, one can proceed in reverse a… ▽ More One of the difficulties in doing noncommutative projective geometry via explicitly presented graded algebras is that it is usually quite difficult to show flatness, as the Hilbert series is uncomputable in general. If the algebra has a regular central element, one can reduce to understanding the (hopefully more tractable) quotient. If the quotient is particularly nice, one can proceed in reverse and find all algebras of which it is the quotient by a regular central element (the filtered deformations of the quotient). We consider in detail the case that the quotient is an elliptic algebra (the homogeneous endomorphism ring of a vector bundle on an elliptic curve, possibly twisted by translation). We explicitly compute the family of filtered deformations in many cases and give a (conjecturally exhaustive) construction of such deformations from noncommutative del Pezzo surfaces. In the process, we also give a number of results on the classification of exceptional collections on del Pezzo surfaces, which are new even in the commutative case. △ Less

Submitted 17 February, 2022; v1 submitted 28 July, 2021; originally announced July 2021.

Comments: 56 pages LaTeX. Version 2 takes into account referee comments, adds section summarizing relevant facts about noncommutative surfaces, details of proofs on structure of rigid torsion-free sheaves

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

Authors: Pavel Etingof, Daniil Klyuev, Eric Rains, Douglas Stryker

Abstract: 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 d… ▽ More 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é systems. △ Less

Submitted 18 May, 2023; v1 submitted 20 September, 2020; originally announced September 2020.

Comments: v4: fixed small mistakes on page 18

Journal ref: SIGMA 17 (2021), 029, 31 pages

An Elliptic Hypergeometric Function Approach to Branching Rules

Authors: Chul-hee Lee, Eric M. Rains, S. Ole Warnaar

Abstract: We prove Macdonald-type deformations of a number of well-known classical branching rules by employing identities for elliptic hypergeometric integrals and series. We also propose some conjectural branching rules and allied conjectures exhibiting a novel type of vanishing behaviour involving partitions with empty 2-cores. We prove Macdonald-type deformations of a number of well-known classical branching rules by employing identities for elliptic hypergeometric integrals and series. We also propose some conjectural branching rules and allied conjectures exhibiting a novel type of vanishing behaviour involving partitions with empty 2-cores. △ Less

Submitted 23 December, 2020; v1 submitted 6 July, 2020; originally announced July 2020.

Journal ref: SIGMA 16 (2020), 142, 52 pages

New realizations of deformed double current algebras and Deligne categories

Authors: Pavel Etingof, Daniil Kalinov, Eric Rains

Abstract: 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 relation… ▽ More 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. △ Less

Submitted 27 May, 2020; originally announced May 2020.

The geometric distribution of Selmer groups of elliptic curves over function fields

Authors: Tony Feng, Aaron Landesman, Eric M. Rains

Abstract: Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limi… ▽ More Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limit of this distribution agrees with the one predicted by Bhargava-Kane-Lenstra-Poonen-Rains. △ Less

Submitted 14 September, 2022; v1 submitted 16 March, 2020; originally announced March 2020.

AFLT-type Selberg integrals

Authors: Seamus P. Albion, Eric M. Rains, S. Ole Warnaar

Abstract: In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These inclu… ▽ More In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials. △ Less

Submitted 26 October, 2021; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: 53 pages; v2 contains minor corrections and changes of notation

MSC Class: 05E05; 05E10; 30E20; 33D05; 33D52; 33D67; 81T40

Journal ref: Communications in Mathematical Physics 388 (2021), 735-791

Algebraic maps constant on isomorphism classes of unpolarized abelian varieties are constant

Authors: Eric Rains, Karl Rubin, Travis Scholl, Shahed Sharif, Alice Silverberg

Abstract: We show that if a rational map is constant on each isomorphism class of unpolarized abelian varieties of a given dimension, then it is a constant map. Our results are motivated by and shed light on a proposed construction of a cryptographic protocol for multiparty non-interactive key exchange. We show that if a rational map is constant on each isomorphism class of unpolarized abelian varieties of a given dimension, then it is a constant map. Our results are motivated by and shed light on a proposed construction of a cryptographic protocol for multiparty non-interactive key exchange. △ Less

Submitted 20 October, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: 16 pages, to appear in Algebra and Number Theory

MSC Class: 14k10

Journal ref: Alg. Number Th. 15 (2021) 711-727

Uniqueness of polarization for the autonomous 4-dimensional Painlevé-type systems

Authors: Akane Nakamura, Eric Rains

Abstract: We prove that for any autonomous 4-dimensional integral system of Painlevé 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 to… ▽ More We prove that for any autonomous 4-dimensional integral system of Painlevé 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. △ Less

Submitted 30 October, 2019; originally announced October 2019.

MSC Class: Primary: 34M55 Secondary: 33E17; 11J95

The birational geometry of noncommutative surfaces

Authors: Eric M. Rains

Abstract: We show that any commutative rationally ruled surface with a choice of anticanonical curve admits a 1-parameter family of noncommutative deformations parametrized by the Jacobian of the anticanonical curve, and show that many standard facts from commutative geometry (blowups commute, Quot schemes are projective, etc.) carry over. The key new tool in studying these deformations is a relatively simp… ▽ More We show that any commutative rationally ruled surface with a choice of anticanonical curve admits a 1-parameter family of noncommutative deformations parametrized by the Jacobian of the anticanonical curve, and show that many standard facts from commutative geometry (blowups commute, Quot schemes are projective, etc.) carry over. The key new tool in studying these deformations is a relatively simple description of their derived categories and the relevant t-structures; this also allows us to establish nontrivial derived equivalences for deformations of elliptic surfaces. We also establish that the category of line bundles (suitably defined) on such a surface has a faithful representation in which the morphisms are difference or differential operators, and thus find that difference/differential equations can be viewed as sheaves on such surfaces. In particular, we find that many moduli spaces of sheaves on such surfaces have natural interpretations as moduli spaces of equations with (partially) specified singularities, and in particular find that the "isomonodromy" interpretation of discrete Painlevé equations and their generalizations has a natural geometric interpretation (twisting sheaves by line bundles). △ Less

Submitted 25 July, 2019; originally announced July 2019.

Comments: 169 pages LaTeX

Hyperelliptic limits of quadrics through canonical curves and ribbons

Authors: Alexander Polishchuk, Eric Rains

Abstract: 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 ri… ▽ More 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. △ Less

Submitted 28 May, 2019; originally announced May 2019.

Comments: 31 pages

Mittag-Leffler type sums associated with root systems

Authors: Pavel Etingof, Eric Rains

Abstract: 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. 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. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 5 pages, latex

Elliptic Double Affine Hecke Algebras

Authors: Eric M. Rains

Abstract: We give a construction of an affine Hecke algebra associated to any Coxeter group acting on an abelian variety by reflections; in the case of an affine Weyl group, the result is an elliptic analogue of the usual double affine Hecke algebra. As an application, we use a variant of the $\tilde{C}_n$ version of the construction to construct a flat noncommutative deformation of the $n$th symmetric powe… ▽ More We give a construction of an affine Hecke algebra associated to any Coxeter group acting on an abelian variety by reflections; in the case of an affine Weyl group, the result is an elliptic analogue of the usual double affine Hecke algebra. As an application, we use a variant of the $\tilde{C}_n$ version of the construction to construct a flat noncommutative deformation of the $n$th symmetric power of any rational surface with a smooth anticanonical curve, and give a further construction which conjecturally is a corresponding deformation of the Hilbert scheme of points. △ Less

Submitted 5 November, 2020; v1 submitted 9 September, 2017; originally announced September 2017.

Journal ref: SIGMA 16 (2020), 111, 133 pages

Invariant theory of $\bigwedge^3(9)$ and genus 2 curves

Authors: Eric M. Rains, Steven V Sam

Abstract: Previous work established a connection between the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space and the moduli space of genus 2 curves with some additional data. We generalize this connection to arbitrary fields, and describe the arithmetic data needed to get a bijection between both sides of this story. Previous work established a connection between the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space and the moduli space of genus 2 curves with some additional data. We generalize this connection to arbitrary fields, and describe the arithmetic data needed to get a bijection between both sides of this story. △ Less

Submitted 21 January, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: 20 pages

MSC Class: 14H60; 15A72

Journal ref: Alg. Number Th. 12 (2018) 935-957

Affine Macdonald conjectures and special values of Felder-Varchenko functions

Authors: Eric M. Rains, Yi Sun, Alexander Varchenko

Abstract: We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Mac… ▽ More We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Macdonald conjectures in the general case which are consistent with computer computations. Our method applies recent work of the second named author to relate these conjectures in the case of $U_q(\widehat{\mathfrak{sl}}_2)$ to evaluations of certain theta hypergeometric integrals defined by Felder-Varchenko. We then evaluate the resulting integrals, which may be of independent interest, by well-chosen applications of the elliptic beta integral introduced by Spiridonov. △ Less

Submitted 27 April, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 26 pages. v3: minor edits for published version

MSC Class: 17B37 (primary); 17B67; 33C75; 33D80; 81R12 (secondary)

The noncommutative geometry of elliptic difference equations

Authors: Eric M. Rains

Abstract: We give a new construction of noncommutative surfaces via elliptic difference operators, attaching a 1-parameter noncommutative deformation to any projective rational surface with smooth anticanonical curve. The construction agrees with one implicit in work of Van den Bergh (iterated blowups of noncommutative Hirzebruch surfaces), but the construction enables one to prove a number of new facts abo… ▽ More We give a new construction of noncommutative surfaces via elliptic difference operators, attaching a 1-parameter noncommutative deformation to any projective rational surface with smooth anticanonical curve. The construction agrees with one implicit in work of Van den Bergh (iterated blowups of noncommutative Hirzebruch surfaces), but the construction enables one to prove a number of new facts about these surfaces. We show that they are noncommutative smooth proper surfaces in the sense of Chan and Nyman, with projective Quot schemes, that moduli spaces of simple sheaves are Poisson and that moduli spaces classifying semistable sheaves of rank 0 or 1 are projective. We further show that the action of SL_2(Z) as derived autoequivalences of rational elliptic surfaces extends to an action as derived equivalences of surfaces in our family with K^2=0. We also discuss applications to the theory of special functions arising by interpreting moduli spaces of 1-dimensional sheaves as moduli spaces of difference equations. When the moduli space is a single point, the equation is rigid, and we give an integral representation for the solutions. More generally, twisting by line bundles corresponds to isomonodromy deformations, so this gives rise to Lax pairs. When the moduli space is 2-dimensional, one obtains Lax pairs for the elliptic Painlevé equation; this associates a Lax pair to any rational number, of order twice the denominator. There is also an elliptic analogue of the Riemann-Hilbert correspondence: an analytic equivalence between categories of elliptic difference equations, swapping the role of the shift of the equation and the nome of the curve. △ Less

Submitted 29 July, 2019; v1 submitted 29 July, 2016; originally announced July 2016.

Comments: 216 pages LaTeX. v2: removed marker left over from editing pass. v3: added result on nontriviality of Hilbert scheme deformation, improved construction of "monodromy". v4: added section on moduli of torsion-free sheaves, plus minor fixes

An elliptic Garnier system

Authors: Christopher M. Ormerod, Eric M. Rains

Abstract: We present a linear system of difference equations whose entries are expressed in terms of theta functions. This linear system is singular at $4m+12$ points for $m \geq 1$, which appear in pairs due to a symmetry condition. We parameterize this linear system in terms a set of kernels at the singular points. We regard the system of discrete isomonodromic deformations as an elliptic analogue of the… ▽ More We present a linear system of difference equations whose entries are expressed in terms of theta functions. This linear system is singular at $4m+12$ points for $m \geq 1$, which appear in pairs due to a symmetry condition. We parameterize this linear system in terms a set of kernels at the singular points. We regard the system of discrete isomonodromic deformations as an elliptic analogue of the Garnier system. We identify the special case in which $m=1$ with the elliptic Painlevé equation, hence, this work provides an explicit form and Lax pair for the elliptic Painlevé equation. △ Less

Submitted 27 July, 2016; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: 27 pages, 2 figures

MSC Class: 39A06; 14K25; 14H70

A Nekrasov-Okounkov formula for Macdonald polynomials

Authors: Eric M. Rains, S. Ole Warnaar

Abstract: We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces. We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces. △ Less

Submitted 19 February, 2018; v1 submitted 14 June, 2016; originally announced June 2016.

Comments: 24 pages; Revised version includes an alternative proof (suggested by Jim Bryan) of an elliptic Nekrasov-Okounkov formula based on the equivariant DMVV formula. In v3 some final corrections have been carried out

MSC Class: 05A19; 05E05; 05E10; 14J10

Journal ref: Journal of Algebraic Combinatorics 48 (2018), 1-30

Vector bundles on genus 2 curves and trivectors

Authors: Eric M. Rains, Steven V Sam

Abstract: Given a complex curve C of genus 2, there is a well-known relationship between the moduli space of rank 3 semistable bundles on C and a cubic hypersurface known as the Coble cubic. Some of the aspects of this is known to be related to the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space. We extend this relationship to arbitrary fields and study some of… ▽ More Given a complex curve C of genus 2, there is a well-known relationship between the moduli space of rank 3 semistable bundles on C and a cubic hypersurface known as the Coble cubic. Some of the aspects of this is known to be related to the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space. We extend this relationship to arbitrary fields and study some of the connections to invariant theory, which will be studied more in-depth in a followup paper. △ Less

Submitted 21 January, 2018; v1 submitted 14 May, 2016; originally announced May 2016.

Comments: 19 pages

MSC Class: 14H60; 15A72

Journal ref: Algebr. Geom. 6 (2019), no. 3, 328-345

A symmetric difference-differential Lax pair for Painlevé VI

Authors: Christopher M. Ormerod, Eric M. Rains

Abstract: We present a Lax pair for the sixth Painlevé equation arising as a continuous isomonodromic deformation of a system of linear difference equations with an additional symmetry structure. We call this a symmetric difference-differential Lax pair. We show how the discrete isomonodromic deformations of the associated linear problem gives us a discrete version of the fifth Painlevé equation. By conside… ▽ More We present a Lax pair for the sixth Painlevé equation arising as a continuous isomonodromic deformation of a system of linear difference equations with an additional symmetry structure. We call this a symmetric difference-differential Lax pair. We show how the discrete isomonodromic deformations of the associated linear problem gives us a discrete version of the fifth Painlevé equation. By considering degenerations we obtain symmetric difference-differential Lax pairs for the fifth Painlevé equation and the various degenerate versions of the third Painlevé equation. △ Less

Submitted 21 December, 2016; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: 18 pages

MSC Class: 39A10; 39A13; 14H70

Abelian varieties isogenous to a power of an elliptic curve

Authors: Bruce W. Jordan, Allan G. Keeton, Bjorn Poonen, Eric M. Rains, Nicholas Shepherd-Barron, John T. Tate

Abstract: Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be… ▽ More Let $E$ be an elliptic curve over a field $k$. Let $R:= \text{End}\, E$. There is a functor $\mathscr{H}\!\!\mathit{om}_R(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\text{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories. △ Less

Submitted 20 March, 2017; v1 submitted 19 February, 2016; originally announced February 2016.

Comments: 21 pages, comments welcome

Journal ref: Compositio Math. 154 (2018) 934-959

Commutation Relations and Discrete Garnier Systems

Authors: Christopher M. Ormerod, Eric M. Rains

Abstract: We present four classes of nonlinear systems which may be considered discrete analogues of the Garnier system. These systems arise as discrete isomonodromic deformations of systems of linear difference equations in which the associated Lax matrices are presented in a factored form. A system of discrete isomonodromic deformations is completely determined by commutation relations between the factors… ▽ More We present four classes of nonlinear systems which may be considered discrete analogues of the Garnier system. These systems arise as discrete isomonodromic deformations of systems of linear difference equations in which the associated Lax matrices are presented in a factored form. A system of discrete isomonodromic deformations is completely determined by commutation relations between the factors. We also reparameterize these systems in terms of the image and kernel vectors at singular points to obtain a separate birational form. A distinguishing feature of this study is the presence of a symmetry condition on the associated linear problems that only appears as a necessary feature of the Lax pairs for the least degenerate discrete Painlevé equations. △ Less

Submitted 8 November, 2016; v1 submitted 22 January, 2016; originally announced January 2016.

MSC Class: 39A10; 39A13; 14H70

Journal ref: SIGMA 12 (2016), 110, 50 pages

On Cohen-Macaulayness of algebras generated by generalized power sums

Authors: Pavel Etingof, Eric Rains, with an appendix by Misha Feigin

Abstract: 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 representa… ▽ More 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. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Comments: 22 pages, latex

Bounded Littlewood identities

Authors: Eric M. Rains, S. Ole Warnaar

Abstract: We describe a method, based on the theory of Macdonald-Koornwinder polynomials, for proving bounded Littlewood identities. Our approach provides an alternative to Macdonald's partial fraction technique and results in the first examples of bounded Littlewood identities for Macdonald polynomials. These identities, which take the form of decomposition formulas for Macdonald polynomials of type… ▽ More We describe a method, based on the theory of Macdonald-Koornwinder polynomials, for proving bounded Littlewood identities. Our approach provides an alternative to Macdonald's partial fraction technique and results in the first examples of bounded Littlewood identities for Macdonald polynomials. These identities, which take the form of decomposition formulas for Macdonald polynomials of type $(R,S)$ in terms of ordinary Macdonald polynomials, are $q,t$-analogues of known branching formulas for characters of the symplectic, orthogonal and special orthogonal groups. In the classical limit, our method implies that MacMahon's famous ex-conjecture for the generating function of symmetric plane partitions in a box follows from the identification of $(\mathrm{GL}(n,\mathbb{R}),\mathrm{O}(n))$ as a Gelfand pair. As further applications, we obtain combinatorial formulas for characters of affine Lie algebras; Rogers-Ramanujan identities for affine Lie algebras, complementing recent results of Griffin et al.; and quadratic transformation formulas for Kaneko--Macdonald-type basic hypergeometric series. △ Less

Submitted 19 February, 2018; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 114 pages; Expanded version to appear in Memoirs of the AMS. New material includes: (1) a discussion of symmetric plane partitions and Gelfand pairs (2) formulas for multiple basic hypergeometric series (3) new open problems including a (conjectural) connection between bounded Littlewood identities and q,t-Littlewood-Richardson coefficients, (4) An appendix on limits of elliptic beta integrals

MSC Class: 05E05; 05E10; 17B67; 33D67

Journal ref: Memoirs of the American Mathematical Society, 270 (2021), No 1317, vii+115 pp

Multivariate Quadratic Transformations and the Interpolation Kernel

Authors: Eric M. Rains

Abstract: We prove a number of quadratic transformations of elliptic Selberg integrals (conjectured in an earlier paper of the author), as well as studying in depth the "interpolation kernel", an analytic continuation of the author's elliptic interpolation functions which plays a major role in the proof as well as acting as the kernel for a Fourier transform on certain elliptic double affine Hecke algebras… ▽ More We prove a number of quadratic transformations of elliptic Selberg integrals (conjectured in an earlier paper of the author), as well as studying in depth the "interpolation kernel", an analytic continuation of the author's elliptic interpolation functions which plays a major role in the proof as well as acting as the kernel for a Fourier transform on certain elliptic double affine Hecke algebras (discussed in a later paper). In the process, we give a number of examples of a new approach to proving elliptic hypergeometric integral identities, by reduction to a Zariski dense subset of a formal neighborhood of the trigonometric limit. △ Less

Submitted 8 March, 2018; v1 submitted 1 August, 2014; originally announced August 2014.

Journal ref: SIGMA 14 (2018), 019, 69 pages

Noncommutative geometry and Painlevé equations

Authors: Andrei Okounkov, Eric Rains

Abstract: We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces. We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Journal ref: Algebra Number Theory 9 (2015) 1363-1400

Generalized Hitchin systems on rational surfaces

Authors: Eric M. Rains

Abstract: By analogy with work of Hitchin on integrable systems, we construct natural relaxations of several kinds of moduli spaces of difference equations, with special attention to a particular class of difference equations on an elliptic curve (arising in the theory of elliptic special functions). The common feature of the relaxations is that they can be identified with moduli spaces of sheaves on ration… ▽ More By analogy with work of Hitchin on integrable systems, we construct natural relaxations of several kinds of moduli spaces of difference equations, with special attention to a particular class of difference equations on an elliptic curve (arising in the theory of elliptic special functions). The common feature of the relaxations is that they can be identified with moduli spaces of sheaves on rational surfaces. Not only does this make various natural questions become purely geometric (rigid equations correspond to -2-curves), it also establishes a number of nontrivial correspondences between different moduli spaces, since a given moduli space of sheaves is typically the relaxation of infinitely many moduli spaces of equations. In the process of understanding this, we also consider a number of purely geometric questions about rational surfaces with anticanonical curves; e.g., we give an essentially combinatorial algorithm for testing whether a given divisor is the class of a -2-curve or is effective with generically integral representative. △ Less

Submitted 29 July, 2019; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 98 pages LaTeX. v2:Sections added on limit relations, singularities, Calogero-Moser spaces, also minor terminology change. v3:typos

Birational morphisms and Poisson moduli spaces

Authors: Eric M. Rains

Abstract: We study birational morphisms between smooth projective surfaces that respect a given Poisson structure, with particular attention to induced birational maps between the (Poisson) moduli spaces of sheaves on those surfaces. In particular, to any birational morphism, we associate a corresponding "minimal lift" operation on sheaves of homological dimension <=1, and study its properties. In particula… ▽ More We study birational morphisms between smooth projective surfaces that respect a given Poisson structure, with particular attention to induced birational maps between the (Poisson) moduli spaces of sheaves on those surfaces. In particular, to any birational morphism, we associate a corresponding "minimal lift" operation on sheaves of homological dimension <=1, and study its properties. In particular, we show that minimal lift induces a stratification of the moduli space of simple sheaves on the codomain by open subspaces of the moduli space of simple sheaves on the domain, compatibly with the induced Poisson structures. △ Less

Submitted 25 July, 2019; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 51 pages LaTeX. v2:missing case added to classification, terminology change. v3: Missing factor of 1/2 added to proof of Jacobi identity, and workaround for characteristic 2 added; also minor notational changes

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

Authors: Manjul Bhargava, Daniel M. Kane, Hendrik W. Lenstra jr., Bjorn Poonen, Eric Rains

Abstract: 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] -… ▽ More 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. △ Less

Submitted 5 August, 2013; v1 submitted 14 April, 2013; originally announced April 2013.

Comments: 31 pages; added more justification for conjectures, and rearranged the introduction to clarify what the main theorems are

MSC Class: 11G05 (Primary) 11E08; 14G25 (Secondary)

Journal ref: Camb. J. Math. 3 (2015), no. 3, 275-321

Difference operators of Sklyanin and van Diejen type

Authors: Eric Rains, Simon Ruijsenaars

Abstract: The Sklyanin algebra $S_η$ has a well-known family of infinite-dimensional representations $D(μ)$, $μ\in C^*$, in terms of difference operators with shift $η$ acting on even meromorphic functions. We show that for generic $η$ the coefficients of these operators have solely simple poles, with linear residue relations depending on their locations. More generally, we obtain explicit necessary and suf… ▽ More The Sklyanin algebra $S_η$ has a well-known family of infinite-dimensional representations $D(μ)$, $μ\in C^*$, in terms of difference operators with shift $η$ acting on even meromorphic functions. We show that for generic $η$ 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(μ)$. By definition, the even part of $D(μ)$ 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(μ)$, and are shown to entail previously known kernel identities for the van Diejen operators. Moreover, for special $μ$ they yield novel finite-dimensional representations of $S_η$. △ Less

Submitted 3 October, 2012; v1 submitted 29 February, 2012; originally announced March 2012.

Comments: 39 pages. (v2: minor revisions per referee comments.)

Limits of multivariate elliptic beta integrals and related bilinear forms

Authors: Fokko J. van de Bult, Eric M. Rains

Abstract: In this article we consider the elliptic Selberg integral, which is a BC_n symmetric multivariate extension of the elliptic beta integral. We categorize the limits that are obtained as p->0, for given behavior of the parameters as p->0. This article is therefore the multivariate version of our earlier paper "Basic Hypergeometric Functions as Limits of Elliptic Hypergeometric Functions". The integr… ▽ More In this article we consider the elliptic Selberg integral, which is a BC_n symmetric multivariate extension of the elliptic beta integral. We categorize the limits that are obtained as p->0, for given behavior of the parameters as p->0. This article is therefore the multivariate version of our earlier paper "Basic Hypergeometric Functions as Limits of Elliptic Hypergeometric Functions". The integrand of the elliptic Selberg integral is the measure for the BC_n symmetric biorthogonal functions introduced by the second author, so we also consider the limits of the associated bilinear form. We also provide the limits for the discrete version of this bilinear form, which is related to a multivariate extension of the Frenkel-Turaev summation. △ Less

Submitted 27 February, 2018; v1 submitted 7 October, 2011; originally announced October 2011.

Comments: 32 pages. This is part 3 of a 3 part series on limits of multivariate biorthogonal elliptic hypergeometric series. This part is completely self-contained and can be read independently of the other two parts. v2: Corrected erratum in statement of Proposition 6.5 and explained how to adjust the statement in slightly less degenerate cases, also minor typos

MSC Class: 33D60; 33D67; 33E05

Limits of multivariate elliptic hypergeometric biorthogonal functions

Authors: Fokko J. van de Bult, Eric M. Rains

Abstract: In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate… ▽ More In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and in particular we obtain multivariate versions for all elements of the q-Askey scheme. For the Askey-Wilson polynomials these are the Koornwinder polynomials, and the multivariate versions of the Pastro polynomials form a two-parameter family which include the Macdonald polynomials. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 29 pages. This is part 2 of a 3 part series on limits of multivariate elliptic hypergeometric biorthogonal functions. It is recommended to first read part 1: "Limits of elliptic hypergeometric biorthogonal functions"

MSC Class: 33D52; 33E05

Limits of elliptic hypergeometric biorthogonal functions

Authors: Fokko J. van de Bult, Eric M. Rains

Abstract: The purpose of this article is to bring structure to (basic) hypergeometric biorthogonal systems, in particular to the q-Askey scheme of basic hypergeometric orthogonal polynomials. We aim to achieve this by looking at the limits as p->0 of the elliptic hypergeometric biorthogonal functions from Spiridonov, with parameters which depend in varying ways on p. As a result we get 38 systems of biortho… ▽ More The purpose of this article is to bring structure to (basic) hypergeometric biorthogonal systems, in particular to the q-Askey scheme of basic hypergeometric orthogonal polynomials. We aim to achieve this by looking at the limits as p->0 of the elliptic hypergeometric biorthogonal functions from Spiridonov, with parameters which depend in varying ways on p. As a result we get 38 systems of biorthogonal functions with for each system at least one explicit measure for the bilinear form. Amongst these we indeed recover the q-Askey scheme. Each system consists of (basic hypergeometric) rational functions or polynomials. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 27 pages. This is a self-contained article which can also be seen as part 1 of a 3 part series on limits of (multivariate) elliptic hypergeometric biorthogonal functions and their measures

MSC Class: 33D45; 33E05

Self cup products and the theta characteristic torsor

Authors: Bjorn Poonen, Eric Rains

Abstract: We give a general formula relating self cup products in cohomology to connecting maps in nonabelian cohomology, and apply it to obtain a formula for the self cup product associated to the Weil pairing. We give a general formula relating self cup products in cohomology to connecting maps in nonabelian cohomology, and apply it to obtain a formula for the self cup product associated to the Weil pairing. △ Less

Submitted 11 April, 2011; originally announced April 2011.

Comments: 13 pages

MSC Class: 18G50 (Primary) 11G10; 11G30; 14G25; 14K15 (Secondary)

Journal ref: Math. Res. Lett. 18 (2011), no. 6, 1305-1318

On Algebraically Integrable Differential Operators on an Elliptic Curve

Authors: Pavel Etingof, Eric Rains

Abstract: 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 wit… ▽ More 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). △ Less

Submitted 8 July, 2011; v1 submitted 29 November, 2010; originally announced November 2010.

Journal ref: SIGMA 7 (2011), 062

A Fuchsian matrix differential equation for Selberg correlation integrals

Authors: Peter J. Forrester, Eric M. Rains

Abstract: We characterize averages of $\prod_{l=1}^N|x - t_l|^{α- 1}$ with respect to the Selberg density, further contrained so that $t_l \in [0,x]$ $(l=1,...,q)$ and $t_l \in [x,1]$ $(l=q+1,...,N)$, in terms of a basis of solutions of a particular Fuchsian matrix differential equation. By making use of the Dotsenko-Fateev integrals, the explicit form of the connection matrix from the Frobenius type power… ▽ More We characterize averages of $\prod_{l=1}^N|x - t_l|^{α- 1}$ with respect to the Selberg density, further contrained so that $t_l \in [0,x]$ $(l=1,...,q)$ and $t_l \in [x,1]$ $(l=q+1,...,N)$, in terms of a basis of solutions of a particular Fuchsian matrix differential equation. By making use of the Dotsenko-Fateev integrals, the explicit form of the connection matrix from the Frobenius type power series basis to this basis is calculated, thus allowing us to explicitly compute coefficients in the power series expansion of the averages. From these we are able to compute power series for the marginal distributions of the $t_j$ $(j=1,...,N)$. In the case $q=0$ and $α< 1$ we compute the explicit leading order term in the $x \to 0$ asymptotic expansion, which is of interest to the study of an effect known as singularity dominated strong fluctuations. In the case $q=0$ and $α\in \mathbb Z^+$, and with the absolute values removed, the average is a polynomial, and we demonstrate that its zeros are highly structured. △ Less

Submitted 7 November, 2010; originally announced November 2010.

Comments: 22 pages

Journal ref: Commun. Math. Phys., 309, 771-792 (2011)

Random maximal isotropic subspaces and Selmer groups

Authors: Bjorn Poonen, Eric Rains

Abstract: 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 the… ▽ More 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. △ Less

Submitted 11 April, 2011; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: The paper has been split in two, with one half going into "Self cup products and the theta characteristic torsor", and the other half going here. 25 pages

MSC Class: 11G10 (Primary) 11G05; 11G30; 14G25; 14K15 (Secondary)

Journal ref: J. Amer. Math. Soc. 25 (2012), no. 1, 245-269

Deformations of permutation representations of Coxeter groups

Authors: Eric M. Rains, Monica J. Vazirani

Abstract: The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that t… ▽ More The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation. △ Less

Submitted 5 August, 2010; originally announced August 2010.

Comments: 44 pages

Matrix averages relating to the Ginibre ensembles

Authors: Peter J. Forrester, Eric M. Rains

Abstract: The theory of zonal polynomials is used to compute the average of a Schur polynomial of argument $AX$, where $A$ is a fixed matrix and $X$ is from the real Ginibre ensemble. This generalizes a recent result of Sommers and Khorozhenko [J. Phys. A {\bf 42} (2009), 222002], and furthermore allows analogous results to be obtained for the complex and real quaternion Ginibre ensembles. As applications… ▽ More The theory of zonal polynomials is used to compute the average of a Schur polynomial of argument $AX$, where $A$ is a fixed matrix and $X$ is from the real Ginibre ensemble. This generalizes a recent result of Sommers and Khorozhenko [J. Phys. A {\bf 42} (2009), 222002], and furthermore allows analogous results to be obtained for the complex and real quaternion Ginibre ensembles. As applications, the positive integer moments of the general variance Ginibre ensembles are computed in terms of generalized hypergeometric functions, these are written in terms of averages over matrices of the same size as the moment to give duality formulas, and the averages of the power sums of the eigenvalues are expressed as finite sums of zonal polynomials. △ Less

Submitted 2 July, 2009; originally announced July 2009.

Comments: 13 pages

Journal ref: J. Phys. A, 42, 385205 (2009)

q-Distributions on boxed plane partitions

Authors: Alexei Borodin, Vadim Gorin, Eric M. Rains

Abstract: We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types… ▽ More We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results. First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm. Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial. △ Less

Submitted 26 June, 2009; v1 submitted 5 May, 2009; originally announced May 2009.

Comments: 58 pages, v2: minor changes

Journal ref: Selecta Mathematica, New Series, 16 (2010), no. 4, 731--789

Basic Hypergeometric Functions as Limits of Elliptic Hypergeometric Functions

Authors: Fokko van de Bult, Eric Rains

Abstract: We describe a uniform way of obtaining basic hypergeometric functions as limits of the elliptic beta integral. This description gives rise to the construction of a polytope with a different basic hypergeometric function attached to each face of this polytope. We can subsequently obtain various relations, such as transformations and three-term relations, of these functions by considering geometrica… ▽ More We describe a uniform way of obtaining basic hypergeometric functions as limits of the elliptic beta integral. This description gives rise to the construction of a polytope with a different basic hypergeometric function attached to each face of this polytope. We can subsequently obtain various relations, such as transformations and three-term relations, of these functions by considering geometrical properties of this polytope. The most general functions we describe in this way are sums of two very-well-poised ${}_{10}φ_9$'s and their Nassrallah-Rahman type integral representation. △ Less

Submitted 2 March, 2018; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: v3: Proposition 4.3 corrected

Journal ref: SIGMA 5 (2009), 059, 31 pages

Nonsymmetric interpolation Macdonald polynomials and g_n basic hypergeometric series

Authors: Alain Lascoux, Eric M. Rains, S. Ole Warnaar

Abstract: The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series. The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series. △ Less

Submitted 8 July, 2008; originally announced July 2008.

Comments: 30 pages

MSC Class: 05E05; 33D52; 33D67

Journal ref: Transformation Groups 14 (2009), 613-647.

An Isomonodromy Interpretation of the Hypergeometric Solution of the Elliptic Painlevé Equation (and Generalizations)

Authors: Eric M. Rains

Abstract: We construct a family of second-order linear difference equations parametrized by the hypergeometric solution of the elliptic Painlevé equation (or higher-order analogues), and admitting a large family of monodromy-preserving deformations. The solutions are certain semiclassical biorthogonal functions (and their Cauchy transforms), biorthogonal with respect to higher-order analogues of Spiridonov'… ▽ More We construct a family of second-order linear difference equations parametrized by the hypergeometric solution of the elliptic Painlevé equation (or higher-order analogues), and admitting a large family of monodromy-preserving deformations. The solutions are certain semiclassical biorthogonal functions (and their Cauchy transforms), biorthogonal with respect to higher-order analogues of Spiridonov's elliptic beta integral. △ Less

Submitted 9 September, 2011; v1 submitted 1 July, 2008; originally announced July 2008.

Journal ref: SIGMA 7 (2011), 088, 24 pages