https://arxiv.org/api/R9uj6+HSGU8elOt7Rv8DX/rgTcA 2026-04-07T19:27:07Z 6532 600 15 http://arxiv.org/abs/2503.19751v1 2025-03-25T15:16:12Z

For any scheme which is algebraic over a subfield of the complex numbers we here construct an homological regulator from Suslin homology to period homology and a higher cycle class map from Bloch's higher Chow group to the period Borel-Moore homology. Over algebraic numbers, making use of the motivic Albanese, we provide a purely geometric description of these period homologies in degree 1 and we characterise the $\mathbb{Q}/\mathbb{Z}$-cokernel of these regulators in terms of torsion zero-cycles, showing that Grothendieck period conjectures imply generalised Roĭtman theorems.

2025-03-25T15:16:12Z L. Barbieri-Viale http://arxiv.org/abs/2412.18963v2 2025-03-25T12:33:24Z

The complete flag variety admits a natural action by both the orthogonal group and the symplectic group. Wyser and Yong defined orthogonal Grothendieck polynomials $\mathfrak{G}^{\mathsf{O}}_z$ and symplectic Grothendieck polynomials $\mathfrak{G}^{\mathsf{Sp}}_z$ as the $K$-theory classes of the corresponding orbit closures. There is an explicit formula to expand $\mathfrak{G}^{\mathsf{Sp}}_z$ as a nonnegative sum of Grothendieck polynomials $\mathfrak{G}^{(β)}_w$, which represent the $K$-theory classes of Schubert varieties. Although the constructions of $\mathfrak{G}^{\mathsf{Sp}}_z$ and $\mathfrak{G}^{\mathsf{O}}_z$ are similar, finding the $\mathfrak{G}^{(β)}$-expansion of $\mathfrak{G}^{\mathsf{O}}_z$ or even computing $\mathfrak{G}^{\mathsf{O}}_z$ is much harder. If $z$ is vexillary then $\mathfrak{G}^{\mathsf{O}}_z$ has a nonnegative $\mathfrak{G}^{(β)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(β)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.

2024-12-25T18:42:10Z 50 pages, 5 figures; minor improvements and corrections Eric Marberg Jiayi Wen http://arxiv.org/abs/2407.18208v3 2025-03-24T20:44:51Z

Answering a question of Randal-Williams, we show the natural maps from split Steinberg modules of a Dedekind domain to the associated Steinberg modules are surjective.

2024-07-25T17:18:11Z 5 pages. Accepted for publication in Journal of Homotopy and Related Structures Daniel Armeanu Jeremy Miller http://arxiv.org/abs/2501.10241v2 2025-03-24T08:43:17Z

We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n+1}$-modules over the iterated loop space $Ω_{n+1}X$. This generalizes the classical monodromy equivalence presenting ordinary local systems as modules over the based loop spaces. Along the way we revisit from the perspective of $\infty$-categories Teleman's influential theory of topological group actions on categories, and we extend it to topological actions on $(\infty,n)$-categories. Finally, we show that the group of invertible objects in the category of local systems of $(\infty,n)$-categories over an $n$-connected space $X$ is isomorphic to the group of characters of $π_n(X)$. This should be thought of as a topological analogue of the higher Brauer group of the space $X$. We conclude the paper with applications of the theory of categorical local systems to the fiberwise Fukaya category of symplectic fibrations.

2025-01-17T15:10:02Z Removed sections 4 and 5 of arXiv:2501.10241v1 ; minor corrections and edits James Pascaleff Emanuele Pavia Nicolò Sibilla http://arxiv.org/abs/2202.09809v4 2025-03-22T08:48:31Z

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory.

2022-02-20T12:56:21Z 44 pages; v4 Fixed an error in the proof of Lemma 2.8. To appear in the American Journal of Mathematics James Gabe Gábor Szabó http://arxiv.org/abs/2401.12833v2 2025-03-20T18:42:33Z

The aim of this paper is to describe the torus equivariant $K$-ring of even-dimensional complex quadrics by studying the graph equivariant $K$-theory of their corresponding GKM graphs. This involves providing a presentation for its graph equivariant $K$- ring in terms of generators and relations. This parallels the description of the equivariant cohomology ring of even-dimensional complex quadrics due to Kuroki.

2024-01-23T15:10:35Z 18 pages Topology and its Applications Volume 368, 1 July 2025, 109376 Bidhan Paul 10.1016/j.topol.2025.109376 http://arxiv.org/abs/2502.12162v2 2025-03-20T15:18:01Z

We show that generalised Calabi-Yau dg (co)algebras are Koszul dual to generalised symmetric dg (co)algebras, without needing to assume any smoothness or properness hypotheses. Similarly, we show that Gorenstein and Frobenius are Koszul dual properties. As an application, we give a new characterisation of Poincaré duality spaces, which extends a theorem of Félix- Halperin-Thomas to the non-simply connected setting.

2025-02-18T15:00:38Z 53 pages. v2: exposition improved, new Remark 8.10. Submitted version Matt Booth Joseph Chuang Andrey Lazarev http://arxiv.org/abs/2503.15198v1 2025-03-19T13:38:12Z

This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on a smooth scheme $U$. In this paper we study the gluing of the locally defined $2$-periodic (big) dg-categories of matrix factorizations $MF^\infty(U,f)$. We show that these come canonically equipped with a structure of a $2$-periodic crystal of categories (\ie an action of the dg-category of $2$-periodic $D$-modules on $X$) compatible with a relative Thom--Sebastiani theorem expressing the equivariance under the action of quadratic bundles. As our main theorem we show that the locally defined categories $MF^\infty(U,f)$ can be glued along $X$ as a sheaf of crystals of 2-periodic dg-categories ``up to isotopy'', under the prescription of orientation data controlled by three obstruction classes. This result generalizes the gluing of the Joyce's perverse sheaf of vanishing cycles and partially answers conjectures by Kontsevich--Soibelman and Toda in motivic Donaldson--Thomas theory.

2025-03-19T13:38:12Z 64 pages. Comments welcome! Benjamin Hennion Julian Holstein Marco Robalo http://arxiv.org/abs/2503.01043v2 2025-03-18T09:25:06Z

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory of the open complement of a strict normal crossing divisor from the K-theory of schemes as well as logarithmic topological Hochschild homology from the topological Hochschild homology of schemes. In our applications, we establish that the K-theory of non-regular schemes is representable in the logarithmic motivic homotopy category, and we introduce the logarithmic cyclotomic trace for the regular log regular case.

2025-03-02T22:25:07Z 80 pages, Section 1.7 was updated Doosung Park http://arxiv.org/abs/2305.07255v2 2025-03-18T06:17:07Z

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of C*-algebras. The fundamental properties of the KK-theory, i.e., the existence of the Kasparov product, Cuntz's picture, universality, and triangulated category structure, hold true in this generalization as well. Moreover, we further prove a new property specific to this theory; the invariance of KK-theory under weak Morita equivalence of the tensor categories. As an example, we study the Baum-Connes type property for $3$-cocycle twists of discrete groups.

2023-05-12T05:16:26Z 53 pages. Published version Adv. Math. 453 (2024), 109848 Yuki Arano Kan Kitamura Yosuke Kubota 10.1016/j.aim.2024.109848 http://arxiv.org/abs/2401.04341v2 2025-03-18T03:13:05Z

In this paper we investigate the third homology of the projective special linear group ${\rm PSL}_2(A)$. As a result of our investigation we prove a projective refined Bloch-Wigner exact sequence over certain class of rings. The projective Bloch-Wigner exact sequence over an algebraically closed field of characteristic zero is a classical result and has many application in algebra, number theory and geometry.

2024-01-09T03:52:38Z 31 pages Behrooz Mirzaii Elvis Torres Pérez http://arxiv.org/abs/2503.13700v1 2025-03-17T20:17:13Z

We define a notion of categorical first order deformations for (enhanced) triangulated categories. For a category $\mathcal{T}$, we show that there is a bijection between $\operatorname{HH}^2(\mathcal{T})$ and the set of categorical deformations of $\mathcal{T}$. We show that in the case of curved deformations of dg algebras considered in arXiv:2406.04945, the $1$-derived category of the deformation (introduced in arXiv:24020.8660) is a categorical deformation of the derived category of the base; the Hochschild class identified by this deformation is shown to restrict to the class defining the deformation of the algebra. As an application, we give a conceptual proof of the fact that (for a smooth base) the filtered derived category of a dg deformation yields a categorical resolution of the classical derived category.

2025-03-17T20:17:13Z 33 pages, no figures Alessandro Lehmann Wendy Lowen http://arxiv.org/abs/1905.11861v6 2025-03-16T21:22:23Z

Let $Γ$ be a f.g. discrete group and let $\tilde M$ be a Galois $Γ$-covering of a smooth closed manifold $M$. Let $S_*^Γ(\tilde{M})$ be the analytic structure group, appearing in the Higson-Roe analytic surgery sequence $\to S_*^Γ(\tilde M)\to K_*(M)\to K_*(C_r^*Γ)\to$. We prove that for an arbitrary discrete group $Γ$ it is possible to map the whole Higson-Roe sequence to the long exact sequence of even/odd-graded noncommutative de Rham homology $\to H_{[*-1]}(\mathcal{A}Γ)\to H^{del}_{[*-1]}(\mathcal{A}Γ)\to H^{e}_{[*]}(\mathcal{A}Γ)\to$, with $\mathcal{A}Γ$ a dense homomorphically closed subalgebra of $C^*_rΓ$. Here, $ H_{*}^{del}(\mathcal{A}Γ)$ is the delocalized homology and $H_{*}^{e}(\mathcal{A}Γ)$ is the homology localized at the identity element. Then, under additional assumptions on $Γ$, we prove the existence of a pairing between $HC^*_{del}(\mathbb{C}Γ)$, the delocalized part of the cyclic cohomology of $\mathbb{C}Γ$, and $H^{del}_{*-1}(\mathcal{A}Γ)$. This, in particular, gives a pairing between $S^Γ_*(\tilde M)$ and $HC^{*-1}_{del}(\mathbb{C}Γ)$. We also prove the existence of a pairing between $S^Γ_*(\tilde M)$ and the relative cohomology $H^{[*-1]}(M\to BΓ)$. Both these parings are compatible with known pairings associated with the other terms in the Higson-Roe sequence. In particular, we define higher rho numbers associated to the rho class $ρ(\tilde D)\in S_*^Γ(\tilde M)$ of an invertible $Γ$-equivariant Dirac type operator on $\tilde M$. Finally, we provide a precise study for the behavior of all previous K-theoretic and homological objects and of the higher rho numbers under the action of the diffeomorphism group of $M$. Then, we establish new results on the moduli space of metrics of positive scalar curvature when $M$ is spin.

2019-05-28T14:46:16Z 144 pages. Changes from the first version: the title has been modified; imprecisions have been corrected; more details are given; several new sections with many geometric applications have been added. v6: correction of typos and minor mistakes, typesetting changed. Close to final version to be published in Memoir AMS Paolo Piazza Sapienza Università di Roma Thomas Schick Universität Göttingen Vito Felice Zenobi INdAM http://arxiv.org/abs/2503.12060v1 2025-03-15T09:16:51Z

We reconstruct (appropriately completed) categories of cellular motivic spectra over fields of small cohomological dimension in terms of only their absolute Galois groups. As our main application, we determine the motivic stable stems (away from the characteristic) of almost all fields.

2025-03-15T09:16:51Z 59 pages. Comments welcome! Tom Bachmann Robert Burklund Zhouli Xu http://arxiv.org/abs/2407.09606v2 2025-03-14T12:54:47Z

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a functor on the category of rigid analytic spaces. Moreover, we show that there exists a full six functor formalism for the precomposition with the analytification functor by evoking Ayoub's thesis. As an application, we identify connective analytic K-theory in the unstable homotopy category with both $\mathbb{Z}\times\mathrm{BGL}$ and the analytification of connective algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra.

2024-07-12T18:00:03Z 49 pages; Corrections in gluing (3.29), and Appendix (A.15) - Changed beginning of Section 4.1; comments are welcome! Christian Dahlhausen Can Yaylali