arXiv++ Combinatorics

We show that for $K_5$ (resp.~ $K_{3,3}$) there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, provided $i$ is odd with $1\le i\le 15$ (resp.~ $1\le i\le 17$). Conversely, using the deleted product cohomology, we show that for $K_5$ and $K_{3,3}$, if $A$ is any set of pairs of independent edges, and $A$ has odd cardinality, then there is a drawing in the plane for which each element in $A$ cross an odd number of times, while each pair of independent edges not in $A$ cross an even number of times. For $K_6$ we show that there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, if and only if $3\le i\le 40$.

We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks. Identifying an invertible linear map with its graph viewed as a point in a Grassmannian, we show that the closures of these loci have cohomology classes represented by the back-stable Schubert polynomials of Lam, Lee, and Shimozono. As a special case, we recover the result of Knutson, Lam, and Speyer that Stanley symmetric functions represent the classes of graph Schubert varieties. We consider similar loci where $f$ is restricted to be symmetric or skew-symmetric. Their classes are now given by back-stable versions of the polynomials introduced by Wyser and Yong to represent classes of orbit closures for the orthogonal and symplectic groups acting on the type A flag variety. Using degeneracy locus formulas of Kazarian and of Anderson and Fulton, we obtain new Pfaffian formulas for these polynomials in the vexillary case. We also give a geometric interpretation of the involution Stanley symmetric functions of Hamaker, Marberg, and the author: they represent classes of involution graph Schubert varieties in isotropic Grassmannians.

We study the question of realisability of iterated higher Whitehead products with a given form of nested brackets by simplicial complexes, using the notion of the moment-angle complex $Z_K$. Namely, we say that a simplicial complex $K$ realises an iterated higher Whitehead product $w$ if $w$ is a nontrivial element of $π_*(Z_K)$. The combinatorial approach to the question of realisability uses the operation of substitution of simplicial complexes: for any iterated higher Whitehead product $w$ we describe a simplicial complex $\partialΔ_w$ that realises $w$. Furthermore, for a particular form of brackets inside $w$, we prove that $\partialΔ_w$ is the smallest complex that realises $w$. We also give a combinatorial criterion for the nontriviality of the product $w$. In the proof of nontriviality we use the Hurewicz image of $w$ in the cellular chains of $Z_K$ and the description of the cohomology product of $Z_K$. The second approach is algebraic: we use the coalgebraic versions of the Koszul and Taylor complex for the face coalgebra of $K$ to describe the canonical cycles corresponding to iterated higher Whitehead products $w$. This gives another criterion for realisability of $w$.

The {\em Schubert derivation} is a distinguished Hasse-Schmidt derivation on the exterior algebra of a free abelian group, encoding the formalism of Schubert calculus for all Grassmannians at once. The purpose of this paper is to extend the Schubert derivation to the infinite exterior power of a free ${\mathbb Z}$-module of infinite rank (fermionic Fock space). Classical vertex operators naturally arise from the {\em integration by parts formula}, that also recovers the generating function occurring in the {\em bosonic vertex representation} of the Lie algebra $gl_\infty({\mathbb Z})$, due to Date, Jimbo, Kashiwara and Miwa (DJKM). In the present framework, the DJKM result will be interpreted as a limit case of the following general observation: the singular cohomology of the complex Grassmannian $G(r,n)$ is an irreducible representation of the Lie algebra of $n\times n$ square matrices.}

Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. Building on and improving our previous results [Christoph Bärligea, Quasi-Homogeneity of the Moduli Space of Stable Maps to Homogeneous Spaces, Doc. Math. 23, 697-745 (2018), DOI: 10.25537/dm.2018v23.697-745], we prove that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $\operatorname{Aut}(X)$ for all minimal degrees $d$ in $H_2(X)$. By a minimal degree in $H_2(X)$, we mean a degree $d\in H_2(X)$ which is minimal with the property that $q^d$ occurs (with non-zero coefficient) in the quantum product $σ_u\starσ_v$ of two Schubert classes $σ_u$ and $σ_v$, where $\star$ denotes the product in the (small) quantum cohomology ring $\mathit{QH}^*(X)$ attached to $X$. Along the way, we prove that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $G$ for all minimal degrees $d$ in $H_2(X)$ except for one instance of $G$, $P$ and $d$ which occurs in type $\mathsf{G}_2$.

Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties.

In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case.

Given a Schubert class on $Gr(k,V)$ where $V$ is a symplectic vector space of dimension $2n$, we consider its restriction to the symplectic Grassmannian $SpGr(k,V)$ of isotropic subspaces. Pragacz gave tableau formulae for positively computing the expansion of these $H^*(Gr(k,V))$ classes into Schubert classes of the target when $k=n$, which corresponds to expanding Schur polynomials into $Q$-Schur polynomials. Coskun described an algorithm for their expansion when $k\leq n$. We give a puzzle-based formula for these expansions, while extending them to equivariant cohomology. We make use of a new observation that usual Grassmannian puzzle pieces are already enough to do some $2$-step Schubert calculus, and apply techniques from quantum integrable systems (``scattering diagrams'').

In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular ladder model. All of these propose a way for generalization, which leads to representations of N = 2, ... algebras. Keywords: 2D lattice, square ladder, triangular ladder, conformal algebra, semi-infinite forms, fermions, quadratic algebra, superfrustration, graded Euler characteristic, cohomology, deformation, Jacobi triple product, superalgebras, operator algebras, N = 2, ... algebras.

The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.

We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum cohomology of complete flag varieties; (3) $k$-split polynomials, proving a substantial case of a problem of Broer and Shimozono-Weyman on parabolic Hall-Littlewood polynomials. In addition, we prove the conjecture that $k$-Schur functions defined in terms of $k$-split polynomials agree with strong tableau $k$-Schur functions.

In this article, we derive two spectral gap bounds for the reduced Laplacian of a general simplicial complex. Our two bounds are proven by comparing a simplicial complex in two different ways with a larger complex and with the corresponding clique complex respectively. Both of these bounds generalize the result of Aharoni et al. (2005) \cite{ABM} which is valid only for clique complexes. As an application, we investigate the thresholds for vanishing of cohomology of the neighborhood complex of the Erdös-Rényi random graph. We improve the upper bound derived in Kahle (2007) \cite{kahle} by a logarithmic factor using our spectral gap bounds and we also improve the lower bound via finer probabilistic estimates than those in Kahle (2007) \cite{kahle}.

The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics viewpoint on complexity theory. This report discusses the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid, together with a theorem of A. Fink, K. Mészáros, and A. St. Dizier, which proved a conjecture of C. Monical, N. Tokcan, and the third author.

We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and without perfect matchings that are invariants of abstract tensors systems and spin networks defined by Roger Penrose in the 1970s. We show how some of these polynomials can be ``categorified'' into their own homology theories.

This paper investigates enumerative aspects of permutohedral blades, which provide a generalization of the notion of the tropical hyperplane arrangement. Blade provide the combinatorial underpinning of generalized biadjoint scalar scattering amplitudes in work of Cachazo, Early, Guevara and Mizera (CEGM). We construct a graded basis for a vector space of indicator functions of blades, with the grading determined by the dimension of the support of the function. We prove a Minkowski sum decomposition law into lines and tripods and we explore connections to the cohomology ring of certain moduli spaces and a non-planar analog of the square move for plabic graphs. We give a closed formula for the graded dimension of the basis. It is shown in an Appendix by Donghyun Kim that the coefficients appearing in the numerator of the generating function for the graded dimension are symmetric, and that they sum to $\frac{(2j)!}{j!}$. Unimodality is still open.

We study the geometry and topology of exotic Springer fibers for orbits corresponding to one-row bipartitions from an explicit, combinatorial point of view. This includes a detailed analysis of the structure of the irreducible components and their intersections as well as the construction of an explicit affine paving. Moreover, we compute the ring structure of cohomology by constructing a CW-complex homotopy equivalent to the exotic Springer fiber. This homotopy equivalent space admits an action of the type C Weyl group inducing Kato's original exotic Springer representation on cohomology. Our results are described in terms of the diagrammatics of the one-boundary Temperley-Lieb algebra (also known as the blob algebra). This provides a first step in generalizing the geometric versions of Khovanov's arc algebra to the exotic setting.

We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring.

We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical complexes to be induced from the edges.

This survey provides an introduction to basic questions and techniques surrounding the topology of the moduli space of stable Higgs bundles on a Riemann surface. Through examples, we demonstrate how the structure of the cohomology ring of the moduli space leads to interesting questions of a combinatorial nature.

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans. The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.