Showing 1–20 of 20 results for author: Scholbach, J

Categorical Künneth formulas for cohomological motives

Authors: Timo Richarz, Jakob Scholbach

Abstract: The manuscript at hand systematically studies Künneth formulas at a categorical level. We give criteria for an abstract six functor formalism to satisfy the categorical Künneth formula, and use this to formulate conjectures for categories of étale motives. As supporting evidence for these conjectures, we prove categorical Künneth formulas for adic sheaves and for cohomological motives, i.e., étale… ▽ More The manuscript at hand systematically studies Künneth formulas at a categorical level. We give criteria for an abstract six functor formalism to satisfy the categorical Künneth formula, and use this to formulate conjectures for categories of étale motives. As supporting evidence for these conjectures, we prove categorical Künneth formulas for adic sheaves and for cohomological motives, i.e., étale motives modulo the kernel of the adic realization. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: comments welcome

Central motives on parahoric flag varieties

Authors: Robert Cass, Thibaud van den Hove, Jakob Scholbach

Abstract: We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over higher-dimensional bases. We moreover introduce Wakimoto motives and use them to show that our motivic central functor is t-exact. A decategorification of these fu… ▽ More We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over higher-dimensional bases. We moreover introduce Wakimoto motives and use them to show that our motivic central functor is t-exact. A decategorification of these functors yields a new approach to generic Hecke algebras for general parahorics. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: 56 pages, comments welcome

Frobenius rigidity in $\mathbb A^1$-homotopy theory

Authors: Timo Richarz, Jakob Scholbach

Abstract: We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$. As a consequence we determine the analogous fixed points on the $K$-theory of algebraically closed fields in positive characteristic. We also prove a rigidity re… ▽ More We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$. As a consequence we determine the analogous fixed points on the $K$-theory of algebraically closed fields in positive characteristic. We also prove a rigidity result for the homotopy fixed points of the partial Frobenius pullback on motivic cohomology groups in weights at most $1$. △ Less

Submitted 5 April, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: 15 pages. Minor corrections. Comments welcome!

Constructible sheaves on schemes

Authors: Tamir Hemo, Timo Richarz, Jakob Scholbach

Abstract: We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category of proétale sheaves, while constructible sheaves are those that are lisse on a stratification. We show that constructible sheaves satisfy proétale descent. We… ▽ More We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category of proétale sheaves, while constructible sheaves are those that are lisse on a stratification. We show that constructible sheaves satisfy proétale descent. We also establish a t-structure on constructible sheaves in a wide range of cases. We finally provide a toolset to manipulate categories of constructible sheaves with respect to the choices of coefficient rings, and use this to prove that our notions reproduce and extend the various approaches to, say, constructible ell-adic sheaves in the literature. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: This paper has been split off arXiv:2012.02853. Comments welcome!

The geometric Satake equivalence for integral motives

Authors: Robert Cass, Thibaud van den Hove, Jakob Scholbach

Abstract: We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split groups and power series affine Grassmannians. Our new geometric results include Whitney-Tate stratifications of Beilinson-Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future g… ▽ More We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split groups and power series affine Grassmannians. Our new geometric results include Whitney-Tate stratifications of Beilinson-Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne's modification of the dual group and a modified form of Vinberg's monoid over the integers. △ Less

Submitted 21 September, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Major revision: fixed some mistakes, and simplified certain arguments. Some numbering has changed, main results have not. Comments still welcome!

Integral Motivic Sheaves And Geometric Representation Theory

Authors: Jens Niklas Eberhardt, Jakob Scholbach

Abstract: With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes un… ▽ More With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory, such as Soergel-Wendt's semisimplified Hodge motives, Achar-Riche's complexes of parity sheaves, as well as Ho-Li's recent category of graded $\ell$-adic sheaves. △ Less

Submitted 15 March, 2022; v1 submitted 23 February, 2022; originally announced February 2022.

Comments: Fixed Equation (2.1), added an assumption in Definition and Lemma 4.11, added Remarks 3.4 and 4.12. Results are unchanged

A categorical Künneth formula for constructible Weil sheaves

Authors: Tamir Hemo, Timo Richarz, Jakob Scholbach

Abstract: We prove a Künneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset \mathbf Q_\ell$, $\ell \ne p$ and their rings of integers $O_E$. We also consider a variant for ind-construtible sheaves which applies to the cohomology of moduli stack… ▽ More We prove a Künneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset \mathbf Q_\ell$, $\ell \ne p$ and their rings of integers $O_E$. We also consider a variant for ind-construtible sheaves which applies to the cohomology of moduli stacks of shtukas over global function fields. △ Less

Submitted 30 May, 2023; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: v4: The material concerning constructible sheaves has been split off in a separate paper, see arXiv:2305.18131 Comments welcome!

Journal ref: Alg. Number Th. 18 (2024) 499-536

Tate motives on Witt vector affine flag varieties

Authors: Timo Richarz, Jakob Scholbach

Abstract: Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up. Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up. △ Less

Submitted 24 June, 2021; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: minor changes, final published version

Journal ref: Selecta Math. (2021)

The motivic Satake equivalence

Authors: Timo Richarz, Jakob Scholbach

Abstract: We refine the geometric Satake equivalence due to Ginzburg, Beilinson-Drinfeld, and Mirković-Vilonen to an equivalence between mixed Tate motives on the double quotient $L^+ G \backslash LG / L^+ G$ and representations of Deligne's modification of the Langlands dual group $\hat G$. We refine the geometric Satake equivalence due to Ginzburg, Beilinson-Drinfeld, and Mirković-Vilonen to an equivalence between mixed Tate motives on the double quotient $L^+ G \backslash LG / L^+ G$ and representations of Deligne's modification of the Langlands dual group $\hat G$. △ Less

Submitted 24 June, 2021; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: final published version (v2 contains a new section on sheaves vs. functions, v3 has an overhauled appendix and many more minor edits)

Journal ref: Mathematische Annalen 2021

The intersection motive of the moduli stack of shtukas

Authors: Timo Richarz, Jakob Scholbach

Abstract: For a split reductive group G over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated G-shtukas with bounded modification and level structure is defined independently of the standard conjectures on motivic t-structures on triangulated categories of motives. This is in accordance with general expectations on the independence of l in the Langlands corre… ▽ More For a split reductive group G over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated G-shtukas with bounded modification and level structure is defined independently of the standard conjectures on motivic t-structures on triangulated categories of motives. This is in accordance with general expectations on the independence of l in the Langlands correspondence for function fields. △ Less

Submitted 23 December, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: Added a comparison with equivariant higher Chow groups, further minor edits. Final version, to appear in Forum of Mathematics Sigma. The former section 6 on Motives on Witt vector affine flag varieties has been removed and will appear elsewhere

Journal ref: Forum of Mathematics, Sigma 8 (2020) e8

Modules over the de Rham cohomology spectrum

Authors: Dmitri Pavlov, Jakob Scholbach

Abstract: We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham cohomology. This equivalence is compatible with the six functors on both sides. This way, the classical functors in the world of D-modules,… ▽ More We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham cohomology. This equivalence is compatible with the six functors on both sides. This way, the classical functors in the world of D-modules, $f_! := D_Y f_* D_X, f^* := D_X f^! D_Y$ ($f: X \to Y$), are conceptually explained and embedded into a larger and more flexible framework. We also apply this equivalence to obtain a motivic t-structure on $H_{dR}$-modules on not necessarily smooth schemes. △ Less

Submitted 15 December, 2016; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: The paper is temporarily withdrawn because of an error in the proof of Theorem 3.3.2

MSC Class: 14F10; 14F40

Homotopy theory of symmetric powers

Authors: Dmitri Pavlov, Jakob Scholbach

Abstract: We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and their algebras. In particular, the former property can be seen as the analog of Schwede and Shipley's monoid axiom for algebras over symmetric operads and allows on… ▽ More We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and their algebras. In particular, the former property can be seen as the analog of Schwede and Shipley's monoid axiom for algebras over symmetric operads and allows one to equip categories of such algebras with model structures, whereas the latter ensures that weak equivalences of operads induce Quillen equivalences of categories of algebras. We discuss these properties for elementary model categories such as simplicial sets, simplicial presheaves, and chain complexes. Moreover, we provide powerful tools to promote these properties from such basic model categories to more involved ones, such as the stable model structure on symmetric spectra. △ Less

Submitted 1 June, 2020; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 25 pages. Comments and questions are very welcome. This article splits off for publication purposes the first 7 sections of arXiv:1410.5675v1. v2: Added the notion of a strongly admissibly generated model category. v3: Identical to the journal version except for formatting and style

MSC Class: 55U35; 18G55; 55U40 (Primary); 55P48; 18D50; 55P43; 55U10; 55U15

Journal ref: Homology, Homotopy, and Applications 20:1 (2018), 359-397

Symmetric operads in abstract symmetric spectra

Authors: Dmitri Pavlov, Jakob Scholbach

Abstract: This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën--Vezzosi in an abstract category of spectra. We also answer in the affirm… ▽ More This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën--Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith's stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and E-infinity ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of E-infinity rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. △ Less

Submitted 1 June, 2020; v1 submitted 21 October, 2014; originally announced October 2014.

Comments: 34 pages. Comments and questions are very welcome. v2: Identical to the journal version except for formatting and style

MSC Class: 55P43; 55P48; 18D50 (Primary) 55P42; 55U35; 18G55; 18D20; 14F42; 14F35; 14A20; 14F43 (Secondary)

Journal ref: J. Inst. Math. Jussieu 18 (2019) 707-758

Admissibility and rectification of colored symmetric operads

Authors: Dmitri Pavlov, Jakob Scholbach

Abstract: We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, i.e., the category of algebras over any operad admits a model structure transferred from the original model category. We also give a necessary and sufficient criterion that ensures that a given weak equivalence of admissible operads admits rectification… ▽ More We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, i.e., the category of algebras over any operad admits a model structure transferred from the original model category. We also give a necessary and sufficient criterion that ensures that a given weak equivalence of admissible operads admits rectification, i.e., the corresponding Quillen adjunction between the categories of algebras is a Quillen equivalence. In addition, we show that Quillen equivalences of underlying symmetric monoidal model categories yield Quillen equivalences of model categories of algebras over operads. Applications of these results include enriched categories, colored operads, prefactorization algebras, and commutative symmetric ring spectra. △ Less

Submitted 27 March, 2022; v1 submitted 21 October, 2014; originally announced October 2014.

Comments: 34 pages. Comments and questions are very welcome. v2: The first 7 sections were split off to arXiv:1510.04969. Added a rectification result for algebras over quasicategorical operads. v3: Identical to the journal version except for formatting, style, and additional details in the proof of Proposition 7.9. v4: Corrected the proof of Theorem 7.5

MSC Class: 55P48; 18D50; 55U35; 18G55 (Primary); 55P43; 18D20 (Secondary)

Journal ref: Journal of Topology 11:3 (2018), 559-601

Arakelov motivic cohomology II

Authors: Jakob Scholbach

Abstract: We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it i… ▽ More We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it is given by the natural pairing of motivic homology and Arakelov motivic cohomology. △ Less

Submitted 19 October, 2013; v1 submitted 17 May, 2012; originally announced May 2012.

Comments: final version, to appear in Journal of Algebraic Geometry

MSC Class: 14G40; 14F35; 19E08

Algebraic K-theory of the infinite place

Authors: Jakob Scholbach

Abstract: In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also show that the "residue field at infinity" is badly behaved from a K-theoretic point of view. In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also show that the "residue field at infinity" is badly behaved from a K-theoretic point of view. △ Less

Submitted 5 June, 2014; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: Final version. To appear in Journal of Homotopy and Related Structures

Arakelov motivic cohomology I

Authors: Andreas Holmstrom, Jakob Scholbach

Abstract: This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta functions formulated by the second author. Taking advantage of the six functors formalism in motivic stable homotopy theory, we establish a number of formal prope… ▽ More This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta functions formulated by the second author. Taking advantage of the six functors formalism in motivic stable homotopy theory, we establish a number of formal properties, including pullbacks for arbitrary morphisms, pushforwards for projective morphisms between regular schemes, localization sequences, $h$-descent. We round off the picture with a purity result and a higher arithmetic Riemann-Roch theorem. △ Less

Submitted 8 May, 2015; v1 submitted 12 December, 2010; originally announced December 2010.

Comments: final version, to appear in Journal of Algebraic Geometry

MSC Class: 14G40; 14F42; 19F99

Mixed Artin-Tate motives over number rings

Authors: Jakob Scholbach

Abstract: This paper studies Artin-Tate motives over number rings. As a subcategory of geometric motives, the triangulated category of Artin-Tate motives DATM(S) is generated by motives of schemes that are finite over the base S. After establishing stability of these subcategories under pullback and pushforward along open and closed immersions, a motivic t-structure is constructed. Exactness properties of t… ▽ More This paper studies Artin-Tate motives over number rings. As a subcategory of geometric motives, the triangulated category of Artin-Tate motives DATM(S) is generated by motives of schemes that are finite over the base S. After establishing stability of these subcategories under pullback and pushforward along open and closed immersions, a motivic t-structure is constructed. Exactness properties of these functors familiar from perverse sheaves are shown to hold in this context. The cohomological dimension of mixed Artin-Tate motives is two, and there is an equivalence of the triangulated category of Artin-Tate motives with the derived category of mixed Artin-Tate motives. Update in second version: a functorial and strict weight filtration for mixed Artin-Tate motives is established. Moreover, two minor corrections have been performed: first, the category of Artin-Tate motives is now defined to be the triangulated category generated by direct factors of $f_* \mathbf 1(n)$---as opposed to the thick category generated by these generators. Secondly, the exactness of $f^*$ for a finite map is only stated for etale maps $f$. △ Less

Submitted 5 August, 2010; v1 submitted 5 March, 2010; originally announced March 2010.

MSC Class: 19E15; 14F32

Journal ref: Journal of Pure and Applied Algebra 215 (2011) 2106-2118

f-cohomology and motives over number rings

Authors: Jakob Scholbach

Abstract: This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields, number fields and number rings, we show that the two extant definitions of f-cohomology of mixed motives $M_η$ over F--one via ramification conditions on $\ell$-adic… ▽ More This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields, number fields and number rings, we show that the two extant definitions of f-cohomology of mixed motives $M_η$ over F--one via ramification conditions on $\ell$-adic realizations, another one via the K-theory of proper regular models--both agree with motivic cohomology of $η_{!*} M_η[1]$. Here $η_{!*}$ is constructed by a limiting process in terms of intermediate extension functors $j_{!*}$ defined in analogy to perverse sheaves. △ Less

Submitted 16 March, 2015; v1 submitted 5 March, 2010; originally announced March 2010.

Comments: numbering has been updated to agree with the published version

MSC Class: 14F42

Journal ref: Kodai Mathematical Journal 35 (2012) 1--32

Special L-values of geometric motives

Authors: Jakob Scholbach

Abstract: This paper proposes a conjecture on special values of L-functions of geometric motives over Z. This includes L-functions of mixed motives over Q and Hasse-Weil zeta-functions of schemes over Z. We conjecture the following: the order of L(M, s) at s=0 is given by the negative Euler characteristic of motivic cohomology of $M^\vee(-1)$. Up to a nonzero rational factor, the L-value at s=0 is given by… ▽ More This paper proposes a conjecture on special values of L-functions of geometric motives over Z. This includes L-functions of mixed motives over Q and Hasse-Weil zeta-functions of schemes over Z. We conjecture the following: the order of L(M, s) at s=0 is given by the negative Euler characteristic of motivic cohomology of $M^\vee(-1)$. Up to a nonzero rational factor, the L-value at s=0 is given by the determinant of the pairing of Arakelov motivic cohomology of M with the motivic homology of M. Under standard assumptions concerning mixed motives over Q, $F_p$, and Z, this conjecture is essentially equivalent to the conjunction of Soulé's conjecture about pole orders of zeta-functions of schemes over Z, Beilinson's conjecture about special L-values for motives over Q and the Tate conjecture over $F_p$. △ Less

Submitted 3 August, 2015; v1 submitted 5 March, 2010; originally announced March 2010.

Comments: Final version. To appear in Asian Journal of Mathematics. Most recent changes: Corollary 0.3. (L-values of Artin-Tate motives), Theorem 4.5 (relation of Beilinson-Soulé vanishing vs. perfectness of Arakelov intersection pairing)

MSC Class: 11G40; 14F42