https://arxiv.org/api/O7tP8kKmQAtx8UJPLuJnJRJUc6g 2026-04-04T22:14:26Z 6529 405 15 http://arxiv.org/abs/2410.16399v2 2025-08-09T16:29:56Z

For any given submersion $π:X\to B$ with closed, oriented and spin$^c$ fibers of even dimension, equipped with a Riemannian and differential spin$^c$ structure, we apply the Atiyah-Singer-Gorokhovsky-Lott approach to the local family index theorem without the kernel bundle assumption to construct an analytic index $\textrm{ind}^a_k$ in odd $\mathbb{Z}/k\mathbb{Z}$ $K$-theory at the cocycle level. This is achieved by associating to every cocycle $(\mathbf{E}, \mathbf{F}, α)$ of the odd $\mathbb{Z}/k\mathbb{Z}$ $K$-theory group of $X$ a cocycle $\textrm{ind}^a_k(\mathbf{E}, \mathbf{F}, α)$ of the odd $\mathbb{Z}/k\mathbb{Z}$ $K$-theory group of $B$. We also prove a Riemann-Roch-Grothendieck-type formula in odd $\mathbb{Z}/k\mathbb{Z}$ $K$-theory, which expresses the Cheeger-Chern-Simons form of $\textrm{ind}^a_k(\mathbf{E}, \mathbf{F}, α)$ in terms of that of $(\mathbf{E}, \mathbf{F}, α)$. Furthermore, we show that the analytic index $\textrm{ind}^a_k$ and the Riemann-Roch-Grothendieck-type formula in odd $\mathbb{Z}/k\mathbb{Z}$ $K$-theory refine the underlying geometric bundle of the analytic index and the Riemann-Roch-Grothendieck theorem in $\mathbb{R}/\mathbb{Z}$ $K$-theory, respectively.

2024-10-21T18:09:48Z 53 pages. Accepted for publication. To appear in Journal of Topology and Analysis. Comments are very welcome Journal of Topology and Analysis 18 (2026), no. 5, 1539-1592 Man-Ho Ho http://arxiv.org/abs/2508.05184v2 2025-08-08T04:16:07Z

Homotopy invariance of $K$-theory has always been a point of interest. In this article, with the help of the generators of Nil$K$-groups using Grayson's technique, it is shown that if $R$ is a Prüfer domain, then $K_n(R) \cong K_n(R[s])$ for all $n>0.$ This is a specific case of the already published work of the author and Vivek Sadhu. However, contrary to the method used before, we specifically prove the isomorphism by showing that Nil$K$-groups vanish.

2025-08-07T09:20:05Z 11 pages Sourayan Banerjee http://arxiv.org/abs/2006.07106v6 2025-08-07T05:50:09Z

We propose two definitions of configuration Lie groupoids and in both the cases we prove a Fadell-Neuwirth type fibration theorem for a class of Lie groupoids. We show that this is the best possible extension, in the sense that, for the class of Lie groupoids corresponding to global quotient orbifolds with nonempty singular set, the fibration theorems do not hold. Secondly, we prove a short exact sequence of fundamental groups (called {\it pure orbifold braid groups}) of one of the configuration Lie groupoids of the Lie groupoid corresponding to the punctured complex plane with cone points. This shows the possibility of a quasifibration type Fadell-Neuwirth theorem for Lie groupoids. As consequences, first we see that the pure orbifold braid groups have poly-virtually free structure, which generalizes the classical braid group case. We also provide an explicit set of generators of the pure orbifold braid groups. Secondly, we prove that a class of affine and finite complex Artin groups are virtually poly-free, which partially answers the question if all Artin groups are virtually poly-free ([[4], Question 2]). Finally, combining this poly-virtually free structure and a recent result ([5]), we deduce the Farrell-Jones isomorphism conjecture for the above class of orbifold braid groups. This also implies the conjecture for the case of the affine Artin group of type $\tilde D_n$, which was left open in [[24], Problem].

2020-06-12T12:05:44Z Appeared in the Bulletin des Sciences Mathematiques. See arXiv:2305.04273 for a correction Bull. Sci. math. (2021), 103028 S K Roushon 10.1016/j.bulsci.2021.103028 http://arxiv.org/abs/2410.05994v3 2025-08-06T16:50:22Z

Derived de Rham cohomology turns out to be important in $p$-adic geometry, following Bhatt's discovery [Bha12] of conjugate filtration in char $p$, de-Hodge-completing results in [Bei12]. In [Kal18], Kaledin introduced an analogous de-completion of the periodic cyclic homology, called the polynomial periodic cyclic homology, equipped with a conjugate filtration in char $p$, and expected to be related to derived de Rham cohomology. In this article, using genuine equivariant homotopy structure on Hochschild homology as in [ABG+18, BHM22], we give an equivariant description of Kaledin's polynomial periodic cyclic homology. This leads to Morita invariance without any Noetherianness assumption as in [Kal18], and the comparison to derived de Rham cohomology becomes transparent. Moreover, this description adapts directly to "topological" analogues, which gives rise to a de-Nygaard-completion of the topological periodic cyclic homology, which admits an extension to linear categories over truncated Brown--Peterson spectra. As an application, we establish a noncommutative crystalline--de Rham comparison, which decompletes the result in [PV19], and extends it to prime $p=2$. We also compare polynomial periodic cyclic homology to topological Hochschild homology over $\mathbb F_p$, and produce a conjugate filtration in char p from our description.

2024-10-08T12:46:24Z 38 pages, preliminary; included a formula for de-completed Borel completion, extension to bases being truncated Brown--Peterson spectra, and a noncommutative (de-completed) crystalline--de Rham comparison Zhouhang Mao http://arxiv.org/abs/2411.03257v3 2025-08-05T15:34:39Z

In \cite{PS}, for a stably framed Liouville manifold $X$ we defined a Donaldson-Fukaya category $\mathcal{F}(X;\mathbb{S})$ over the sphere spectrum, and developed an obstruction theory for lifting quasi-isomorphisms from $\mathcal{F}(X;\mathbb{Z})$ to $\mathcal{F}(X;\mathbb{S})$. Here, we define a spectral Donaldson-Fukaya category for any `graded tangential pair' $Θ\to Φ$ of spaces living over $BO \to BU$, whose objects are Lagrangians $L\to X$ for which the classifying maps of their tangent bundles lift to $Θ\to Φ$. The previous case corresponded to $Θ= Φ= \{\mathrm{pt}\}$. We extend our obstruction theory to this setting. The flexibility to `tune' the choice of $Θ$ and $Φ$ increases the range of cases in which one can kill the obstructions, with applications to bordism classes of Lagrangian embeddings in the corresponding bordism theory $Ω^{(Θ,Φ),\circ}_*$. We include a self-contained discussion of when (exact) spectral Floer theory over a ring spectrum $R$ should exist, which may be of independent interest.

2024-11-05T16:55:08Z Comments welcome! v3: Accepted version, incorporates referee's comments and suggestions Noah Porcelli Ivan Smith http://arxiv.org/abs/2508.03477v1 2025-08-05T14:11:17Z

Explicit formulas are indicated that compute the product $z \cdot w$ of a level-one element $z \in KK^G(A,{\bf C})$ and any element $w \in KK^G({\bf C},B)$ in splitexact algebraic $KK^G$-theory, or $KK^G$-theory for $C^*$-algebras, with very special $G$-actions. We also make such products accessible to linear-split half-exact $kk$-theory by verifying the existence of a functor from algebraic splitexact $KK$-theory to $kk$-theory.

2025-08-05T14:11:17Z Bernhard Burgstaller http://arxiv.org/abs/2304.00527v3 2025-08-05T02:13:35Z

We define and study a notion of G-dimension for DG-modules over a non-positively graded commutative noetherian DG-ring $A$. Some criteria for the finiteness of the G-dimension of a DG-module are given by applying a DG-version of projective resolution introduced by Minamoto [Israel J. Math. 245 (2021) 409-454]. Moreover, it is proved that the finiteness of G-dimension characterizes the local Gorenstein property of $A$. Applications go in three directions. The first is to establish the connection between G-dimensions and the little finitistic dimensions of &\mathcal{A}&. The second is to characterize Cohen-Macaulay and Gorenstein DG-rings by the relations between the class of maximal local-Cohen-Macaulay DG-modules and a special G-class of DG-modules. The third is to extend the classical Buchwtweiz-Happel Theorem and its inverse from commutative noetherian local rings to the setting of commutative noetherian local DG-rings.Our method is somewhat different from classical commutative ring.

2023-04-02T12:56:16Z 20 page, to appear in Proceedings of the Edinburgh Mathematical Society Jiangsheng Hu Xiaoyan Yang Rongmin Zhu 10.1017/S0013091525100886 http://arxiv.org/abs/1704.03413v4 2025-07-31T22:32:55Z

We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$ but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature.

2017-04-11T16:57:47Z Fixed half a page of missing text on page 22 (which was cut due to a previous copy and paste error) Memoirs of the American Mathematical Society (2025), Volume 305, Number 1540 J. Peter May Mona Merling Angélica M. Osorno 10.1090/memo/1540 http://arxiv.org/abs/2508.00064v1 2025-07-31T18:00:05Z

We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.

2025-07-31T18:00:05Z 15 pages. Comments welcome Christian Dahlhausen Jeroen Hekking Storm Wolters http://arxiv.org/abs/2507.16591v2 2025-07-30T11:22:48Z

Roe's partitioned manifold index theorem applies when a complete Riemannian manifold $M$ is cut into two pieces along a compact hypersurface $N$. It states that a version of the index of a Dirac operator on $M$ localized to $N$ equals the index of the corresponding Dirac operator on $N$. This yields obstructions to positive scalar curvature, and implies cobordism invariance of the index of Dirac operators on compact manifolds. We generalize this result to cases where $N$ may be noncompact, under assumptions on the way it is embedded into $M$. This results in an equality between two classes in the $K$-theory of the Roe algebra of $N$. Bunke and Ludewig, and Engel and Wulff, have recently obtained related results based on different approaches.

2025-07-22T13:47:56Z 63 pages, added discussion of a related result and corrected application to universal covers Peter Hochs Thijs de Kok http://arxiv.org/abs/2009.14801v3 2025-07-30T05:16:33Z

We calculate suitably localized Hochschild homologies of various quantum groups and Podleś spheres after realizing them as generalized Weyl algebras (GWAs). We use the fact that every GWA is birationally equivalent to a smash product with a 1-torus. We also address and solve the birational equivalence problem, and the birational smoothness problem for GWAs.

2020-09-30T17:14:09Z SIGMA 21 (2025), 063, 15 pages Atabey Kaygun 10.3842/SIGMA.2025.063 http://arxiv.org/abs/2507.21975v1 2025-07-29T16:23:11Z

We study Swan modules, which are a special class of projective modules over integral group rings, and their consequences for the homotopy classification of CW-complexes. We show that there exists a non-free stably free Swan module, thus resolving Problem A4 in the 1979 Problem List of C. T. C. Wall. As an application we show that, in all dimensions $n \equiv 3$ mod $4$, there exist finite $n$-complexes which are homotopy equivalent after stabilising with multiple copies of $S^n$, but not after a single stabilisation. This answers a question of M. N. Dyer. We also resolve a question of S. Plotnick concerning Swan modules associated to group automorphisms and, as an application, obtain a short and direct proof that there exists a group with $k$-periodic cohomology which does not have free period $k$. In contrast to the original proof our R. J. Milgram, our proof circumvents the need to compute the Swan finiteness obstruction.

2025-07-29T16:23:11Z 19 pages Tommy Hofmann John Nicholson http://arxiv.org/abs/2502.16100v2 2025-07-29T07:16:13Z

Let $G$ be a semi-simple real Lie group of real rank one and $Γ$ be a discrete subgroup in $G$ such that $Γ\backslash G$ has finite volume. We introduce a new group $C^*$-algebra $C^*_r(G, Γ)$, which provides a natural framework for defining index classes of Dirac-type operators on the locally symmetirc space $Γ\backslash G /K$. We show that Dirac operators define elements in the $K$-theory of $C^*_r(G, Γ)$ and use Hecke correspondences to study their Lefschetz numbers. Our main result is an explicit formula for the Lefschetz number of Hecke operators.

2025-02-22T05:45:14Z The previous discussion on KK-theory and C*algebras has been removed, but the main results remain unchanged Yanli Song http://arxiv.org/abs/2507.21029v1 2025-07-28T17:49:26Z

The classification of algebraic vector bundles of rank 2 over smooth affine fourfolds is a notoriously difficult problem. Isomorphism classes of such vector bundles are not uniquely determined by their Chern classes, in contrast to the situation in lower dimensions. Given a smooth affine fourfold over an algebraically closed field of characteristic not equal to $2$ or $3$, we study cohomological criteria for finiteness of the fibers of the Chern class map for rank $2$ bundles. As a consequence, we give a cohomological classification of such bundles in a number of cases. For example, if $d\leq 4$, there are precisely $d^2$ non-isomorphic algebraic vector bundles over the complement of a smooth hypersurface of degree $d$ in $\mathbb P^4_{\mathbb C}$.

2025-07-28T17:49:26Z 37 pages. Comments welcome! Thomas Brazelton Morgan Opie Tariq Syed http://arxiv.org/abs/2507.21008v1 2025-07-28T17:19:45Z

We present an explicit construction of cyclic cocycles on Cartan motion groups, which can be viewed as generalizations of orbital integrals. We show that the higher orbital integral on a real reductive group associated with a semisimple element converges to the corresponding one on the associated Cartan motion group.

2025-07-28T17:19:45Z Angel Román Yanli Song Xiang Tang