arXiv++ Combinatorics

The classical characteristic map associates symmetric functions to characters of the symmetric groups. There are two natural analogues of this map involving the Brauer algebra. The first of them relies on the action of the orthogonal or symplectic group on a space of tensors, while the second is provided by the action of this group on the symmetric algebra of the corresponding Lie algebra. We consider the second characteristic map both in the orthogonal and symplectic case, and calculate the images of central idempotents of the Brauer algebra in terms of the Schur polynomials. The calculation is based on the Okounkov--Olshanski binomial formula for the classical Lie groups. We also reproduce the hook dimension formulas for representations of the classical groups by deriving them from the properties of the primitive idempotents of the symmetric group and the Brauer algebra.

We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild cohomology and a Poincare-Birkhoff-Witt property explicitly (using Gerstenhaber brackets). We also classify those deformations of skew group algebras which arise as Drinfeld orbifold algebras and give applications for abelian groups.

We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincare-Birkhoff-Witt property using the theory of noncommutative Groebner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify graded automorphisms of the coordinate ring of quantum 3-space. In characteristic zero, Hochschild cohomology gives an elegant description of the Poincare-Birkhoff-Witt conditions.

We introduce affine Stanley symmetric functions for the special orthogonal groups, a class of symmetric functions that model the cohomology of the affine Grassmannian, continuing the work of Lam and Lam, Schilling, and Shimozono on the special linear and symplectic groups, respectively. For the odd orthogonal groups, a Hopf-algebra isomorphism is given, identifying (co)homology Schubert classes with symmetric functions. For the even orthogonal groups, we conjecture an approximate model of (co)homology via symmetric functions. In the process, we develop type B and type D non-commutative k-Schur functions as elements of the nilCoxeter algebra that model homology of the affine Grassmannian. Additionally, Pieri rules for multiplication by special Schubert classes in homology are given in both cases. Finally, we present a type-free interpretation of Pieri factors, used in the definition of noncommutative k-Schur functions or affine Stanley symmetric functions for any classical type.

We study the quantum symmetric spaces for quantum general linear groups modulo symplectic groups. We first determine the structure of the quotient quantum group and completely determine the quantum invariants. We then derive the characteristic property for quantum Phaffian as well as its role in the quantum invariant sub-ring. The spherical functions, viewed as Macdonald polynomials, are also studied as the quantum analog of zonal spherical polynomials.

Let $V$ denote a vector space over two-element field $\mathbb F_2$ with finite positive dimension and endowed with a symplectic form $B.$ Let ${\rm SL}(V)$ denote the special linear group of $V.$ Let $S$ denote a subset of $V.$ Define $Tv(S)$ as the subgroup of ${\rm SL}(V)$ generated by the transvections with direction $α$ for all $α\in S.$ Define $G(S)$ as the graph whose vertex set is $S$ and where $α,β\in S$ are connected whenever $B(α,β)=1.$ A well-known theorem states that under the assumption that $S$ spans $V,$ the following (i), (ii) are equivalent: (i) $Tv(S)$ is isomorphic to a symmetric group. (ii) $G(S)$ is a claw-free block graph. We give an example which shows that this theorem is not true. We give a modification of this theorem as follows. Assume that $S$ is a linearly independent set of $V$ and no element of $S$ is in the radical of $V.$ Then the above (i), (ii) are equivalent.

Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theorem and obtain a $q$-character formula for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz fixed points formula.

The degenerate affine and affine BMW algebras arise naturally in the context of Schur-Weyl duality for orthogonal and symplectic Lie algebras and quantum groups, respectively. Cyclotomic BMW algebras, affine Hecke algebras, cyclotomic Hecke algebras, and their degenerate versions are quotients. In this paper the theory is unified by treating the orthogonal and symplectic cases simultaneously; we make an exact parallel between the degenerate affine and affine cases via a new algebra which takes the role of the affine braid group for the degenerate setting. A main result of this paper is an identification of the centers of the affine and degenerate affine BMW algebras in terms of rings of symmetric functions which satisfy a "cancellation property" or "wheel condition" (in the degenerate case, a reformulation of a result of Nazarov). Miraculously, these same rings also arise in Schubert calculus, as the cohomology and K-theory of isotropic Grassmanians and symplectic loop Grassmanians. We also establish new intertwiner-like identities which, when projected to the center, produce the recursions for central elements given previously by Nazarov for degenerate affine BMW algebras, and by Beliakova-Blanchet for affine BMW algebras.

In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components. We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture. We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases. We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.

The correspondence between linear codes and representable matroids is well known. But a similar correspondence between quantum codes and matroids is not known. We show that representable symplectic matroids over a finite field $\mathbb{F}_q$ correspond to $\mathbb{F}_q$-linear quantum codes. Although this connection is straightforward, it does not appear to have been made earlier in literature. The correspondence is made through isotropic subspaces. We also show that the popular Calderbank-Shor-Steane (CSS) codes are essentially the homogenous symplectic matroids while the graph states, which figure so prominently in measurement based quantum computation, correspond to a special class of symplectic matroids, namely Lagrangian matroids. This association is useful in that it enables the study of symplectic matroids in terms of quantum codes and vice versa. Furthermore, it has application in the study of quantum secret sharing schemes.

We introduce a new class of "electrical" Lie groups. These Lie groups, or more precisely their nonnegative parts, act on the space of planar electrical networks via combinatorial operations previously studied by Curtis-Ingerman-Morrow. The corresponding electrical Lie algebras are obtained by deforming the Serre relations of a semisimple Lie algebra in a way suggested by the star-triangle transformation of electrical networks. Rather surprisingly, we show that the type A electrical Lie group is isomorphic to the symplectic group. The nonnegative part (EL_{2n})_{\geq 0} of the electrical Lie group is a rather precise analogue of the totally nonnegative subsemigroup (U_{n})_{\geq 0} of the unipotent subgroup of SL_{n}. We establish decomposition and parametrization results for (EL_{2n})_{\geq 0}, paralleling Lusztig's work in total nonnegativity, and work of Curtis-Ingerman-Morrow and de Verdière-Gitler-Vertigan for networks. Finally, we suggest a generalization of electrical Lie algebras to all Dynkin types.

Quite recently, McDuff showed that the existence of a symplectic embedding of one four-dimensional ellipsoid into another can be established by comparing their corresponding sequences of ECH capacities. In this note we show that these sequences can be encoded in a generating function, which gives several new equivalent formulations of McDuff's theorem.

For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the polynomial, defined by M.Las Vergnas in a combinatorial way using matroids as a specialization of the Krushkal polynomial, defined using the symplectic structure in the first homology group of the surface.

It is well known that if one integrates a Schur function indexed by a partition $λ$ over the symplectic (resp. orthogonal) group, the integral vanishes unless all parts of $λ$ have even multiplicity (resp. all parts of $λ$ are even). In a recent paper of Rains and Vazirani, Macdonald polynomial generalizations of these identities and several others were developed and proved using Hecke algebra techniques. However at $q=0$ (the Hall-Littlewood level), these approaches do not work, although one can obtain the results by taking the appropriate limit. In this paper, we develop a direct approach for dealing with this special case. This technique allows us to prove some identities that were not amenable to the Hecke algebra approach, as well as to explicitly control the nonzero values. Moreover, we are able to generalize some of the identities by introducing extra parameters. This leads us to a finite-dimensional analog of a recent result of Warnaar, which uses the Rogers-Szegö polynomials to unify some existing summation type formulas for Hall-Littlewood functions.

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.

We study the PBW filtration on the highest weight representations $V(\la)$ of $\msp_{2n}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial formula for the character of $V(\la)$ and obtain a new class of bases of the modules $V(\la)$.

We prove that the Grassmannian of totally isotropic $k$-spaces of the polar space associated to the unitary group $\mathsf{SU}_{2n}(\mathbb{F})$ ($n\in \mathbb{N}$) has generating rank ${2n\choose k}$ when $\mathbb{F}\ne \mathbb{F}_4$. We also reprove the main result of Blok [Blok2007], namely that the Grassmannian of totally isotropic $k$-spaces associated to the symplectic group $\mathsf{Sp}_{2n}(\mathbb{F})$ has generating rank ${2n\choose k}-{2n\choose k-2}$, when $\rm{Char}(\mathbb{F})\ne 2$.

We perform separation of variables for the symplectic Weyl character using Sklyanin's scheme. Viewing the characters as eigenfunctions of a quantum integrable system, we explicitly construct the separating operator using the Q-operator method. We also construct the inverse of the separating operator, as well as the factorised Hamiltonian.

We give an Eynard-Orantin type topological recursion formula for the canonical Euclidean volume of the combinatorial moduli space of pointed smooth algebraic curves. The recursion comes from the edge removal operation on the space of ribbon graphs. As an application we obtain a new proof of the Kontsevich constants for the ratio of the Euclidean and the symplectic volumes of the moduli space of curves.

In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.