Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.03138

Equivariant Poincaré polynomial of type B Wonderful Models

Roberto Pagaria·Tommaso Scognamiglio
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the actions of hyperoctahedral groups on the cohomology of the minimal De Concini-Procesi wonderful models associated with reflection arrangements of type $B$. We express the generating series of their equivariant Poincaré polynomials in terms of the corresponding type $A$ series and the equivariant reduced characteristic series of type $B$. The key ingredient is a general inversion formula in equivariant incidence algebras relating equivariant Chow functions and super-reduced characteristic functions. Applying this formula to partition and signed partition lattices, we recover Getzler's compositional identity in type $A$ and establish its type $B$ analogue. We also obtain explicit plethystic and infinite-product formulas for the equivariant characteristic series of type $B$.

Explore related subjects

math.ATmath.AGmath.COmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Roberto Pagaria, Tommaso Scognamiglio. 2026-10-02. Equivariant Poincaré polynomial of type B Wonderful Models. https://arxiv.org/abs/2610.03138

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An answer to the Whitehead asphericity question

The Whitehead asphericity problem, regarded as a problem of combinatorial group theory, asks whether any subpresentation of an aspherical group presentation is also aspherical. We give a positive answer to this question by proving that if $\cP=(\mathbf{x}, \mathbf{r})$ is an aspherical presentation of the trivial group, and $r_{0} \in \mathbf{r}$ a fixed relation, then $\cP_{1}=(\mathbf{x}, \mathbf{r}_{1})$ is aspherical where $\mathbf{r}_{1}=\mathbf{r} \setminus \{r_{0}\}$.

math.AT↗
arXiv2026

Counterexamples to a conjecture of Adams

A conjecture due to J. F. Adams states that, for any odd prime $p$, the mod $p$ cohomology ring of the classifying space of a connected compact Lie group is detected by its elementary abelian $p$-subgroups. In this paper, we show that for any odd prime $p$ the mod $p$ cohomology ring of the classifying space of the projective unitary group $PU(p^2)$ is not detected by its elementary abelian $p$-subgroups, providing counterexamples to this conjecture. We also obtain several algebraic results as byproducts.

math.AT↗
arXiv2026

On Weakly Contractible Non-Contractible Finite Topological Spaces of Ten Points

Cianci and Ottina proved that a homotopically trivial non-contractible finite $T_0$-space has at least nine points, and classified such spaces with exactly nine points. We complete the classification for ten points. The main tool is the notion of a naked pair: a relation $c<a$ between a minimal and a maximal point that does not factor through a middle point. We show that minimal homotopically trivial spaces with at most ten points have no naked pairs. This turns minimality into simple conditions on the incidences between the three levels of the space and, together with two lemmas of Cianci and Ottina and an Euler characteristic count, reduces the classification to short case analyses. No such space exists with one or two middle points; there are exactly six with three middle points, forming three types and their order-duals, and exactly four with four middle points. All ten spaces have height two, an antichain of middle points and collapsible order complexes, and the count is confirmed by an exhaustive computer enumeration. We also show that the absence of naked pairs persists up to seventeen points but not beyond, and that height three already occurs at eleven points.

math.AT↗