https://arxiv.org/api/m0aRP3EnBlNM1pUhwkfdb8ohO08 2026-04-05T15:09:58Z 6529 450 15 http://arxiv.org/abs/2507.05956v1 2025-07-08T12:57:46Z

We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms of modules over non commutative rings and show they have the expected behavior after applying the iterated trace map

2025-07-08T12:57:46Z Sanjana Agarwal Jonathan Campbell Diego Manco Kate Ponto Zhonghui Sun http://arxiv.org/abs/2507.05922v1 2025-07-08T12:08:19Z

This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's vertex algebras to equivariant homology. The proof is then given for Calabi-Yau four dg-quivers and local CY fourfolds. A crucial part of the problem is showing that the generalized invariants counting stable objects are well-defined. Using a conceptual argument akin to the quantum Lefschetz principle, I show that for torsion-free sheaves this is already implied by the wall-crossing formula for Joyce-Song stable pairs. Lastly, I introduce an important framework in the form of a stable $\infty$-categorical formulation of Park's virtual pullback diagrams in the appendix. This implies their functoriality which is used repeatedly throughout this work.

2025-07-08T12:08:19Z 143 pages Arkadij Bojko http://arxiv.org/abs/2507.05855v1 2025-07-08T10:34:27Z

In [6], the higher-order spectral triple and its relative K-homology were studied. Motivated by the Kastler-Kalau-Walze theorem, we propose an extension of the Einstein-Hilbert action to the framework of higher-order spectral triples. To illustrate this construction, we introduce two second-order spectral triples and explicitly compute their respective Einstein-Hilbert action, demonstrating the applicability of our theoretical framework.

2025-07-08T10:34:27Z Tong Wu Yong Wang http://arxiv.org/abs/2507.05787v1 2025-07-08T08:46:04Z

We establish explicit expressions for the $K$-theory classes of higher Kazhdan projections for amalgamated product groups $\mathbb{Z}_m*_{\mathbb{Z}_d}\mathbb{Z}_n$. Our approach follows the methodology developed by Pooya and Wang for free product groups $\mathbb{Z}_m*\mathbb{Z}_n$, and naturally generalizes their results on free products. As an application of the $K$-class expressions, we obtain non-vanishing results for delocalized $\ell^2$-Betti numbers of $\mathrm{SL}(2,\mathbb{Z})$.

2025-07-08T08:46:04Z Baiying Ren http://arxiv.org/abs/2405.14798v4 2025-07-08T01:29:00Z

Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for $A_\infty$-algebras, we give an explicit proof that the universal enveloping algebra $UL$ of a differential graded Lie algebra $L$ is Koszul, via an explicit contracting homotopy from the cobar construction $ΩCL$ of the Chevalley-Eilenberg chain coalgebra $CL$ of $L$ to $UL$.

2024-05-23T17:06:50Z 31 pages. New appendix with summary of a different contracting homotopy constructed by Dippell et al. arXiv:2410.15903. Several errors corrected Ezra Getzler http://arxiv.org/abs/2507.05471v1 2025-07-07T20:45:42Z

Write $\mathbf{A}_λ$ for what might be described as the most elementary nontrivial inverse system of abelian groups indexed by the functions from the cardinal $λ$ to the set of natural numbers. The question of whether for any fixed $n$ the derived limit $\mathrm{lim}^n\,\mathbf{A}_λ$ may vanish for only a nonempty subset of the class of infinite cardinals $λ$ is recorded in both [Be17] and [Ban23], and bears closely on several related further ones. We answer this question in the affirmative; in fact, we show the maximal possibility, namely that this can simultaneously happen in every degree $n>1$.

2025-07-07T20:45:42Z 25 pages; comments welcome Jeffrey Bergfalk Matteo Casarosa http://arxiv.org/abs/2507.05425v1 2025-07-07T19:13:32Z

We provide a counterexample to the HK-conjecture using the flat manifold odometers constructed by Deeley. Deeley's counterexample uses an odometer built from a flat manifold of dimension 9 and an expansive self-cover. We strengthen this result by showing that for each dimension $d\geq 4$ there is a counterexample to the HK-conjecture built from a flat manifold of dimension $d$. Moreover, we show that this dimension is minimal, as if $d\leq 3$ the HK-conjecture holds for the associated odometer. We also discuss implications for the stable and unstable groupoid of a Smale space.

2025-07-07T19:13:32Z 15 pages Rachel Chaiser http://arxiv.org/abs/2503.23921v3 2025-07-07T09:18:15Z

We show that the Wilson Dirac operator in lattice gauge theory can be identified as a mathematical object in $K$-theory and that its associated spectral flow is equal to the index. In comparison to the standard lattice Dirac operator index, our formulation does not require the Ginsparg-Wilson relation and has broader applicability to systems with boundaries and to the mod-two version of the indices in general dimensions. We numerically verify that the $K$ and $KO$ group formulas reproduce the known index theorems in continuum theory. We examine the Atiyah-Singer index on a flat two-dimensional torus and, for the first time, demonstrate that the Atiyah-Patodi-Singer index with nontrivial curved boundaries, as well as the mod-two versions, can be computed on a lattice.

2025-03-31T10:11:44Z 17 pages, 6 figures, accepted for publication in PTEP Shoto Aoki Hidenori Fukaya Mikio Furuta Shinichiroh Matsuo Tetsuya Onogi Satoshi Yamaguchi 10.1093/ptep/ptaf087 http://arxiv.org/abs/2505.08676v2 2025-07-05T22:50:51Z

We construct explicit generators for the higher scissors congruence K-theory of the line. We use this to derive an explicit generating set for the homology of the group of interval exchange transformations. Our proof makes use of an extended version of the regulator (trace) map of Bohmann, Gerhardt, Malkiewich, Merling, and Zahkarevich.

2025-05-13T15:38:59Z Ezekiel Lemann http://arxiv.org/abs/2502.01497v3 2025-07-04T06:32:56Z

We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of Atiyah's $L^{2}$-index theorem in coarse homotopy theory and apply them to give a new argument for the corresponding step in Higson's counterexample to the coarse Baum-Connes conjecture.

2025-02-03T16:28:53Z 96 p, paragraph on ghosts added Ulrich Bunke http://arxiv.org/abs/2102.00606v2 2025-07-04T03:37:09Z

We study the homotopy type of the space of the unitary group $\U_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\U_1(C^\ast_u(|\mathbb{Z}^n|))\to\U_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\U_1(C^\ast_u(|\mathbb{Z}^n|))$, which is the product of the unitary group $\U_1(C^\ast(|\mathbb{Z}^n|))$ (having the homotopy type of $\U_\infty(\mathbb{C})$ or $\mathbb{Z}\times B\U_\infty(\mathbb{C})$ depending on the parity of $n$) of the Roe algebra $C^\ast(|\mathbb{Z}^n|)$ and rational Eilenberg--MacLane spaces.

2021-02-01T03:04:47Z 15 pages J. Topol. Anal.15(2023), no.2, 495-512 Tsuyoshi Kato Daisuke Kishimoto Mitsunobu Tsutaya 10.1142/S1793525321500357 http://arxiv.org/abs/2507.02090v1 2025-07-02T19:10:08Z

Suppose $M$ is a closed $n$-dimensional spin$^c$ manifold with spin$^c$ structure $σ$ and associated spin$^c$ line bundle $L$. If one fixes a Riemannian metric $g$ on $M$ and a connection $\nabla_L$ on $L$, the generalized scalar curvature $R^{\text{gen}}$ of $(M,L)$ is $R_g - 2|Ω_L|_{\text{op}}$, where $|Ω_L|_{\text{op}}$ is the pointwise operator norm of the curvature $2$-form $Ω_L$ of $\nabla_L$, acting on spinors. In a previous paper, we showed that positivity of $R^{\text{gen}}$ is obstructed by the non-vanishing of the index of the spin$^c$ Dirac operator on $(M,g,L,\nabla_L)$, and that in some cases, the vanishing of this index guarantees the existence of a pair $(g,\nabla_L)$ with positive generalized scalar curvature. Building on this and on surgery techniques inspired by those that have been developed in the theory of positive scalar curvature on spin manifolds, we show that if $\dim M = n \ge 5$, if the fundamental group $π$ of $M$ is in a large class including surface groups and finite groups with periodic cohomology, and if $M$ is totally non-spin (meaning that the universal cover is not spin), then $(M,L)$ admits positive generalized scalar curvature if and only if the generalized $α$-invariant of $(M,L)$ vanishes in the $K$-homology group $K_n(Bπ)$. We also develop an analogue of Stolz's sequence for computing the group of concordance classes of positive generalized scalar curvature metrics, and connect this to the analytic surgery sequence of Roe and Higson. Finally, we give a number of applications to moduli spaces of positive generalized scalar curvature metrics.

2025-07-02T19:10:08Z 49 pages, 4 figures Boris Botvinnik Paolo Piazza Jonathan Rosenberg http://arxiv.org/abs/2303.02729v3 2025-07-02T13:10:33Z

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes. Additionally, we can realize the cyclotomic trace as a morphism between motivic spectra. Among our applications, we provide a generalized framework of oriented cohomology theories that enables us to produce new residue sequences for (topological) Hochschild, periodic, and cyclic homology of classical schemes. We also compute $THH$ and its variants for Grassmannians, and we define a new version of algebraic cobordism. Finally, we give a construction of a log étale stable realization functor, as well as a Kato-Nakayama realization functor, which is of independent interest for applications in log geometry.

2023-03-05T17:51:06Z 130 pages, final version. To appear in Memoirs of the AMS Federico Binda Doosung Park Paul Arne Østvær http://arxiv.org/abs/2507.01412v1 2025-07-02T07:05:27Z

We study the coarse motive of the quotient $\mathcal{O}^{\infty}(X)//G$ of the cone of a uniform bornological coarse space $X$ with $G$-action. If $X$ admits a sufficiently ergodic probability measure, then we show that the coarse assembly map for $\mathcal{O}^{\infty}(X)//G$ is not an equivalence. The main ideas are taken from a recent paper by C. Kitsios, T. Schick and F. Vigolo (arXiv:2504.21811) and adapted to the formalism of coarse homotopy theory based on bornological coarse spaces developed by A. Engel and the author.

2025-07-02T07:05:27Z 43 pages Ulrich Bunke http://arxiv.org/abs/2507.00437v1 2025-07-01T05:38:05Z

Kashuba and Mathieu proposed a conjecture on vanishing of Lie algebra homology, 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. In this note, we summarize new intricate computational data concerning free Jordan algebras and explain why, despite a lot of overwhelmingly positive evidence, the conjecture of Kashuba and Mathieu is not true.

2025-07-01T05:38:05Z 18 pages. arXiv admin note: substantial text overlap with arXiv:2503.16074 Vladimir Dotsenko Irvin Roy Hentzel