Related papers: The Rook Monoid is Lexicographically Shellable

In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for…

We prove that for every $d\geq 2$, deciding if a pure, $d$-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for…

We prove that the Khovanov-Lee complex of an oriented link, L, in a thickened annulus, A x I, has the structure of a bifiltered complex whose filtered chain homotopy type is an invariant of the isotopy class of L in A x I. Using ideas of…

We present a construction of the chiral de Rham complex over an algebraic surface with at most rational singularities of $A_n$-type. An explicit formula for the character of the chiral structure sheaf is also provided.

For a large class of cohomology theories, we prove that refined unramified cohomology is canonically isomorphic to the hypercohomology of a natural truncated complex of Zariski sheaves. This generalizes a classical result of Bloch and Ogus…

Let $\mathrm{HK}_{\Theta}$ denote the Hecke-Kiselman monoid associated to a finite simple oriented graph $\Theta$. We present a Boolean matrix monoid that is isomorphic to the endomorphism monoid $\mathrm{End}(\mathrm{HK}_{\Theta})$.

We construct Bott-type and stable equivariant Seiberg-Witten Floer homology and cohomology for rational homology spheres, and prove their diffeomorphism invariance.

We study the cohomology of broken toric varieties via the derived push-forward of the constant sheaf to a complex of polytopes, proving a Deligne-type decomposition theorem, degeneration of the associated Leray-Serre spectral sequence, and…

The $k$-cut complex was recently introduced by Bayer et al. as a generalization of earlier work of Fr{\"o}berg (1990) and Eagon and Reiner (1998), and was shown to be shellable for several classes of graphs. In this article, we prove that…

We demonstrate that for the $k$-variable theory $T$ of a finite structure (satisfying certain amalgamation conditions), if finite models of $T$ can be recovered from diagrams of finite {\em subsets} of model of $T$ in a certain "efficient"…

Let k be a field of characteristic zero. We show that the norm variety associated to a prime $\ell$ and an ordered sequence of invertible elements of k is geometrically retract rational. This generalizes a recent result of…

Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the finite element method. This article is therefore definitions,…

We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric…

We prove G\"ortz's combinatorial conjecture \cite{Go01} on dual shellability of admissible sets in Iwahori-Weyl groups, proving that the augmented admissible set $\widehat{\mathrm{Adm}}(\mu)$ is dual shellable for any dominant coweight…

We prove that a family of pseudo-Paley graphs of square order obtained from unions of cyclotomic classes satisfies the Erd\H{o}s-Ko-Rado (EKR) module property, in a sense that the characteristic vector of each maximum clique is a linear…

We determine the mod-$\ell$ geometric monodromy group of the universal family of double covers of projective space branched along hyperplane arrangements in general position.

In the first section we discuss Morita invariance of differentiable/algebroid cohomology. In the second section we present an extension of the van Est isomorphism to groupoids. This immediately implies a version of Haefliger's conjecture…

We demonstrate that Wan's alternate description of Dwork's unit root L-function in the rank one case may be modified to give a proof of meromorphy that is classical, eliminating the need to study sequences of uniform meromorphic functions.

We study the geometry of algebraic monoids. We prove that the group of invertible elements of an irreducible algebraic monoid is an algebraic group, open in the monoid. Moreover, if this group is reductive, then the monoid is affine. We…

Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms [24], we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood…