https://arxiv.org/api/Xolq8KWSIQPeGHrILOvxNzsZWao 2026-04-04T15:43:35Z 6529 375 15 http://arxiv.org/abs/2507.21415v2 2025-08-21T10:30:29Z

Using the Witten deformation and localization algebra techniques, we compute the $G$-equivariant $K$-homology class of the de Rham operator on a proper cocompact $G$-spin manifold, where $G$ is an almost connected Lie group. By applying a $G$-invariant Morse-Bott perturbation, this class is localized near the zero set of the perturbation and can be identified explicitly with an element in the representation rings associated to some isotropy subgroups. The result yields an equivariant Poincaré-Hopf formula and supplies concise tools for equivariant index computations.

2025-07-29T00:49:41Z Hongzhi Liu Hang Wang Zijing Wang Shaocong Xiang http://arxiv.org/abs/2408.01390v3 2025-08-20T19:00:07Z

As part of a program to develop $K$-theoretic analogues of combinatorially important polynomials, Monical, Pechenik, and Searles (2021) proved two expansion formulas $\overline{\mathfrak{A}}_a = \sum_b Q_b^a(β)\overline{\mathfrak{P}}_b$ and $\overline{\mathfrak{Q}}_a = \sum_b M_b^a(β)\overline{\mathfrak{F}}_b,$ where each of $\overline{\mathfrak{A}}_a$, $\overline{\mathfrak{P}}_a$, $\overline{\mathfrak{Q}}_a$ and $\overline{\mathfrak{F}}_a$ is a family of polynomials that forms a basis for $\mathbb{Z}[x_1,\dots,x_n][β]$ indexed by weak compositions $a,$ and $Q_b^a(β)$ and $M_b^a(β)$ are monomials in $β$ for each pair $(a,b)$ of weak compositions. The polynomials $\overline{\mathfrak{A}}_a$ are the Lascoux atoms, $\overline{\mathfrak{P}}_a$ are the kaons, $\overline{\mathfrak{Q}}_a$ are the quasiLascoux polynomials, and $\overline{\mathfrak{F}}_a$ are the glide polynomials; these are respectively the $K$-analogues of the Demazure atoms $\mathfrak{A}_a$, the fundamental particles $\mathfrak{P}_a$, the quasikey polynomials $\mathfrak{Q}_a$, and the fundamental slide polynomials $\mathfrak{F}_a$. Monical, Pechenik, and Searles conjectured that for any fixed $a,$ $\sum_b Q_b^a(-1), \sum_b M_b^a(-1) \in \{0,1\},$ where $b$ ranges over all weak compositions. We prove this conjecture using a sign-reversing involution.

2024-08-02T16:59:07Z 12 pages, comments welcome! v2: small edits to match journal version Advances in Applied Mathematics, Volume 171, December 2025 Laura Pierson 10.1016/j.aam.2025.102959 http://arxiv.org/abs/2508.14484v1 2025-08-20T07:20:56Z

This paper presents an elementary introduction on $K$-theoretic $Q$-functions, which were introduced by Ikeda and Naruse in 2013. These functions, which serve as $K$-theoretic analogs of Schur $Q$-functions, are known to possess combinatorial and algebraic constructions. In a 2022 paper, the author introduced ``$β$-deformed power-sums" to provide a simpler, more algebraic construction of these functions. Since the original approach relies on fermionic operators and vacuum expectation values, this paper presents a more accessible, purely algebraic treatment, following the exposition of Schur $Q$-functions in Macdonald's standard textbook. We also show that the algebra of dual $Q$-cancellation property with integer coefficients is generated by dual $K$-$Q$-functions associated with an odd row partition.

2025-08-20T07:20:56Z 17 pages Shinsuke Iwao http://arxiv.org/abs/2410.20125v4 2025-08-20T05:47:48Z

We develop important properties of the KK-functor on the basis of split exactness. In particular we discuss two slightly different short proofs for the existence of the Kasparov product and its associativity. We use the approach with quasihomomorphisms to obtain a short proof of the fact that operator homotopy implies homotopy . Using an idea of Gabe-Szabo we also deduce from this the 'stable uniqueness theorem' of Dadarlat-Eilers by a very short argument.

2024-10-26T08:41:13Z This manuscript replaces, improves and extends the previous manuscript with the title 'Quasihomomorphisms, split exactness and operator homotopy in KK' Joachim Cuntz http://arxiv.org/abs/2508.14348v1 2025-08-20T01:40:20Z

We give a very brief introduction to the machinery of spectral sequences, including the spectral sequence of a bicomplex. We then briefly introduce a generalisation of the spectral sequences of a bicomplex to the spectral sequences of abritrary higher complexes.

2025-08-20T01:40:20Z This preprint is a modified version of a chapter from the author's PhD thesis Andrew Phimister http://arxiv.org/abs/2508.14207v1 2025-08-19T18:55:07Z

In this paper we develop computational tools to study the higher algebraic $K$-theory of Green functors. We construct a spectral sequence converging to the algebraic $\mathbb{G}$-theory of any $G$-Green functor, for $G$ a cyclic $p$-group. From the spectral sequence we deduce a complete calculation of the algebraic $K$-theory of the constant $C_2$-Green functor associated to the field with two elements, and a calculation of the $p$-completion of the algebraic $K$-theory of the constant $G$-Green functor associated to the integers when $G$ is a cyclic $p$-group. Additionally, we introduce the notion of a Green meadow to abstract the Green functor structure underlying clarified Tambara fields, and show, under mild conditions, that every finitely generated projective module over a $G$-Green meadow is free when $G$ is a cyclic $p$-group. This gives a computation of $K_0$ for such Green functors.

2025-08-19T18:55:07Z 37 pages, comments welcome! David Chan Noah Wisdom http://arxiv.org/abs/2508.13605v1 2025-08-19T08:12:02Z

We compute the total Chow-Witt rings of the classifying space Bμ_n of the roots of unity, as well as the products BG_m x Bμ_n and Bμ_m x Bμ_n for all m,n greater than or equal to 1 based on the strategy by di Lorenzo and Mantovani (2023) for Bμ_n with n even. Moreover we compute the total I^j-cohomology and Chow-Witt rings of P^q x P^r for all q,r greater than or equal to 1 and of BG_m x BG_m.

2025-08-19T08:12:02Z This is the author's PhD thesis Andrea Lachmann http://arxiv.org/abs/2508.13594v1 2025-08-19T07:59:51Z

In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.

2025-08-19T07:59:51Z 8 pages, submitted, comments welcome Kalyan Banerjee http://arxiv.org/abs/2207.03118v4 2025-08-18T12:23:27Z

We study homological invariants of étale groupoids arising from Smale spaces, continuing on our previous work, but going beyond the stably disconnected case by incorporating resolutions in the space direction. We show that the homology groups defined by Putnam are isomorphic to the Crainic-Moerdijk groupoid homology with integer coefficients. We also show that the K-groups of C*-algebras of stable and unstable equivalence relations have finite rank. For unstably disconnected Smale spaces, we provide a cohomological spectral sequence whose second page is the (stable) homology groups, and converges to the K-groups of the unstable C*-algebra.

2022-07-07T06:56:50Z v4: 22 pages, accepted version, minor changes; v3: 20 pages, new title, general part is split off as arXiv:2310.09928; v2: 25 pages, improved presentation, results unchanged; v1: 22 pages Trans. Amer. Math. Soc. 378 (2025), 2129-2155 Valerio Proietti Makoto Yamashita 10.1090/tran/9353 http://arxiv.org/abs/2310.09928v2 2025-08-18T12:20:13Z

We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

2023-10-15T19:33:48Z v2: accepted version, minor changes; v1: splitting off part of arXiv:2207.03118 as a separate paper Ergodic Theory and Dynamical Systems 45-1 (2025), 247-273 Valerio Proietti Makoto Yamashita 10.1017/etds.2024.37 http://arxiv.org/abs/2508.12319v1 2025-08-17T10:21:34Z

This paper extends the Hodge-de Rham theory of Aaron \textit{et al.} [Commun. Pure Appl. Anal. {\bf 13} (2014)] to higher-dimensional level-$l$ Sierpinski gaskets $SG_{\ell}^{n},$ providing a framework for analyzing differential forms and Laplacians on these fractal structures. We construct a sequence of graphs approximating $SG_{\ell}^{n}$ and define $k$-forms, de Rham derivatives, and their duals on these graphs. We prove that the extension of a $1$-form on a generation-$m$ graph to a $1$-form on a generation-$(m+1)$ graph is harmonic. We obtain a basis for the space of harmonic $1$-forms. We also explore the properties of $2$-forms on the level-$3$ Sierpinski gasket, under the assumptions that the $2$-forms are absolutely continuous with respect to the Kusuoka measure or the standard self-similar measure and that the Radon-Nikodym derivatives are continuous.

2025-08-17T10:21:34Z Sze-Man Ngai Shui-Hong Zhou http://arxiv.org/abs/2407.09988v2 2025-08-15T19:18:48Z

Given a complex affine hypersurface with isolated singularity determined by a homogeneous polynomial, we identify the noncommutative Hodge structure on the periodic cyclic homology of its singularity category with the classical Hodge structure on the primitive cohomology of the associated projective hypersurface. As a consequence, we show that the Hodge conjecture for the projective hypersurface is equivalent to a dg-categorical analogue of the Hodge conjecture for the singularity category.

2024-07-13T19:33:02Z 31 pages Annals of K-theory 10(2) (2025), 237-277 Michael K. Brown Mark E. Walker http://arxiv.org/abs/2508.10162v2 2025-08-15T17:21:50Z

A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set}$, is defined as the category whose objects are $\mathcal{C}$-sets, and whose morphisms are natural transformations between them. In this document we provide some concise characterizations of groupoids in terms of their category of $\mathcal{C}$-sets.

2025-08-13T19:55:06Z J. Miguel Calderón Alberto Gerardo Raggi-Cárdenas Itzel Rosas Ramón H. Ruiz-Medina http://arxiv.org/abs/2404.06916v2 2025-08-15T15:44:15Z

In this paper we introduce, according to one of the main ideas of $τ$-tilting theory, the $τ$-Hochschild cohomology in degree one of a finite dimensional $k$-algebra $Λ$, where $k$ is a field. We define the excess of $Λ$ as the difference between the dimensions of the $τ$-Hochschild cohomology in degree one and the dimension of the usual Hochschild cohomology in degree one. One of the main results is that for a zero excess bound quiver algebra $Λ=kQ/I$, the Hochschild cohomology in degree two $\mathsf{HH}^2(Λ) $ is isomorphic to the space of morphisms $\mathsf{Hom}_{kQ-kQ}(I/I^2, Λ).$ This is useful to determine when $\mathsf{HH}^2(Λ)=0$ for these algebras. We compute the excess for hereditary, radical square zero and monomial triangular algebras. For a bound quiver algebra $Λ$, a formula for the excess of $Λ$ is obtained. We also give a criterion for $Λ$ to be $τ$-rigid.

2024-04-10T11:06:58Z 14 pages Some minor changes. The statement and proof of Proposition 3.8 have been adjusted Claude Cibils Marcelo Lanzilotta Eduardo N. Marcos Andrea Solotar http://arxiv.org/abs/2508.11525v1 2025-08-15T15:09:06Z

We show that the spectral Mackey functors associated to the equivariant algebraic $K$-theory spectra of Guillou-May and Merling (originally constructed using pointset models) can be described purely $\infty$-categorically in terms of the monoidal Borel construction of Barwick-Glasman-Shah and Hilman. We moreover show how Pützstück's global version of the Borel construction provides an analogous description of the global spectral Mackey functors arising from Schwede's global algebraic $K$-theory spectra. Our arguments crucially rely on techniques from parametrized higher category theory as well as on structural results on global and equivariant $K$-theory to avoid any explicit computations.

2025-08-15T15:09:06Z Theorem B was originally part of arXiv:2202.07272. 27 pages Tobias Lenz