Given a finite collection of Lagrangian submanifolds $\mathscr L$ in a compact symplectic manifold $X$, we construct a cyclic, filtered, strictly unital curved $A_{\infty}$ category $\mathcal L$ and develop Floer theory of closed-open maps and open-closed maps. Using them, we prove that, whenever the map from the quantum cohomology of $X$ to the Hochschild cohomology of the Fukaya category $\mathcal L$ with objects $\mathscr L$ is injective, the following consequences follow: (1) any other Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by $\mathscr L$, and (2) the Hochschild homology and cohomology of the Fukaya category are isomorphic to quantum cohomology. In the exact case a similar result was obtained in [Ab]. We also provide some applications.

We compute the stable homology of complex braid groups of types $B(e,e,n)$ and $B(2e,e,n)$ for fixed $e\ge2$ and increasing $n$. This accounts for the stable homology of all infinite families of complex braid groups. We achieve this by explicitly computing a quillenization of their stable classifying spaces. In particular, we provide a proof of an identification of the stable homology of Artin groups of type $D$ claimed by Fuchs in the '70s.

The main purpose of this note is to give a proof of the fact that the Toda brackets \ $\langle\bar{\nu},\sigma,\bar{\nu}\rangle$ and $\langle\nu,\eta, \bar{\sigma}\rangle$ are not trivial. This is an affirmative answer of M.~Mahowald's Conjecture (J. Mukai, Determination of the $P$-image by Toda brackets, Geometry and Topology Monographs \textbf{13}(2008), 355--383). The second purpose is to determine the relations including $\bar{\nu}_6\omega_{14}$ in $\pi^6_{30}$ and $\bar{\nu}_7\omega_{15}$ in $\pi^7_{31}$. To this end, we provide relations between the Toda bracket and the $J$-homomorphism, and between the Toda bracket and the generalized $P$-homomorphism.

We study spherical T-duality for iterated sphere bundles. We show that for a class of iterated sphere bundles the cohomological data contained in its Gysin sequences can be repackaged into data for a vanishing Massey product. We further show that if these bundles are endowed with an integral cohomology class of transgressive degree one, then they have a T-dual iterated sphere bundle, namely, the one associated to the same Massey product read backwards.

In this paper, we study the metalinear algebraic cobordism spectrum $\mathrm{MML}$ (also sometimes denoted $\mathrm{MSL}^c$), which is built from the structure groups of oriented vector bundles. We establish an interpolation between $\mathrm{MSL}$ and $\mathrm{MML}$ and deduce that the canonical morphism $\mathrm{MSL}\to \mathrm{MML}$ admits a retraction. We parametrize all such retractions in the category of $\mathrm{MSL}$-modules and, after fixing one of them, obtain an equivalence $\mathrm{MML}\cong\mathrm{MSL}\oplus \Sigma^{2,1}\mathrm{MGL}$. As an application of these results, we determine various invariants of the metalinear algebraic cobordism spectrum over a field (after inverting the exponential characteristic). More precisely, we determine the first few Milnor-Witt stems of $\mathrm{MML}$ in terms of the very effective algebraic and hermitian K-theory spectra, and the geometric diagonal of $\mathrm{MML}$ in terms of Stong's complex-spin cobordism ring. We also compute the slices and use them to describe the category of 2-inverted modules over the $\mathbb{E}_\infty$-ring spectrum $\mathrm{MML}$.

Persistence diagrams are common representations in topological data analysis, but they do not naturally live in a vector space, and the statistical tools developed for comparing them have largely evolved separately from those used for downstream prediction. We introduce STRAND (Survival Topological Representation ANalysis of Diagrams), which treats (collections of) PDs as survival data: each topological feature with persistence value $p = d - b$ is a fully observed time-to-event, and the persistence survival function $S(t) = \mathbb{P}(p > t)$ is the central object for comparing diagrams. From this single representation we derive (i) a non-parametric two-sample test with calibrated Type I error and high power from a small number of diagrams; (ii) interpretable effect sizes; and (iii) a 1-Wasserstein-stable feature vector for downstream machine learning. We validate calibration and power on synthetic manifolds with controlled topology, demonstrate competitive vectorisation across 14 graph and 3D point cloud benchmarks, and apply the method to study functional brain connectivity in fMRI/neuroscience data. To our knowledge, STRAND is the first method to provide hypothesis testing and vectorisation for persistence diagrams from a single coherent and interpretable representation.

We extend the dendroidal Rezk nerve to the setting of relative $\infty$-operads. Our main theorem relates it to localization of $\infty$-operads, generalizing a theorem of Mazel-Gee. By exploiting the relation, we obtain a surprisingly effective tool to prove localization results in operadic contexts. As applications, we obtain a number of new results on operadic localizations, including a generalization of Willwacher's recent result on cyclic operads and operadic modules, and a description of locally constant factorization algebras on spheres in terms of discrete geometry.

For a commutative ring $R$ with unity, its algebraic $K$-theory space $K(R)$ may be obtained by group-completing the symmetric monoidal category of finitely generated free $R$-modules under direct sum. A natural question is what happens when one group-completes with respect to the tensor product structure instead. In this note, we give a direct proof of the folklore theorem that the resulting group-completion is the rationalization of $K(R)$, up to $\pi_0$. We also discuss how a similar group-completion would give the $p$-perfection and, more generally, the localization of $K(R)$ at any non-trivial multiplicatively closed subset $S \subseteq \mathbb{Z}_{> 0}$. The localization statement can be recovered from a localization theorem of May. We give a plus-construction proof without using the full machinery of multiplicative infinite loop space theory.

We use recent results, among which modular inequalities for curves, to determine the Alexander polynomials for some classes of pencil-type conic-line arrangements. For these classes of curves we prove that the Alexander polynomial is (at least partially) combinatorial. To this end, we exemplify new techniques that are suitable for broader use, lending themselves to more general classes of curves.

We reinvestigate the theory of spectral sequences by studying the $(\infty,1)$-category of filtered spectra through the cofiber-of-$\tau$ formalism of Burklund-Isaksen-Pstragowski-Wang-Xu. In this framework, we define and analyze hidden extensions along arbitrary maps of filtered spectra, establishing computational principles that extend the generalized Leibniz rule and the generalized Mahowald trick of Lin-Wang-Xu, as well as Burklund's Leibniz rule for total differentials, from the Adams spectral sequence to this broader setup. Our formulation uses a more refined, layered notion of extension, which slightly sharpens these statements even for the Adams spectral sequence. As an application, we study equivariant slice spectral sequences and obtain new families of "exotic transfer" differentials in the $C_4$-slice spectral sequences for the Hill-Hopkins-Ravenel theories $\mathrm{BP}^{((C_4))}\langle m\rangle$ for every $m \ge 1$.

We construct an operadic model for the higher-genus Teichmüller tower. More precisely, we define a modular operad $\mathbf{S}$ in groupoids built from mapping class groups, with compositions and contractions encoding gluing operations on surfaces. We prove a presentation theorem for maps out of $\mathbf{S}$, showing that they are determined by a small number of genus-zero and genus-one generators and relations. Using this presentation and the work of Nakamura--Schneps, we construct a faithful action of the Nakamura--Schneps subgroup $\widehatΓ\subseteq\widehat{\mathsf{GT}}$ on the profinite completion $\widehat{\mathbf{S}}$, and hence an action of $\operatorname{Gal}(\overline{\mathbb Q}/\mathbb Q)$. The genus-zero truncation of $\mathbf{S}$ recovers the cyclic operad of parenthesized ribbon braids, and its group of object-fixing profinite automorphisms recovers $\widehat{\mathsf{GT}}$. Finally, the profinite completion of the classifying spaces of $\mathbf{S}$ assemble into a modular $\infty$-operad in profinite spaces whose values identify with the étale homotopy types of moduli stacks of curves with marked tangent vectors, and the $\widehatΓ$-action extends to this homotopy-coherent Teichmüller tower.

We study two problems concerning the Stiefel manifolds $V_{n,2}$ and their products with spheres. First, we address a rigidity problem: we determine, for most values of~$n$, all self-maps of $V_{n,2}$ that are homotopic to an almost diffeomorphism. Second, we classify smooth closed manifolds tangentially homotopy equivalent to $V_{n,2} \times S^k$ up to almost diffeomorphism, for $k = 3, 5$ or $7 \leq k, k \neq 2^i - 2 \ \text{and} \ Dim(V_{n,2} \times S^k) \neq 2^i - 2$. Our method is to find explicit inverses in the structure set via normal invariants of specific tangential homotopy equivalences. In favourable cases -- notably $V_{12,2} \times S^3$, $V_{16,2} \times S^3$, $V_{10,2} \times S^5$ -- the classification is complete: every such manifold is almost diffeomorphic to $V_{n,2} \mathbin{\#} \Sigma \times S^k$ for some exotic sphere $\Sigma$. In the general case, we identify inverses for a large subgroup of $\operatorname{Im}(\eta)$ and provide a reasonable direction for the remainder.

We compute the $\mathrm{MU}$-based syntomic cohomologies, mod $(p,v_1,\cdots,v_n)$, of all $\mathbb{E}_1$ $\mathrm{MU}$-algebra forms of the truncated Brown--Peterson spectrum $\mathrm{BP}\langle n\rangle$. As qualitative consequences, we resolve the Lichtenbaum--Quillen, telescope, and redshift questions for the algebraic K-theories of all $\mathbb{E}_{1}$ $\mathrm{MU}$-algebra forms of $\mathrm{BP} \langle n\rangle$. This extends work of the Hahn and Wilson. We also explicitly compute the algebraic K-theory of arbitrary $\mathbb{E}_{1}$ $\mathrm{MU}$-algebra forms of $\mathrm{BP}\langle 2\rangle$ at all primes $p\ge 5$ extending previous work of the author, Ausoni, Culver, Höning, and Rognes.A dditionally, we present a new computation of mod $(p, v_1, v_2, v_3)$ algebraic K-theory of arbitrary $\mathbb{E}_1$ $\mathrm{MU}$-algebra forms of $\mathrm{BP}\langle 3\rangle$ at all primes $p\ge 7$, the first explicit computation of algebraic K-theory of an $\mathbb{E}_1$-ring of height $3$.