arXiv++ Combinatorics

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.

For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite abelian $p$-group $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathbb{Z}/p^{λ_i}\mathbb{Z})^{ρ_i}$, where $p$ is a prime, we consider two actions of its automorphism group $\mathcal{G}_{\underlineλ}$ on $\mathcal{A}_{\underlineλ}$. The first action is the natural action $g\bullet a=\ ^ga$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_1=Id_{\mathcal{G}_{\underlineλ}}:\mathcal{G}_{\underlineλ}\longrightarrow \mathcal{G}_{\underlineλ}$ and the second action is the trivial action $g\bullet a=a$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_2:\mathcal{G}_{\underlineλ}\longrightarrow \{e\}\subset\mathcal{G}_{\underlineλ}$ the trivial map. For the natural action $Λ_1$, we show that the first and second cohomology groups $H_{Λ_1}^i(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ}),i=1,2$ vanish for any partition $\underlineλ$ for an odd prime $p$. For the trivial action $Λ_2$ we show that, for an odd prime $p$, the first cohomology group $H_{Λ_2}^1(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ and for an odd prime $p\neq 3$, the second cohomology group $H_{Λ_2}^2(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ vanish if and only if the difference between two successive parts of the partition $\underlineλ$ is at most one. This is done by using the $mod\ p$ cohomologies $H^i(\mathcal{G}_{\underlineλ},\mathbb{Z}/p\mathbb{Z}),i=1,2$.

We put a cochain complex structure ${CH}^*(\mathcal Z_K)$ on the cohomology of a moment-angle complex $\mathcal Z_K$ and call the resulting cohomology the double cohomology, ${HH}^*(\mathcal Z_K)$. We give three equivalent definitions for the differential, and compute ${HH}^*(\mathcal Z_K)$ for a family of simplicial complexes containing clique complexes of chordal graphs.

We establish combinatorial and inductive formulas for Kazhdan-Lusztig polynomials associated to covexillary elements in classical types, extending results of Boe, Lascoux-Schützenberger, Sankaran-Vanchinathan, and Zelevinsky for Grassmannians of classical types. The proof uses intersection cohomology theory and the isomorphism of Kazhdan-Lusztig varieties from Anderson-Ikeda-Jeon-Kawago.

The tropical fundamental class of a rational balanced polyhedral fan induces cap products between tropical cohomology and tropical Borel-Moore homology. When all these cap products are isomorphisms, the fan is said to be a tropical Poincaré duality space. If all the stars of faces also are such spaces, such as for fans of matroids, the fan is called a local tropical Poincaré duality space. In this article, we first give some necessary conditions for fans to be tropical Poincaré duality spaces and a classification in dimension one. Next, we prove that tropical Poincaré duality for the stars of all faces of dimension greater than zero and a vanishing condition implies tropical Poincaré duality of the fan. This leads to necessary and sufficient conditions for a fan to be a local tropical Poincaré duality space. Finally, we use such fans to show that certain abstract balanced polyhedral spaces satisfy tropical Poincaré duality.

Kontsevich's graph flows are -- universally for all finite-dimensional affine Poisson manifolds -- infinitesimal symmetries of the spaces of Poisson brackets. We show that the previously known tetrahedral flow and the recently obtained pentagon-wheel flow preserve the class of Nambu-determinant Poisson bi-vectors $P=[\![ \varrho(\boldsymbol{x})\,\partial_x\wedge\partial_y\wedge\partial_z,a]\!]$ on $\mathbb{R}^3\ni\boldsymbol{x}=(x,y,z)$ and $P=[\![ [\![\varrho(\boldsymbol{y})\,\partial_{x^1}\wedge\ldots\wedge\partial_{x^4},a_1]\!],a_2]\!]$ on $\mathbb{R}^4\ni\boldsymbol{y}$, including the general case $\varrho \not\equiv 1$. We detect that the Poisson bracket evolution $\dot{P} = Q_γ(P^{\otimes^{\# Vert(γ)}})$ is trivial in the second Poisson cohomology, $Q_γ= [\![ P, \vec{X}([\varrho],[a]) ]\!]$, for the Nambu-determinant bi-vectors $P(\varrho,[a])$ on $\mathbb{R}^3$. For the global Casimirs $\mathbf{a} = (a_1,\ldots,a_{d-2})$ and inverse density $\varrho$ on $\mathbb{R}^d$, we analyse the combinatorics of their evolution induced by the Kontsevich graph flows, namely $\dot{\varrho} = \dot{\varrho}([\varrho], [\mathbf{a}])$ and $\dot{\mathbf{a}} = \dot{\mathbf{a}}([\varrho],[\mathbf{a}])$ with differential-polynomial right-hand sides. Besides the anticipated collapse of these formulas by using the Civita symbols (three for the tetrahedron $γ_3$ and five for the pentagon-wheel graph cocycle $γ_5$), as dictated by the behaviour $\varrho(\mathbf{x}') = \varrho(\mathbf{x}) \cdot \det \| \partial \mathbf{x}' / \partial \mathbf{x} \|$ of the inverse density $\varrho$ under reparametrizations $\mathbf{x} \rightleftarrows \mathbf{x}'$, we discover another, so far hidden discrete symmetry in the construction of these evolution equations.

We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian and odd orthogonal Grassmannian.

In this paper, we classify the characteristic matrices associated to quasitoric manifolds over a vertex cut of a finite product of simplices. We discuss the integral cohomology rings of these quasitoric manifolds with possibly minimal generators and show several relations among the product of these generators. We classify integral cohomology rings (up to isomorphism as graded rings) of the quasitoric manifolds over the vertex cut of a finite product of simplices.

We study how changing the weight datum $\mathcal{A}=(a_1,...,a_n)\in(\mathbb{Q}\cap(0,1])^n$ affects the topology of tropical moduli spaces $M_{g,\mathcal{A}}^{trop}$, $\overline{M}_{g,\mathcal{A}}^{trop}$ and $Δ_{g,\mathcal{A}}$ and the homology of the latter one. We show that for fixed $g$ and $n$, there are particular filtrations of these topological spaces which we can use to compute the reduced rational homology of $Δ_{g,\mathcal{A}}$ and the top weight cohomology of the moduli space $\mathcal{M}_{g,\mathcal{A}}$ of smooth $(g,\mathcal{A})$-stable algebraic curves.

In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.

We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincaré dualities for them and prove a stabilization property for the infinite series of reflection groups.

We introduce real-valued $(p,q)$-forms on weighted metric graphs with boundary similar to Lagerberg forms on polyhedral spaces. We compute the Dolbeault cohomology and prove Poincaré duality. Using Thuillier's thesis, the skeleton of a strictly semistable formal curve is canonically a weighted metric graph with boundary. We use that and our companion paper on weakly smooth forms to compute the Dolbeault cohomology for weakly smooth forms on any non-Archimedean compact rig-smooth analytic curve $X$, and prove Poincaré duality when $X$ is proper.