代数拓扑
Ben-Zvi--Sakellaridis--Venkatesh described a conjectural extension of the geometric Satake equivalence to spherical varieties, whose spectral decomposition is described by Hamiltonian varieties. The goal of this article is to study their…
Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for…
By utilizing the idea of Colombeau's generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of…
Using homological techniques we show that a pin-anchored frame that involves only moments and shears provides a conceptual bridge between the statics of moment frames and the kinematics of pin-jointed trusses. One immediate result is a long…
We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…
We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a…
The IA-automorphism group is the group of automorphisms of the free group $F_n$ that act trivially on the abelianization $F_n^{\mathrm{ab}}$. This group is in many ways analoguous to Torelli groups of surfaces and their higher dimensional…
We compute the $\mathbb{C}$-motivic Adams spectral sequence for $\mathit{mmf}/\tau$. Up to reindexing, this spectral sequence is isomorphic to the algebraic Novikov spectral sequence for topological modular forms. We give a full analysis of…
In this paper, for fibrations $p:E\to B$, $p':E'\to B$ over $B$ and a free involution $\tau:E\to E$ which satisfy the equality $p\circ\tau=p$, we discover a connection between the sectional category of the double covers $q:E\to E/\tau$ and…
We dualize previous work on generalized persistence diagrams for filtrations to cofiltrations. When the underlying space is a manifold, we express this duality as a Poincar\'e duality between their generalized persistence diagrams. A heavy…
Commutative diagrams of vector spaces and linear maps over $\mathbb{Z}^2$ are objects of interest in topological data analysis (TDA) where this type of diagrams are called 2-parameter persistence modules. Given that quiver representation…
We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…
Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…
We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces.
We use the abstract setting of excisive functors in the language of $\infty$-categories to show that the best approximation to the $\ell^1$-homology functor by an excisive functor is trivial. Then we make an effort to explain the used…
A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer…
In persistent homology analysis, interval modules play a central role in describing the birth and death of topological features across a filtration. In this work, we extend this setting, and propose the use of bipath persistent homology,…
When $\mathcal{M}$ is a smooth, oriented, compact and simply connected manifold, Luc Menichi has shown that $HH^\ast(C^\ast(\mathcal{M}; \mathbb{F}))$, the Hochschild cohomology of the singular cochain complex of $\mathcal{M}$ is a…
We apply a generalized piecewise-linear (PL) version of Morse theory due to Grunert-Kuhnel-Rote to define and study new local and global notions of topological complexity for fully-connected feedforward ReLU neural network functions, F: R^n…
The category of complete differential graded Lie algebras provides nice algebraic models for the rational homotopy types of non-simply connected spaces. In particular, there is a realization functor, $\langle -\rangle$, of any complete…