arXiv++ Combinatorics

In this paper we find monomial bases for the integer cohomology rings of compact wonderful models of toric arrangements. In the description of the monomials various combinatorial objects come into play: building sets, nested sets, and the fan of a suitable toric variety. We provide some examples computed via a SageMath program and then we focus on the case of the toric arrangements associated with root systems of type A. Here the combinatorial description of our basis offers a geometrical point of view on the relation between some Eulerian statistics on the symmetric group.

We say that a tropical subvariety $V\subset \mathbb R^n$ is $B$-realizable if it can be lifted to an analytic subset of $(Λ^*)^n$. When $V$ is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift $L_V\subset (\mathbb C^*)^n$. We prove that whenever $L_V$ has well-defined Floer cohomology, we can find for each point of $V$ a Lagrangian torus brane whose Lagrangian intersection Floer cohomology with $L_V$ is non-vanishing. Assuming an appropriate homological mirror symmetry result holds for toric varieties, it follows that whenever $L_V$ is a Lagrangian submanifold that can be made unobstructed by a bounding cochain, the tropical subvariety $V$ is $B$-realizable. As an application, we show that the Lagrangian lift of a genus zero tropical curve is unobstructed, thereby giving a purely symplectic argument for Nishinou and Siebert's proof that genus-zero tropical curves are $B$-realizable. We also prove that tropical curves inside tropical abelian surfaces are $B$-realizable.

Heckenberger introduced the Weyl groupoid of a finite-dimensional Nichols algebra of diagonal type. We replace the matrix of its braiding by a higher tensor and present a construction which yields further Weyl groupoids. Abelian cohomology theory gives evidence for the existence of a higher braiding associated to such a tensor.

We find a combinatorial formula which computes the first cotangent cohomology module of Stanley-Reisner rings associated to matroids. For arbitrary simplicial complexes we provide upper bounds for the dimensions of the multigraded components of T^1. For specific degrees we prove that these bounds are reached if and only if the simplicial complex is a matroid, obtaining thus a new characterization for matroids. Furthermore, the graded first cotangent cohomology turns out to be a complete invariant for nondiscrete matroids.

Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$. This construction was an essential tool in their analysis of the Springer representation, and variations of it have reappeared recently in several other combinatorial and geometric contexts under the name orbit harmonics. In this article, we analyze the orbit harmonics of a union of two $S_n$ orbits. We prove that when the coordinate sums of the two orbits are different, the corresponding graded $S_n$ representation is a direct sum of two Springer representations, one of which is shifted in degree by 1.

Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$, such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in $\mathrm{R}^n$ of positive radious, there exist hypersurfaces $(V_n)_{n_>0}$ defined by symmetric multi-affine polynomials of degree $4$, such that $\sum_{i \leq 5} b_i(V_n \cap B_n) > c^n$, where $b_i(\cdot)$ denotes the $i$-th Betti number with rational coeffcients. Finally, as an application of the main result of the paper we verify a representational stability conjecture due to Basu and Riener on the cohomology modules of symmetric real algebraic sets for a new and much larger class of symmetric real algebraic sets than known before.

A dissection of a polygon is obtained by drawing diagonals such that no two diagonals intersect in their interiors. In this paper, we define a toric variety of Schröder type as a smooth toric variety associated with a polygon dissection. Toric varieties of Schröder type are Fano generalized Bott manifolds, and they are isomorphic if and only if the associated Schröder trees are the same as unordered rooted trees. We describe the cohomology ring of a toric variety of Schröder type using the associated Schröder tree and discuss the cohomological rigidity problem.

In this paper we develop a theory of volume polynomials of generalized virtual polytopes based on the study of topology of affine subspace arrangements in a real Euclidean space. We apply this theory to obtain a topological version of the BKK Theorem, the Stanley-Reisner and Pukhlikov-Khovanskii type descriptions for cohomology rings of generalized quasitoric manifolds.

We give a Type $B$ analog of Whitehouse's lifts of the Eulerian representations from $S_n$ to $S_{n+1}$ by introducing a family of $B_{n}$-representations that lift to $B_{n+1}$. As in Type $A$, we interpret these representations combinatorially via a family of orthogonal idempotents in the Mantaci-Reutenauer algebra, and topologically as the graded pieces of the cohomology of a certain $\mathbb{Z}_{2}$-orbit configuration space of $\mathbb{R}^{3}$. We show that the lifted $B_{n+1}$-representations also have a configuration space interpretation, and further parallel the Type $A$ story by giving analogs of many of its notable properties, such as connections to equivariant cohomology and the Varchenko-Gelfand ring.

For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at the second sheet for flag $K$. We also show that the results of Panov and Ray about the Pontryagin algebras of Davis-Januszkiewicz spaces are valid for arbitrary coefficient rings, and introduce the $(\mathbb{Z}\times\mathbb{Z}^m)$-grading on the Pontryagin algebras which is similar to the multigrading on the cohomology of $Z_K$.

The moduli space $\overline{\mathcal{M}}_{0,n}$ of $n$ pointed stable curves of genus $0$ admits an action of the symmetric group $S_n$ by permuting the marked points. We provide a closed formula for the character of the $S_n$-action on the cohomology of $\overline{\mathcal{M}}_{0,n}$. This is achieved by studying wall crossings of the moduli spaces of quasimaps which provide us with a new inductive construction of $\overline{\mathcal{M}}_{0,n}$, equivariant with respect to the symmetric group action. Moreover we prove that $H^{2k}(\overline{\mathcal{M}}_{0,n})$ for $k\le 3$ and $H^{2k}(\overline{\mathcal{M}}_{0,n})\oplus H^{2k-2}(\overline{\mathcal{M}}_{0,n})$ for any $k$ are permutation representations. Our method works for related moduli spaces as well and we provide a closed formula for the character of the $S_n$-representation on the cohomology of the Fulton-MacPherson compactification $\mathbb{P}^1[n]$ of the configuration space of $n$ points on $\mathbb{P}^1$ and more generally on the cohomology of the moduli space $\overline{\mathcal{M}}_{0,n}(\mathbb{P}^{m-1},1)$ of stable maps.

In this paper, we extend the definition of cohomology associated to monotone graph properties, to encompass twisted functor coefficients. We introduce oriented matchings on graphs, and focus on their (twisted) cohomology groups. We characterise oriented matchings in terms of induced free-flow pseudoforests, and explicitly determine the homotopy type of the associated simplicial complexes. Furthermore, we provide a connection between the cohomology of oriented matchings with certain functor coefficients, and the recently defined multipath cohomology. Finally, we define a further oriented homology for graphs and interpret it as a count of free-flow orientations.

In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers. We deduce formality of the corresponding Borel construction space under the natural assumption on the group action in the complex case leading to the new description of the equivariant cohomology for the quotients by any coordinate subgroups. We prove the weak Toral Rank Conjecture for any partial quotient by the diagonal circle action. We give an explicit construction of partial quotients by circle actions having arbitrary torsion in integral cohomology.

We discuss a discretisation of the de Rham-Hodge theory in the two-dimensional case based on a discrete exterior calculus framework. We present discrete analogues of the Hodge-Dirac and Laplace operators in which key geometric aspects of the continuum counterpart are captured. We provide and prove a discrete version of the Hodge decomposition theorem. Special attention has been paid to discrete models on a combinatorial torus. In this particular case, we also define and calculate the cohomology groups.

Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.

For a reduced hyperplane arrangement we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted logarithmic de Rham complex and the twisted meromorphic de Rham complex. The latter computes the cohomology of the arrangement's complement with coefficients from the corresponding rank one local system. We also prove the algebraic variant (when the arrangement is central), and the analytic and algebraic (untwisted) Logarithmic Comparison Theorems. The last item positively resolves an old conjecture of Terao. We also prove that: every nontrivial rank one local system on the complement can be computed via these Twisted Logarithmic Comparison Theorems; these computations are explicit finite dimensional linear algebra. Finally, we give some $\mathscr{D}_{X}$-module applications: for example, we give a sharp restriction on the codimension one components of the multivariate Bernstein--Sato ideal attached to an arbitrary factorization of an arrangement. The bound corresponds to (and, in the univariate case, gives an independent proof of) M. Saito's result that the roots of the Bernstein--Sato polynomial of a non-smooth, central, reduced arrangement live in $(-2 + 1/d, 0).$

We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan. As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.

We consider for $d\geq 1$ the graded commutative $\mathbb{Q}$-algebra $\mathcal{A}(d):=H^*(\operatorname{Hilb}^d(\mathbb{C}^2);\mathbb{Q})$, which is also connected to the study of generalised Hurwitz spaces by work of the first author. These Hurwitz spaces are in turn related to the moduli spaces of Riemann surfaces with boundary. We determine two distinct, minimal sets of $\lfloor d/2\rfloor$ multiplicative generators of $\mathcal{A}(d)$. Additionally, we prove when the lowest degree generating relations occur. For small values of $d$ we also determine a minimal set of generating relations, which leads to several conjectures about the necessary generating relations for $\mathcal{A}(d)$.

We give a correct statement and a complete proof of the criterion obtained by Grbić, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the main result of a paper by Berglund and Jöllenbeck, which was shown to be false by Katthän.) We also construct an example of a minimally non-Golod complex $K$ such that the cohomology of the corresponding moment-angle complex $\mathcal Z_K$ has trivial cup product and a non-trivial triple Massey product.

The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincaré duality to give a description of cohomology rings of quasitoric bundles.