On 2-categories of extensions

2025-05-22T21:02:32Z

This is essentially an illustration for the general technology of homotopical enhancements developed recently in arxiv:2409.17489. We take the derived category of an abelian category, and we look at the full subcategory spanned by complexes of length 2. This has a natural refinement to a 2-category that we call "the 2-category of extensions". However, just using the triangulated structure on the derived category is not enough to obtain this refinement. In this short note, we first construct the 2-category of extensions by hand -- that is, using abelian category techniques -- and then show how it can be recovered very easily and naturally in the enhanced formalism of arxiv:2409.17489.

On pro-cdh descent on derived schemes

2025-05-22T14:07:14Z

Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the center and of the exceptional divisor of the blowup. In this article, we prove an analogous descent result, called ``pro-cdh descent'', for certain cohomological invariants of arbitrary quasi-compact, quasi-separated derived schemes. Our results in particular apply to algebraic $K$-theory, topological Hochschild and cyclic homology, and the cotangent complex. As an application, we deduce that $K_n(X) = 0$ when $n < -d$ for quasi-compact, quasi-separated derived schemes $X$ of valuative dimension $d$. This generalises Weibel's conjecture, which was originally stated for Noetherian (non-derived) $X$ of Krull dimension $d$, and proved in this form in 2018 by Kerz, Strunk, and the third author.

Coarse Baum-Connes and warped cones: failure of surjectivity in odd degree

2025-05-22T08:23:36Z

We prove a conjecture of Roe by constructing unified warped cones that violate the coarse Baum-Connes conjecture. Interestingly, the reason for this is probably not what Roe expected, as the obstruction arises in odd rather than even degree.

On the Odd Unitary Analogue of Gram-Schmidt Process

2025-05-22T06:48:40Z

In 1976, L.N. Vaserstein used a construction analogous to the Gram-Schmidt orthogonalisation, for obtaining a set of symplectic matrices from a set of elementary matrices. We have a similar construction for Petrov's odd unitary group. Here, we prove that the elementary matrices in the odd unitary analogue of the Gram-Schmidt process form a set of generators for the elementary linear group.

A Categorical Decomposition of $\mathbb C^{\times}$-fibered $p$-biset Functors

2025-05-21T06:33:43Z

We generalize Bouc's construction of orthogonal idempotents in the double Burnside algebra to the setting of the double $\mathbb{C}^\times$-fibered Burnside algebra. This yields a structural decomposition of the evaluations of $\mathbb{C}^\times$-fibered biset functors on finite groups. We then construct a complete set of orthogonal idempotents in the category of $\mathbb{C}^\times$-fibered $p$-biset functors, leading to a categorical decomposition of this category into subcategories indexed by isomorphism classes of atoric $p$-groups. Furthermore, we introduce the notion of vertices for indecomposable functors and establish that the Ext-groups between simple functors with distinct vertices vanish. As an application, we describe a set containing composition factors of the monomial Burnside functor, thereby providing new insights into its structure. Additionally, we develop a technique for analyzing fibered biset functors via their underlying biset structures.

$p$-Biset Functor of Monomial Burnside Rings

2025-05-21T06:11:55Z

We investigate the structure of the monomial Burnside biset functor over a field of characteristic zero, with particular focus on its restriction kernels. For each finite $ p $-group $ G $, we give an explicit description of the restriction kernel at $ G $, and determine the complete list of composition factors of the functor. We prove that these composition factors have minimal groups $ H $ isomorphic either to a cyclic $ p $-group or to a direct product of such a group with a cyclic group of order $ p $. Furthermore, we identify the simple $ \mathbb{C}[\Aut(H)] $-modules that appear as evaluations of these composition factors at their minimal groups. Explicit classifications of composition factors for biset functors are rare, and our results provide one of the few complete examples of such classifications.

Smooth atlas stratified spaces, K-Homology Orientations, and Gysin maps

2025-05-20T22:24:49Z

We introduce smooth atlas stratified spaces. We show that this class is closed under cartesian products; consequently, it is possible to define fiber bundles of smooth atlas stratified spaces. We describe the resolution of such a space to a manifold with fibered corners and use this result in order to prove that the class of smooth atlas stratified spaces coincides with that of Thom-Mather stratified spaces. We then consider Witt pseudomanifolds (such as singular complex algebraic varieties) where it is well-known that a bordism invariant signature is available and equal to the Fredholm index of a realization of the signature operator. To each oriented fiber bundle of stratified spaces, with Witt fibers, we assign a class in bivariant KK-theory (with 2 inverted). Kasparov multiplication by this element defines a Gysin map in analytic K-homology and one of our main results is that this Gysin map preserves the analytic signature class of Witt spaces. We prove in fact a more general result: functoriality for fiber bundles in the sense that if one fiber bundle is the composition of two others then the KK-class of the former is the Kasparov product of the classes of the latter. We also discuss this result for other Dirac-type operators satisfying an analytic Witt condition, for example the spin-Dirac operator on a fibration of psc-Witt spin pseudomanifolds. We next define the analytic Gysin map associated to an oriented normally non-singular inclusion of Witt spaces and prove that it also preserves the signature class. Finally, we relate the analytic signature class of a Witt space with the topological Siegel-Sullivan orientation. Specifically we show that if one applies the inverse of the second Adams operation to the Sullivan orientation and complexifies then one obtains our analytic signature class under the natural identification between analytic and topological K-homology.

On the Morita invariance of Categorical Enumerative Invariants

2025-05-19T21:10:23Z

Categorical Enumerative Invariants (CEI) are invariants associated with a unital, cyclic, smooth $A_\infty$-category and a splitting of its non-commutative Hodge filtration. In this paper, we extend the definition of CEI to Calabi-Yau $A_\infty$-categories with a splitting. Moreover, we formulate and prove the Morita invariance of CEI. As part of our proof, we develop tools to construct unital and cyclic models for Calabi-Yau categories. In particular, we prove a unital version of Kontsevich-Soibelman's Darboux theorem. As an application, we compute CEI in some new examples. Also, when applied to derived categories of coherent sheaves, our results yield new invariants of smooth, proper Calabi-Yau 3-folds.

Invertible Morava motives in quadrics

2025-05-19T13:18:33Z

We associate to any element in the Milnor K-theory of a field $k$ modulo 2 an invertible Morava K-theory motive over $k$. Specifically, for $α$ in $\mathrm{K}^{\mathrm{M}}_{n+1}(k)/2$ we construct an invertible $\mathrm{K}(n)$-motive $L_α$ in a way that is natural in the base field and additive in $α$. This can be seen as categorification of $\mathrm{K}^{\mathrm{M}}_{n+1}(k)/2$ in motives. The motives $L_α$ are constructed as direct summands of the $\mathrm{K}(n)$-motives of quadrics, and we develop the necessary framework for the study of the latter. We show that passing to the field of functions of quadrics of dimension greater than or equal to $2^{n+1}-1$ does not lose any information about the structure of $\mathrm{K}(n)$-motives. This is based on the study of "decomposition of the diagonal" in Morava K-theory of quadrics. For quadrics of dimension less than $2^{n+1}-1$, we show that their Chow motives can be "reconstructed" from their $\mathrm{K}(n)$-motives, although the latter appear structurally simpler. Our proof of this result relies on the use of the unstable symmetric operations of Vishik on algebraic cobordism. The occurrence of the motive $L_α$ as a direct summand of the $\mathrm{K}(n)$-motive of $X$ can be seen as evidence that $α$ is a cohomological invariant of $X$. We study this occurrence for quadrics and relate it to Kahn's Descent conjecture.

Trace methods for equivariant algebraic K-theory

2025-05-16T14:50:04Z

In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories. In this paper, we lay the foundations for a trace methods approach to equivariant algebraic $K$-theory. For $G$ a finite group, we construct a Dennis trace map from equivariant algebraic $K$-theory to a $G$-equivariant version of topological Hochschild homology; for $G$ the trivial group this recovers the ordinary Dennis trace map. We show that upon taking fixed points, this recovers the trace map of Adamyk--Gerhardt--Hess--Klang--Kong, and gives a trace map from the fixed points of coarse equivariant $A$-theory to the free loop space. We also establish important properties of equivariant topological Hochschild homology, such as Morita invariance, and explain why it can be considered as a multiplicative norm.

Total acyclicity of complexes over group algebras

2025-05-16T06:47:40Z

In this paper, we study group algebras over which modules have a controlled behaviour with respect to the notions of Gorenstein homological algebra, namely: (a) Gorenstein projective modules are Gorenstein flat, (b) any module whose dual is Gorenstein injective is necessarily Gorentein flat, (c) the Gorenstein projective cotorsion pair is complete and (d) any acyclic complex of projective, injective or flat modules is totally acyclic (in the respective sense). We consider a certain class of groups satisfying all of these properties and show that it is closed under the operation LH defined by Kropholler and the operation Φ defined by the second author. We thus generalize all previously known results regarding these properties over group algebras and place these results in an appropriate framework.

Group class operations and homological conditions

2025-05-16T04:37:45Z

Kropholler's operation ${\scriptstyle{\bf LH}}$ and Talelli's operation $Φ$ can be often used to formally enlarge the class of available examples of groups that satisfy certain homological conditions. In this paper, we employ this enlargement technique regarding two specific homological conditions. We thereby demonstrate the abundance of groups that (a) have virtually Gorenstein group algebras, as defined by Beligiannis and Reiten, and (b) satisfy Moore's conjecture on the relation between projectivity and relative projectivity, that was studied by Chouinard, Aljadeff, Cornick, Ginosar, Kropholler and Meir.

Highest weight category structures on $Rep(B)$ and full exceptional collections on generalized flag varieties over $\mathbb Z$

2025-05-15T13:57:21Z

Given a split reductive Chevalley group scheme G over Z and a parabolic subgroup scheme P in G, this paper constructs G-linear semiorthogonal decompositions of the bounded derived category of noetherian representations of P with each semiorthogonal component being equivalent to the bounded derived category of noetherian representations of G. The G-linear semiorthogonal decompositions in question are compatible with the Bruhat order on cosets of the Weyl group of P in the Weyl group of G. Their construction builds upon the foundational results on B-modules from the works of Mathieu, Polo, and van der Kallen, and upon properties of the Steinberg basis of the T-equivariant K-theory of G/B. As a corollary, we obtain full exceptional collections in the bounded derived category of coherent sheaves on generalized flag schemes G/P over Z.

Fredholm complexes of Hilbert C*-modules

2025-05-12T13:51:41Z

We investigate complexes of Hilbert C*-modules, which are cochain complexes with (unbounded) regular operators between Hilbert C*-modules as differential maps. In particular, we provide various equivalent characterizations of the Fredholm property for such complexes of Hilbert C*-modules, and we define the Fredholm index taking values in the K-theory group of the C*-algebra. Among other properties of this index, we prove the stability under small or relatively compact perturbations, and we obtain alternative expressions for the index under the existence of a (weak or strong) Hodge decomposition.

$p$-perfection and group completion of $\mathbb{E}_\infty$-monoids

2025-05-11T13:41:07Z

We study $\mathbb{E}_\infty$-monoids on which a prime $p$ acts invertibly, which we call $p$-perfect, in the non-group-complete situation. In particular, we prove that in many examples, they almost embed in their group-completion. We further study the $p$-perfection functor, and describe it in terms of Quillen's $+$-construction, similarly to group-completion. This gives an alternative description of the $p$-inverted higher algebraic $K$-theory of a ring.