https://arxiv.org/api/9rnY15EkDE5f7+sqfF/shtiF6fg 2026-04-12T16:57:48Z 6535 870 15 http://arxiv.org/abs/2211.13850v2 2024-09-03T22:29:40Z

In this paper, we compute explicitly both the $K$-theory and integral cohomology rings of the space of commuting elements in $SU(2)$ via the $K$-theory of its desingularization. We also briefly discuss the different behavior of its cohomology with complex and $\mathbb{Z}_2$ coefficients in the context of representation stability and FI-modules.

2022-11-25T01:16:17Z 27 pages. Accepted by Homology, Homotopy and Applications Homology, Homotopy and Applications, vol. 27(2), 2025, pp.123-149 Chi-Kwong Fok 10.4310/HHA.2025.v27.n2.a6 http://arxiv.org/abs/2409.01462v1 2024-09-02T20:55:34Z

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real (associative) algebra and the topological (aka operator) $K$-theory of a real Banach algebra.

2024-09-02T20:55:34Z 23 pages Ko Aoki http://arxiv.org/abs/2210.08670v2 2024-09-02T18:08:05Z

We introduce the notion of a differential operator on C*-algebras. This is a noncommutative analogue of a differential operator on a smooth manifold. We show that the common closed domain of all differential operators is closed under smooth functional calculus. As a corollary, we show that Schwartz functions on Connes tangent groupoid are closed under smooth functional calculus.

2022-10-17T00:25:13Z I changed the article following the referee's remarks (including a change to the title). To appear in Journal of Functional analysis Omar Mohsen http://arxiv.org/abs/2409.01335v1 2024-09-02T15:40:41Z

We introduce a version of Koszul duality for categories, which extends the Koszul duality of operads and right modules. We demonstrate that the derivatives which appear in Weiss calculus (with values in spectra) form a right module over the Koszul dual of the category of vector spaces and orthogonal surjections, resolving conjectures of Arone--Ching and Espic. Using categorical Fourier transforms, we then classify Weiss towers. In particular, we describe the $n$-th polynomial approximation as a pullback of the $(n-1)$-st polynomial approximation along a ``generalized norm map''.

2024-09-02T15:40:41Z Connor Malin Niall Taggart http://arxiv.org/abs/2312.15278v2 2024-09-02T10:47:48Z

We show that if an operad is at the same time a cosimplicial object such that the respective structure maps are compatible with the operadic composition in a natural way, then one obtains a Gerstenhaber algebra structure on cohomology, and if the operad is cyclic, even that of a BV algebra. In particular, if a cyclic opposite module over an operad with multiplication is itself a cyclic operad that meets the cosimplicial compatibility conditions, the cohomology of its cyclic dual turns into a BV algebra. This amounts to conditions for when the cyclic dual of a BV module is endowed with a BV algebra structure, a result we exemplify by looking at classical and less classical (co)homology groups in Hopf algebra theory.

2023-12-23T15:22:53Z 30 pages; to appear in New York J. Math Niels Kowalzig http://arxiv.org/abs/2311.06538v3 2024-09-02T09:54:03Z

In a survey paper in 2011, Amiot proposed a conjectural characterisation of the cluster categories which were conceived in the mid 2000s to lift the combinatorics of Fomin-Zelevinsky's cluster algebras to the categorical level. This paper is devoted to a proof of (a variant of) her conjecture. More generally, cluster categories admit higher-dimensional and relative variants, the so-called Higgs categories recently introduced by Wu. We also prove higher-dimensional and relative variants of the conjecture.

2023-11-11T11:22:02Z 43 pages. arXiv admin note: text overlap with arXiv:2307.16222; v2: extended definition of right CY structures to homologically finite dg algebras; v3: main results extended to the 1-dimensional case Bernhard Keller Junyang Liu http://arxiv.org/abs/2409.00945v1 2024-09-02T05:08:39Z

A conjecture due to Y. Han asks whether that Hochschild homology groups of a finite dimensional algebra vanish for sufficiently large degrees would imply that the algebra is of finite global dimension. We investigate this conjecture from the viewpoint of recollements of derived categories. It is shown that for a recollement of unbounded derived categories of rings which extends downwards (or upwards) one step, Han's conjecture holds for the ring in the middle if and only if it holds for the two rings on the two sides and hence Han's conjecture is reduced to derived $2$-simple rings. Furthermore, this reduction result is applied to Han's conjecture for Morita contexts rings and exact contexts. Finally it is proved that Han's conjecture holds for skew-gentle algebras, category algebras of finite EI categories and Geiss-Leclerc-Schröer algebras associated to Cartan triples.

2024-09-02T05:08:39Z 14 pages. Comments are welcome! Ren Wang Xiaoxiao Xu Jinbi Zhang Guodong Zhou http://arxiv.org/abs/2408.17055v1 2024-08-30T07:31:12Z

In this paper, we investigate the relationship between ideal structures and the Bockstein operations in the total K-theory, offering various diagrams to demonstrate their effectiveness in classification. We explore different situations and demonstrate a variety of conclusions, highlighting the crucial role these structures play within the framework of invariants.

2024-08-30T07:31:12Z arXiv admin note: text overlap with arXiv:2303.06835 Qingnan An Zhichao Liu http://arxiv.org/abs/2408.16795v1 2024-08-28T20:01:47Z

In this article, we use the Bruhat and Schubert cells to calculate the cellular homology of the maximal compact subgroup $K$ of a connected semisimple Lie group $G$ whose Lie algebra is a split real form. We lift to the maximal compact subgroup the previously known attaching maps for the maximal flag manifold and use it to characterize algebraically the incidence order between Schubert cells. We also present algebraic formulas to compute the boundary maps which extend to the maximal compact subgroups similar formulas obtained in the case of the maximal flag manifolds. Finally, we apply our results to calculate the cellular homology of $\mbox{SO}(3)$ as the maximal compact subgroup of $\mbox{SL}(3, \mathbb{R})$ and the cellular homology of $\mbox{SO}(4)$ as the maximal compact subgroup of the split real form $G_2$.

2024-08-28T20:01:47Z Mauro Patrão Ricardo Sandoval http://arxiv.org/abs/2405.05242v2 2024-08-28T15:05:31Z

This paper is concerned with quantum cohomology and Fukaya categories of a closed monotone symplectic manifold X, where we use coefficients in a field k of characteristic p > 0. The main result of this paper is that the quantum Steenrod operations QΣadmit an interpretation in terms of certain operations on the (equivariant) Hochschild invariants of the Fukaya category of X, via suitable (equivariant) versions of the open-closed maps. As an application, we demonstrate how the categorical perspective provides new tools for computing QΣbeyond the reach of known technology. We also explore potential connections of our work to arithmetic homological mirror symmetry.

2024-05-08T17:38:47Z removed material on the exponential type conjecture from earlier version, which will be split into a new paper Zihong Chen http://arxiv.org/abs/2408.14695v1 2024-08-26T23:49:16Z

We present a procedure that constructs, in a combinatorial manner, a chain complex of free modules over a polynomial ring in finitely many variables, modulo an ideal generated by quadratic monomials. Applying this procedure to two specific rings and one family of rings, we demonstrate that the resulting chain complex is indeed an exact chain complex and thus a free resolution. Utilizing this free resolution, we show that, for these rings, the injective dimension is infinite, as modules over itself. Finally, we propose the conjecture that this procedure always yields a free resolution.

2024-08-26T23:49:16Z 23 pages Daniel Bravo http://arxiv.org/abs/2408.08081v2 2024-08-26T11:23:53Z

In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-theory, as well as a method to compute the homology of scissors automorphism groups. We apply this to various families of groups, such as interval exchange groups and Brin--Thompson groups, recovering results of Szymik--Wahl, Li, and Tanner, and obtaining new results as well.

2024-08-15T11:13:49Z 58 pages, 16 figures. Comments welcome! v2: Corrected examples 6.35-37, updated references Alexander Kupers Ezekiel Lemann Cary Malkiewich Jeremy Miller Robin J. Sroka http://arxiv.org/abs/2011.10906v3 2024-08-23T19:57:49Z

We introduce controlled $KK$-theory groups associated to a pair $(A,B)$ of separable $C^*$-algebras. Roughly, these consist of elements of the usual $K$-theory group $K_0(B)$ that approximately commute with elements of $A$. Our main results show that these groups are related to Kasparov's $KK$-groups by a Milnor exact sequence, in such a way that Rørdam's $KL$-group is identified with an inverse limit of our controlled $KK$-groups. In the case that the $C^*$-algebras involved satisfy the UCT, our Milnor exact sequence agrees with the Milnor sequence associated to a $KK$-filtration in the sense of Schochet, although our results are independent of the UCT. Applications to the UCT will be pursued in subsequent work.

2020-11-22T01:14:15Z Version 3 has various corrections, clarifications, and small simplifications Rufus Willett Guoliang Yu http://arxiv.org/abs/2210.08082v3 2024-08-23T19:36:01Z

We solve the higher version of Hilbert's Third Problem for one-dimensional geometries, and in higher dimensions we reduce the problem to a computation in group homology. Our central result concerns the scissors congruence $K$-theory spectrum of Zakharevich, whose homotopy groups are the correct higher version of the classical scissors congruence groups. We prove that this spectrum is a Thom spectrum, whose base space is the homotopy orbit space of a Tits complex. The relevant computations quickly follow from this more foundational result.

2022-10-14T20:11:37Z v3: Expanded introduction and changed title to be more accessible to non-homotopy theorists. The original title was "Scissors congruence $K$-theory is a Thom spectrum." Cary Malkiewich http://arxiv.org/abs/2408.13334v1 2024-08-23T18:51:22Z

We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by Dyckerhoff, Efimov, Polishchuk, and Positselski concerning the Hochschild homology of matrix factorizations. A key ingredient in the proof is a theorem due to B. Briggs, which represents a "curved version" of a celebrated theorem of Hopkins and Neeman. The proof of Briggs' Theorem is included in an appendix to this paper.

2024-08-23T18:51:22Z Appendix is by Benjamin Briggs Benjamin Briggs Mark E. Walker