https://arxiv.org/api/N46I6nis2p57OBpu4jEs6qyWIPo 2026-04-05T03:27:57Z 6529 420 15 http://arxiv.org/abs/2507.20119v1 2025-07-27T04:02:25Z

For non-amenable finitely generated virtually free groups, we show that the combinatorial Euler characteristic introduced by Emerson and Meyer is the preimage of the K-theory class of higher Kazhdan projections under the Baum-Connes assembly map. This allows to represent the K-theory class of their higher Kazhdan projection as a finite alternating sum of the K-theory classes of certain averaging projections. The latter is associated to the finite subgroups appearing in the fundamental domain of their Bass-Serre tree. As an immediate application we obtain non-vanishing calculations for delocalised $\ell^2$-Betti numbers for this class of groups.

2025-07-27T04:02:25Z 23 pages Sanaz Pooya Baiying Ren Hang Wang http://arxiv.org/abs/2202.09174v2 2025-07-26T17:56:44Z

This paper is part of an ongoing series of works on the study of foliations on algebraic varieties via derived algebraic geometry. We focus here on the specific case of globally defined vector fields and the global behaviour of their algebraic integral curves. For a smooth and proper variety $X$ with a global vector field $ν$, we consider the induced vector field $ν_{g,n}$ on the derived stack of stable maps, of genus $g$ with $n$ marked points, to $X$. When $(g,n)$ is either $(0,2)$ or $(1,0)$, the derived stack of zeros of $ν_{g,n}$ defines a proper \emph{moduli of algebraic trajectories} of $ν$. When $(g,n)=(0,2)$ algebraic trajectories behave very much like rational algebraic paths from one zero of $ν$ to another, and in particular they can be composed. This composition is represented by the usual gluing maps in Gromov-Witten theory, and we use it give three categorical constructions, of different categorical levels, related, in a certain sense, by decategorification. In order to do this, in particular, we have to deal with virtual fundamental classes of non-quasi-smooth derived stacks. When $(g,n)=(1,0)$, zeros of $ν_{1,0}$ might be thought as algebraic analogues of periodic orbits of vector fields on smooth real manifolds. In particular, we propose a Zeta function counting the zeros of $ν_{1,0}$, that we like to think of as an algebraic version of Ruelle's dynamical Zeta function. We conclude the paper with a brief indication on how to extend these results to the case of general one dimensional foliation $F$, by considering the derived stack of $F$-equivariant stable maps.

2022-02-18T13:02:38Z 35 pages; A few errors were corrected. To appear in Simons Symposia, Proceedings of the IMSA conference on "Recent Developments in Hodge Theory" (Springer), 2025 Bertrand Toën Gabriele Vezzosi http://arxiv.org/abs/2507.19879v1 2025-07-26T09:20:11Z

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_Λ)$ of the infinite path groupoid $\mathcal{G}_Λ$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $Λ$ and $Ω$ without sources and with finite object sets, we obtain a sufficient criterion for lifting a pointed order-preserving $\mathbb{Z}[\mathbb{Z}^k]$-module homomorphism between $K_0^{gr}(KP_\mathsf{k}(Λ))$ and $K_0^{gr}(KP_\mathsf{k}(Ω))$ to a unital graded ring homomorphism between $KP_\mathsf{k}(Λ)$ and $KP_\mathsf{k}(Ω)$. For this we adapt, in the setting of $k$-graphs, the bridging bimodule technique recently introduced by Abrams, Ruiz and Tomforde (Algebr. Represent. Theory 2024).

2025-07-26T09:20:11Z Roozbeh Hazrat Promit Mukherjee David Pask Sujit Kumar Sardar http://arxiv.org/abs/2507.18963v1 2025-07-25T05:20:53Z

We prove that every holomorphic symplectic matrix can be factorized as a product of holomorphic unitriangular matrices with respect to the symplectic form $ \left[\begin{array}{ccc} 0 & L_n \\ -L_n & 0\end{array}\right]$ where $L$ is the $n \times n$ matrix with $1$ along the skew-diagonal. Also we prove that holomorphic unitriangular matrices with respect to this symplectic form are products of not more than $7$ holomorphic unitriangular matrices with respect to the standard symplectic form $\left[\begin{array}{ccc} 0 & I_n \\ -I_n & 0\end{array}\right]$, thus solving an open problem posed in \cite{HKS}. Combining these two results allows for estimates of the optimal number of factors in the factorization by holomorphic unitriangular matrices with respect to the standard symplectic form. The existence of that factorization was obtained earlier by Ivarsson-Kutzschebauch and Schott, however without any estimates. Another byproduct of our results is a new, much less technical and more elegant proof of this factorization.

2025-07-25T05:20:53Z Gaofeng Huang Frank Kutzschebauch Phan Quoc Bao Tran http://arxiv.org/abs/2408.10164v2 2025-07-23T18:45:32Z

We give a construction of a generalized Vaserstein symbol associated to any finitely generated projective module of rank $2$ over a commutative ring with unit.

2024-08-19T17:17:53Z 11 pages; comments welcome! Tariq Syed http://arxiv.org/abs/2307.16222v3 2025-07-23T16:06:24Z

In 2015, Van den Bergh showed that complete 3-Calabi-Yau algebras over an algebraically closed field of characteristic 0 are equivalent to Ginzburg dg algebras associated with quivers with potential. He also proved the natural generalisation to higher dimensions and non-algebraically closed ground fields. The relative version of the notion of Ginzburg dg algebra is that of Ginzburg morphism. For example, every ice quiver with potential gives rise to a Ginzburg morphism. We generalise Van den Bergh's theorem by showing that, under suitable assumptions, any morphism with a relative Calabi-Yau structure is equivalent to a Ginzburg(-Lazaroiu) morphism. In particular, in dimension 3 and over an algebraically closed ground field of characteristic 0, it is given by an ice quiver with potential. Thanks to the work of Bozec-Calaque-Scherotzke, this result can also be viewed as a non-commutative analogue of Joyce-Safronov's Lagrangian neighbourhood theorem in derived symplectic geometry.

2023-07-30T13:07:58Z 43 pages; v2: more accurate historical account in introduction, reference to Joyce-Safronov's work added, many minor changes; v3: references added, readability improved Bernhard Keller Junyang Liu http://arxiv.org/abs/2507.17568v1 2025-07-23T14:58:33Z

We develop an obstruction theory for the extension of truncated minimal $A$-infinity bimodule structures over truncated minimal $A$-infinity algebras. Obstructions live in far-away pages of a (truncated) fringed spectral sequence of Bousfield--Kan type. The second page of this spectral sequence is mostly given by a new cohomology theory associated to a pair consisting of a graded algebra and a graded bimodule over it. This new cohomology theory fits in a long exact sequence involving the Hochschild cohomology of the algebra and the self-extensions of the bimodule. We show that the second differential of this spectral sequence is given by the Gerstenhaber bracket with a bimodule analogue of the universal Massey product of a minimal $A$-infinity algebra. We also develop a closely-related obstruction theory for truncated minimal $A$-infinity bimodule structures over (the truncation of) a fixed minimal $A$-infinity algebra; the second page of the corresponding spectral sequence is now mostly given by the vector spaces of self-extensions of the underlying graded bimodule and the second differential is described analogously to the previous one. We also establish variants of the above for graded algebras and graded bimodules that are $d$-sparse, that is they are concentrated in degrees that are multiples of a fixed integer $d\geq1$. These obstruction theories are used to establish intrinsic formality and almost formality theorems for differential graded bimodules over differential graded algebras. Our results hold, more generally, in the context of graded operads with multiplication equipped with an associative operadic ideal, examples of which are the endomorphism operad of a graded algebra and the linear endomorphism operad of a pair consisting of a graded algebra and a graded bimodule over it.

2025-07-23T14:58:33Z 66 pages, 1 figure Gustavo Jasso Fernando Muro http://arxiv.org/abs/2311.06717v4 2025-07-22T17:47:36Z

We discuss spectral sequences coming from Whitehead filtrations in the computation of topological Hochschild homology of ring spectra. Using cyclic invariance, this makes for simple computations of $THH$ of connective rings $R$ with coefficients in discrete ring spectra. In particular, we show how to use this to compute $THH(tmf,\mathbb{F}_2)$, and $THH(tmf,\mathbb{Z}_{(2)})$, where $tmf$ denotes the $\mathbb{E}_\infty$ ring spectrum of topological modular forms. Then, we obtain a description of $THH(\ell/v_1^n)$ in terms of $THH(\ell,\ell/v_1^n)$, where the latter can be computed by results of arXiv:0710.4368. We next explain how the methods of this computation generalize to give us information about $THH(cofib(x^k:Σ^{k|x|}R\to R))$ for $R$ and $cofib(x^k)$ suitably structured connective ring spectra, $k>1$, and $x\in π_{*}(R)$ an arbitrary element in positive degree. Finally, we examine the general framework to describe the topological Hochschild homology of 2-local connective self-conjugate K-theory, $ksc_2$.

2023-11-12T03:15:29Z Fixed error in proposition 3.5 from previous version. 32 pages. To appear in AGT Logan Hyslop http://arxiv.org/abs/2507.16778v1 2025-07-22T17:24:44Z

Let $G$ be a group and $S$ a unital epsilon-strongly $G$-graded algebra. We construct spectral sequences converging to the Hochschild (co)homology of $S$. Each spectral sequence is expressed in terms of the partial group (co)homology of $G$ with coefficients in the Hochschild (co)homology of the degree-one component of $S$. Moreover, we show that the homology spectral sequence decomposes according to the conjugacy classes of $G$, and, by means of the globalization functor, its $E^2$-page can be identified with the ordinary group homology of suitable centralizers.

2025-07-22T17:24:44Z Emmanuel Jerez http://arxiv.org/abs/2507.16501v1 2025-07-22T11:58:01Z

We prove that the motivic cohomology of mixed characteristic schemes, introduced in our previous work, satisfies various expected properties of motivic cohomology, including a motivic refinement of Weibel's vanishing in algebraic $K$-theory, the projective bundle formula, a comparison to Milnor $K$-theory, and a universal characterisation in terms of pro cdh descent. These results extend those of Elmanto--Morrow to schemes which are not necessarily defined over a field.

2025-07-22T11:58:01Z The contents of arXiv:2412.06635v1 have been divided into two disjoint papers: arXiv:2412.06635v2 and the current paper Tess Bouis http://arxiv.org/abs/2411.18538v2 2025-07-22T11:44:00Z

The equivariant coarse Novikov conjectures stand among a handful profound $K$-theoretic conjectures in noncommutative geometry. Motivated by the quest to verify Novikov-type conjectures for groups of diffeomorphisms, we study in this paper the equivariant coarse Novikov conjectures for spaces that equivariantly and coarsely embed into admissible Hilbert-Hadamard spaces, which are a type of infinite-dimensional nonpositively curved spaces. The paper is split into two parts. We prove in the first part that for any metric space $X$ with bounded geometry and with a proper isometric action $α$ by a countable discrete group $Γ$, if $X$ admits an equivariant coarse embedding into an admissible Hilbert-Hadamard space and $Γ$ is torsion-free, then the equivariant coarse strong Novikov conjecture holds rationally for $(X, Γ, α)$. In the second part, we extend the result in the first part by dropping the torsion-free assumption on $Γ$. To this end, we introduce, for a proper $Γ$-space $X$ with equivariant bounded geometry, a new Novikov-type conjecture that we call the rational analytic equivariant coarse Novikov conjecture, which generalizes the rational analytic Novikov conjecture and asserts the rational injectivity of a certain assembly map associated with a coarse analog of the classifying space $EΓ$. We show that for a proper $Γ$-space $X$ with equivariant bounded geometry, if $X$ admits an equivariant coarse embedding into an admissible Hilbert-Hadamard space, then the rational analytic equivariant coarse Novikov conjecture holds for $(X,Γ,α)$, i.e., the assembly map is a rational injection.

2024-11-27T17:35:53Z 87 pages Liang Guo Qin Wang Jianchao Wu Guoliang Yu http://arxiv.org/abs/2412.06635v2 2025-07-21T14:47:47Z

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general, but it uses the classical $\mathbb{A}^1$-invariant motivic cohomology of smooth $\mathbb{Z}$-schemes as an input. The main new input of our construction is a global filtration on topological cyclic homology, whose graded pieces provide an integral refinement of derived de Rham cohomology and Bhatt--Morrow--Scholze's syntomic cohomology. Our theory satisfies various expected properties of motivic cohomology, including relations to étale cohomology and to non-connective algebraic $K$-theory.

2024-12-09T16:28:01Z This is a substantial replacement of the earlier version, whose contents have been divided into two disjoint papers: the current paper and the paper entitled "Weibel vanishing and the projective bundle formula for mixed characteristic motivic cohomology" Tess Bouis http://arxiv.org/abs/2404.10165v2 2025-07-21T09:00:21Z

As a generalization of the classical killing-contractible-complexes lemma, we present algebraic Morse theory via homological perturbation lemma, in a form more general than existing presentations in the literature. Two-sided Anick resolutions due to E.~Sköldberg are generalised to algebras given by quivers with relations and a minimality criterion is provided as well. Two applications of algebraic Morse theory are presented. It is shown that the Chinese algebra of rank $n\geq 1$ is homologically smooth and of global dimension $\frac{n(n+1)}{2}$, and the minimal two-sided projective resolution of a Koszul algebra is constructed.

2024-04-15T22:28:36Z Jun Chen Yuming Liu Guodong Zhou http://arxiv.org/abs/2507.15368v1 2025-07-21T08:19:16Z

In the present paper, we use discrete Morse theory to provide a new implementation of torsion subcomplex reduction for arithmetic groups. This leads both to a simpler algorithm as well as runtime improvements. To demonstrate the technique, we compute the mod 2 Farrell-Tate cohomology of PSL(4,Z).

2025-07-21T08:19:16Z Anh Tuan Bui VNU-HCM Alexander D. Rahm GAATI, UPF Matthias Wendt http://arxiv.org/abs/2310.11183v3 2025-07-18T11:37:03Z

We refine several results of Bhatt-Morrow-Scholze on THH to THR. In particular, we compute THR of perfectoid rings. This will be useful for establishing motivic filtrations on real topological Hochschild and cyclic homology of quasisyntomic rings. We also establish a real refinement of the Hochschild-Kostant-Rosenberg theorem.

2023-10-17T11:59:48Z 48 pages, accepted version. To appear in Journal of Topology Jens Hornbostel Doosung Park