https://arxiv.org/api/OwLOJAX1tv4zH2/+B/Yi6PeQeDM 2026-04-10T14:32:32Z 6535 705 15 http://arxiv.org/abs/2501.09633v1 2025-01-16T16:21:01Z

In this article we investigate the question of chromatic purity of L-theory. To do so, we utilize the theory of additive GW and L-theory in the language of Poincaré categories as laid out in the series of papers by Calmès et al. We apply this theory to chromatically localised L-theory at the prime $p=2$ and recover the L-theoretic analogues of chromatic purity for $E_1$-rings with involution. From this, we deduce that L-theory does not exhibit chromatic redshift. We deduce the higher chromatic vanishing of quadratic L-theory of arbitrary idempotent complete categories, thereby allowing the use of Hermitian trace methods to probe chromatic behaviour of GW and L-theory. Finally, we show that for $T(n+1)$-acyclic rings with involution, $T(n+1)$-local GW-theory depends only on $T(n+1)$-local K-theory and the associated duality, thereby proving a chromatic analogue of the homotopy limit problem for GW-theory.

2025-01-16T16:21:01Z First Version, 20 pages, Comments Welcome Jordan Levin http://arxiv.org/abs/2409.16557v3 2025-01-15T20:37:27Z

This short note summarizes a number of facts about the ring $K^0(X)$ for $X$ a $4$-dimensional CW-complex. Unusual features of this dimension are that every complex vector bundle is determined up to stable isomorphism by its Chern classes, that every even cohomology class arises as a Chern class of a vector bundle, and that $K^0(X)$ is completely determined as a ring by knowledge of the even-dimensional cohomology ring $H^{\text{even}}(X; \mathbb Z)$. (All of these fail in high dimensions.)

2024-09-25T02:12:34Z 5 pages. minor corrections. This version to appear in Indiana University Mathematical Journal Jonathan Rosenberg http://arxiv.org/abs/2204.09527v4 2025-01-15T10:36:40Z

Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular, we obtain several new examples of triangulated categories with a strongly unique DG-enhancement. Moreover, we also show that the bounded derived category of an exact category has a unique enhancement.

2022-04-20T15:08:00Z 32 pages. Improved exposition based on referees' insights Journal of Algebra 667, 690-724 (2025) Antonio Lorenzin 10.1016/j.jalgebra.2025.01.002 http://arxiv.org/abs/2410.00794v2 2025-01-15T00:14:53Z

On (4n + 1)-dimensional (noncompact) manifolds admitting proper cocompact Lie group actions, we explore the analytic and topological sides of Kervaire semi-characteristics. The analytic side puts together two interpretations, one via assembly maps, and the other via dimensions of kernels. The topological side is ensured by the proper cocompact version of the Hodge theorem. The two sides coincide and admit an Atiyah type vanishing theorem.

2024-10-01T15:32:46Z 16 pages. Revising an example Hao Zhuang http://arxiv.org/abs/2501.08092v1 2025-01-14T13:02:05Z

We give a new proof of the $\infty$-semiadditivity of $K(n)$-local spectra. The proof proceeds by induction on the height via algebraic K-theory, utilizing recent advances in chromatic homotopy theory and the redshift conjecture, instead of using the Ravenel-Wilson computation of the Morava K-theory of Eilenberg-MacLane spaces.

2025-01-14T13:02:05Z 14 pages, comments are welcome! Shay Ben-Moshe http://arxiv.org/abs/2501.08357v1 2025-01-14T02:51:18Z

This paper explores the cohomology of linear cycle sets, focusing on extensions of a specific linear cycle set H by an abelian group I. We derive explicit formulas for the second cohomology group, which classifies these extensions, and establish conditions under which the extensions are fully determined. Key results include a characterization of extensions when I lies in the socle of the extended structure and H is trivial, and the construction of explicit examples for both trivial and non-trivial cases. The paper provides a systematic approach to understanding the structure of these extensions, with applications to various families of abelian groups.

2025-01-14T02:51:18Z Jorge Guccione Juan José Guccione Christian Valqui http://arxiv.org/abs/2501.14800v1 2025-01-13T17:16:31Z

We study the stability of homological duality properties of Hopf algebras under extensions.

2025-01-13T17:16:31Z Julian Le Clainche http://arxiv.org/abs/2501.07448v1 2025-01-13T16:19:21Z

We study the quantization of spaces whose K-theory in the classical limit is the ring of dual numbers $\mathbb{Z}[t]/(t^2)$. For a compact Hausdorff space we recall necessary and sufficient conditions for this to hold. For a compact quantum space, we give sufficient conditions that guarantee there is a morphism of abelian groups $K_0 \to \mathbb{Z}[t]/(t^2)$ compatible with the tensor product of bimodules. Applications include the standard Podleś sphere $S^2_q$ and a quantum $4$-sphere $S^4_q$ coming from quantum symplectic groups. For the latter, the K-theory is generated by the Euler class of the instanton bundle. We give explicit formulas for the projections of vector bundles on $S^4_q$ associated to the principal $SU_q(2)$-bundle $S^7_q \to S^4_q$ via irreducible corepresentations of $SU_q(2)$, and compute their characteristic classes.

2025-01-13T16:19:21Z 31 pages, no figures Francesco D'Andrea Giovanni Landi Chiara Pagani http://arxiv.org/abs/2402.06757v3 2025-01-13T15:27:09Z

We compute the canonical integrals associated to wheel graphs, and prove that they are proportional to odd zeta values. From this we deduce that wheel classes define explicit non-zero classes in: the locally finite homology of the general linear group $\GL_n(\ZZ)$ in both odd and even ranks, the homology of the moduli spaces of tropical curves, and the moduli space of tropical abelian varieties. We deduce the existence of a doubly infinite family of auxiliary classes in the even commutative graph complex.

2024-02-09T19:40:05Z Final version. Corrected typos and expanded some parts of the introduction following referee's suggestions. Attached file `CanonicalIntegrals' contains Maple code to compute the canonical integrals in the paper using HyperlogProcedures Geom. Topol. 29 (2025) 4389-4447 Francis Brown Oliver Schnetz 10.2140/gt.2025.29.4389 http://arxiv.org/abs/2501.06302v1 2025-01-10T19:00:31Z

In this paper we compute the Chow--Witt rings of the classifying space ${\rm BSL}_n^c$ of quadratically oriented vector bundles of rank $n$. We also discuss the corresponding quadratically-oriented cobordism spectrum ${\rm MSL}^c$ and show that it is equivalent to $\rm{MSL}$ after inverting $η$.

2025-01-10T19:00:31Z 48 pages, comments welcome! Thomas Brazelton Matthias Wendt http://arxiv.org/abs/2501.05071v1 2025-01-09T08:51:48Z

Given a connected manifold with corners $X$ of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles, these conormal homology groups are denoted by $H^{cn}_*(X)$. Using our previous works we define an index morphism $$K^0(^bT^*X)\stackrel{Ind_{ev,cn}^X}{\longrightarrow}H_{ev}^{cn}(X)$$ for $X$ a manifold with corners of codimension less or equal to three and called here the even conormal index morphism. In the case that $X$ is compact and connected and $D$ is an elliptic $b-$pseudodifferential operator in the associated $b-$calculus of $X$ we know, by our previous works and other authors works, that, up to adding an identity operator, $D$ can be perturbed (with a regularizing operator in the calculus) to a Fredholm operator iff $Ind_{ev,cn}^X([σ_D])$ (where $[σ_D]\in K^0(^bT^*X)$ is the principal symbol class) vanishes in the even conormal homology group $H_{ev}^{cn}(X)$. The main result of this paper is the explicit computation of the even and odd conormal index morphisms $Ind_{ev/odd,cn}^X(σ)\in H_{ev/odd}^{cn}(X)$ for $X$ a manifold with corners of codimension less or equal to three. The coefficients of the conormal corner cycles $Ind_{ev/odd,cn}^X(σ)$ are given in terms of some suspended Atiyah-Singer indices of the maximal codimension faces of $X$ and in terms of some suspended Atiyah-Patodi-Singer indices of the non-maximal codimension faces of $X$. As a corollary we give a complete caracterization to the obstruction of the Fredholm perturbation property for closed manifolds with corners of codimension less or equal to three in terms of the above mentioned indices of the faces, this allows us as well to give such a characterization in terms of the respective topological indices.

2025-01-09T08:51:48Z Comments are welcome. arXiv admin note: text overlap with arXiv:1910.11049 Paulo Carrillo Rouse Jean-Marie Lescure http://arxiv.org/abs/2305.07576v3 2025-01-08T21:00:07Z

We construct a natural filtration on $T(1)$-local $\mathrm{TC}$ for any animated commutative rings using prismatic cohomology and descent theory. In the course of the construction, we also study some general properties of prismatic cohomology complexes over perfect prisms after inverting distinguished generators. The construction is intrinsic to $\mathrm{TC}$ and recovers Thomason's spectral sequence for $T(1)$-local algebraic K-theory via the cyclotomic trace map; as a consequence, we also recover the étale comparison for prismatic cohomology.

2023-05-12T16:09:57Z v3: accepted version, 40 pages; v2: Major updates including new constructions and extensions to all animated commutative rings. Added comparison with the étale Postnikov filtration from algebraic K-theory side and a consequent étale comparison Ann. K-Th. 10 (2025) 1-54 Hyungseop Kim 10.2140/akt.2025.10.1 http://arxiv.org/abs/2110.06599v2 2025-01-08T17:47:42Z

Exterior power operations provide an additional structure on K-groups of schemes which lies at the heart of Grothendieck's Riemann-Roch theory. Over the past decades, various authors have constructed such operations on higher K-theory. In this paper, we prove that these constructions actually yield the same operations, ultimately matching up the explicit combinatorial description by Harris, the first author and Taelman on the one hand and the recent, conceptually clear-cut construction by Barwick, Glasman, Mathew and Nikolaus on the other hand. This also leads to the proof of a conjecture by the first author about composition of these operations in the equivariant context, completing the proof that higher equivariant K-groups satisfy all axioms of a lambda-ring.

2021-10-13T09:50:17Z 28 pages; v2: referees comments incorporated, 31 pages, to appear in Math. Z Bernhard Köck Ferdinando Zanchetta http://arxiv.org/abs/2311.05493v2 2025-01-08T12:07:55Z

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we construct an "exactified tangent bundle" over the category of log ring spectra. The fibers recover the categories of modules over the underlying ring spectra, and the resulting cotangent complex functor specializes to log topological André--Quillen homology on each fiber. As applications, we characterize log square-zero extensions and derive a log variant of étale rigidity, applicable to some tamely ramified extensions of ring spectra.

2023-11-09T16:32:45Z 47 pages; comments are still welcome! Minor edits; to appear in J. Inst. Math. Jussieu J. Inst. Math. Jussieu 24 (2025) 1337-1394 Tommy Lundemo 10.1017/S1474748025000027 http://arxiv.org/abs/2501.04207v1 2025-01-08T00:55:12Z

We define a determinant on the Toeplitz algebra associated to a minimal flow, give a formula for this determinant in terms of symbols, and show that this determinant can be used to give information about the algebraic $K$-theory of functions on the underlying space.

2025-01-08T00:55:12Z 17 pages; to appear in the Münster Journal of Mathematics Efton Park