arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.32745

The totally nonnegative wonderful compactification of G is a ball

Sam Evens·Steven N. Karp
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\overline{G}$ denote the wonderful compactification of a semisimple algebraic group $G$ of adjoint type. We use contractive flows to show that the totally nonnegative part of every $G \times G$ orbit closure of $\overline{G}$ is homeomorphic to a closed Euclidean ball. In particular, the totally nonnegative part of $\overline{G}$ is homeomorphic to a closed ball.

Explore related subjects

math.RTmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sam Evens, Steven N. Karp. 2026-10-23. The totally nonnegative wonderful compactification of G is a ball. https://arxiv.org/abs/2610.32745

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

KEEP EXPLORING

Related papers

arXiv2026

Positivity for toric Kac polynomials in higher depth

We prove that the polynomials counting locally free, absolutely indecomposable, rank 1 representations of quivers over rings of truncated power series have non-negative coefficients. This generalizes the positivity of toric Kac polynomials to higher depth. The proof goes by inductively contracting/deleting arrows of the quiver and is inspired by a previous work of Abdelgadir, Mellit and Rodriguez-Villegas on toric Kac polynomials. We also relate counts of absolutely indecomposable quiver representations in higher depth and counts of jets over fibres of quiver moment maps. This is expressed as a plethystic identity involving generating series of these counts. In rank 1, we prove a cohomological upgrade of this identity, by computing the compactly supported cohomology of jet spaces over preprojective stacks. This is reminiscent of PBW isomorphisms for preprojective cohomological Hall algebras. Finally, our plethystic identity allows us to prove two conjectures by Wyss on the asymptotic behavior of both counts, when depth goes to infinity.

math.RT↗
arXiv2026

Box Order and Dominance Order on Standard Young Tableaux

We generalize results of [1] concerning two partial orders on Standard Young Tableaux: the dominance order and the box order. Extending their definitions from tableaux of a fixed shape to the set Tr of all Standard Young Tableaux of a fixed size r, we prove that these orders coincide in this more general setting. We also investigate basic properties of these orders. We further show that this result extends to Littlewood-Richardson tableaux whose skew shapes are rook strips. We briefly mention applications to invariant subspaces of nilpotent linear operators.

math.RT↗
arXiv2026

Distinction of the Steinberg representation with respect to a symmetric pair

Let $K$ be a non-archimedean local field of residual characteristic $p\neq 2$. Let $G$ be a connected reductive group over $K$, let $θ$ be an involution of $G$ over $K$, and let $H$ be the connected component of $θ$-fixed subgroup of $G$ over $K$. By realizing the Steinberg representation of $G$ as the $G$-space of complex smooth harmonic cochains following the idea of Broussous--Courtès, we study its space of distinction by $H$ as a finite dimensional complex vector space. We give an upper bound of the dimension, and under certain conditions, we show that the upper bound is sharp by explicitly constructing a basis using the technique of Poincaré series. Finally, we apply our general theory to the case where $G$ is a general linear group and $H$ a special orthogonal subgroup, which leads to a complete classification result.

math.RT↗