https://arxiv.org/api/CTh+T4/INclNyZt6ZxYHFZhRRdQ 2026-04-12T08:27:08Z 6535 795 15 http://arxiv.org/abs/2406.19481v2 2024-11-06T19:25:54Z

We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied $RO(G)$-graded coefficient groups of the equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb Z}$. Our comparison between the equivariant $K$-theory spectrum and $H\underline{\mathbb Z}$ further shows they share the same Tate spectra and geometric fixed point spectra. In the case where $G$ has prime order, we provide an explicit presentation of the equivariant $K$-groups.

2024-06-27T18:49:33Z Fixed typos and added section on multiplicative structure. Comments welcome! David Chan Chase Vogeli http://arxiv.org/abs/2411.01646v2 2024-11-06T12:15:58Z

We interpret the coarse symbol and index class of a Callias type Dirac operator $D+Ψ$ on a manifold $M$ as a pairing between the coarse symbol and index classes associated to $D$ and K-theory classes of the coarse corona of $M$ or $M$ itself determined by $Ψ$. Local positivity of $D$ and local invertibility of $Ψ$ are incorporated in terms of support conditions on the $K$-theoretic level.

2024-11-03T17:52:20Z 106 pages Ulrich Bunke Matthias Ludewig http://arxiv.org/abs/2411.03080v1 2024-11-05T13:25:30Z

In this paper we investigate the Lie algebra structure of the first relative Hochschild cohomology and its relation with the relative notion of fundamental group. Let $A,B$ be finite-dimensional basic $k$-algebras over an algebraically closed field of characteristic zero, such that $Q_B$ is a subquiver of $Q_A$. We show that if the complement of $Q_A$ by the arrows of $Q_B$ is a simple directed graph, then the first relative Hochschild cohomology $\text{HH}^1(A|B)$ is a solvable Lie algebra. We also compute the Lie algebra structure of the first relative Hochschild cohomology for radical square zero algebras and for dual extension algebras of directed monomial algebras. Finally, we introduce the notion of fundamental group for a pair of an algebra $A$ and a subalgebra $B$ and we construct the relative version of the map from the dual fundamental group into the first Hochschild cohomology.

2024-11-05T13:25:30Z 28 pages Jonathan Lindell Lleonard Rubio y Degrassi http://arxiv.org/abs/2411.02981v1 2024-11-05T10:44:10Z

We extend our previous definition of K-theoretic invariants for operator systems based on hermitian forms to higher K-theoretical invariants. We realize the need for a positive parameter $δ$ as a measure for the spectral gap of the representatives for the K-theory classes. For each $δ$ and integer $p \geq 0$ this gives operator system invariants $\mathcal V_p^δ(-,n)$, indexed by the corresponding matrix size. The corresponding direct system of these invariants has a direct limit that possesses a semigroup structure, and we define the $K_p^δ$-groups as the corresponding Grothendieck groups. This is an invariant of unital operator systems, and, more generally, an invariant up to Morita equivalence of operator systems. Moreover, there is a formal periodicity that reduces all these groups to either $K_0^δ$ or $K_1^δ$. We illustrate our invariants by means of the spectral localizer.

2024-11-05T10:44:10Z 14 pages, 2 figures Walter D. van Suijlekom http://arxiv.org/abs/2411.02884v1 2024-11-05T07:53:27Z

A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra cohomology as a certain kind of derived functor. A similar correspondence is proved for coderived categories of commutative cofibrant differential graded algebras and their Harrison differential graded Lie coalgebras.

2024-11-05T07:53:27Z 23 pages Joseph Chuang Andrey Lazarev Yunhe Sheng Rong Tang http://arxiv.org/abs/1208.3111v4 2024-11-04T20:17:30Z

We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The target of this map is an analogue of Deligne cohomology defined in terms of cyclic homology, and Goodwillie's theorem on nilpotent ideals ensures that it has the desired tangent space (a truncated de Rham complex). Immediate consequences are the semiregularity conjectures: that the semiregularity maps annihilate all obstructions, and that if $X$ is deformed, semiregularity measures the failure of the Chern character to remain a Hodge class. This gives rise to reduced obstruction theories of the type featuring in the study of reduced Gromov--Witten and Pandharipande--Thomas invariants. We also give generalisations allowing $X$ to be singular, and even a derived stack.

2012-08-15T13:20:31Z 22 pages, supersedes arXiv:1112.6001; v2 notational changes and minor corrections; v3 expanded with presentational changes; v4 further expanded with strengthened results, final version to appear in Forum Math. Sigma J. P. Pridham http://arxiv.org/abs/2410.14446v2 2024-11-03T20:16:41Z

We outline how the group $K_{-1}( \mathbb{Z}[G] )$ for a finite group $G$ can be computed using the computer language $GAP$ and compile a table of all groups $G$ of order less than $100$ that have torsion in $K_{-1}( \mathbb{Z}[G] )$.

2024-10-18T13:06:11Z Georg Lehner http://arxiv.org/abs/2306.05099v2 2024-10-31T10:46:52Z

We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse to log-geometry, as predicted by Fontaine, and we produce an induced Clemens-Schmid chain complex.

2023-06-08T10:58:41Z 51 pages. Minor changes to Section 4.7. To appear in JEMS Federico Binda Martin Gallauer Alberto Vezzani http://arxiv.org/abs/2410.22877v1 2024-10-30T10:14:37Z

We generalise the classical Bass-Heller-Swan decomposition for the K-theory of (twisted) Laurent algebras to a splitting for general localising invariants of certain categories of twisted automorphisms. As an application, we obtain splitting formulas for Waldhausen's A-theory of mapping tori and for the K-theory of certain tensor algebras. We identify the Nil-terms appearing in this splitting in two ways. Firstly, as the reduced K-theory of twisted endomorphisms. Secondly, as the reduced K-theory of twisted nilpotent endomorphisms. Finally, we generalise classical vanishing results for Nil-terms of regular rings to our setting.

2024-10-30T10:14:37Z 30 pages. Comments welcome! Dominik Kirstein Christian Kremer http://arxiv.org/abs/2410.21606v1 2024-10-28T23:13:44Z

We use homotopy theoretic ideas to study the $K$-theory of (graded, Real) $C^*$-algebras in detail. After laying the foundations, and deriving the formal properties, the comparison of the model with the Kasparov picture of $K$-theory has been made, and Bott periodicity has been proven using a Dirac-dual Dirac method.

2024-10-28T23:13:44Z This article is roughly the content of the author's masters thesis written under the supervision of Prof. Dr. Johannes Ebert at the University of Muenster in 2023. An updated version will be available at a later date Anupam Datta http://arxiv.org/abs/2410.21537v1 2024-10-28T21:03:52Z

We prove that for any presentably symmetric monoidal $\infty$-category $\mathcal{V}$, the $\infty$-category $\mathbf{Mod}_\mathcal{V}(\mathbf{Pr}^{\mathrm{L}})^{\mathrm{dbl}}$ of dualizable presentable $\mathcal{V}$-modules and internal left adjoints between them is itself presentable. Along the way, we survey formal properties of these dualizable $\mathcal V$-modules. We pay close attention to the case of the $\infty$-category of spectra, where we survey the foundational properties of ``compact morphisms''.

2024-10-28T21:03:52Z 80 pages; comments welcome! Maxime Ramzi http://arxiv.org/abs/2402.18473v2 2024-10-28T16:20:58Z

Flux- and charge-quantization laws for higher gauge fields of Maxwell type -- e.g. the common electromagnetic field (the "A-field") but also the B-, RR-, and C-fields considered in string/M-theory -- specify non-perturbative completions of these fields by encoding their solitonic behaviour and hence by specifying the discrete charges carried by the individual branes (higher-dimensional monopoles or solitons) that source the field fluxes. This article surveys the general (rational-)homotopy theoretic understanding of flux- and charge-quantization via the Chern-Dold character map generalized to the non-linear (self-sourcing) Bianchi identities that appear in higher-dimensional supergravity theories, notably for B&RR-fields in D=10, for the C-field in D=11 supergravity, and for the B-field on fivebrane worldvolumes.

2024-02-28T16:50:38Z 34+6 pages, many figures; v2: published version, commissioned for the Encyclopedia of Mathematical Physics 2nd ed Enc. Math. Phys 2nd ed., Vol 4 (2025) 281-324 Hisham Sati Urs Schreiber 10.1016/B978-0-323-95703-8.00078-1 http://arxiv.org/abs/2410.20942v1 2024-10-28T11:50:10Z

In this article we study a relative monoidal version of the Bondal-Orlov reconstruction theorem. We establish an uniqueness result for tensor triangulated category structures $(\boxtimes,\mathbb{1})$ on the derived category $D^{b}(X)$ of a variety $X$ which is smooth projective and faithfully flat over a quasi-compact quasi-separated base scheme $S$ in the case where the fibers $X_{s}$ over any point $s\in S$ all have ample (anti-)canonical bundles. To do so we construct a stack $Γ$ of dg-bifunctors which parametrize the local homotopical behaviour of $\boxtimes$, and we study some of its properties around the derived categories of the fibers $X_{s}$.

2024-10-28T11:50:10Z Artan Sheshmani Angel Toledo http://arxiv.org/abs/2410.20562v1 2024-10-27T19:29:35Z

We study a weight-exact localization pi of a well generated triangulated category C along with the embedding of the hearts of adjacent t-structures coming from the functor right adjoint to pi. We prove that the functors relating the corresponding four hearts are completely determined by the heart Hw of the weight structure on C along with the set of Hw-morphisms that we invert via pi; it also suffices to know the corresponding embedding of the hearts of t-structures. Our results generalize the description of non-commutative localizations of rings in terms of weight-exact localizations given in an earlier paper of the first author. That paper was essentially devoted to weight-exact localizations by compactly generated subcategories, whereas in the current text we focus on "more complicated" localizations. We recall that two types of localizations of the sort we are interested in were studied by several authors. They took C=D(R-mod); the heart of the first t-structure was equivalent to R-mod, and the second heart was equivalent to the exact abelian category $U_{contra}\subset R-mod$ of U-contramodules (corresponding to a set of Proj R-mod-morphisms U related either to a homological ring epimorphism $u:R\to UU$ or to an ideal of I of R). The functor $R-mod\to U_{contra}$ induced by pi is a certain completion one. Consequently, the hearts of the corresponding weight structures are equivalent to Proj R-mod and to the subcategory of projective objects of U_{contra}, respectively. Moreover, the connecting functors between these categories are isomorphic to ones coming from any weight structure class-generated by a single compact object whose endomorphism ring is R^{op}; in particular, one can take R=Z and C=SH and re-prove some important statements due to Bousfield.

2024-10-27T19:29:35Z 28 pages. Comments are welcome! Mikhail V. Bondarko Stepan V. Shamov http://arxiv.org/abs/2305.12684v2 2024-10-26T19:02:29Z

In this article, we establish the compatibility between norms and transfers in motivic homotopy theory. More precisely, we construct norm functors for motivic spaces equipped with various flavours of transfer. This yields a norm monoidal refinement of the infinite $\mathbb{P}^1$-delooping machine of Elmanto-Hoyois-Khan-Sosnilo-Yakerson. We apply this refinement to construct a normed algebra structure on the very effective Hermitian $\mathrm{K}$-theory spectrum.

2023-05-22T03:44:27Z 53 pages, comments welcome! Updates in Version 2: reworked exposition and organization; added further discussion of norm monoidal categories Brian Shin