arXiv++ Combinatorics

We define symmetric Dellac configurations as the Dellac configurations that are symmetric with respect to their centers. The symmetric Dellac configurations whose lengths are even were previously introduced by Fang and Fourier under the name of symplectic Dellac configurations, to parametrize the torus fixed points of symplectic degenerate flag varieties. In general, symmetric Dellac configurations generate the Poincaré polynomials of (odd or even) symplectic or orthogonal versions of the degenerate flag varieties. In this paper, we give several combinatorial interpretations of the polynomial extensions $(D_n(x))_{n \geq~0}$ of median Euler numbers, defined by Randrianarivony and Zeng, in terms of objects that we name extended Dellac configurations and which generate symmetric Dellac configurations. As a consequence, the cardinalities of the odd and even symmetric Dellac configurations are respectively given by the two adjoining sequences $(l_n)_{n \geq~0} = (1, 1, 3, 21, 267,\dots)$ and $(r_n)_{n \geq~0} = (1,2,10,98,1594,\dots)$, defined as specializations of the polynomials $(D_n(x))_{n \geq~0}$.

In a recent paper, Cristofaro-Gardiner--Li--Stanley [CGLS15] constructed examples of irrational triangles whose Ehrhart functions (i.e. lattice-point count) are polynomials when restricted to positive integer dilation factors. This is very surprising because the Ehrhart functions of rational polygons are usually only quasi-polynomials. We demonstrate that most of their triangles can also be obtained by a simple cut-and-paste procedure that allows us to build new examples with more sides. Our examples might potentially have applications in the theory of symplectic embeddings.

The classical Schur polynomials form a natural basis for the ring of symmetric polynomials, and have geometric significance since they represent the Schubert classes in the cohomology ring of Grassmannians. Moreover, these polynomials enjoy rich combinatorial properties. In the last decade, an exact analogue of this picture has emerged in the symplectic and orthogonal Lie types, with the Schur polynomials replaced by the theta and eta polynomials of Buch, Kresch, and the author. This expository paper gives an overview of what is known to date about this correspondence, with examples.

An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended lines of $\cal L$. An $m$-cover $\cal L$ of ${\rm PG}(r,q)$ is an $(r-2)$-dual $m$-cover if there are two possibilities for the number of lines of $\cal L$ contained in an $(r-2)$-space of ${\rm PG}(r,q)$. Basing on this notion, we characterize $m$-covers $\cal L$ of ${\rm PG}(r,q)$ such that $\bar{\cal L}$ is a two-character set of ${\rm PG}(r,q^2)$. In particular, we show that if $\cal L$ is invariant under a Singer cyclic group of ${\rm PG}(r,q)$ then it is an $(r-2)$-dual $m$-cover. Assuming that the lines of $\cal L$ are lines of a symplectic polar space ${\cal W}(r,q)$ (of an orthogonal polar space ${\cal Q}(r,q)$ of parabolic type), similarly to the projective case we introduce the notion of an $(r-2)$-dual $m$-cover of symplectic type (of parabolic type). We prove that an $m$-cover $\cal L$ of ${\cal W}(r,q)$ (of ${\cal Q}(r,q)$) has this dual property if and only if $\bar{\cal L}$ is a tight set of an Hermitian variety ${\cal H}(r,q^2)$ or of ${\cal W}(r,q^2)$ (of ${\cal H}(r,q^2)$ or of ${\cal Q}(r,q^2)$). We also provide some interesting examples of $(4n-3)$-dual $m$-covers of symplectic type of ${\cal W}(4n-1,q)$.

Making use of the `Veldkamp blow-up' recipe, introduced by Saniga and others (Ann. Inst. H. Poincar\' e D2 (2015) 309) for binary Segre varieties, we study geometric hyperplanes and Veldkamp lines of Segre varieties $S_k(3)$, where $S_k(3)$ stands for the $k$-fold direct product of projective lines of size four and $k$ runs from 2 to 4. Unlike the binary case, the Veldkamp spaces here feature also non-projective elements. Although for $k=2$ such elements are found only among Veldkamp lines, for $k \geq 3$ they are also present among Veldkamp points of the associated Segre variety. Even if we consider only projective geometric hyperplanes, we find four different types of non-projective Veldkamp lines of $S_3(3)$, having 2268 members in total, and five more types if non-projective ovoids are also taken into account. Sole geometric and combinatorial arguments lead to as many as 62 types of projective Veldkamp lines of $S_3(3)$, whose blowing-ups yield 43 distinct types of projective geometric hyperplanes of $S_4(3)$. As the latter number falls short of 48, the number of different large orbits of $2 \times 2 \times 2 \times 2$ arrays over the three-element field found by Bremner and Stavrou (Lin. Multilin. Algebra 61 (2013) 986), there are five (explicitly indicated) hyperplane types such that each is the merger of two different large orbits. Furthermore, we single out those 22 types of geometric hyperplanes of $S_4(3)$, featuring 7 176 640 members in total, that are in a one-to-one correspondence with the points lying on the unique hyperbolic quadric $\mathcal{Q}_0^{+}(15,3) \subset {\rm PG}(15,3) \subset \mathcal{V}(S_4(3))$; and, out of them, seven ones that correspond bijectively to the set of 91 840 generators of the symplectic polar space $\mathcal{W}(7,3) \subset \mathcal{V}(S_3(3))$. For $k=3$ we also discuss embedding of the binary Veldkamp space into the ternary one.

Let $X_w$ be a Schubert subvariety of a cominuscule Grassmannian $X$, and let $μ:T^*X\rightarrow\mathcal N$ be the Springer map from the cotangent bundle of $X$ to the nilpotent cone $\mathcal N$. In this paper, we construct a resolution of singularities for the conormal variety $T^*_XX_w$ of $X_w$ in $X$. Further, for $X$ the usual or symplectic Grassmannian, we compute a system of equations defining $T^*_XX_w$ as a subvariety of the cotangent bundle $T^*X$ set-theoretically. This also yields a system of defining equations for the corresponding orbital varieties $μ(T^*_XX_w)$. Inspired by the system of defining equations, we conjecture a type-independent equality, namely $T^*_XX_w=π^{-1}(X_w)\capμ^{-1}(μ(T^*_XX_w))$. The set-theoretic version of this conjecture follows from this work and previous work for any cominuscule Grassmannian of type A, B, or C.

Finite order invariants (Vassiliev invariants) of knots are expressed in terms of weight systems, that is, functions on chord diagrams satisfying the four-term relations. Weight systems have graph analogues, so-called $4$-invariants of graphs, i.e. functions on graphs that satisfy the four-term relations for graphs. Each $4$-invariant determines a weight system. The notion of weight system is naturally generalized for the case of embedded graphs with an arbitrary number of vertices. Such embedded graphs correspond to links; to each component of a link there corresponds a vertex of an embedded graph. Recently, two approaches have been suggested to extend the notion of $4$-invariants of graphs to the case of combinatorial structures corresponding to embedded graphs with an arbitrary number of vertices. The first approach is due to V.~Kleptsyn and E.~Smirnov, who considered functions on Lagrangian subspaces in a $2n$-dimensional space over $\mathbb{F}_2$ endowed with a standard symplectic form and introduced four-term relations for them. On the other hand, the second approach, the one due to Zhukov and Lando, suggests four-term relations for functions on binary delta-matroids. In this paper, we prove that the two approaches are equivalent.

The goal of this paper is to study the link between the topology of the degenerate flag varieties and combinatorics of the Dellac configurations. We define three new classes of algebraic varieties closely related to the degenerate flag varieties of types A and C. The construction is based on the quiver Grassmannian realization of the degenerate flag varieties and odd symplectic and odd and even orthogonal groups. We study basic properties of our varieties; in particular, we construct cellular decomposition in all the three cases above (as well as in the case of even symplectic group). We also compute the Poincaré polynomials in terms of certain statistics on the set of symmetric Dellac configurations.

We show, using either Fock space techniques or Macdonald difference operators, that certain symplectic and orthogonal analogues of Okounkov's Schur measure are determinantal with kernels given by explicit double contour integrals. We give two applications: one equates certain Toeplitz+Hankel determinants of random matrix theory with appropriate Fredholm determinants and computes Szegő asymptotics for the former; another finds that the simplest examples of said measures exhibit discrete sine kernel asymptotics in the bulk and Airy 2 to 1 kernel---along with a certain dual---asymptotics at the edge. We believe the edge behavior to be universal.

Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups. We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence.

We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface, there exists a constant C depending only on the rank and discriminant of its Picard group, such that $$\mathrm{sys}(σ)^2\leq C\cdot\mathrm{vol}(σ)$$ holds for any stability condition on the derived category of coherent sheaves on the K3 surface. This is an algebro-geometric generalization of a classical systolic inequality on two-tori. We also discuss applications of this inequality in symplectic geometry.

We introduce a new class of friezes which is related to symplectic geometry. On the algebraic and combinatrics sides, this variant of friezes is related to the cluster algebras involving the Dynkin diagrams of type ${\rm C}_{2}$ and ${\rm A}_{m}$. On the geometric side, they are related to the moduli space of Lagrangian configurations of points in the 4-dimensional symplectic space introduced in [Conley C.H., Ovsienko V., Math. Ann. 375 (2019), 1105-1145]. Symplectic friezes share similar combinatorial properties to those of Coxeter friezes and SL-friezes.

We determine the equivariant Euler characteristics for the action of a finite symplectic group on its building.

The thesis focuses on processes on symplectic Gelfand-Tsetlin patterns. In chapter 4, a process with dynamics inspired by the Berele correspondence [Ber86] is presented. It is proved that the shape of the pattern is a Doob $h$-transform of independent random walks with $h$ given by the symplectic Schur function. This is followed by an extension to a $q$-weighted version. This randomised version has itself a branching structure and is related to a $q$-deformation of the $so_{2n+1}$-Whittaker functions. In chapter 5, we present a fully randomised process. This process $q$-deforms a process proposed in [WW09]. In chapter 7 we prove the convergence of the $q$-deformation of the $so_{2n+1}$-Whittaker functions to the classical $so_{2n+1}$-Whittaker functions when $q \to 1$. Finally, in chapter 8 we turn our interest to the continuous setting and construct a process on patterns which contains a positive temperature analogue of the Dyson's Brownian motion of type $B/C$. The processes obtained are $h$-transforms of Brownian motions killed at a continuous rate that depends on their distance from the boundary of the Weyl chamber of type $B/C$, with $h$ related with the $so_{2n+1}$-Whittaker functions.

We consider the conjugation-action of the Borel subgroup of the symplectic or the orthogonal group on the variety of nilpotent complex elements of nilpotency degree $2$ in its Lie algebra. We translate the setup to a representation-theoretic context in the language of a symmetric quiver algebra. This makes it possible to provide a parametrization of the orbits via a combinatorial tool that we call symplectic/orthogonal oriented link patterns. We deduce information about numerology. We then generalize these classifications to standard parabolic subgroups for all classical groups. Finally, our results are restricted to the nilradical.

We study the behaviour of the 2-rank of the adjacency matrix of a graph under Seidel and Godsil-McKay switching, and apply the result to graphs coming from graphical Hadamard matrices of order $4^m$. Starting with graphs from known Hadamard matrices of order $64$, we find (by computer) many Godsil-McKay switching sets that increase the 2-rank. Thus we find strongly regular graphs with parameters $(63,32,16,16)$, $(64,36,20,20)$, and $(64,28,12,12)$ for almost all feasible 2-ranks. In addition we work out the behaviour of the 2-rank for a graph product related to the Kronecker product for Hadamard matrices, which enables us to find many graphical Hadamard matrices of order $4^m$ for which the related strongly regular graphs have an unbounded number of different 2-ranks. The paper extends results from the article 'Switched symplectic graphs and their 2-ranks' by the first and the last author.

We introduce the notion of fully simple maps, which are maps with non self-intersecting disjoint boundaries. In contrast, maps where such a restriction is not imposed are called ordinary. We study in detail the combinatorics of fully simple maps with topology of a disk or a cylinder. We show that the generating series of simple disks is given by the functional inversion of the generating series of ordinary disks. We also obtain an elegant formula for cylinders. These relations reproduce the relation between moments and free cumulants established by Collins et al. math.OA/0606431, and implement the symplectic transformation $x \leftrightarrow y$ on the spectral curve in the context of topological recursion. We conjecture that the generating series of fully simple maps are computed by the topological recursion after exchange of $x$ and $y$. We propose an argument to prove this statement conditionally to a mild version of symplectic invariance for the $1$-hermitian matrix model, which is believed to be true but has not been proved yet. Our argument relies on an (unconditional) matrix model interpretation of fully simple maps, via the formal hermitian matrix model with external field. We also deduce a universal relation between generating series of fully simple maps and of ordinary maps, which involves double monotone Hurwitz numbers. In particular, (ordinary) maps without internal faces -- which are generated by the Gaussian Unitary Ensemble -- and with boundary perimeters $(λ_1,\ldots,λ_n)$ are strictly monotone double Hurwitz numbers with ramifications $λ$ above $\infty$ and $(2,\ldots,2)$ above $0$. Combining with a recent result of Dubrovin et al. math-ph/1612.02333, this implies an ELSV-like formula for these Hurwitz numbers.

It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six distinct types of lines of $\mathcal{V}(G_2(7))$, we explicitly show the combinatorial Grassmannian composition of the magic Veldkamp line; we first give representatives of points and lines of its core generalized quadrangle GQ$(2,2)$, and then additional points and lines of a specific elliptic quadric $\mathcal{Q}^{-}$(5,2), a hyperbolic quadric $\mathcal{Q}^{+}$(5,2) and a quadratic cone $\widehat{\mathcal{Q}}$(4,2) that are centered on the GQ$(2,2)$. In particular, each point of $\mathcal{Q}^{+}$(5,2) is represented by a Pasch configuration and its complementary line, the (Schläfli) double-six of points in $\mathcal{Q}^{-}$(5,2) comprise six Cayley-Salmon configurations and six Desargues configurations with their complementary points, and the remaining Cayley-Salmon configuration stands for the vertex of $\widehat{\mathcal{Q}}$(4,2).

For any $r\geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r \setminus \{\mathbf0\}$ we construct a poset $W_{\mathbf{n}}$ called a 2-associahedron. The 2-associahedra arose in symplectic geometry, where they are expected to control maps between Fukaya categories of different symplectic manifolds. We prove that the completion $\widehat{W_{\mathbf{n}}}$ is an abstract polytope of dimension $|\mathbf{n}|+r-3$. There are forgetful maps $W_{\mathbf{n}} \to K_r$, where $K_r$ is the $(r-2)$-dimensional associahedron, and the 2-associahedra specialize to the associahedra (in two ways) and to the multiplihedra. In an appendix, we work out the 2- and 3-dimensional associahedra in detail.

Let $λ$ be a symplectic partition, denote Jord^{bp}($λ$) the set of even positive integers i which appear in $λ$, and let a map $ε:Jord^{bp}(λ) \to {\pm 1}$. The generalized Springer's correspondence associates to $(λ,ε)$ an irreducible representation $ρ(λ,ε)$ of some Weyl group. We can also define a representation $\underlineρ(λ,ε)$ of the same Weyl group, in general reducible. Roughly speaking, $ρ(λ,ε)$ is the representation of the Weyl group in the top cohomology group of some variety and $\underlineρ$ is the representation in the sum of all the cohomology groups of the same variety. The representation $\underlineρ$ decomposes as a direct sum of $ρ(λ',ε')$ with some multiplicities, where $(λ',ε')$ describes the pairs similar to $(λ,ε)$. It is well know that $(λ,ε)$ appears in this decomposition with multiplicity one and is minimal in this decomposition. That is, if $(λ',ε')$ appears, we have $λ'>λ$ or $(λ',ε')=(λ,ε)$. Assuming that $λ$ has only even parts, we prove that there exists also a maximal pair $(λ^{max},ε^{max})$. That is $4(λ^{max},ε^{max})$ appears with positive multiplicity (in fact one) and, if $(λ',ε')$ appears, we have $λ^{max}>λ'$ or $(λ',ε')=(λ^{max},ε^{max})$.