2026-05-12 | | Total: 12
We study cobordisms of a class of topological operads called ``manifold operads''. These operads are generalizations of the Fulton-MacPherson operad: an operad built from configurations of points in Euclidean space. Cobordism of manifold operads, along with the associated theory of surgery, depends crucially on delicate combinatorial results for trees associated to operadic bimodules. As an application of surgery, we produce infinitely many manifold operads which are left or right ``bimodule cobordant'' to, but not homotopy equivalent to the Fulton-MacPherson operad.
We prove that the Galois groupoid of the category of $G$-spectra for a finite group $G$ is algebraic, i.e. equivalent to the étale fundamental groupoid of the Burnside ring of $G$. We implement an algorithm that computes the latter from the table of marks of $G$, and provide numerous examples.
We prove that the string cobracket is not a homotopy invariant. Adapting Naef's method arXiv:2106.11307 for computing the string coproduct, we show that the string cobrackets on the three-dimensional lens spaces $L(9;1)$ and $L(9;4)$ differ. We further relate the string cobracket to the Whitehead torsion, analogously to the case of the string coproduct. In addition, we show that the string bracket and the string cobracket do not endow the $S^1$-equivariant homology of the free loop space with a Lie bialgebra structure. These findings indicate that the analogy with the Turaev cobracket breaks down in higher-dimensional string topology.
We show that the realization theorem of Fernández de Bobadilla, which identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set, can be combined with the systematic Massey product constructions of Grbić-Linton for moment-angle complexes $\mathcal{Z}_K = \mathcal{Z}_K(D^2, S^1)$ to produce weighted-homogeneous polynomials whose Milnor fibers are arbitrarily highly connected and non-formal. The original application of this strategy, due to Fernández de Bobadilla, used the Denham-Suciu classification of lowest-degree triple Massey products and yielded only $2$-connected non-formal Milnor fibers. The Grbić-Linton framework, which constructs non-trivial $n$-fold Massey products in $H^*(\mathcal{Z}_K;\mathbb{Z})$ for arbitrary $n$ and in arbitrary cohomological degrees, removes this connectivity restriction entirely.
Conjugation spaces relate the cohomology of a space and its fixed points via a degree-halving isomorphism and admit a characterization in terms of homological purity. We extend this framework to the Klein four group, where the corresponding structures exhibit a degree-quartering behavior governed by Dickson invariants. Under a mild assumption, we prove that quaternionic conjugation spaces are homologically pure. As an application, we show that such spaces are both $\mathcal{K}_4$-maximal and $\mathcal{K}_4$-Galois maximal, establishing a connection with Smith--Thom type inequalities in real algebraic geometry.
We study Moore's conjecture and homotopy exponents for polyhedral products. For $(\underline{CA},\underline{A})^K$ where each $A_i$ is finite and has torsion-free homology, we prove that if $(\underline{CA},\underline{A})^K$ is rationally hyperbolic, then it has no homotopy exponent at any odd prime. Under the additional hypothesis $ΣA_i$ is homotopy equivalent to a finite-type wedge of simply-connected spheres, we show Moore's conjecture holds for $(\underline{CA},\underline{A})^K$. We also give criteria such that, for a large family of polyhedral join products, the associated polyhedral products are rationally hyperbolic, mod-$p^r$ hyperbolic for all but finitely many primes, and have no homotopy exponent at all but finitely many primes.
We address a number of problems concerning the (im)possibility of either extending locally trivial subbundles of possibly singular Banach/$C^*$ bundles globally, embedding subhomogeneous bundles into homogeneous ones, or recovering locally trivial compact-Lie-group-equivariant Banach or $C^*$ bundles as pullbacks along equivariant maps to compact spaces. The results include (1) the global extensibility of a locally trivial Banach/Hilbert/Banach-algebra/$C^*$ subbundle from a closed subspace of a paracompact space given appropriate homotopy constraints; (2) the homogeneous embeddability of equivariant subhomogeneous Banach/Hilbert bundles locally trivial along the singular locus under the same homotopy constraints, and (3) the characterization of finite-type equivariant locally trivial subhomogeneous $C^*$ bundles on normal spaces as precisely those (a) locally trivial as plain vector bundles, or (b) pulled back from the universal equivariant compactification or (c) pulled back from an equivariant map into a smooth manifold. The latter extends results of Phillips concerning non-equivariant matrix-algebra bundles restricted along the StoneČech compactification.
We extend the study of the condensed Galois category of a scheme introduced by Barwick, Glasman and Haine in their work on Exodromy. We elaborate its connection to Lurie's work on Ultracategories and provide a description in terms of w-contractible rings. We give a classification of schemes whose Galois category has an initial, respectively, a terminal object. This implies the condensed homotopy type of the scheme, which was studied in more detail in [arXiv:2510.07443v1], to be trivial. Furthermore, we compute a formula for the (underlying group of the) condensed fundamental group of a general Dedekind domain and show that it is non-trivial for the spectrum of the integers Spec(Z).This means that Spec(Z) is not condensed contractible.
More profound than bulk topological order of quantum materials is only its unwinding via gapless excitations along boundaries of the sample. We recast this bulk-edge correspondence -- for the experimentally relevant case of fractional quantum Hall (FQH) systems -- in terms of effective relative higher gauge theory, controlled by choices of classifying fibrations. For FQH systems, we identify the complex Hopf fibration as classifying the bulk/boundary topological effects, and find that it yields a non-Lagrangian reconstruction of Floreanini-Jackiw/Wess-Zumino-Witten chiral edge currents. Remarkably, the resulting effective FQH higher gauge theory turns out to be "geometrically engineered" on M2/M5-branes probing A-type orbi-singularities in 11D supergravity, globally completed by flux-quantization in twisted equivariant differential (TED) Cohomotopy: Here the M-string ends of M2-branes on M5-branes engineer the FQH liquid's boundary. This geometric engineering on M-branes might naturally elucidate the curious combination of $W_\infty$-symmetry and of super-symmetry that is known to govern the collective excitations of FQH liquids at long wavelengths.
Many topological data analysis (TDA) pipelines compute large collections of persistence diagrams, yet vectorizations and kernel methods discard the rank-induced implication relations among persistence intervals that are essential for faithful structural comparison and interpretability. We introduce higher-order persistence diagrams, a recursive construction in which containment relations among persistence intervals define higher-order persistence intervals. This construction performs comparison and aggregation directly on persistence diagrams and preserves interval-level structure. We use harmonic analysis to reduce frequency-space evaluations of aggregated diagrams to zeta transforms. This reduction avoids explicit construction of higher-order diagrams and replaces quadratic pair enumeration with nearly linear-time evaluation. Experiments on random network models show substantial speedups over explicit aggregation. Anonymized code is available at https://anonymous.4open.science/r/higher-order-persistence-8201.
Out-of-distribution (OOD) robustness is difficult to diagnose when target-domain labels are unavailable. We consider a more restrictive source-only variant of unsupervised accuracy estimation: selecting robust checkpoints using only source-domain representations, with no target samples or target labels. We propose \textbf{TopoGeoScore}, a source-only geometric scorer for label-free OOD checkpoint selection. Given a trained checkpoint, we construct class-conditional mutual $k$-nearest-neighbour graphs from source embeddings and extract three interpretable signals: a torsion-inspired reduced Laplacian log-determinant for global class-manifold complexity, Ollivier--Ricci curvature for local neighbourhood regularity, and higher-order topological summaries for fragmented connectivity, loops, and global--local inconsistency. Instead of fixing their weights by hand, TopoGeoScore learns a non-negative linear score through a self-supervised objective that enforces invariance under approximately geometry-preserving embedding views and separation from structure-breaking views. The score remains interpretable and uses no target-domain samples or labels. Results across CIFAR-based corruption and distribution-shift benchmarks, ImageNet-C, MNLI$\to$HANS transfer, and OGBN-Arxiv suggest that source representations contain measurable global--local--topological evidence of robustness, supporting practical checkpoint selection before deployment under distribution shift.
The dynamics of straight line flows on compact half-translation surfaces (surfaces formed by gluing Euclidean polygons edge-to-edge via translations possibly composed with rotation by $π$) has been widely studied due to their connections to polygonal billiards and Teichmüller theory. However, much less is known when the underlying surface is non-compact or infinite type. In this paper, we consider the straight line flow of the Mucube -- an infinite $\mathbb{Z}^3$-periodic half-translation square-tiled surface -- first written about by Coxeter and Petrie and more recently studied by Athreya--Lee and Gutiérrez-Romo--Lee--Sánchez. We give a geometric description of the flow's periodic and drift orbits in terms of the Mucube's rigid symmetries, and we give a complete characterization of the set of directions in which the straight line flow is periodic on the Mucube -- first in terms of a genus one quotient and second in terms of an infinitely generated subgroup of $\mathrm{SL}_2(\mathbb{Z})$. We use the latter characterization to obtain the Veech group (i.e. group of derivatives of affine diffeomorphisms) of the Mucube. Finally, we prove density of the sets of periodic and ergodic directions.