2026-01-21 | | Total: 7
In 1998, Mukherjee and Sankaran posed two problems concerning the algebraic structure of the equivariant bordism ring of smooth closed $(\mathbb{Z}_2)^k$-manifolds with only isolated fixed points. One is the property of being finitely generated as a $\mathbb{Z}_2$-algebra, and the other is the existence of indecomposable elements. This paper definitively resolves both problems for the fully effective case. Specifically, let $\mathcal{Z}_*((\mathbb{Z}_2)^k)$ denote the equivariant bordism ring of smooth closed manifolds equipped with fully effective smooth $(\mathbb{Z}_2)^k$-actions having only isolated fixed points. We prove that $\mathcal{Z}_*((\mathbb{Z}_2)^k)$ is not finitely generated as a $\mathbb{Z}_2$-algebra for all $k\geqslant 3$. Moreover, the proof explicitly constructs an infinite family of indecomposable elements with unbounded degrees, thereby settling the second problem simultaneously.
We consider the space of embeddings of finitely many circles that bound disks in non-positively curved surfaces. We index the connected components of this space with finite rooted trees and show that the connected components are classifying spaces of the ``braided" automorphism groups of the associated trees. An intermediate step to proving these results is to construct a strong deformation retract onto the subspace of geometric circles; moreover, this strong deformation retraction is equivariant with respect to transformations of the surface.
We construct infinite families of nonzero classes in $H_d(GL_n(F_2);F_2)$ along lines of the form $d =\frac{2}{3}n +$(constant), thereby showing that the known slope $\frac{2}{3}$-stability for these homology groups are optimal. Using the new stability Hopf algebra perspective of Randal-Williams, our computations in addition recover the slope-$\frac{2}{3}$ stability for $GL_n(Z)$ with coefficients in $F_2$, improve that for $Aut(F_n)$ to $\frac{2}{3}$, and demonstrate that those slopes are optimal. Perhaps of independent interest, we also provide a manual for computing stability Hopf algebras over $F_2$.
We define the notion of torically hyperbolic varieties and we construct pair-of-pants decompositions for these in terms of angle sets of essential projective hyperplane complements. This construction generalizes the classical pair-of-pants decomposition for hyperbolic Riemann surfaces. In our first main theorem, we prove that the natural angle map associated to an essential projective hyperplane complement is a homotopy equivalence, extending earlier work of Salvetti and Björner-Ziegler. By a topological argument, we further show that the angle map for a finite Kummer covering of an essential projective hyperplane complement is likewise a homotopy equivalence. We then explain how these local building blocks can be glued along the dual intersection complex of a semistable degeneration. Using the theory of Kato-Nakayama spaces, we prove that the resulting space is homotopy equivalent to the original algebraic variety. We make this explicit for complete intersections in projective space using techniques from tropical geometry.
We show that the homotopy type of the independence complex of the generalized Mycielskian of a graph $G$ is determined by the homotopy type of the independence complex of $G$ and the homotopy type of the independence complex of the Kronecker double cover of $G$. As an application we calculate the homotopy type for paths, cycles and the categorical product of two complete graphs.
This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of metric spaces that is more general than precompactness. It is shown that several classes of Lagrangian submanifolds - closed Lagrangian submanifolds in a cotangent disk bundle; equators on the sphere; weakly exact Lagrangians on the torus-endowed with the spectral metric are approximable in this sense. Among other geometric applications, we show that there are such examples of spaces of Lagrangians that are approximable but are not precompact.
We provide a cocycle-level Hirzebruch-Riemann-Roch (HRR) identity for arbitrary complex analytic infinity-prestacks. We view this work as the natural setting for Toledo and Tong's HRR philosophy and technical machinery.