https://arxiv.org/api/+QyM9fqX9oMWkoKn1skPCzBYT0Q 2026-04-13T03:53:05Z 6536 975 15 http://arxiv.org/abs/2405.14348v1 2024-05-23T09:19:29Z

We investigate the surjectivity of the real cycle class map from $I$-cohomology to classical intergral cohomology for some real smooth varieties, in particular surfaces. This might be considered as one of several possible incarnations of real integral Hodge theory.

2024-05-23T09:19:29Z Jens Hornbostel http://arxiv.org/abs/2405.14340v1 2024-05-23T09:11:33Z

These are expanded notes from a talk at the RIMS Workshop, Algebraic Number Theory and Related Topics, December 13th, 2023. We discussed Elmanto-Morrow's motivic complex, the procdh sheafification of the classical motivic complex, and their comparison. The procdh topology and the comparison is joint work with Shuji Saito. The comparison was obtained through joint discussion with Morrow, and its proof relies heavily on the main results of [EM23].

2024-05-23T09:11:33Z Comments (including complaints) welcome Shane Kelly http://arxiv.org/abs/2312.11878v4 2024-05-21T09:07:10Z

For a real $r\geq 0,$ we consider the notion of $r$-homotopy equivalence in the category quasimetric spaces, which includes metric spaces and directed graphs. We show that for a finite quasimetric space $X$ there is a unique (up to isometry) $r$-homotopy equivalent quasimetric space of the minimal possible cardinality. It is called the $r$-minimal model of $X$. We use this to construct a decomposition of the magnitude-path spectral sequence of a digraph into a direct sum of spectral sequences with certain properties. We also construct an $r$-homotopy invariant ${\rm SH}^r_{n,I}(X)$ of a quasimetric space $X,$ called spectral homology, that generalizes many other invariants: the pages of the magnitude-path spectral sequence, including path homology, magnitude homology, blurred magnitude homology and reachability homology.

2023-12-19T06:10:19Z Sergei O. Ivanov http://arxiv.org/abs/2310.06616v2 2024-05-21T07:56:04Z

In this paper, we prove the real part of the Riemann-Roch-Grothendieck theorem for complex flat vector bundles at the differential form level.

2023-10-10T13:34:29Z A largely rewritten version, with mistakes corrected and proof simplified. 17 pages. Submitted for publication. Comments are very welcome Man-Ho Ho http://arxiv.org/abs/2405.12118v1 2024-05-20T15:36:14Z

We give a generalization of Quillen's $S^{-1}S$ construction for arbitrary $E_n$-monoids as an $E_{n-1}$-monoidal $\infty$-category and show that its realization models the group completion provided that $n \geq 2$. We will also show how this construction is related to a variety of other constructions of the group completion.

2024-05-20T15:36:14Z Georg Lehner http://arxiv.org/abs/2211.12262v2 2024-05-20T12:55:20Z

In this paper, we study the persistence approximation property for quantitative $K$-theory of filtered $L^p$ operator algebras. Moreover, we define quantitative assembly maps for $L^p$ operator algebras when $p\in [1,\infty)$. Finally, in the case of $L^{p}$ crossed products and $L^{p}$ Roe algebras, we find sufficient conditions for the persistence approximation property. This allows us to give some applications involving the $L^{p}$ (coarse) Baum-Connes conjecture.

2022-11-22T13:25:55Z 33 pages, to appear in Chinese Ann. Math. Ser. B Chin. Ann. Math. Ser. B 45(2024) 869-904 Hang Wang Yanru Wang Jianguo Zhang Dapeng Zhou 10.1007/s11401-024-0043-3 http://arxiv.org/abs/2402.14466v3 2024-05-20T04:38:28Z

We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of quasimetric spaces, finite quasimetric spaces, and finite digraphs. For quasimetric spaces, we define the notion of a distance module over a quasimetric space, define the functor of (co)invariants of a distance module and show that the magnitude (co)homology can be presented via its derived functors. As a corollary we obtain that the magnitude cohomology of a quasimetric space can be presented in terms of Ext functors in the category of distance modules. For finite quasimetric spaces, we show that magnitude (co)homology can be presented in terms of Tor and Ext functors over a certain graded algebra, called the distance algebra of the quasimetric space. For finite digraphs, the distance algebra is a bound quiver algebra. In addition, we show that the magnitude cohomology algebra of a finite quasimetric space can be described as a Yoneda algebra.

2024-02-22T11:53:00Z Yasuhiko Asao Sergei O. Ivanov http://arxiv.org/abs/2405.10834v1 2024-05-17T14:55:38Z

A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with multiplicatively strong symmetric bimonoidal functors. As the main application, for May's multiplicative infinite loop space machine from bipermutative categories to either E-infinity ring spaces or E-infinity ring spectra, multiplicatively strong symmetric bimonoidal functors can be replaced by strict symmetric bimonoidal functors.

2024-05-17T14:55:38Z 27 pages Donald Yau http://arxiv.org/abs/2301.09827v2 2024-05-17T14:36:58Z

We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology algebra of the classifying space of a topological category. By applying the machinery to a Borel construction, we determine explicitly the mod $p$ cohomology algebra of the free loop space of the real projective space for each odd prime $p$. This is highlighted as an important computational example of such a spectral sequence. Moreover, we try to represent generators in the singular de Rham cohomology algebra of the diffeological free loop space of a non-simply connected manifold $M$ with differential forms on the universal cover of $M$ via Chen's iterated integral map.

2023-01-24T05:38:53Z 29 pages Katsuhiko Kuribayashi http://arxiv.org/abs/2402.15094v2 2024-05-16T14:08:31Z

We give a conceptual explanation for the somewhat mysterious origin of Suslin matrices. This enables us to generalize the construction of Suslin matrices and to give more conceptual proofs of some well-known results.

2024-02-23T04:55:59Z 9 pages; comments still welcome! Homology, Homotopy and Applications 28 (2026), Issue 1, 141-148 Tariq Syed http://arxiv.org/abs/2405.09998v1 2024-05-16T11:30:18Z

Let $R$ be a unital ring satisfying the invariant basis number property, that every stably free $R$-module is free, and that the complex of partial bases of every finite rank free module is Cohen--Macaulay. This class of rings includes every ring of stable rank $1$ (e.g. any local, semi-local or Artinian ring), every Euclidean domain, and every Dedekind domain $\mathcal{O}_S$ of arithmetic type where $|S| > 1$ and $S$ contains at least one non-complex place. Extending recent work of Galatius--Kupers--Randal-Williams and Kupers--Miller--Patzt, we prove that the sequence of general linear groups $\operatorname{GL}_n(R)$ satisfies slope-$1$ homological stability with $\mathbb{Z}[1/2]$-coefficients.

2024-05-16T11:30:18Z 39 pages. Comments welcome! Calista Bernard Jeremy Miller Robin J. Sroka http://arxiv.org/abs/2207.05941v2 2024-05-16T10:12:07Z

A typical example of a Cartan calculus consists of the Lie derivative and the contraction with vector fields of a manifold on the derivation ring of the de Rham complex. In this manuscript, a second stage of the Cartan calculus is investigated. In a general setting, the stage is formulated with operators obtained by the André-Quillen cohomology of a commutative differential graded algebra $A$ on the Hochschild homology of $A$ in terms of the homotopy Cartan calculus in the sense of Fiorenza and Kowalzig. Moreover, the Cartan calculus is interpreted geometrically with maps from the rational homotopy group of the monoid of self-homotopy equivalences on a space $M$ to the derivation ring on the loop cohomology of $M$. We also give a geometric description to Sullivan's isomorphism, which relates the geometric Cartan calculus to the algebraic one, via the $Γ_1$ map due to Félix and Thomas.

2022-07-13T03:39:05Z 40 pages Katsuhiko Kuribayashi Takahito Naito Shun Wakatsuki Toshihiro Yamaguchi http://arxiv.org/abs/1210.8070v5 2024-05-15T21:41:58Z

The eta invariant appears regularly in index theorems but is known to be directly computable from the spectrum only in certain examples of locally symmetric spaces of compact type. In this work, we derive some general formulas useful for calculating the eta invariant on closed manifolds. Specifically, we study the eta invariant on nilmanifolds by decomposing the spin Dirac operator using Kirillov theory. In particular, for general Heisenberg three-manifolds, the spectrum of the Dirac operator and the eta invariant are computed in terms of the metric, lattice, and spin structure data. There are continuous families of geometrically, spectrally different Heisenberg three-manifolds whose Dirac operators have constant eta invariant. In the appendix, some needed results of L. Richardson and C. C. Moore are extended from spaces of functions to spaces of spinors.

2012-10-30T16:22:13Z 55 pages in this new version; corrected sign error found by M. Stone in computation of 3-dimensional Heisenberg Dirac eigenvalues Comm. Anal. Geom. 26 (2018), no. 2, 271-346 Ruth Gornet Ken Richardson 10.4310/CAG.2018.v26.n2.a2 http://arxiv.org/abs/2404.13199v2 2024-05-15T18:42:11Z

In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to establish in great generality both for equivariant G-theory and equivariant homotopy K-theory with respect to actions of linear algebraic groups on normal quasi-projective schemes over a given field. We show such Riemann-Roch theorems apply to all toric and spherical varieties. We also obtain Lefschetz-Riemann-Roch theorems involving the fixed point schemes with respect to actions of diagonalizable group schemes. We also show the existence of certain spectral sequences that compute the homotopy groups of the derived completions of equivariant G-theory starting with equivariant Borel-Moore motivic cohomology.

2024-04-19T22:15:06Z Gunnar Carlsson Roy Joshua Pablo Pelaez http://arxiv.org/abs/2404.13196v2 2024-05-15T18:38:50Z

In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem for equivariant Algebraic G-theory, for actions of linear algebraic groups on schemes that holds without any of the strong finiteness conditions that are required in such theorems proven by him. In an earlier work by the first two authors, we solved this conjecture by providing a derived completion theorem for equivariant G-theory. In the present paper, we provide a similar derived completion theorem for the homotopy Algebraic K-theory of equivariant perfect complexes, on schemes that need not be regular. Our solution is broad enough to allow actions by all linear algebraic groups, irrespective of whether they are connected or not, and acting on any normal quasi-projective scheme of finite type over a field, irrespective of whether they are regular or projective. This allows us therefore to consider the Equivariant Homotopy Algebraic K-Theory of large classes of varieties like all toric varieties (for the action of a torus) and all spherical varieties (for the action of a reductive group). With finite coefficients invertible in the base fields, we are also able to obtain such derived completion theorems for equivariant algebraic K-theory but with respect to actions of diagonalizable group schemes. These enable us to obtain a wide range of applications, several of which are also explored.

2024-04-19T22:07:46Z arXiv admin note: substantial text overlap with arXiv:1906.06827 Gunnar Carlsson Roy Joshua Pablo Pelaez