http://arxiv.org/api/GUkapZCMivznycovdFTDL20t4Yo 2025-04-22T00:00:00-04:00 6181 45 15 http://arxiv.org/abs/2402.18228v3 2025-03-28T07:10:11Z 2024-02-28T10:49:53Z

We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carri\'on and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.

Ulrich Bunke Benjamin Duenzinger 117 pages, revised version http://arxiv.org/abs/2206.14645v3 2025-03-27T13:16:16Z 2022-06-29T13:39:37Z

We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.

Ambrus Pál Gereon Quick v3: 38 pages, minor revision; final version to appear in Math. Ann http://arxiv.org/abs/2503.16074v2 2025-03-27T10:47:38Z 2025-03-20T12:10:23Z

Kashuba and Mathieu proposed a conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated Jordan algebra. Their conjecture relies on a functorial version of the Tits-Kantor-Koecher construction that builds Lie algebras out of Jordan algebras. Recently, Shang used a functorial construction of Allison, Benkart and Gao that builds Lie algebras out of alternative algebras to propose another conjecture on vanishing of some components of the homology of certain Lie algebras, implying a description of the $GL_d$-module structure of the free $d$-generated alternative algebra. In this note, we explain why the conjecture of Shang is not true.

Vladimir Dotsenko 21 pages, includes SageMath code in the Appendix. Version 2 implements several major changes: the main result is stronger (in particular, the conjecture is disproved already for two generators), and the argument is restructured to make all the main computations verifiable by a human http://arxiv.org/abs/2308.05651v4 2025-03-26T17:43:30Z 2023-08-10T15:48:53Z

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a $G$-representation without trivial summand over $S$, which acquires over $X$ an equivariant section vanishing precisely at the fixed locus of $X$. As a consequence, we show that the equivariant stable motivic homotopy theory of a scheme with an action of a linearly reductive group is equivalent to that of the fixed locus, upon inverting appropriate maps, namely the Euler classes of representations without trivial summands. We also discuss consequences for equivariant cohomology theories obtained using Borel's construction. This recovers most known forms of the concentration theorem in algebraic geometry, and yields generalizations valid beyond the setting of actions of diagonalizable groups on one hand, and that of oriented cohomology theories on the other hand. Finally, we derive a version of Smith theory for motivic cohomology, following the approach of Dwyer--Wilkerson in topology.

Olivier Haution final version http://arxiv.org/abs/2503.20383v1 2025-03-26T10:03:49Z 2025-03-26T10:03:49Z

It is known that the truncated Brown\textendash Peterson spectra can be equipped with certain nice algebra structure, by the work of J. Hahn and D. Wilson, and these ring spectra can be viewed as rings of integers of local fields in the chromatic homotopy theory. Further more, they satisfy both Rognes' redshift conjecture and Lichtenbaum\textendash Quillen property. For lower-height cases, the K-theory of the truncated polynomial algebras over these ring spectra is well understood though the work of L. Hesselholt, I. Madsen, et al. In this paper, we demonstrate that the Segal conjecture fails for truncated polynomial algebras over higher local fields, and consequently, the Lichtenbaum\textendash Quillen property fails. However, the weak redshift conjecture remains valid. Additionally, we provide some other examples where Segal conjecture holds.

Rixin Fang 38 pages http://arxiv.org/abs/2503.20004v1 2025-03-25T18:44:12Z 2025-03-25T18:44:12Z

We study the injectivity property of certain actions of higher Chow groups on refined unramified cohomology. As an application for every $p\geq1$ and for each $d\geq p+4$ and $n\geq2,$ we establish the first examples of smooth complex projective $d$-folds $X$ such that for all $p+3\leq c\leq d-1,$ the higher Chow group $\text{CH}^{c}(X,p)$ contains infinitely many torsion cycles of order $n$ that remain linearly independent modulo $n$. Our bounds for $c$ and $d$ are also optimal. A crucial tool for the proof is morphic cohomology.

Theodosis Alexandrou Lin Zhou 36 pages http://arxiv.org/abs/2503.19751v1 2025-03-25T15:16:12Z 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\u{\i}tman theorems.

L. Barbieri-Viale http://arxiv.org/abs/2412.18963v2 2025-03-25T12:33:24Z 2024-12-25T18:42:10Z

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}^{(\beta)}_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}^{(\beta)}$-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}^{(\beta)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(\beta)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.

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

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.

Daniel Armeanu Jeremy Miller 5 pages. Accepted for publication in Journal of Homotopy and Related Structures http://arxiv.org/abs/2503.06267v2 2025-03-24T20:19:45Z 2025-03-08T16:26:04Z

We present the fundamental properties of the K-theory groups of complex vector bundles endowed with actions of magnetic groups. In this work we show that the magnetic equivariant K-theory groups define an equivariant cohomology theory, we determine its coefficients, we show Bott's, Thom's and the degree shift isomorphism, we present the Atiyah-Hirzeburh spectral sequence, and we explicitly calculate two magnetic equivariant K-theory groups in order to showcase its applicability. These magnetic equivariant K-theory groups are relevant in condensed matter physics since they provide topological invariants of gapped Hamiltonians in magnetic crystals.

Higinio Serrano Bernardo Uribe Miguel A. Xicoténcatl 72 pages. Proposition 3.3 was corrected and references were added http://arxiv.org/abs/2501.10241v2 2025-03-24T08:43:17Z 2025-01-17T15:10:02Z

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 $\Omega_{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 $\pi_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.

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

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.

James Gabe Gábor Szabó 44 pages; v4 Fixed an error in the proof of Lemma 2.8. To appear in the American Journal of Mathematics http://arxiv.org/abs/2401.12833v2 2025-03-20T18:42:33Z 2024-01-23T15:10:35Z

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.

Bidhan Paul 18 pages http://arxiv.org/abs/2502.12162v2 2025-03-20T15:18:01Z 2025-02-18T15:00:38Z

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\'e duality spaces, which extends a theorem of F\'elix- Halperin-Thomas to the non-simply connected setting.

Matt Booth Joseph Chuang Andrey Lazarev 53 pages. v2: exposition improved, new Remark 8.10. Submitted version http://arxiv.org/abs/2503.15198v1 2025-03-19T13:38:12Z 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.

Benjamin Hennion Julian Holstein Marco Robalo 64 pages. Comments welcome!