On compositions with 𝑥²/(1-𝑥)

DOI10.1090/PROC/12806MaRDI QIDQ2944835zbMATH OpenOpenAlexFDO

Authors Hans-Christian Herbig, Daniel Herden, Christopher Seaton

Publication date 8 September 2015

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.1022

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Bernoulli and Euler numbers and polynomials (11B68) Actions of groups on commutative rings; invariant theory (13A50) Momentum maps; symplectic reduction (53D20)

Abstract: In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent M"{o}bius transformation $xmapstox/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

Recommendations

• On the square of x^-n
• On the composition of polynomials of the form \(z^2+c_n\)
• On the Diophantine equation \( (2^n-1) (a^n-1)=x^2\)
• ON THE EQUATION x(x+d)…(x+(k-1)d)=by 2
• On the factorisation of \(x^2+d\)
• scientific article; zbMATH DE number 1932275
• On the Diophantine equation \((a^n - 1)(b^n -1) = x^2\)
• scientific article; zbMATH DE number 1215214
• On the equation \(1!^k+2!^k+\cdots+n!^k=x^2\)
• On the diophantine equation \((2^n-1)(3^n-1)=x^2\)

Cites work

• scientific article; zbMATH DE number 3484308 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 3081880 (Why is no real title available?)
• Algorithms in invariant theory
• Applications of the classical umbral calculus
• Certain invariant subrings are Gorenstein. I
• Certain invariant subrings are Gorenstein. II
• Computational invariant theory
• Hilbert functions of graded algebras
• Invariants of finite groups and their applications to combinatorics
• On orbifold criteria for symplectic toric quotients
• On the existence of star products on quotient spaces of linear Hamiltonian torus actions
• Stratified symplectic spaces and reduction
• The Hilbert series of a linear symplectic circle quotient

Cited in

(9)

• Symplectic reduction at zero angular momentum
• Symplectic quotients have symplectic singularities
• Multigraded Hilbert series of invariants, covariants, and symplectic quotients for some rank 1 Lie groups
• scientific article; zbMATH DE number 2015666 (Why is no real title available?)
• Hilbert series of symplectic quotients by the 2-torus
• The Hilbert series of a linear symplectic circle quotient
• The Hilbert series of \(\operatorname{SL}_2\)-invariants
• Hilbert series associated to symplectic quotients by \(\mathrm{SU}_2\)
• The Laurent coefficients of the Hilbert series of a Gorenstein algebra

Describes a project that uses

Uses Software

• OEIS
• Mathematica

This page was built for publication: On compositions with 𝑥²/(1-𝑥)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2944835)