Localizing invariants of inverse limits

2025-02-10T13:08:13Z

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

A Model Categoric Equivalence for Crossed Simplicial Modules

2025-02-10T11:41:21Z

We construct a model categorical equivalence between the category of simplicial vector spaces and the category of representations of a crossed simplicial group $\Delta G$ when each $G_n$ is finite and the characteristic of the ground field is 0.

String topology on the space of paths with endpoints in a submanifold

2025-02-10T09:25:05Z

In this article we consider algebraic structures on the homology of the space of paths in a manifold with endpoints in a submanifold. The Pontryagin-Chas-Sullivan product on the homology of this space had already been investigated by Hingston and Oancea for a particular example. We consider this product as a special case of a more general construction where we consider pullbacks of the path space of a manifold under arbitrary maps. The product on the homology of this space as well as the module structure over the Chas-Sullivan ring are shown to be invariant under homotopies of the respective maps. This in particular implies that the Pontryagin-Chas-Sullivan product as well as the module structure on the space of paths with endpoints in a submanifold are isomorphic for two homotopic embeddings of the submanifold. Moreover, for null-homotopic embeddings of the submanifold this yields nice formulas which we can be used to compute the product and the module structure explicitly. We show that in the case of a null-homotopic embedding the homology of the space of paths with endpoints in a submanifold is even an algebra over the Chas-Sullivan ring.

Cohomology of classifying spaces of rank 3 Kac-Moody groups

2025-02-10T05:37:52Z

We represent the rational and mod $p$ cohomology groups of classifying spaces of rank 3 Kac-Moody groups by a direct sum of the invariants of Weyl groups and their quotients. As an application, the authors conclude that there is a $p$-torsion for each prime $p$ in the integral cohomology groups of classifying spaces of rank 3 Kac-Moody groups. We also determine the ring structure of the rational cohomology with one exception case.

Rational SU(3)-equivariant cohomology theories

2025-02-09T20:18:38Z

We describe the spectral space of conjugacy classes of subgroups of SU(3), together with the additional structure of a sheaf of rings and a component structure. It is a disjoint union of 18 blocks each dominated by a subgroup. For each of these blocks we identify a sheaf of rings and component structure. Taken together, this gives an abelian category A(SU(3)) designed to reflect the structure of rational SU(3)-equivariant cohomology theories, and we assemble the results from elsewhere to show that the category of rational SU(3)-spectra is Quillen equivalent to the category of differential graded objects of A(SU(3)).

Homotopy Limits and Homotopy Colimits of Chain Complexes

2025-02-09T04:13:54Z

We give a formula for homotopy limits and homotopy colimits of chain complexes using the cobar and bar constructions, also known as the Bousfield--Kan formula. Along the way, we show that the Bousfield--Kan formula computes homotopy colimits in any framed model categories.

New Aspects of Analyzing Amyloid Fibrils

2025-02-09T02:18:32Z

This is a summary of mathematical tools we used in research of analyzing the structure of proteins with amyloid form \cite{xi2024Top}. We defined several geometry indicators on the discrete curve namely the hop distance, the discrete curvature and the discrete torsion. Then, we used these indicators to analyze the structure of amyloid fibrils by regarding its peptide chains as discrete curves in $\Rds^3$. We gave examples to show that these indicators give novel insights in the characterization analysis of the structure of amyloid fibrils, for example the discrete torsion can detect the hydrogen bonds interactions between layers of amyloid fibril. {Moreover,} the topological tool performs better than the root mean square deviation (RMSD) in quantifying the difference of the structure of amyloid fibrils, etc.

Atiyah-Bott localization in equivariant Witt cohomology

2025-02-08T21:39:24Z

Let $N$ be a normalizer of the diagonal torus $T_1\cong \mathbb{G}_m$ in $\text{SL}_2$. We prove localization theorems for $\text{SL}_2^n$ and $N^n$ for equivariant cohomology with coefficients in the (twisted) Witt sheaf, along the lines of the classical Atiyah-Bott localization theorems for equivariant cohomology for a torus action. We also have an analog of the Bott residue formula for $\text{SL}_2^n$ and $N$. In the case of an $\text{SL}_2^n$-action, there is a rather serious restriction on the orbit type. For an $N$-action, there is no restriction for the localization result, but for the Bott residue theorem, one requires a certain type of decomposition of the fixed points for the $T_1$-action.

Shuffle series

2025-02-08T06:25:42Z

We apply operad theory to enumerative combinatorics in order to count the number of shuffles between series-parallel posets and chains. We work with three types of shuffles, two of them noncommutative, for example a left deck-divider shuffle $A$ between $P$ and $Q$ is a shuffle of the posets in which, on every maximal chain $m\subset A$, the minimum and maximum elements belong to $P$ and no two consecutive points of $Q$ appear consecutively on $m$. The number of left deck-divider shuffles of $P$ and $Q$ differ from the number of left deck-divider shuffles of $Q$ and $P$. The generating functions whose $n$ coefficient counts shuffles between a poset $P$ and $1<2<\cdots

Complex Orientations are Partial Strictifications of the Unit

2025-02-07T23:00:10Z

We give a higher-algebraic interpretation of complex orientations of ring spectra as "$\mathbb{E}_2$ strictifications" of the identity element. We show that higher strictifications do not exist for most ring spectra of interest in chromatic homotopy theory.

Homotopy Types of Small Semigroups

2025-02-07T19:19:57Z

We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an alternative topological proof of the fact that if a finite semigroup $S$ has a left-simple or right-simple minimal ideal $K(S)$, then the classifying space $BS$ is homotopy equivalent to the classifying space $B(GS)$ of the group completion. We also describe an algorithm for computing the group completion $GS$ of a finite semigroup $S$ using asymptotically fewer than $|S|^2$ semigroup operations. Finally, we show that the set of homotopy types of classifying spaces of finite monoids is closed under suspension.

(Non-)vanishing results for extensions between simple outer functors on free groups

2025-02-07T17:46:35Z

We study Ext groups between simple polynomial outer functors on free groups, inspired by an earlier result of Vespa in the category of all polynomial functors on free groups. We prove certain vanishing results for these groups, and show that a Koszul-type property implied by Vespa's result no longer holds when we pass to the full subcategory of polynomial outer functors.

Presentation of finite Reedy categories as localizations of finite direct categories

2025-02-07T17:14:53Z

In this paper, we present a construction from a Reedy category $C$ of a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, which exhibits $C$ as an $(\infty,1)$-categorical localization of $\operatorname{Down}(C)$. This result refines previous constructions in the literature by ensuring finiteness of the direct category $\operatorname{Down}(C)$ whenever $C$ is finite, which is not guaranteed by existing approaches. The finiteness property is useful when we want to embed the construction into the syntax of a (non-infinitary) logic: the author expects the construction may be used to develop a meta-theory of finitely truncated simplicial types for homotopy type theory.

Definitions and examples of algeebraic Morava K-theories

2025-02-07T11:17:29Z

Algebraic Morava K-theories are defined by Sechin,Vishik and others as quotients of algebraic cobordisms. On the other hand, the author had defined them as some (two degrees) cohomology theories. In this paper, we compare these theories.

On the additive image of 0th persistent homology

2025-02-07T10:47:26Z

For $X$ a finite category and $F$ a finite field, we study the additive image of the functor $\operatorname{H}_0(-,F) \colon \operatorname{rep}(X, \mathbf{Top}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$, or equivalently, of the free functor $\operatorname{rep}(X, \mathbf{Set}) \to \operatorname{rep}(X, \mathbf{Vect}_F)$. We characterize all finite categories $X$ for which the indecomposables in the additive image coincide with the indecomposable indicator representations and provide examples of quivers of wild representation type where the additive image contains only finitely many indecomposables. Motivated by questions in topological data analysis, we conduct a detailed analysis of the additive image for finite grids. In particular, we show that for grids of infinite representation type, there exist infinitely many indecomposables both within and outside the additive image. We develop an algorithm for determining if a representation of a finite category is in the additive image. In addition, we investigate conditions for realizability and the effect of modifications of the source category and the underlying field. The paper concludes with a discussion of the additive image of $\operatorname{H}_n(-,F)$ for an arbitrary field $F$, extending previous work for prime fields.