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

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

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 29 December, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 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

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

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

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

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

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

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

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

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)

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

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

Elliptic Littlewood identities

Authors: Eric M. Rains

Abstract: We prove analogues for elliptic interpolation functions of Macdonald's version of the Littlewood identity for (skew) Macdonald polynomials, in the process developing an interpretation of general elliptic "hypergeometric" sums as skew interpolation functions. One such analogue has an interpretation as a "vanishing integral", generalizing a result of arXiv:math/0606204; the structure of this analogu… ▽ More We prove analogues for elliptic interpolation functions of Macdonald's version of the Littlewood identity for (skew) Macdonald polynomials, in the process developing an interpretation of general elliptic "hypergeometric" sums as skew interpolation functions. One such analogue has an interpretation as a "vanishing integral", generalizing a result of arXiv:math/0606204; the structure of this analogue gives sufficient insight to enable us to conjecture elliptic versions of most of the other vanishing integrals of arXiv:math/0606204 as well. We are thus led to formulate ten conjectures, each of which can be viewed as a multivariate quadratic transformation, and can be proved in a number of special cases. △ Less

Submitted 29 February, 2012; v1 submitted 4 June, 2008; originally announced June 2008.

Comments: 54 pages, LaTeX; v2: main conjectures renumbered, additional consistency conditions and several more special cases proved. v3: references to further progress added, various clarifications

Determinants of elliptic hypergeometric integrals

Authors: E. M. Rains, V. P. Spiridonov

Abstract: We start from an interpretation of the $BC_2$-symmetric "Type I" (elliptic Dixon) elliptic hypergeometric integral evaluation as a formula for a Casoratian of the elliptic hypergeometric equation, and give an extension to higher-dimensional integrals and higher-order hypergeometric functions. This allows us to prove the corresponding elliptic beta integral and transformation formula in a new way… ▽ More We start from an interpretation of the $BC_2$-symmetric "Type I" (elliptic Dixon) elliptic hypergeometric integral evaluation as a formula for a Casoratian of the elliptic hypergeometric equation, and give an extension to higher-dimensional integrals and higher-order hypergeometric functions. This allows us to prove the corresponding elliptic beta integral and transformation formula in a new way, by proving both sides satisfy the same difference equations, and that the difference equations satisfy a Galois-theoretical condition that ensures uniqueness of simultaneous solution. △ Less

Submitted 20 March, 2009; v1 submitted 27 December, 2007; originally announced December 2007.

Comments: 17 pages; minor modifications

MSC Class: 11C20; 33E99

Journal ref: Funct. Analysis and its Appl. 43 (2009), no. 4, 297-311

Symmetrized models of last passage percolation and non-intersecting lattice paths

Authors: Peter J. Forrester, Eric M. Rains

Abstract: It has been shown that the last passage time in certain symmetrized models of directed percolation can be written in terms of averages over random matrices from the classical groups $U(l)$, $Sp(2l)$ and $O(l)$. We present a theory of such results based on non-intersecting lattice paths, and integration techniques familiar from the theory of random matrices. Detailed derivations of probabilities… ▽ More It has been shown that the last passage time in certain symmetrized models of directed percolation can be written in terms of averages over random matrices from the classical groups $U(l)$, $Sp(2l)$ and $O(l)$. We present a theory of such results based on non-intersecting lattice paths, and integration techniques familiar from the theory of random matrices. Detailed derivations of probabilities relating to two further symmetrizations are also given. △ Less

Submitted 26 May, 2007; originally announced May 2007.

Comments: 21 pages, 5 figures

The homology of real subspace arrangements

Authors: Eric M. Rains

Abstract: Associated to any subspace arrangement is a "De Concini-Procesi model", a certain smooth compactification of its complement, which in the case of the braid arrangement produces the Deligne-Mumford compactification of the moduli space of genus 0 curves with marked points. In the present work, we calculate the integral homology of real De Concini-Procesi models, extending earlier work of Etingof,… ▽ More Associated to any subspace arrangement is a "De Concini-Procesi model", a certain smooth compactification of its complement, which in the case of the braid arrangement produces the Deligne-Mumford compactification of the moduli space of genus 0 curves with marked points. In the present work, we calculate the integral homology of real De Concini-Procesi models, extending earlier work of Etingof, Henriques, Kamnitzer and the author on the (2-adic) integral cohomology of the real locus of the moduli space. To be precise, we show that the integral homology of a real De Concini-Procesi model is isomorphic modulo its 2-torsion with a sum of cohomology groups of subposets of the intersection lattice of the arrangement. As part of the proof, we construct a large family of natural maps between De Concini-Procesi models (generalizing the operad structure of moduli space), and determine the induced action on poset cohomology. In particular, this determines the ring structure of the cohomology of De Concini-Procesi models (modulo 2-torsion). △ Less

Submitted 4 December, 2009; v1 submitted 25 October, 2006; originally announced October 2006.

Comments: 36 pages, LaTeX. v2: Minor corrections, improvements in exposition

Properties of generalized univariate hypergeometric functions

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

Abstract: Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (t… ▽ More Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hypergeometric functions are identified with Ruijsenaars' relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an expression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions. △ Less

Submitted 11 July, 2006; originally announced July 2006.

Comments: 46 pages

Limits of elliptic hypergeometric integrals

Authors: Eric M. Rains

Abstract: In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal… ▽ More In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level. △ Less

Submitted 5 September, 2007; v1 submitted 4 July, 2006; originally announced July 2006.

Comments: 41 pages LaTeX. Minor stylistic changes, statement of Theorem 4.7 fixed

Quadratic transformations of Macdonald and Koornwinder polynomials

Authors: Eric M. Rains, Monica J. Vazirani

Abstract: When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof tec… ▽ More When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results. △ Less

Submitted 8 June, 2006; originally announced June 2006.

Comments: 32 pages LaTeX, 10 xfig figures

The action of S_n on the cohomology of M_{0,n}(R)

Authors: Eric M. Rains

Abstract: In recent work (math/0507514) by Etingof, Henriques, Kamnitzer, and the author, a presentation and explicit basis was given for the rational cohomology of the real locus $\bar{M_{0,n}}(\RR)$ of the moduli space of stable genus 0 curves with $n$ marked points. We determine the graded character of the action of $S_n$ on this space (induced by permutations of the marked points), both in the form of… ▽ More In recent work (math/0507514) by Etingof, Henriques, Kamnitzer, and the author, a presentation and explicit basis was given for the rational cohomology of the real locus $\bar{M_{0,n}}(\RR)$ of the moduli space of stable genus 0 curves with $n$ marked points. We determine the graded character of the action of $S_n$ on this space (induced by permutations of the marked points), both in the form of a plethystic formula for the cycle index, and as an explicit product formula for the value of the character on a given cycle type. △ Less

Submitted 14 June, 2006; v1 submitted 24 January, 2006; originally announced January 2006.

Comments: 17 pages AMSLaTeX

On the Integrality of n-th Roots of Generating Functions

Authors: Nadia Heninger, E. M. Rains, N. J. A. Sloane

Abstract: Motivated by the discovery that the eighth root of the theta series of the E_8 lattice and the 24th root of the theta series of the Leech lattice both have integer coefficients, we investigate the question of when an arbitrary element f in R (where R = 1 + xZ[[x]]) can be written as f = g^n for g in R, n >= 2. Let P_n := {g^n : g in R} and let mu_n := n Product_{p|n} p. We show among other thing… ▽ More Motivated by the discovery that the eighth root of the theta series of the E_8 lattice and the 24th root of the theta series of the Leech lattice both have integer coefficients, we investigate the question of when an arbitrary element f in R (where R = 1 + xZ[[x]]) can be written as f = g^n for g in R, n >= 2. Let P_n := {g^n : g in R} and let mu_n := n Product_{p|n} p. We show among other things that (i) for f in R, f in P_n <=> f mod mu_n in P_n, and (ii) if f in P_n, there is a unique g in P_n with coefficients mod mu_n/n such that f == g^n (mod mu_n). In particular, if f == 1 (mod mu_n) then f in P_n. The latter assertion implies that the theta series of any extremal even unimodular lattice in R^n (e.g. E_8 in R^8) is in P_n if n is of the form 2^i 3^j 5^k (i >= 3). There do not seem to be any exact analogues for codes, although we show that the weight enumerator of the r-th order Reed-Muller code of length 2^m is in P_{2^r}. We give a number of other results and conjectures, and establish a conjecture of Paul D. Hanna that there is a unique element f in P_n (n != 2) with coefficients restricted to the set {1, 2, ..., n}. △ Less

Submitted 8 April, 2006; v1 submitted 14 September, 2005; originally announced September 2005.

Comments: 14 pages. V2: Sep 16 2005: typos corrected, added remarks, added new theorem (Theorem 6), modified a conjecture. V3: Sep 30 2005: Added theorem about theta series of Barnes-Wall lattices. V4: Apr 8 2006: Better title, stronger theorem about modular forms, many small improvements

MSC Class: 13F25; 11B83; 11F27; 94B10; 11B50; 11B37; 52C07

Journal ref: J. Combin. Theory A, 113 (2006), 1732-1745

Jacobians and rank 1 perturbations relating to unitary Hessenberg matrices

Authors: Peter J. Forrester, Eric M. Rains

Abstract: In a recent work Killip and Nenciu gave random recurrences for the characteristic polynomials of certain unitary and real orthogonal upper Hessenberg matrices. The corresponding eigenvalue p.d.f.'s are beta-generalizations of the classical groups. Left open was the direct calculation of certain Jacobians. We provide the sought direct calculation. Furthermore, we show how a multiplicative rank 1… ▽ More In a recent work Killip and Nenciu gave random recurrences for the characteristic polynomials of certain unitary and real orthogonal upper Hessenberg matrices. The corresponding eigenvalue p.d.f.'s are beta-generalizations of the classical groups. Left open was the direct calculation of certain Jacobians. We provide the sought direct calculation. Furthermore, we show how a multiplicative rank 1 perturbation of the unitary Hessenberg matrices provides a joint eigenvalue p.d.f generalizing the circular beta-ensemble, and we show how this joint density is related to known inter-relations between circular ensembles. Projecting the joint density onto the real line leads to the derivation of a random three-term recurrence for polynomials with zeros distributed according to the circular Jacobi beta-ensemble. △ Less

Submitted 25 May, 2005; originally announced May 2005.

Comments: 23 pages

Recurrences for elliptic hypergeometric integrals

Authors: Eric M. Rains

Abstract: In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These… ▽ More In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a corollary, we find that a codimension one special case of the integral is a tau function for the elliptic Painlevé equation. △ Less

Submitted 13 April, 2005; originally announced April 2005.

Comments: 16 pages LaTeX. From workshop on Elliptic Integrable Systems, RIMS 11/2004

Correlation functions for random involutions

Authors: Peter J. Forrester, Taro Nagao, Eric M. Rains

Abstract: Our interest is in the scaled joint distribution associated with $k$-increasing subsequences for random involutions with a prescribed number of fixed points. We proceed by specifying in terms of correlation functions the same distribution for a Poissonized model in which both the number of symbols in the involution, and the number of fixed points, are random variables. From this, a de-Poissoniza… ▽ More Our interest is in the scaled joint distribution associated with $k$-increasing subsequences for random involutions with a prescribed number of fixed points. We proceed by specifying in terms of correlation functions the same distribution for a Poissonized model in which both the number of symbols in the involution, and the number of fixed points, are random variables. From this, a de-Poissonization argument yields the scaled correlations and distribution function for the random involutions. These are found to coincide with the same quantities known in random matrix theory from the study of ensembles interpolating between the orthogonal and symplectic universality classes at the soft edge, the interpolation being due to a rank 1 perturbation. △ Less

Submitted 6 June, 2006; v1 submitted 4 March, 2005; originally announced March 2005.

Comments: 27 pages, 1 figure, minor corrections made

A difference-integral representation of Koornwinder polynomials

Authors: Eric M. Rains

Abstract: We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by v… ▽ More We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi. △ Less

Submitted 22 September, 2004; originally announced September 2004.

Comments: 15 pages AMSLaTeX. To appear in proceedings of the Workshop on Jack, Hall-Littlewood and Macdonald polynomials (September 2003, ICMS)

MSC Class: 33D52 (05E35)

Eynard-Mehta theorem, Schur process, and their pfaffian analogs

Authors: Alexei Borodin, Eric M. Rains

Abstract: We give simple linear algebraic proofs of Eynard-Mehta theorem, Okounkov-Reshetikhin formula for the correlation kernel of the Schur process, and Pfaffian analogs of these results. We also discuss certain general properties of the spaces of all determinantal and Pfaffian processes on a given finite set. We give simple linear algebraic proofs of Eynard-Mehta theorem, Okounkov-Reshetikhin formula for the correlation kernel of the Schur process, and Pfaffian analogs of these results. We also discuss certain general properties of the spaces of all determinantal and Pfaffian processes on a given finite set. △ Less

Submitted 11 February, 2005; v1 submitted 21 September, 2004; originally announced September 2004.

Comments: AMSTeX, 21 pages, a new section added

A logarithmic-depth quantum carry-lookahead adder

Authors: Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, Krysta M. Svore

Abstract: We present an efficient addition circuit, borrowing techniques from the classical carry-lookahead arithmetic circuit. Our quantum carry-lookahead (QCLA) adder accepts two n-bit numbers and adds them in O(log n) depth using O(n) ancillary qubits. We present both in-place and out-of-place versions, as well as versions that add modulo 2^n and modulo 2^n - 1. Previously, the linear-depth ripple-ca… ▽ More We present an efficient addition circuit, borrowing techniques from the classical carry-lookahead arithmetic circuit. Our quantum carry-lookahead (QCLA) adder accepts two n-bit numbers and adds them in O(log n) depth using O(n) ancillary qubits. We present both in-place and out-of-place versions, as well as versions that add modulo 2^n and modulo 2^n - 1. Previously, the linear-depth ripple-carry addition circuit has been the method of choice. Our work reduces the cost of addition dramatically with only a slight increase in the number of required qubits. The QCLA adder can be used within current modular multiplication circuits to reduce substantially the run-time of Shor's algorithm. △ Less

Submitted 20 June, 2004; originally announced June 2004.

Comments: 21 pages, 4 color figures

Journal ref: Quant. Inf. Comp. Vol. 6, No. 4-5, pp. 351-369 (2006)

BC_n-symmetric abelian functions

Authors: Eric M. Rains

Abstract: We construct a family of BC_n-symmetric biorthogonal abelian functions generalizing Koornwinder's orthogonal polynomials, and prove a number of their properties, most notably analogues of Macdonald's conjectures. The construction is based on a direct construction for a special case generalizing Okounkov's interpolation polynomials. We show that these interpolation functions satisfy a collection… ▽ More We construct a family of BC_n-symmetric biorthogonal abelian functions generalizing Koornwinder's orthogonal polynomials, and prove a number of their properties, most notably analogues of Macdonald's conjectures. The construction is based on a direct construction for a special case generalizing Okounkov's interpolation polynomials. We show that these interpolation functions satisfy a collection of generalized hypergeometric identities, including new multivariate elliptic analogues of Jackson's summation and Bailey's transformation. △ Less

Submitted 9 January, 2006; v1 submitted 7 February, 2004; originally announced February 2004.

Comments: 59 pages, LaTeX (with AMS macros). v2: Minor revisions per referee comments

Complete Weight Enumerators of Generalized Doubly-Even Self-Dual Codes

Authors: Gabriele Nebe, H. -G. Quebbemann, E. M. Rains, N. J. A. Sloane

Abstract: For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4. For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4. △ Less

Submitted 17 November, 2003; originally announced November 2003.

MSC Class: 94B05; 13A50; 94B60

Journal ref: Finite Fields Applic. 10 (2004), 540-550

Codes and Invariant Theory

Authors: Gabriele Nebe, E. M. Rains, N. J. A. Sloane

Abstract: The main theorem in this paper is a far-reaching generalization of Gleason's theorem on the weight enumerators of codes which applies to arbitrary-genus weight enumerators of self-dual codes defined over a large class of finite rings and modules. The proof of the theorem uses a categorical approach, and will be the subject of a forthcoming book. However, the theorem can be stated and applied wit… ▽ More The main theorem in this paper is a far-reaching generalization of Gleason's theorem on the weight enumerators of codes which applies to arbitrary-genus weight enumerators of self-dual codes defined over a large class of finite rings and modules. The proof of the theorem uses a categorical approach, and will be the subject of a forthcoming book. However, the theorem can be stated and applied without using category theory, and we illustrate it here by applying it to generalized doubly-even codes over fields of characteristic 2, doubly-even codes over the integers modulo a power of 2, and self-dual codes over the noncommutative ring $\F_q + \F_q u$, where $u^2 = 0$.. △ Less

Submitted 4 November, 2003; originally announced November 2003.

MSC Class: 94B05; 13A50; 94B60