A quadratic Abramovich-Bertram formula

2025-06-21T23:12:29Z

Quadratic Gromov--Witten invariants allow one to obtain an arithmetically meaningful count of curves satisfying constraints over a field $k$ without assuming that $k$ is the field of complex or real numbers. This paper studies the behavior of quadratic genus $0$ Gromov--Witten invariants during an algebraic analogue of surgery on del Pezzo surfaces. For this, we define and study (twisted) binomial coefficients in the Grothendieck--Witt group, building on work of Serre. We obtain a formula expressing the quadratic genus $0$ Gromov--Witten invariants of surfaces obtained as a smoothing of a given nodal surface in terms of those of the one having the largest Picard group. We give applications to quadratic Gromov--Witten invariants of rational del Pezzo surfaces of degree at least 7, some cubic surfaces, for point constraints defined over quadratic extensions of $k$, as well as an invariance result under a Dehn twist.

On blended extensions in filtered abelian categories and motives with maximal unipotent radicals

2025-06-19T18:44:18Z

Grothendieck's theory of blended extensions (extensions panachées) gives a natural framework to study 3-step filtrations in abelian categories. We give a generalization of this theory that is suitable for filtrations with an arbitrary finite number of steps. We use this generalization to study two natural classification problems for objects with a fixed associated graded in an abelian category equipped with a filtration similar to the weight filtration on mixed Hodge structures. We then give an application to the study of mixed motives with a given associated graded and maximal unipotent radicals of motivic Galois groups. We prove a homological classification result for such motives when the given associated graded is "graded-independent", a condition defined in the paper. The special case of this result for motives with 3 weights was proved earlier with K. Murty under some extra hypotheses.

Symmetric versus genuine symmetric forms in Hermitian K-theory

2025-06-19T13:33:45Z

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence in degrees greater or equal -1 and a monomorphism in degree -2. In particular, the spaces of Hermitian K-theory of genuine symmetric forms and the symplectic K-theory space are homotopy invariant for such rings.

Equivariant $KK$-theory and model categories

2025-06-19T11:48:38Z

We cast Kasparov's equivariant KK-theory in the framework of model categories. We obtain a stable model structure on a certain category of locally multiplicative convex $G$-$C^*$-algebras, which naturally contains the stable $\infty$-category $KK^G_{\operatorname{sep}}$ as described by Bunke, Engel, Land (\cite{BEL}). Non-equivariantly, $KK$-theory was studied using model categories by Joachim-Johnson (\cite{MJ}). We generalize their ideas in the equivariant case, and also fix some critical errors that their work had.

On a complex topological orientation for circle-equivariant K-theory

2025-06-17T18:12:59Z

The principal result of this note is the existence of a complex topological orientation for Atiyah-Segal $\mathbb{T}$-equivariant K-theory which indexes the projective space of lines in complex (n+1)-space by the Fourier expansion $1 + q + \dots + q^n$.

On the Residue Sequence in Logarithmic Topological Cyclic Homology

2025-06-17T14:04:31Z

As a localizing invariant, THH participates in localization sequences of cyclotomic spectra. We resolve a conjecture of Rognes by relating these to residue sequences in logarithmic THH. Consequently, logarithmic THH, TR, and TC serve as strict generalizations of the constructions of Hesselholt--Madsen and Blumberg--Mandell, which moreover enjoy localization sequences without the regularity hypotheses usually required for dévissage. Combined with work of Ramzi--Sosnilo--Winges, our results imply that there exists a stable infinity-category C such that THH(C), TR(C), and TC(C) realize the relevant logarithmic term for specific log structures, such as the natural ones on discrete valuation rings, connective complex K-theory, and truncated Brown--Peterson spectra. Finally, we conjecture that the category C can be chosen to reflect the additional structure present on the logarithmic terms, and we give evidence for this in the case of discrete valuation rings.

The relative index in coarse index theory and submanifold obstructions to uniform positive scalar curvature

2025-06-17T08:24:39Z

We provide a coarse version of the relative index of Gromov and Lawson and thoroughly establish all of its basic properties. As an application, we discuss a general procedure to construct wrong way maps on the $K$-theory of the Roe algebra mapping the coarse index class of the Dirac operator of a manifold to the one of a suitably embedded submanifold of arbitrary codimension, thereby establishing an abstract machinery to find obstructions to uniform positive scalar curvature coming from these submanifolds.

Duality pairings with the analytic structure group

2025-06-16T17:11:06Z

We construct a slant product $\mathrm{S}^{G\times H}_p(X\times Y)\otimes \mathrm{K}_{-q}(\bar{\mathfrak{c}}^{\mathrm{red}} Y\rtimes H)\to \mathrm{K}_{p-q}(\mathrm{C}^\ast_G X)$ on the analytic structure group of Higson and Roe and the K-theory of the stable Higson compactification taking values in the (equivariant) Roe algebra. This complements the slant products constructed in earlier work of Engel and the authors ( arXiv:1909.03777 [math.KT] ). The distinguishing feature of our new slant product is that it specializes to a duality pairing $\mathrm{S}^H_p(Y) \otimes \mathrm{K}_{-p}(\bar{\mathfrak{c}}^{\mathrm{red}} (Y)\rtimes H)\to \mathbb{Z}$ which can be used to extract numerical invariants out of elements in the analytic structure group such as rho-invariants associated to positive scalar curvature metrics.

Rieffel projections and 2-by-2 matrices

2025-06-14T21:54:07Z

For a compact space $Y$, we view $C(Y\times S^1)$ as the crossed product $C(Y)\rtimes\mathbb{Z}$, with $\mathbb{Z}$ acting trivially. This allows us to study Rieffel projections in $M_2(C(Y\times S^1))$: we characterize them and compute their image under the projection $\partial_0:K_0(C(Y\times S^1))\rightarrow K_1(C(Y))$. We provide a new Rieffel projection in $M_2(C(\mathbb{T}^2))$, different from Loring's one, and involving only trigonometric polynomials plus the square root of $2-e^{2πiθ}-e^{-2πiθ}$. We give applications of this projection, e.g. explicit generators for the K-theory of $C(\mathbb{T}^3)$. Finally, we prove that, if a Banach algebra completion $\mathcal{B}$ of $\mathbb{C}[\mathbb{Z}^n]$ is continuously contained in $C(\mathbb{T}^n)$ and such that the Fourier series of $(2-e^{2πiθ_j}-e^{-2πiθ_j})^{1/2}\;(j=1,...,n)$ converges in $\mathcal{B}$, then the inclusion $\mathcal{B}\hookrightarrow C(\mathbb{T}^n)$ induces isomorphisms in K-theory.

Double groupoids and $2$-groupoids in regular Mal'tsev categories

2025-06-13T12:46:08Z

We prove that the category 2-$ \mathrm{Grpd}(\mathscr{C}) $ of internal $2$-groupoids is a Birkhoff subcategory of the category $ \mathrm{Grpd}^2(\mathscr{C}) $ of double groupoids in a regular Mal'tsev category $\mathscr{C}$ with finite colimits. In particular, when $\mathscr{C}$ is a Mal'tsev variety of universal algebras, the category 2-$ \mathrm{Grpd}(\mathscr{C}) $ is also a Mal'tsev variety, of which we describe the corresponding algebraic theory. When $\mathscr{C}$ is a naturally Mal'tsev category, the reflector from $ \mathrm{Grpd}^2(\mathscr{C}) $ to 2-$ \mathrm{Grpd}(\mathscr{C}) $ has an additional property related to the commutator of equivalence relations. We prove that the category 2-$ \mathrm{Grpd}(\mathscr{C}) $ is semi-abelian when $\mathscr{C}$ is semi-abelian, and then provide sufficient conditions for 2-$ \mathrm{Grpd}(\mathscr{C}) $ to be action representable.

$K$-stability of $C^*$-algebras generated by isometries and unitaries with twisted commutation relations

2025-06-13T10:39:25Z

In this article, we prove $K$-stability for a family of $C^*$-algebras, which are generated by a finite set of unitaries and isometries satisfying twisted commutation relations. This family includes the $C^*$-algebra of doubly non-commuting isometries and free twist of isometries. Next, we consider the $C^*$-algebra $A_{\mathcal{V}}$ generated by an $n$-tuple of $\mathcal{U}$-twisted isometries $\mathcal{V}$ with respect to a fixed $n\choose 2$-tuple $\mathcal{U}=\{U_{ij}:1\leq i

Uniqueness of six-functor formalisms

2025-06-12T13:05:44Z

We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically étale with respect to an abstract six-functor formalism. These conditions guarantee canonical isomorphisms between the direct and exceptional direct images for certain "proper" morphisms, and between the inverse and exceptional inverse images for certain "étale" morphisms. Using this framework, we prove Scholze's conjecture, showing that a six-functor formalism with sufficiently many cohomologically proper and étale morphisms is uniquely determined by the tensor product and inverse image functors, and can be obtained by a construction of Liu-Zheng and Mann. Additionally, we show that a generalisation of the conjecture fails, and propose a measure of this failure in terms of K-theory.

Horrocks theorem for odd orthogonal groups

2025-06-12T05:35:55Z

We prove Horrocks' theorem for the odd elementary orthogonal group, which gives a decomposition of an orthogonal matrix with entries from a polynomial ring $R[X]$, over a commutative ring $R$ in which 2 is invertible, as a product of an orthogonal matrix with entries in $R$ and an elementary orthogonal matrix with entries from $R[X]$.

Beilinson--Lichtenbaum phenomenon for motivic cohomology

2025-06-11T16:25:19Z

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle class map from $p$-adic motivic cohomology to a suitable truncation of Bhatt--Lurie's syntomic cohomology is an isomorphism, thereby verifying the Beilinson--Lichtenbaum conjecture in this generality. As a consequence, we prove that this motivic cohomology integrally recovers the classical definition of motivic cohomology in terms of Bloch's cycle complexes, whenever the latter is defined. Over perfectoid rings, we show that this cohomology theory is actually $\mathbb{A}^1$-invariant, thus partially answering a question of Antieau--Mathew--Morrow. The key ingredient in our approach is a version of Gabber's presentation lemma applicable in mixed characteristic, non-noetherian settings.

Combinatorial relative algebraic $K$-theory

2025-06-11T16:17:35Z

In a preprint released in 2016, Daniel Grayson introduces a conjectural presentation of the (higher) relative algebraic $K$-groups using purely combinatorial means. In this paper, we will show that this presentation is isomorphic to the classically defined higher relative algebraic $K$-groups, and provide some reasons to believe the conjecture posed in this 2016 preprint to be true.