arXiv++ Combinatorics

We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.

"Period collapse" refers to any situation where the period of the Ehrhart function of a polytope is less than the denominator of that polytope. We study several interesting situations where this occurs, primarily involving triangles. For example: 1) we determine exactly when the Ehrhart function of a right triangle with legs on the axes and slant edge with irrational slope is a polynomial; 2) we find triangles with periods given by any even-index k-Fibonacci number, and larger denominators; 3) we construct several higher dimensional examples. Several related issues are also discussed, including connections with symplectic geometry.

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.

In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function attributed to Nekrasov and Okounkov (which was actually first proved the same year by Westbury) by using a famous identity of Macdonald in the framework of type $\widetilde{A}$ affine root systems. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using the Macdonald identity in type $\widetilde{C}$ and a new bijection between vectors with integral coordinates and a subset of $t$-cores for integer partitions. As applications, we derive a symplectic hook formula and an unexpected relation between the Macdonald identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$. We also generalize these expansions through the Littlewood decomposition and deduce in particular many new weighted generating functions for subsets of integer partitions and refinements of hook formulas.

In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function due to Nekrasov and Okounkov by using Macdonald's identity in type $\widetilde{A}$. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using Macdonald's identity in type $\widetilde{C}$ and a new bijection. As applications, we derive a symplectic hook formula and a relation between Macdonald's identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$.

We prove that there do not exist non-Desarguesian symplectic semifield spreads of PG$(5,q^2)$, $q\geq 2^{14}$ even, whose associated semifield has center containing $\mathbb{F}_q$, by proving that the only $\mathbb{F}_q$-linear set of rank 6 disjoint from the secant variety of the quadric Veronese variety of PG$(5,q^2)$ is a plane with three points of the Veronese surface of PG$(5,q^6)\setminus$PG$(5,q^2)$.

We give a new proof for the fact that the number of torus fixed points for the degenerated flag variety is equal to the normalized median Genocchi number, using the identification with a certain Schubert variety. We further study the torus fixed points for the symplectic degenerated flag variety and develop a combinatorial model, symplectic Dellac configurations, so parametrize them. The number of these symplectic fixed points is conjectured to be the median Euler number.

We prove a determinantal formula and Pfaffian formulas that respectively describe the $K$-theoretic degeneracy loci classes for Grassmann bundles and for symplectic Grassmann and odd orthogonal bundles. The former generalizes Damon--Kempf--Laksov's determinantal formula and the latter generalize Pragacz--Kazarian's formula for the Chow ring. As an application, we introduce the factorial $GΘ/ GΘ'$-functions representing the torus equivariant $K$-theoretic Schubert classes of the symplectic and the odd orthogonal Grassmannians, which generalize the (double) theta polynomials of Buch--Kresch--Tamvakis and Tamvakis--Wilson.

An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants. Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group Sp(2n). Our formulation is completely explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon.

Let $Γ=Γ(2n,q)$ be the dual polar graph of type $Sp(2n,q)$. Underlying this graph is a $2n$-dimensional vector space $V$ over a field ${\mathbb F}_q$ of odd order $q$, together with a symplectic (i.e. nondegenerate alternating bilinear) form $B:V\times V\to{\mathbb F}_q$. The vertex set of $Γ$ is the set ${\mathcal V}$ of all $n$-dimensional totally isotropic subspaces of $V$. If $q\equiv1$ mod 4, we obtain from $Γ$ a nontrivial two-graph $Δ=Δ(2n,q)$ on ${\mathcal V}$ invariant under $PSp(2n,q)$. This two-graph corresponds to a double cover $\widehatΓ\toΓ$ on which is naturally defined a $Q$-polynomial $(2n+1)$-class association scheme on $2|{\mathcal V}|$ vertices.

We introduce the Symplectic Grassmann codes as projective codes defined by symplectic Grassmannians, in analogy with the orthogonal Grassmann codes introduced in [4]. Note that the Lagrangian-Grassmannian codes are a special class of Symplectic Grassmann codes. We describe the weight enumerator of the Lagrangian--Grassmannian codes of rank $2$ and $3$ and we determine the minimum distance of the line Symplectic Grassmann codes.

A $k$-polar Grassmannian is the geometry having as pointset the set of all $k$-dimensional subspaces of a vector space $V$ which are totally isotropic for a given non-degenerate bilinear form $μ$ defined on $V.$ Hence it can be regarded as a subgeometry of the ordinary $k$-Grassmannian. In this paper we deal with orthogonal line Grassmannians and with symplectic line Grassmannians, i.e. we assume $k=2$ and $μ$ a non-degenerate symmetric or alternating form. We will provide a method to efficiently enumerate the pointsets of both orthogonal and symplectic line Grassmannians. This has several nice applications; among them, we shall discuss an efficient encoding/decoding/error correction strategy for line polar Grassmann codes of both types.

We apply Godsil-McKay switching to the symplectic graphs over $\mathbb{F}_2$ with at least 63 vertices and prove that the 2-rank of (the adjacency matrix of) the graph increases after switching. This shows that the switched graph is a new strongly regular graph with parameters $(2^{2ν}\!-1, 2^{2ν-1}, 2^{2ν-2},2^{2ν-2})$ and 2-rank $2ν+2$ when $ν\geq 3$. For the symplectic graph on $63$ vertices we investigate repeated switching by computer and find many new strongly regular graphs with the above parameters for $ν=3$ with various 2-ranks. Using these results and a recursive construction method for the symplectic graph from Hadamard matrices, we obtain several graphs with the above parameters, but different 2-ranks for every $ν\geq 3$.

We present an explicit formula for the expected value of a product of several independent symplectically invariant matrices in which the trace and real part function may be applied, possibly to different subexpressions. This takes the form of a topological expansion; however, each term has two topologies: one for the trace, and another for the real part. The traces and real parts can always be written in terms of index contraction, but in some cases, it is possible to write the expression as a product in which the two functions are applied to bracketed intervals in a legal bracket diagram. We present the conditions under which this may be done, and an algorithm to construct such an expression given the contracted indices when possible. The summands in the topological expansion are written in terms of matrix cumulants. We compute the matrix cumulants of quaternionic Ginibre, Gaussian symplectic, quaternionic Wishart, and Haar-distributed symplectic matrices, which allow direct computation of an expression constructed from several independent ensembles of any of these matrices.

We use Young's raising operators to introduce and study double theta polynomials, which specialize to both the theta polynomials of Buch, Kresch, and Tamvakis, and to double (or factorial) Schur S-polynomials and Q-polynomials. These double theta polynomials give Giambelli formulas which represent the equivariant Schubert classes in the torus-equivariant cohomology ring of symplectic Grassmannians, and we employ them to obtain a new presentation of this ring in terms of intrinsic generators and relations.

We investigate the structure of electrical Lie algebras of finite Dynkin type. These Lie algebras were introduced by Lam-Pylyavskyy in the study of \textit{circular planar electrical networks}. The corresponding Lie group acts on such networks via some combinatorial operations studied by Curtis-Ingerman-Morrow and Colin de Verdière-Gitler-Vertigan. Lam-Pylyavskyy studied the electrical Lie algebra of type $A$ of even rank in detail, and gave a conjecture for the dimension of electrical Lie algebras of finite Dynkin types. We prove this conjecture for all classical Dynkin types, that is, $A$, $B$, $C$, and $D$. Furthermore, we are able to explicitly describe the structure of the corresponding electrical Lie algebras as the semisimple product of the symplectic Lie algebra with its finite dimensional irreducible representations.

We obtain explicit formulas for the product of a deformed Weyl denominator with the character of an irreducible representation of the spin group $\rm{Spin}_{2r+1}({\mathbb C})$, which is an analogue of the formulas of Tokuyama for Schur polynomials and Hamel-King for characters of symplectic groups. To give these, we start with a symplectic group and obtain such characters using the Casselman-Shalika formula. We then analyze this using objects which are naturally attached to the metaplectic double cover of an odd orthogonal group, which also has dual group $\rm{Spin}_{2r+1}({\mathbb C})$.

We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a new symmetric $2$-$(1408,336,80)$ design with automorphism group $2^{12}:((3\cdot\mathrm{M}_{22}):2)$, and a construction of one of the families of the symplectic designs (the designs $S^-(n)$) exhibiting a flag-transitive, point-imprimitive automorphism group.

A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental) theorem of invariant theory provides a finite spanning set for this algebra, whereas a a second main theorem describes the linear relations between those basic invariants. We use diagrammatic methods to carry Weyl's programme a step further, providing explicit bases for the subspace of the r-th tensor powers of V invariant under the action of G, that are additionally preserved by the action of the long cycle of the symmetric group on r letters. The representations we study are essentially those that occur in Weyl's book: the defining representations of the symplectic groups, the defining representations of the symmetric groups considered as linear representations, and the adjoint representations of the linear groups. In particular, we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic groups Sp(2n). Our formulation is explicit and provides a very precise link to (n+1)-noncrossing perfect matchings, going beyond a dimension count. Extending our argument to the k-th symmetric powers of these representations, the combinatorial objects involved turn out to be (n+1)-noncrossing k-regular graphs. As corollaries we obtain instances of the cyclic sieving phenomenon for these objects and the natural rotation action. In general, we derive branching rules for the diagram algebras corresponding to the representations in a uniform way. We also compute the Frobenius characteristics of modules of the diagram algebras restricted to the action of the symmetric group and obtain the isotypic decomposition of the r-th tensor power of V when n is large enough in comparison to r.

We study cells in generalised Bott-Samelson varieties for type C. These cells are parametrised by certain galleries in the affine building. We define a set of readable galleries - we show that the closure in the affine Grassmannian associated to a gallery in this set is an MV cycle. This then defines a map from the set of readable galeries to the set of MV cycles, which we show to be a morphism of crystals. We further compute the fibres of this map in terms of the Littelmann path model.