http://arxiv.org/api/Jab5/Ettz5r5st/F5Eg5menKwiw 2025-04-22T00:00:00-04:00 6181 15 15 http://arxiv.org/abs/2407.07703v4 2025-04-13T08:25:28Z 2024-07-10T14:34:45Z

We show that the \s{\phi}-labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically into a boundedly acyclic group of type $F_n$ that has no proper finite index subgroups. This improves a result of Bridson and a theorem of Fournier-Facio--L\"oh--Moraschini. Second, every group of type $F_n$ embeds quasi-isometrically into a $5$-uniformly perfect group of type $F_n$. Third, using Belk--Zaremsky's construction of twisted Brin--Thompson groups, we show that every finitely generated group embeds quasi-isometrically into a finitely generated boundedly acyclic simple group. We also partially answer some questions of Brothier and Tanushevski regarding the finiteness property of $\phi$-labeled Thompson group $V_\phi(G)$ and $F_\phi(G)$.

Fan Wu Xiaolei Wu Mengfei Zhao Zixiang Zhou Added a new section about l2-invisibility, some other small changes. 42pages. Final version, to appear in J. Lond. Math. Soc http://arxiv.org/abs/2009.07224v5 2025-04-11T17:00:02Z 2020-09-15T17:04:15Z

We define Grothendieck-Witt spectra in the setting of Poincar\'e $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

Baptiste Calmès Emanuele Dotto Yonatan Harpaz Fabian Hebestreit Markus Land Kristian Moi Denis Nardin Thomas Nikolaus Wolfgang Steimle 149 pages. v5: major revision following an editorial request. Sections 1 and Appendix A partially rewritten as well as Section 2.4 on algebraic surgery, all with strengthened results; outsourced the discussion of almost rings to arxiv:2409.01940. Otherwise, minor and not-quite-minor changes throughout http://arxiv.org/abs/2410.07048v2 2025-04-11T12:01:38Z 2024-10-09T16:39:45Z

We compute the MU-based syntomic cohomologies, mod $(p,v_1,\cdots,v_{n+1})$, of all $\mathbb{E}_1$-MU-algebra forms of connective Morava K-theory k(n). As qualitative consequences, we deduce the Lichtenbaum--Quillen conjecture, telescope conjecture, and redshift conjecture for the algebraic K-theories of all $\mathbb{E}_{1}$-$\mathbb{S}$-algebra forms of $(2p^n-2)$-periodic Morava K-theory. Notably, the motivic spectral sequence computing $\pi_*TC(k(n))_p$ is concentrated on at most three lines, independently of $n$.

Gabriel Angelini-Knoll Jeremy Hahn Dylan Wilson 65 pages, 5 figures, minor revisions. Comments still welcome! http://arxiv.org/abs/2409.03877v2 2025-04-10T01:54:52Z 2024-09-05T19:25:43Z

We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an $\infty$-category of $p$-typical derived $\delta$-Cartier rings and show that the derived ring of $p$-typical Witt vectors of a derived ring is naturally an object in this $\infty$-category. Moreover, we show that for any prime $p$, the formation of the derived ring of $p$-typical Witt vectors gives an equivalence between the $\infty$-category of all derived rings and the full subcategory of all derived $p$-typical $\delta$-Cartier rings consisting of $V$-complete objects.

Kirill Magidson Updated with significant changes. The linear algebraic part will be put in a separate paper http://arxiv.org/abs/2008.03363v3 2025-04-09T22:13:06Z 2020-08-07T20:13:20Z

Using techniques of A^1-homotopy theory, we produce motivic lifts of elements in classical homotopy groups of spheres; these lifts provide polynomial maps of spheres and allow us to construct ``low rank'' algebraic vector bundles on ``simple'' smooth affine varieties of high dimension.

Aravind Asok Jean Fasel Michael J. Hopkins 20 pages; Version to appear in Ann. Scient. Ec. Norm. Sup http://arxiv.org/abs/2504.07064v1 2025-04-09T17:27:53Z 2025-04-09T17:27:53Z

We observe a new equivariant relationship between topological Hochschild homology and cohomology. We also calculate the topological Hochschild homology of the topological Hochschild cohomology of a finite prime field, which can be viewed as a certain ring of structured operations in this case.

Po Hu Igor Kriz Petr Somberg Foling Zou Accepted for publication in Mathematische Zeitschrift http://arxiv.org/abs/2504.06760v1 2025-04-09T10:26:22Z 2025-04-09T10:26:22Z

This paper provides some applications of the Poisson cohomology groups introduced by Flato, Gerstenhaber and Voronov. Given an abelian extension of a Poisson algebra by a representation, we first investigate the inducibility of a pair of Poisson algebra automorphisms and show that the corresponding obstruction lies in the second Poisson cohomology group. Consequently, we obtain the Wells exact sequence connecting various automorphism groups and the second Poisson cohomology group. Subsequently, we also consider the inducibility for a pair of Poisson algebra derivations, obtain the obstruction and construct the corresponding Wells-type exact sequence. To get another application, we introduce the notion of a `deformation map' in a proto-twilled Poisson algebra. A deformation map unifies various well-known operators such as Poisson homomorphisms, Poisson derivations, crossed homomorphisms, Rota-Baxter operators of any weight, twisted Rota-Baxter operators, Reynolds operators and modified Rota-Baxter operators on Poisson algebras. We show that a deformation map $r$ induces a new Poisson algebra structure and a suitable representation of it. The corresponding Poisson cohomology is defined to be the cohomology of the deformation map $r$. Finally, we study the formal deformations of the operator $r$ in terms of the cohomology.

Apurba Das Ramkrishna Mandal Anupam Sahoo Comments are welcome http://arxiv.org/abs/2504.06233v1 2025-04-08T17:30:56Z 2025-04-08T17:30:56Z

In this work, we answer the homotopy invariance question for the ''smallest'' non-isotrivial group-scheme over $\mathbb{P}^1$, obtaining a result, which is not contained in previous works due to Knudson and Wendt. More explicitly, let $\mathcal{G}=\mathrm{SU}_{3,\mathbb{P}^1}$ be the (non-isotrivial) non-split group-scheme over $\mathbb{P}^1$ defined from the standard (isotropic) hermitian form in three variables. In this article, we prove that there exists a natural homomorphism $\mathrm{PGL}_2(F) \to \mathcal{G}(F[t])$ that induces isomorphisms $H_*(\mathrm{PGL}_2(F), \mathbb{Z}) \to H_*(\mathcal{G}(F[t]), \mathbb{Z})$. Then we study the rational homology of $\mathcal{G}(F[t,t^{-1}])$, by previously describing suitable fundamental domains for certain arithmetic subgroups of $\mathcal{G}$.

Claudio Bravo Comments are welcome http://arxiv.org/abs/2504.06155v1 2025-04-08T15:49:33Z 2025-04-08T15:49:33Z

We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties introduced in this paper. Symmetric matrix motives recover $K$-motives and fit in a closed symmetric monoidal triangulated category of symmetric matrix motives constructed in this paper by using methods of enriched motivic homotopy theory.

Grigory Garkusha The paper has been written on the occasion of the conference "Recent Developments in Algebraic K-theory", Warwick, UK (April, 2025) http://arxiv.org/abs/2405.02054v2 2025-04-07T16:45:27Z 2024-05-03T12:36:19Z

We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb{Z}/2$-geometric fixed points of real topological restriction homology TRR. This is analogous to the conjecture of Milnor, proved by Kato for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of TRR and of real topological cyclic homology, for all fields.

Emanuele Dotto 40 pages, added helpful comments from a referee including a construction of the real trace map http://arxiv.org/abs/2504.04817v1 2025-04-07T08:16:01Z 2025-04-07T08:16:01Z

We study the robustness of topological phases on aperiodic lattices by constructing *-homomorphisms from the groupoid model to the coarse-geometric model of observable C*-algebras. These *-homomorphisms induce maps in K-theory and Kasparov theory. We show that the strong topological phases in the groupoid model are detected by position spectral triples. We show that topological phases coming from stacking along another Delone set are always weak in the coarse-geometric sense.

Yuezhao Li 32 pages, 0 figures. Comments are welcome! http://arxiv.org/abs/2503.14288v2 2025-04-06T10:09:44Z 2025-03-18T14:27:37Z

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence in degrees greater or equal -1 and a monomorphism in degree -2. In particular, the spaces of Hermitian K-theory of genuine symmetric forms and the symplectic K-theory space are homotopy invariant for such rings.

Marco Schlichting Introduction rewritten, statements of main theorems slightly generalised, proofs simplified http://arxiv.org/abs/2407.04378v2 2025-04-06T09:33:00Z 2024-07-05T09:30:07Z

We prove a `pro-cdh descent' result for suitably connective localizing invariants and the cotangent complex on arbitrary qcqs derived schemes. As an application, we deduce that the K-groups of arbitrary qcqs schemes vanish below the negative of their valuative dimension.

Shane Kelly Shuji Saito Georg Tamme v1:28 pages, v2:32 pages, now proves vanishing of negative K-groups below the negative valuative dimension for arbitrary qcqs schemes http://arxiv.org/abs/2501.15993v2 2025-04-05T13:33:52Z 2025-01-27T12:26:50Z

We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We prove similar lower bounds also for "quaternionic" bundles. These estimates have consequences for the classification of topological insulators with time-reversal symmetry.

Malkhaz Bakuradze Ralf Meyer 8 pages final version to appear in NYJM, only a few typos were corrected http://arxiv.org/abs/2504.03969v1 2025-04-04T22:24:26Z 2025-04-04T22:24:26Z

We compute the $\mathbb{G}W^{r}$-spectrum of Grassmannians over fields of characteristic zero. We also compute the stabilized $\mathbb{L}$-Theory spectrum of Grassmannians. We observe, via base-change for exceptional collections, that our computations are valid for Grassmannians over commutative rings containing a field of characteristic zero. Along the way, some combinatorial identities involving Littlewood-Richardson coefficients are established, which might be of independent interest.

Sunny Sood Chunkai Xu 15 pages, comments welcome!