https://arxiv.org/api/8g4/4p+WTuNP/oCgh0wLoes4D4o 2026-03-24T21:30:27Z 6516 165 15 http://arxiv.org/abs/2410.06242v3 2025-12-18T07:59:31Z

In this paper, we study multiplicative structures on the K-theory of the core $A:=C^*(E)^{U(1)}$ of the C*-algebra $C^*(E)$ of a directed graph $E$. In the first part of the paper, we study embeddings $E\to E\times E$ that induce a *-homomorphism $A\otimes A\to A$. Through Künneth formula, any such a *-homomorphism induces a ring structure on $K_*(A)$. In the second part, we give conditions on $E$ such that $K_*(A)$ is generate by "noncommutative line bundles" (invertible bimodules). The same conditions guarantee the existence of a homomorphism of abelian groups $K_0(A)\to\mathbb{Z}[λ]/(\det(λΓ-1))$ (where $Γ$ is the adjacency matrix of $E$) that is compatible with the tensor product of line bundles. Examples include the C*-algebra $C(\mathbb{C}P^{n-1}_q)$ of a quantum projective space, the $UHF(n^\infty)$ algebra, and the C*-algebra of the space parameterizing Penrose tilings. For the first algebra, as a corollary we recover some identities that classically follow from the ring structure of $K^0(\mathbb{C}P^{n-1})$, and that were proved by Arici, Brain and Landi in the quantum case. Incidentally, we observe that the C*-algebra of Penrose tilings is the AF core of the Cuntz algebra $\mathcal{O}_2$, if the latter is realized using the appropriate graph.

2024-10-08T17:58:01Z 36 pages; v3: remove two appendices, corrected some signs Francesco D'Andrea http://arxiv.org/abs/2512.15839v1 2025-12-17T18:35:06Z

Building on the Waldhausen and Quillen models of higher algebraic $K$-theory for exact categories and Waldhausen categories attached to a non-commutative $n$-ary $\Ga$-semiring $(T,\Ga)$, we establish the fundamental formal properties of $K$-theory in this $\Ga$-parametrised, slot-sensitive setting. For the exact/Waldhausen categories of finitely generated bi-positional $n$-ary $\Ga$-modules, perfect complexes in the derived category, and perfect quasi-coherent complexes on the non-commutative $\Ga$-spectrum $\SpecGnC{T}$, we prove Waldhausen Fibration and Additivity theorems and Quillen-type Localization for Serre and Waldhausen pairs. Under natural hypotheses on $\Ga$-stable filtrations we obtain dévissage and Approximation theorems, together with cofinality and Karoubi invariance, showing that idempotent completion does not change $K$-theory and that cofinal subcategories control $K_n$ in positive degrees. We further derive a Bass--Quillen fundamental triangle for polynomial extensions in the $n$-ary $\Ga$-context and prove nilpotent invariance for two-sided $\Ga$-ideals. In geometric terms, these results yield localization and Mayer--Vietoris sequences for the $K$-theory of $\Perf(X)$ on $X=\SpecGnC{T}$ and its admissible open covers. Altogether, the paper shows that the higher $K$-theory of non-commutative $n$-ary $\Ga$-semirings enjoys the same formal properties as in the classical ring and scheme cases, providing a robust foundation for subsequent computational and homotopy-theoretic applications.

2025-12-17T18:35:06Z Chandrasekhar Gokavarapu Department of Mathematics, Government College Department of Mathematics, Acharya Nagarjuna University, Guntur, A.P., India http://arxiv.org/abs/2512.15509v1 2025-12-17T15:01:46Z

We discuss filtrations arising from de Rham-type cohomology theories for $E_\infty$ rings and $E_n$ rings. Examples include the HKR filtration on relative topological Hochschild homology, the Hodge filtration on $E_\infty$ infinitesimal cohomology, and the Hodge filtration on $E_\infty$ de Rham cohomology.

2025-12-17T15:01:46Z Benjamin Antieau http://arxiv.org/abs/2512.15004v1 2025-12-17T01:27:24Z

Let $M$ be a smooth manifold. We use Chern-Weil theory to study the characteristic classes of principal $G$-bundles built from continuous families of $π_{1}(M)$-representations, where $G$ is a compact Lie group. We then relate these families to the functorial map $$\text{Hom}(π_{1}(M), G)\rightarrow\text{Map}_{*}(M,BG)$$ and use this relationship to study the weak homotopy type of the space of flat connections for $U(n)$, $O(n)$, $SO(n)$, and $\text{Spin}(n)$ bundles.

2025-12-17T01:27:24Z Andrew Davis http://arxiv.org/abs/2512.14555v1 2025-12-16T16:28:42Z

We give a necessary and sufficient criterion for the solvability of $\operatorname{HH}^1(kP)$ as a Lie algebra, where $P$ is a $p$-group with $p$ odd, in terms of a directed graph constructed from the group $P$. This gives non-trivial results on the structure of such Lie algebras.

2025-12-16T16:28:42Z Matthew Antrobus http://arxiv.org/abs/2512.14318v1 2025-12-16T11:33:35Z

Let $Γ$ be a finitely generated discrete group acting properly and cocompactly on a smooth manifold M. By employing heat-kernel techniques we prove a geometric formula for the pairing of the index class associated to a $Γ$-equivariant Dirac operator $D$ with a delocalized cyclic cocycles $τ$ in $HP^\bullet (\mathbb{C}Γ,\langle γ\rangle)$. Our formula takes place on the fixed point manifold $M^γ$ and should be regarded as a higher Lefschetz formula for $D$. The formula involves the Atiyah-Segal-Singer form and an explicit $Z_γ$-invariant form on $M^γ$ that is naturally associated to $τ\in HP^\bullet (\mathbb{C}Γ,\langle γ\rangle)$

2025-12-16T11:33:35Z 61 pages Paolo Piazza Hessel Posthuma Yanli Song Xiang Tang http://arxiv.org/abs/2403.07855v3 2025-12-14T20:41:11Z

We study $t$-structures (on triangulated categories) that are closely related to weight structures. A $t$-structure couple $t=(C_{t\le 0},C_{t\ge 0})$ is said to be adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$. For a category $C$ that satisfies the Brown representability property we prove that $t$ that is adjacent to $w$ exists if and only if $w$ is smashing (that is, "respects C-coproducts"). The heart $Ht$ of this $t$ is the category of those functors $Hw^{op}\to Ab$ that respect products (here $Hw$ is the heart of $w$); the result has important applications. We prove several more statements on constructing $t$-structures starting from weight structures; we look for a strictly orthogonal $t$-structure $t$ on some $C'$ (where $C,C'$ are triangulated subcategories of a common $D$) such that $C'_{t\le 0}$ (resp. $C'_{t\ge 0}$) is characterized by the vanishing of morphisms from $C_{w\ge 1}$ (resp. $C_{w\le -1}$). Some of these results generalize properties of semi-orthogonal decompositions proved in the previous paper, and can be applied to various derived categories of (quasi)coherent sheaves on a scheme $X$ that is projective over an affine noetherian one. We also study hearts of orthogonal $t$-structures and their restrictions, and prove some statements on "reconstructing" weight structures from orthogonal $t$-structures.

2024-03-12T17:46:14Z Section 2.1 was extended significantly Mikhail V. Bondarko http://arxiv.org/abs/2512.12460v1 2025-12-13T21:17:01Z

In 2004, Han proposed the following conjecture: let $B$ be a finite-dimensional $k$-algebra. If $\mathrm{HH}_{n}(B)\neq 0$ for only finitely many $n\in \mathbb{Z}$, then $B$ is smooth. This conjecture can be generalized to the DG setting: let $B$ be a finite-dimensional DG $k$-algebra. If $\mathrm{HH}_{n}(B)\neq 0$ for only finitely many $n\in \mathbb{Z}$, then $B$ is smooth. In this note, we show that the DG generalization of Han's conjecture is false.

2025-12-13T21:17:01Z Yeqin Liu Yu Shen http://arxiv.org/abs/2512.12321v1 2025-12-13T13:25:57Z

Using ideas from algebraic $K$-theory, we prove that a simple and naturally applicable criterion of Kitaev suffices to trivialize the Fredholm determinant of a multiplicative commutator.

2025-12-13T13:25:57Z 14 pages Guo Chuan Thiang http://arxiv.org/abs/2511.22164v2 2025-12-12T10:08:08Z

For every Hecke C*-algebra of right-angled, hyperbolic type, we construct a smooth subalgebra to which traces associated with arbitrary conjugacy classes in the associated Coxeter group extend. We calculate the pairing with K-theory of the delocalised traces arising this way, showing that it is faithful on K-theory.

2025-11-27T07:09:48Z v2: minor improvements of the presentation; journal submitted version Piotr Nowak Sanaz Pooya Sven Raum Adam Skalski http://arxiv.org/abs/2211.03354v2 2025-12-12T09:56:31Z

Extended Khovanov arc algebras $\mathrm{K}_m^n$ are graded associative algebras which naturally appear in a variety of contexts, from knot and link homology, low-dimensional topology and topological quantum field theory to representation theory and symplectic geometry. C. Stroppel conjectured in her ICM 2010 address that the bigraded Hochschild cohomology groups of $\mathrm{K}_m^n$ vanish in a certain range, implying that the algebras $\mathrm K_m^n$ admit no nontrivial A$_\infty$ deformations, in particular that the algebras are intrinsically formal. Whereas Stroppel's Conjecture is known to hold for the algebras $\mathrm K_m^1$ and $\mathrm K_1^n$ by work of Seidel and Thomas, we show that $\mathrm K_m^n$ does in fact admit nontrivial A$_\infty$ deformations with nonvanishing higher products for all $m, n \geq 2$. We describe both $\mathrm K_m^n$ and its Koszul dual concretely as path algebras of quivers with relations and give an explicit algebraic construction of A$_\infty$ deformations of $\mathrm K_m^n$ by using the correspondence between A$_\infty$ deformations of a Koszul algebra and filtered associative deformations of its Koszul dual. These deformations can also be viewed as A$_\infty$ deformations of Fukaya--Seidel categories associated to Hilbert schemes of surfaces based on recent work of Mak and Smith.

2022-11-07T08:08:47Z 52 pages, 12 figures, final version Adv. Math. 485 (2026) 110733 Severin Barmeier Zhengfang Wang 10.1016/j.aim.2025.110733 http://arxiv.org/abs/2512.11102v1 2025-12-11T20:26:17Z

In the companion paper~\cite{Gokavarapu_IJPA_2025}, we developed a classical algebraic K-theory for non-commutative $n$-ary $Γ$-semirings $(T,Γ)$ in terms of finitely generated projective $n$-ary $Γ$-modules and their automorphisms, and we identified the low K-groups $K_{0}(T,Γ)$ and $K_{1}(T,Γ)$ with appropriate Grothendieck and Whitehead groups. The present paper continues this programme by constructing and comparing several models for the higher algebraic K-theory of $(T,Γ)$. Starting from the Quillen-exact category $\mathcal{C} := T\text{-Mod}^{\mathrm{bi}}$ of bi-finite, slot-sensitive $n$-ary $Γ$-modules introduced earlier, we define the higher K-groups $K_{n}(T,Γ)$ via Quillen's Q-construction~\cite{Quillen73} on $\mathcal{C}$ and via Waldhausen's $S_{\bullet}$-construction~\cite{Waldhausen85} on the Waldhausen category of bounded chain complexes in $\mathcal{C}$. We prove a Gillet--Waldhausen type comparison theorem~\cite{GilletGrayson87} showing that the resulting Quillen and Waldhausen K-theory spectra are canonically weakly equivalent. Using dg-enhancements and the derived category of quasi-coherent sheaves on the non-commutative spectrum $\operatorname{Spec}_{T}^{\mathrm{nc}}(T)$~\cite{Gokavarapu_JRMS_2266}, we further identify these spectra with the K-theory of the small stable $\infty$-category of perfect complexes~\cite{Thomason90}. As consequences, we obtain functoriality, localization, and excision sequences~\cite{Weibel13}, and a derived Morita invariance statement for $K_{n}(T,Γ)$~\cite{Keller94}. These results show that algebraic K-theory of non-commutative $n$-ary $Γ$-semirings is a derived-geometric invariant of $\operatorname{Spec}_Γ^{\mathrm{nc}}(T)$ and reduce concrete computations to geometric dévissage and homological techniques developed in the earlier papers of the series.

2025-12-11T20:26:17Z Chandrasekhar Gokavarapu Government College http://arxiv.org/abs/2512.11097v1 2025-12-11T20:13:55Z

In this paper, we initiate the study of algebraic K-theory for non-commutative $Γ$-semirings, extending the classical constructions of Grothendieck and Bass to this setting. We first establish the categorical foundations by constructing the category of finitely generated projective bi-$Γ$-modules over a non-commutative $Γ$-semiring $T$. We prove that this category admits an exact structure, allowing for the definition of the Grothendieck group $K_0^Γ(T)$. Furthermore, we develop the theory of the Whitehead group $K_1^Γ(T)$ using elementary matrices and the Steinberg relations in the non-commutative $Γ$-semiring context. We establish the fundamental exact sequences linking $K_0$ and $K_1$ and provide explicit calculations for specific classes of non-commutative $Γ$-semirings. This work lays the algebraic groundwork for future studies on higher K-theory spectra.

2025-12-11T20:13:55Z Chandrasekhar Gokavarapu Government College http://arxiv.org/abs/2512.10712v1 2025-12-11T14:49:52Z

We prove an unstable version of Morel's $\mathbb{A}^1$-connectivity theorem over arbitrary base schemes. In the stable setting, this recovers (and simplifies the proof of) the known connectivity bounds due to Morel, Schmidt--Strunk, Deshmukh--Hogadi--Kulkarni--Yadav, and Druzhinin, and extends them to possibly non-noetherian schemes. Using the recent work of Bachmann--Elmanto--Morrow, this also implies that the slice filtration on homotopy $K$-theory is convergent for qcqs schemes of finite valuative dimension.

2025-12-11T14:49:52Z Comments welcome! Tess Bouis Arnab Kundu http://arxiv.org/abs/2309.13654v3 2025-12-11T14:34:51Z

Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic homology $π_i{\rm TC}^-(\mathcal{T}/\mathbb{S}[z];\mathbb{Z}_p)$, and prove a $K$-theory version of Bhatt-Morrow-Scholze's comparison theorems. Moreover, using Gao's Breuil-Kisin $G_K$-module theory and Du-Liu's $(\varphi,\hat{G})$-module theory, we prove the $\mathbb{Z}_p[G_K]$-module $T_{A_{\rm inf}}(π_i{\rm TC}^-(\mathcal{T}/\mathbb{S}[z];\mathbb{Z}_p)^{\vee})$ is a $\mathbb{Z}_p$-lattice of a crystalline representation. As a corollary, if the generic fibre of $\mathcal{T}$ admits a geometric realization in the sense of Orlov, we prove a comparison theorem between $K(1)$-local $K$ theory of the generic fibre and topological cyclic periodic homology theory of the special fibre with $B_{\rm crys}$-coefficients, in particular, we prove the $p$-adic representation of the $K(1)$-local $K$-theory of the generic fibre is a crystalline representation, this can be regarded as a non-commutative analogue of $p$-adic Hodge theory for smooth proper varieties proved by Tsuji and Faltings. This is the full version of arXiv:2305.00292, containing additional details and results.

2023-09-24T14:41:58Z This is the full version of arXiv:2305.00292, containing additional details and results. To appear in the Journal of Noncommutative Geometry Keiho Matsumoto