https://arxiv.org/api/ZhaUE8wwDSGMrhmB54/AqVkA7So 2026-03-24T15:49:34Z 6516 105 15 http://arxiv.org/abs/2601.19576v1 2026-01-27T13:06:13Z

In the present paper we study index theory for families of manifold with corners. In particular the K-theoretical obstruction for an elliptic operator to have a family (Fredholm) index. For codimension 1 corners (families with boundary) it gives an expected condition on indices associated to codimension 1 faces. The main theorem of this paper concern the codimension 2 case: in addition to the expected condition on indices associated to codimension 2 faces, there is an extra combinatoric condition implying the topology of the family base. This new condition is expressed in terms of conormal homology cycles with K-theoretical coefficients.

2026-01-27T13:06:13Z 28 pages Florian Thiry http://arxiv.org/abs/1601.06633v2 2026-01-26T14:26:44Z

Let k be a commutative ring in which 2 is invertible. We prove that the Hermitian K-theory of quadric hypersurfaces over k admits fibration sequences relating it to the base ring and to Clifford algebras equipped with various duality coefficients. All shifts and twists are taken into account.

2016-01-25T15:14:39Z Heng Xie http://arxiv.org/abs/2601.18363v1 2026-01-26T11:13:19Z

In embedding calculus, spaces of embeddings are identified with derived mapping spaces between framed Fulton-MacPherson-type modules (framed configuration spaces). Unfortunately, there are no sufficiently good algebraic models for framed Fulton-MacPherson modules that would allow us to explicitly describe the rational homotopy type of the embedding space. Recently there were several attempts to avoid dealing with the framed versions of Fulton-MacPherson modules by considering framed manifolds, e.g. embeddings modulo immersions $\overline{\mathrm{Emb}}$ in a recent paper by Fresse, Turchin and Willwacher, or embeddings with a deformation of the framing $\widetilde{\mathrm{Emb}}$ in a recent paper by the author. In both cases, the rational homotopy type of the corresponding embedding space has an explicit description in terms of graphs (hairy graph complexes). We construct a combinatorial graphical composition for the composition of embedding spaces $\widetilde{\mathrm{Emb}}$. As a step on our way, we describe the action of the coinduction functor on configuration-space-type $e_n^c$-comodules.

2026-01-26T11:13:19Z Semyon Abramyan http://arxiv.org/abs/2305.02010v3 2026-01-23T11:11:32Z

We study the derived tensor product of the representation rings of subgroups of a given compact Lie group G. That is, given two such subgroups H_1 and H_2, we study the tensor product of the associated representation rings R(H_1) and R(H_2) over the representation ring RG, and prove a vanishing result for the associated higher Tor-groups. This result can be viewed as a natural generalization of the Theorem of Steinberg that asserts that the representation rings of maximal rank subgroups of G are free over RG. It my also be viewed as an analogue of a result of Singhof on the cohomology of classifying spaces. We include an immediate application to the complex K-theory of biquotient manifolds.

2023-05-03T10:01:39Z minor revision, to appear in Compositio Mathematica Marcus Zibrowius http://arxiv.org/abs/2306.04631v3 2026-01-23T02:02:39Z

We analyze stabilization with respect to ${\mathbb P}^1$ in the Morel--Voevodsky unstable motivic homotopy theory. We introduce a refined notion of cellularity (a.k.a., biconnectivity) in various motivic homotopy categories taking into account both the simplicial and Tate circles. Under suitable cellularity hypotheses, we refine the Whitehead theorem by showing that a map of nilpotent motivic spaces can be seen to be an equivalence if it so after taking (Voevodsky) motives. We then establish a version of the Freudenthal suspension theorem for ${\mathbb P}^1$-suspension, again under suitable cellularity hypotheses. As applications, we resolve Murthy's conjecture on splitting of corank $1$ vector bundles on smooth affine algebras over algebraically closed fields having characteristic $0$ and compute new unstable motivic homotopy of motivic spheres.

2023-06-07T17:55:59Z Final version before page proofs; Accepted for publication Ann. Math.; 75 pages Aravind Asok Tom Bachmann Michael J. Hopkins http://arxiv.org/abs/2601.16375v1 2026-01-23T00:15:31Z

A well-known and old result of Hazewinkel and Koszul states that the cohomology of a finite-dimensional Lie algebra is isomorphic, up to a suitable shift, to its twisted homology, a Lie-theoretical version of Poincare duality. This paper establishes an analogue of this result for graded (or super) Lie algebras and, more generally, differential graded Lie algebras. Closely related to this result is a calculation of the cohomology of a graded Lie algebra g with coefficients in its universal enveloping algebra U(g) as a one-sided module. This cohomology turns out to be one-dimensional and serves as a dualizing module for the cohomology of g. Moreover, it is shown that for a unimodular graded Lie algebra g, the derived category of U(g) has a Calabi-Yau structure. As a consequence, the category of rational infinity local systems on a simply connected topological space with totally finite-dimensional rational homotopy groups, has a Calabi-Yau structure, a generalization of Poincare duality for elliptic spaces.

2026-01-23T00:15:31Z 32 pages Andrey Lazarev Rong Tang http://arxiv.org/abs/2601.07551v2 2026-01-22T12:37:26Z

We study a weak form of formality for differential graded algebras, called $A_3$-formality, for the cohomology of pro-p Demushkin groups at odd primes p. We show that the differential graded $\mathbb{F}_p$-algebras of continuous cochains of Demushkin groups with q-invariant not equal 3 are $A_3$-formal, whereas Demushkin groups with q-invariant 3 are not $A_3$-formal. We prove these results by an explicit computation of the Benson-Krause-Schwede canonical class in Hochschild cohomology.

2026-01-12T14:00:24Z v2: 46 pages; update of the presentation of prior results in the introduction, references added Ambrus Pál Gereon Quick http://arxiv.org/abs/2412.03382v3 2026-01-22T08:18:28Z

We construct a theory of (etale) Berkovich motives. This is closely related to Ayoub's theory of rigid-analytic motives, but works uniformly in the archimedean and nonarchimedean setting. We aim for a self-contained treatment, not relying on previous work on algebraic or analytic motives. Applying the theory to discrete fields, one still recovers the etale version of Voevodsky's theory. Two notable features of our setting which do not hold in other settings are that over any base, the cancellation theorem holds true, and under only minor assumptions on the base, the stable $\infty$-category of motivic sheaves is rigid dualizable.

2024-12-04T15:09:42Z 65 pages. final version, to appear in Journal of the AMS Peter Scholze http://arxiv.org/abs/2601.15469v1 2026-01-21T21:08:28Z

We consider a (left) coherent ring R. We prove that if the character module of every Ding injective (left) R-module is Gorenstein flat, then the class of Gorenstein flat (right) R-modules, GF, is preenveloping. We show that this is the case when every injective (left) R-module has finite flat dimension. In particular, GF is preenveloping over any Ding-Chen ring.\\ The proofs use the class of weakly Ding injective (left) R-modules, wDI. We show that, when wDI is closed under extensions, the following statements are equivalent:\\ 1. The character module of every Ding injective left R-module is a Gorenstein flat right R-module.\\ 2. The class of weakly Ding injective left R-modules is closed under direct limits.\\ 3. The class of weakly Ding injective modules is covering.\\ The equivalent statements (1)-(3) imply that GF is preenveloping

2026-01-21T21:08:28Z Alina Iacob http://arxiv.org/abs/2512.16749v2 2026-01-20T17:04:18Z

This paper investigates a variety of coarse homology theories and natural transformations between them. We in particular study the commutativity of a square relating analytical and topological transgressions with algebraic and homotopy theoretic Chern characters. Here a transgression is a natural transformation from a coarse homology theory to a functor which factorizes over the Higson corona functor, and a Chern character is a transformation from a $K$-theory like coarse or Borel-Moore type homology theory to an ordinary version.

2025-12-18T16:44:54Z 119 pages, minor improvements Ulrich Bunke http://arxiv.org/abs/2601.14117v1 2026-01-20T16:09:18Z

Scalar-rigid maps are Riemannian submersions by works of Llarull, Goette--Semmelmann, and the second named author. In this article we show that they are essentially Riemannian products of the base manifold with a Ricci-flat fiber. As an application we obtain a Llarull-type theorem for non-zero degree maps onto products of manifolds of non-negative curvature operator and positive Ricci curvature with some enlargeable manifold. The proof is based on spin geometry for Dirac operators and an analysis connecting Clifford multiplication with the representation theory of the curvature operator.

2026-01-20T16:09:18Z Comments welcome; 41 pages Oskar Riedler Thomas Tony http://arxiv.org/abs/2412.21109v3 2026-01-20T14:30:46Z

We study stratification, that is the classification of localizing tensor ideal subcategories by geometric means, in the context of Kasparov's equivariant KK-theory of C*-algebras. We introduce a straightforward countable analog of the notion of stratification by Balmer-Favi supports and conjecture that it holds for the equivariant bootstrap subcategory of every finite group G. We prove this conjecture for groups whose nontrivial elements all have prime order, and we verify it rationally for arbitrary finite groups. In all these cases we also compute the Balmer spectrum of compact objects. In our proofs we use larger versions of the equivariant Kasparov categories which admit not only countable coproducts but all small ones; they are constructed in an Appendix using infinity-categorical enhancements and adapting ideas of Bunke-Engel-Land.

2024-12-30T17:37:13Z 48 pages. A couple more typos corrected. Final version, to appear in J. Topol. Anal Ivo Dell'Ambrogio Rubén Martos http://arxiv.org/abs/2601.13643v1 2026-01-20T06:23:11Z

For an orthogonal modular variety, we construct a complex which is defined in terms of lattices and elliptic modular forms, which resembles the Gersten complex in Milnor K-theory, and which has a morphism to the Gersten complex of the modular variety by the Borcherds lifting. This provides a formalism for approaching the higher Chow groups of the modular variety by special cycles and Borcherds products. The construction is an incorporation of the theory of Borcherds products and ideas from Milnor K-theory.

2026-01-20T06:23:11Z Shouhei Ma http://arxiv.org/abs/2007.02576v3 2026-01-19T23:42:01Z

We characterize two objects by universal property: the derived de Rham complex and Hochschild homology together with its Hochschild-Kostant-Rosenberg (HKR) filtration. This involves endowing these objects with extra structure, built on notions of "homotopy-coherent cochain complex" and "filtered circle action" that we study here. We use these universal properties to give a conceptual proof that the associated graded of the HKR filtration identifies with the derived de Rham complex, as well as to give a new construction of the filtrations on cyclic, negative cyclic, and periodic cyclic homology that relate these invariants to derived de Rham cohomology.

2020-07-06T08:09:06Z v2: fixed an error in attribution and a few minor mistakes; v3: revised for publication Arpon Raksit http://arxiv.org/abs/2601.02176v2 2026-01-18T21:05:26Z

We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.

2026-01-05T14:54:48Z Sharpened statement of Lemma 4.1 and simplified proof of Lemma 4.2. Corrected minor typographical errors in Section 5 Jonathan Weitsman