arXiv++ Combinatorics

We use Hopf algebras to prove a version of the Littlewood-Richardson rule for skew Schur functions, which implies a conjecture of Assaf and McNamara. We also establish skew Littlewood-Richardson rules for Schur P- and Q-functions and noncommutative ribbon Schur functions, as well as skew Pieri rules for k-Schur functions, dual k-Schur functions, and for the homology of the affine Grassmannian of the symplectic group.

Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.

Let $V$ be a $2m$-dimensional symplectic vector space over an algebraically closed field $K$. Let $\mbb_n^{(f)}$ be the two-sided ideal of the Brauer algebra $\mbb_n(-2m)$ over $K$ generated by $e_1e_3... e_{2f-1}$, where $0\leq f\leq [n/2]$. Let $\mathcal{HT}_{f}^{\otimes n}$ be the subspace of partially harmonic tensors of valence $f$ in $V^{\otimes n}$. In this paper, we prove that $\dim\mathcal{HT}_f^{\otimes n}$ and $\dim\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ are both independent of $K$, and the natural homomorphism from $\mbb_n(-2m)/\mbb_n^{(f)}$ to $\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ is always surjective. We show that $\mathcal{HT}_{f}^{\otimes n}$ has a Weyl filtration and is isomorphic to the dual of $V^{\otimes n}\mbb_n^{(f)}/V^{\otimes n}\mbb_n^{(f+1)}$ as a $Sp(V)$-$(\mbb_n(-2m)/\mbb_n^{(f+1)})$-bimodule. We obtain a $Sp(V)$-$\mbb_n$-bimodules filtration of $V^{\otimes n}$ such that each successive quotient is isomorphic to some $\nabla(\lam)\otimes z_{g,\lam}\mbb_n$ with $\lam\vdash n-2g$, $\ell(\lam)\leq m$ and $0\leq g\leq [n/2]$, where $\nabla(\lam)$ is the co-Weyl module associated to $\lam$ and $z_{g,\lam}$ is an explicitly constructed maximal vector of weight $\lam$. As a byproduct, we show that each right $\mbb_n$-module $z_{g,\lam}\mbb_n$ is integrally defined and stable under base change.

We generalize the constructions of Eisenbud, Fløystad, and Weyman for equivariant minimal free resolutions over the general linear group, and we construct equivariant resolutions over the orthogonal and symplectic groups. We also conjecture and provide some partial results for the existence of an equivariant analogue of Boij-Söderberg decompositions for Betti tables, which were proven to exist in the non-equivariant setting by Eisenbud and Schreyer. Many examples are given.

The diamond cone is a combinatorial description for a basis in a indecomposable module for the nilpotent factor n+ of a semi simple Lie algebra. After N.J. Wildberger who introduced this notion for sl(3), this description was achevied by N. Bel Baraka, N.J. Wildberger and D. A. for sl(n) and by B. Agrebaoui and ourselves for the rank 2 semi-simple Lie algebras. In the present work, we generalize these constructions to the Lie algebras sp(2n). The symplectic semi-standard Young tableaux were defined by C. de Concini, they form a basis for the shape algebra of sp(2n). We introduce here the notion of symplectic quasi-standard Young tableaux, these tableaux describe the diamond cone for sp(2n).

We study the structure of a family of algebras which encodes a generalization of the Pieri Rule for the complex orthogonal group. In particular, we show that each of these algebras has a standard monomial basis and has a flat deformation to a Hibi algebra. There is also a parallel theory for the complex symplectic group.

We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices.

Calderbank, Rains, Shor and Sloane (see \cite{Sloane}) showed that error-correction is possible in the context of quantum computations. Quantum stabilizer codes are a class of additive quaternary codes in binary projective spaces, which are self-orthogonal with respect to the symplectic form. A geometric description is given in \cite{Bierbra}, where also the notion of quantum cap is introduced. Quantum caps correspond to the special case of quantum stabilizer codes of distance $d=4$ when the code is linear over GF(4). In the present paper we review the translation from quantum error-correction to symplectic geometry and study quantum codes in PG(4,4) where we construct complete quantum caps with 20, 29, 30, 32, 33, 34, 36 and 38 points and incomplete quantum caps with 10, 12, 13, 20, 23, 24, 25 and 26 points and we prove the non existence of 11-quantum caps. In particular the quantum caps of sizes 36 and 38 yield positive answers to the existence questions of quantum codes $[[36,26,4]]$ and $[[38,28,4]]$ that remained open in the data base \cite{codetable}.

We study the nullcone in the multi-vector representation of the symplectic group with respect to a joint action of the general linear group and the symplectic group. By extracting an algebra over a distributive lattice structure from the coordinate ring of the nullcone, we describe a toric degeneration and standard monomial theory of the nullcone in terms of double tableaux and integral points in a convex polyhedral cone.

Let $G = {\rm U}(2m, {\mathbb F}_{q^2})$ be the finite unitary group, with $q$ the power of an odd prime $p$. We prove that the number of irreducible complex characters of $G$ with degree not divisible by $p$ and with Frobenius-Schur indicator -1 is $q^{m-1}$. We also obtain a combinatorial formula for the value of any character of ${\rm U}(n, {\mathbb F}_{q^2})$ at any central element, using the characteristic map of the finite unitary group.

This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano polytopes) using probes. The latter are line segments that enter the polytope at an interior point of a facet and whose direction is integrally transverse to this facet. A point inside the polytope is displaceable by a probe if it lies less than half way along it. Using a construction due to Fukaya-Oh-Ohta-Ono, we show that every rational polytope has a central point that is not displaceable by probes. In the monotone (or more generally, the reflexive) case, this central point is its unique interior integral point. In the monotone case, every other point is displaceable by probes if and only if the polytope satisfies the star Ewald condition. (This is a strong version of the Ewald conjecture concerning the integral symmetric points in the polytope.) Further, in dimensions up to and including three every monotone polytope is star Ewald. These results are closely related to the Fukaya-Oh-Ohta-Ono calculations of the Floer homology of the Lagrangian fibers of a toric symplectic manifold, and have applications to questions introduced by Entov-Polterovich about the displaceability of these fibers.

We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.

We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids $\overline {K^*ρ(G_0)}$ where $G_0$ is a simple algebraic group over the algebraic closure of $F_q$, and $ρ: G_0\to GL(V)$ is the irreducible representation associated with any dominant weight. Finally, we give an explicit formula for the orders of finite symplectic monoids associated with the last fundamental dominant weight of type $C_l$; the connections to $H$-polynomials and Betti numbers are shown.

We prove that a Schur function of rectangular shape $(M^n)$ whose variables are specialized to $x_1,x_1^{-1},...,x_n,x_n^{-1}$ factorizes into a product of two odd orthogonal characters of rectangular shape, one of which is evaluated at $-x_1,...,-x_n$, if $M$ is even, while it factorizes into a product of a symplectic character and an even orthogonal character, both of rectangular shape, if $M$ is odd. It is furthermore shown that the first factorization implies a factorization theorem for rhombus tilings of a hexagon, which has an equivalent formulation in terms of plane partitions. A similar factorization theorem is proven for the sum of two Schur functions of respective rectangular shapes $(M^n)$ and $(M^{n-1})$.

It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles. We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.

Every symplectic spread of PG(3,q), or equivalently every ovoid of Q(4,q), is shown to give rise to a certain family of permutation polynomials of GF(q) and conversely. This leads to an algebraic proof of the existence of the Tits-Luneburg spread of W(2^{2h+1}) and the Ree-Tits spread of W(3^{2h+1}), as well as to a new family of low-degree permutation polynomials over GF(3^{2h+1}). We prove the permutation property of the latter polynomials via an odd characteristic analogue of Dobbertin's approach to uniformly representable permutation polynomials over GF(2^n). These new permutation polynomials were later used by Ding, Wang, and Xiang in arXiv:math/0609586 to produce new skew Hadamard difference sets.

Let X be the flag variety of the symplectic group. We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of X. We use these polynomials to describe the arithmetic Schubert calculus on X. Moreover, we give a method to compute the natural arithmetic Chern numbers on X, and show that they are all rational numbers.

We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H)\to π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) \to π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T)\to \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M))\to pi_1(\Symp(M,\om)$ is injective.

We obtain the symplectic group $\SP(V)$ as the universal completion of an amalgam of low rank subgroups akin to Levi components. We let $\SP(V)$ act flag-transitively on the geometry of maximal rank subspaces of $V$. We show that this geometry and its rank $\ge 3$ residues are simply connected with few exceptions. The main exceptional residue is described in some detail. The amalgamation result is then obtained by applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups.

A family of LDPC codes, called LU(3,q) codes, has been constructed from q-regular bipartite graphs. Recently, P. Sin and Q. Xiang determined the dimensions of these codes in the case that q is a power of an odd prime. They also obtained a lower bound for the dimension of an LU(3,q) code when q is a power of 2. In this paper we prove that this lower bound is the exact dimension of the LU(3,q) code. The proof involves the geometry of symplectic generalized quadrangles, the representation theory of Sp(4,q), and the ring of polynomials.