代数拓扑
The homology of free Lie algebras with coefficients in tensor products of the adjoint representation working over Q contains important information on the homological properties of polynomial outer functors on free groups. The latter…
The Kervaire Invariant 1 Problem until recently was an open problem in algebraic topology. Hill-Hopkins-Ravenel theorem clams a negative solution of the problem for all dimensions $n=2^l-2$, $l \ge 8$. We prove the statement of…
We generalize the classical Fisher information metric on statistical models to $L^p$-metrics on various spaces of differential forms or group of diffeomorphisms. Using this new interpretation from information geometry, we derive several new…
We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…
We compute the delta power operation for morava E-theory of height 2 at the prime 3. The delta power operation was defined using the notion of higher semi additivity by Shachar Carmeli, Tomer M. Schlank and Lior Yanovski. We briefly survey…
We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…
We show that the moduli space of $n$ suitably embedded copies of a closed smooth manifold $P$ inside a closed smooth manifold $M$ satisfies cohomological periodicity over $\mathbb F_\ell$ when $n$ grows, with an explicit linear bound on the…
For operads with a map from the curved homotopy Lie operad, we introduce a corresponding curved variant `cTw' of Willwacher's operadic twisting comonad `Tw'. We show that cTw-coalgebra structures on such an operad are in bijection with…
Recent studies have actively employed persistent homology (PH), a topological data analysis technique, to analyze the topological information in time series data. Many successful studies have utilized graph representations of time series…
We develop the Lefschetz fixed-point theory for noncompact manifolds of bounded geometry and uniformly continuous maps. Specifically, we define the uniform Lefschetz class $\mathscr{L}(f)$ of a uniformly continuous map $f\colon M\to M$ of a…
For a filtered simplicial complex $K$ embedded in $\mathbb{R}^{d+1}$, the merge tree of the complement of $K$ induces a forest structure on the persistent homology $H_d(K)$ via Alexander duality. We prove that the connected components of…
We introduce a symmetric monoidal $\infty$-category $\mathrm{GrCob}$ of graph cobordisms between spaces, and use the homology of its morphism spaces to define string operations. Precisely, for an $E_\infty$-ring spectrum $R$ and an oriented…
We study a class of representations of symmetric groups in higher semiadditive categories. For these representations in $\mathrm{Mod}^{\wedge}_{E_n}$, the transchromatic character of Hopkins--Kuhn--Ravenel and Stapleton is recovered as a…
Techniques from metric geometry have become fundamental tools in modern mathematical data science, providing principled methods for comparing datasets modeled as finite metric spaces. Two of the central tools in this area are the…
A fiber-uniform bound on the complexity of an essential simplicial map $S^3\rightarrow S^2$ is proven, and the tightness of the bound is investigated. It follows that the triangulation of the Hopf map constructed by Madahar and Sarkaria is…
Motivated by a problem in motivic homotopy theory considered by Asok-Fasel-Hopkins, we give a description of the rational $C_2$-equivariant homotopy type of the classifying space ${BSU_{\mathbb{R}}}_m$ in terms of equivariant…
The main goal of this work is to determine the Betti numbers of the links of isolated singularities in a compact toric variety of real dimension 8, using the CW-structure of the links. Additionally, we construct the intersection spaces…
Given a presentably symmetric monoidal $\infty$-category $\mathcal{C}$ and an $\mathbb{E}_{\infty}$-monoid $M$, we introduce and classify twisted graded categories, which generalize the Day convolution structure on $\mathrm{Fun}(M,…
We construct explicit models of universal $H \mathbb{Z}[J^{-1}]$-acyclic spaces $\mathcal M$, for any subset $J$ of the prime numbers. The corresponding nullification functors provide thus plus construction functors for ordinary homology…
We construct a natural transformation between two versions of $G$-equivariant $K$-homology with coefficients in a $G$-$C^{*}$-category for a countable discrete group $G$. Its domain is a coarse geometric $K$-homology and its target is the…