Showing 1–47 of 47 results for author: Antieau, B

On the $K$-theory of $\mathbf{Z}/p^n$

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well a… ▽ More We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Prismatic cohomology relative to $δ$-rings

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: We develop prismatic and syntomic cohomology relative to a $δ$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $δ$-ring. We give several possible definitions of our new version of prismatic cohomology… ▽ More We develop prismatic and syntomic cohomology relative to a $δ$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $δ$-ring. We give several possible definitions of our new version of prismatic cohomology: a site theoretic definition, one using prismatic crystals, and a stack theoretic definition. These are equivalent under mild syntomicity hypotheses. As an application, we note how the theory of prismatic cohomology of filtered rings arises naturally in this context. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Spherical Witt vectors and integral models for spaces

Authors: Benjamin Antieau

Abstract: We give a new construction of the spherical Witt vector functor of Lurie and Burklund-Schlank-Yuan and extend it to nonconnective objects using synthetic spectra and recent work of Holeman. The spherical Witt vectors are used to build spherical versions of perfect $λ$-rings and to motivate new results in Grothendieck's schematization program, building on work of Ekedahl, Kriz, Mandell, Lurie, Quil… ▽ More We give a new construction of the spherical Witt vector functor of Lurie and Burklund-Schlank-Yuan and extend it to nonconnective objects using synthetic spectra and recent work of Holeman. The spherical Witt vectors are used to build spherical versions of perfect $λ$-rings and to motivate new results in Grothendieck's schematization program, building on work of Ekedahl, Kriz, Mandell, Lurie, Quillen, Sullivan, Toën, and Yuan. In particular, there is an $\infty$-category of perfect derived $λ$-rings with trivializations of the Adams operations $ψ^p$ for all $p$ such that the functor sending a space $X$ to its integral cochains on $X$, viewed as such a derived $λ$-ring, is fully faithful on a large class of nilpotent spaces. Our theorem is closely related to recent work of Horel and Kubrak-Shuklin-Zakharov. Finally, we answer two questions of Yuan on spherical cochains. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: comments welcome

Picard sheaves, local Brauer groups, and topological modular forms

Authors: Benjamin Antieau, Lennart Meier, Vesna Stojanoska

Abstract: We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group. We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 41 pages

Report number: HIM-Spectral-2022 MSC Class: 14F22; 14H52; 14K10; 55N34

On the K-theory of $\mathbb{Z}/p^n$ -- announcement

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees. We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: Comments welcome!

The K-theory of perfectoid rings

Authors: Benjamin Antieau, Akhil Mathew, Matthew Morrow

Abstract: We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the p-adic K-theory of the p-adic generic fibre in high degrees. In the case of smooth algebras over perfectoid valuation rings of mixed characteristic the latter… ▽ More We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the p-adic K-theory of the p-adic generic fibre in high degrees. In the case of smooth algebras over perfectoid valuation rings of mixed characteristic the latter isomorphism holds in all degrees and generalises a result of Nizioł. △ Less

Submitted 12 March, 2022; originally announced March 2022.

Comments: comments welcome

Explicit descent on elliptic curves and splitting Brauer classes

Authors: Benjamin Antieau, Asher Auel

Abstract: We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem of splitting $μ_N$-gerbes, we use crucial input from the arithmetic of modular curves and explicit $N$-descent on elliptic curves. We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem of splitting $μ_N$-gerbes, we use crucial input from the arithmetic of modular curves and explicit $N$-descent on elliptic curves. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Comments: 31 pages, comments very welcome!

MSC Class: 11G05; 11R37; 14F22; 14G35; 16K20

On the Beilinson fiber square

Authors: Benjamin Antieau, Akhil Mathew, Matthew Morrow, Thomas Nikolaus

Abstract: Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded p… ▽ More Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded pieces with the syntomic cohomology of Fontaine-Messing. △ Less

Submitted 29 September, 2021; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: many minor updates based on referee reports; new, simplified proof of integral comparison theorem for syntomic cohomology

MSC Class: 14F30; 14F40; 19D55; 19E15

The topological period-index conjecture

Authors: Benjamin Antieau, Ben Williams

Abstract: We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes. We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: comments welcome

MSC Class: 14F22; 19L50; 55R40

Valuation rings are derived splinters

Authors: Benjamin Antieau, Rankeya Datta

Abstract: We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the second author's PhD thesis and which we reprise here), and a proof by approximation which reduces the problem to Bhatt's proof of the derived direct summand conjectu… ▽ More We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the second author's PhD thesis and which we reprise here), and a proof by approximation which reduces the problem to Bhatt's proof of the derived direct summand conjecture. The approximation property also shows that smooth algebras over valuation rings are splinters. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 24 pages; comments very welcome

MSC Class: 14B05; 13D09; 13D22; 13A18

Descent for semiorthogonal decompositions

Authors: Benjamin Antieau, Elden Elmanto

Abstract: We prove descent theorems for semiorthogonal decompositions using techniques from derived algebraic geometry. Our methods allow us to capture more general filtrations of derived categories and even marked filtrations, where one descends not only admissible subcategories but also preferred objects. We prove descent theorems for semiorthogonal decompositions using techniques from derived algebraic geometry. Our methods allow us to capture more general filtrations of derived categories and even marked filtrations, where one descends not only admissible subcategories but also preferred objects. △ Less

Submitted 9 January, 2021; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: Various minor changes, new example from Hodge theory; to appear in Advances in Mathematics

Report number: CPH-SYM-DNRF92 MSC Class: 14F05; 14F22; 14M17; 18E30

Counterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$

Authors: Benjamin Antieau, Bhargav Bhatt, Akhil Mathew

Abstract: We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$, both in the untwisted and twisted settings. We also prove that the de Rham--$\mathrm{HP}$ and crystalline--$\mathrm{TP}$ spectral sequences need not degenerate. We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$, both in the untwisted and twisted settings. We also prove that the de Rham--$\mathrm{HP}$ and crystalline--$\mathrm{TP}$ spectral sequences need not degenerate. △ Less

Submitted 15 February, 2021; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: v2: 29 pages, minor updates, comments still welcome

MSC Class: 13D03; 14F40; 16E40; 19D55

Derived invariants from topological Hochschild homology

Authors: Benjamin Antieau, Daniel Bragg

Abstract: We consider derived invariants of varieties in positive characteristic arising from topological Hochschild homology. Using theory developed by Ekedahl and Illusie-Raynaud in their study of the slope spectral sequence, we examine the behavior under derived equivalences of various $p$-adic quantities related to Hodge-Witt and crystalline cohomology groups, including slope numbers, domino numbers, an… ▽ More We consider derived invariants of varieties in positive characteristic arising from topological Hochschild homology. Using theory developed by Ekedahl and Illusie-Raynaud in their study of the slope spectral sequence, we examine the behavior under derived equivalences of various $p$-adic quantities related to Hodge-Witt and crystalline cohomology groups, including slope numbers, domino numbers, and Hodge-Witt numbers. As a consequence, we obtain restrictions on the Hodge numbers of derived equivalent varieties, partially extending results of Popa-Schell to positive characteristic. △ Less

Submitted 28 June, 2019; originally announced June 2019.

Comments: Comments welcome

MSC Class: 14F30; 14F40; 19D55

Rational points and derived equivalence

Authors: Nicolas Addington, Benjamin Antieau, Sarah Frei, Katrina Honigs

Abstract: We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over Q and F_q(t), and conclude with a pair of hyperkaehler 4-folds over Q. The latter is independently interesting as a new example of a transcendental Brauer-Manin obstruction to the Hasse princip… ▽ More We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over Q and F_q(t), and conclude with a pair of hyperkaehler 4-folds over Q. The latter is independently interesting as a new example of a transcendental Brauer-Manin obstruction to the Hasse principle. △ Less

Submitted 16 December, 2020; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: 20 pages, magma code as ancillary files. final version to appear in Compositio Math

Journal ref: Compositio Math. 157 (2021) 1036-1050

On the uniqueness of infinity-categorical enhancements of triangulated categories

Authors: Benjamin Antieau

Abstract: We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work on the subject by Lunts--Orlov and Canonaco--Stellari. We also give a wide range of examples involving quasi-coherent sheaves, categories of almost modules, and… ▽ More We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work on the subject by Lunts--Orlov and Canonaco--Stellari. We also give a wide range of examples involving quasi-coherent sheaves, categories of almost modules, and local cohomology to illustrate the theory of prestable infinity-categories. Finally, we propose a theory of stable $n$-categories which would interpolate between triangulated categories and stable infinity-categories. △ Less

Submitted 18 March, 2021; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: Updates and corrections to Section 8; discussion of recent results of Canonaco, Neeman, and Stellari

MSC Class: 14A30; 14F08; 18E05; 18E10; 18G80

Cartier modules and cyclotomic spectra

Authors: Benjamin Antieau, Thomas Nikolaus

Abstract: We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of de… ▽ More We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of derived V-complete objects in the abelian category of p-typical Cartier modules. △ Less

Submitted 12 January, 2020; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: Final version; to appear in J. AMS

MSC Class: 14F30; 14L05; 13D03

Periodic cyclic homology and derived de Rham cohomology

Authors: Benjamin Antieau

Abstract: We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze fo… ▽ More We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze for $p$-complete negative cyclic and periodic cyclic homology in the quasisyntomic case. △ Less

Submitted 15 August, 2018; originally announced August 2018.

Comments: Comments welcome

MSC Class: 14F30; 14L05; 13D03

Journal ref: Ann. K-Th. 4 (2019) 505-519

A remark on the Hochschild-Kostant-Rosenberg theorem in characteristic p

Authors: Benjamin Antieau, Gabriele Vezzosi

Abstract: We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $\dim X\leq p$. The best known previous result of this kind, due to Yekutieli, required $\dim X<p$. Yekutieli's result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $\dim X<p$. Our extension to $\dim X=p$ requires… ▽ More We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $\dim X\leq p$. The best known previous result of this kind, due to Yekutieli, required $\dim X<p$. Yekutieli's result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $\dim X<p$. Our extension to $\dim X=p$ requires a homological fact: the Hochschild homology of a smooth proper scheme is self-dual. △ Less

Submitted 16 October, 2017; originally announced October 2017.

On the Blumberg-Mandell Künneth theorem for TP

Authors: Benjamin Antieau, Akhil Mathew, Thomas Nikolaus

Abstract: We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories. We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories. △ Less

Submitted 30 July, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 20 pages, revised version. To appear in Selecta Mathematica

MSC Class: 14F30; 16E40; 19D55

Some remarks on topological $K$-theory of dg categories

Authors: Benjamin Antieau, Jeremiah Heller

Abstract: Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study étale descent of topological K-theory of dg categories. Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study étale descent of topological K-theory of dg categories. △ Less

Submitted 11 February, 2018; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: Final version; to appear in Proceedings of the AMS

Period-index bounds for arithmetic threefolds

Authors: Benjamin Antieau, Asher Auel, Colin Ingalls, Daniel Krashen, Max Lieblich

Abstract: The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the… ▽ More The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the first uniform period-index bounds over such fields. △ Less

Submitted 11 January, 2019; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: Final version, to appear in Inventiones

MSC Class: 14F22; 14J20; 16K50

Journal ref: Inventiones Mathematicae 26 (2019), no. 2, 301-335

K-theoretic obstructions to bounded t-structures

Authors: Benjamin Antieau, David Gepner, Jeremiah Heller

Abstract: Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$ vanishes when $E$ is a small stable $\infty$-category with a bounded t-structure and that $K_{-n}(E)$ vanishes for all $n\geq 1$ when additionally the heart of $E$ i… ▽ More Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$ vanishes when $E$ is a small stable $\infty$-category with a bounded t-structure and that $K_{-n}(E)$ vanishes for all $n\geq 1$ when additionally the heart of $E$ is noetherian. It follows that Barwick's theorem of the heart holds for nonconnective K-theory spectra when the heart is noetherian. We give several applications, to non-existence results for bounded t-structures and stability conditions, to possible K-theoretic obstructions to the existence of the motivic t-structure, and to vanishing results for the negative K-groups of a large class of dg algebras and ring spectra. △ Less

Submitted 7 December, 2018; v1 submitted 23 October, 2016; originally announced October 2016.

Comments: Final version, to appear in Inventiones

MSC Class: 16E45; 18E30; 19D35

The Brauer group of the moduli stack of elliptic curves

Authors: Benjamin Antieau, Lennart Meier

Abstract: We compute the Brauer group of the moduli stack of elliptic curves over the integers, localizations of the integers, finite fields of odd characteristic, and algebraically closed fields of characteristic not $2$. The methods involved include the use of the parameter space of Legendre curves and the moduli stack of curves with full (naive) level $2$ structure, the study of the descent spectral sequ… ▽ More We compute the Brauer group of the moduli stack of elliptic curves over the integers, localizations of the integers, finite fields of odd characteristic, and algebraically closed fields of characteristic not $2$. The methods involved include the use of the parameter space of Legendre curves and the moduli stack of curves with full (naive) level $2$ structure, the study of the descent spectral sequence in étale cohomology and the Leray spectral sequence in fppf cohomology, the computation of the group cohomology of $S_3$ in a certain integral representation, the classification of cubic Galois extensions of the field of rational numbers, the computation of Hilbert symbols in the ramified case for the primes $2$ and $3$, and finding $p$-adic elliptic curves with specified properties. △ Less

Submitted 5 May, 2020; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: minor corrections; to appear in Algebra & Number Theory

MSC Class: 14F22; 14H52; 14K10

Journal ref: Alg. Number Th. 14 (2020) 2295-2333

A primer for unstable motivic homotopy theory

Authors: Benjamin Antieau, Elden Elmanto

Abstract: In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine varieties. Our focus is on making these techniques more accessible to algebraic geometers. In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine varieties. Our focus is on making these techniques more accessible to algebraic geometers. △ Less

Submitted 7 November, 2016; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: Many updates and corrections, 58 pages, to appear in the proceedings volume "Bootcamp for the 2015 Algebraic Geometry Summer Research Institute (Utah, 2015)"

MSC Class: 13C10; 14F42; 19D06

Prime decomposition for the index of a Brauer class

Authors: Benjamin Antieau, Ben Williams

Abstract: We prove that the index of a Brauer class satisfies prime decomposition over a general base scheme. This contrasts with our previous result that there is no general prime decomposition of Azumaya algebras. We prove that the index of a Brauer class satisfies prime decomposition over a general base scheme. This contrasts with our previous result that there is no general prime decomposition of Azumaya algebras. △ Less

Submitted 13 October, 2015; originally announced October 2015.

Comments: submitted

MSC Class: 14F22; 16K50

Derived categories of representations of small categories over commutative noetherian rings

Authors: Benjamin Antieau, Greg Stevenson

Abstract: We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategorie… ▽ More We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategories of the derived category, a complete description of the thick subcategories of the perfect complexes and show the telescope conjecture holds. We also present some results concerning the telescope conjecture more generally. △ Less

Submitted 28 October, 2015; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: 18 pages, minor updates based on referee comments

MSC Class: Primary: 16E35; 16G20; Secondary: 13D09; 18G55

Journal ref: Pacific J. Math. 283 (2016) 21-42

On the integral Tate conjecture for finite fields and representation theory

Authors: Benjamin Antieau

Abstract: We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying space of some group BG. Unlike the other examples, we find groups of type A_n, our proof relies heavily on representation theory, and Milnor's operations vanish… ▽ More We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying space of some group BG. Unlike the other examples, we find groups of type A_n, our proof relies heavily on representation theory, and Milnor's operations vanish on the classes we construct. △ Less

Submitted 28 May, 2015; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: final version, minor typos corrected, 12 pages, to appear in Algebraic Geometry

On localization sequences in the algebraic K-theory of ring spectra

Authors: Benjamin Antieau, Tobias Barthel, David Gepner

Abstract: We identify the $K$-theoretic fiber of a localization of ring spectra in terms of the $K$-theory of the endomorphism algebra spectrum of a Koszul-type complex. Using this identification, we provide a negative answer to a question of Rognes for $n>1$ by comparing the traces of the fiber of the map $K(BP(n))\rightarrow K(E(n))$ and of $K(BP(n-1))$ in rational topological Hochschild homology. We identify the $K$-theoretic fiber of a localization of ring spectra in terms of the $K$-theory of the endomorphism algebra spectrum of a Koszul-type complex. Using this identification, we provide a negative answer to a question of Rognes for $n>1$ by comparing the traces of the fiber of the map $K(BP(n))\rightarrow K(E(n))$ and of $K(BP(n-1))$ in rational topological Hochschild homology. △ Less

Submitted 13 July, 2017; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: final version, to appear in the Journal of the European Mathematical Society

MSC Class: Primary: 19D55; 55P43; Secondary: 16E40; 18E30; 19D10

Maximal orders in unramified central simple algebras

Authors: Benjamin Antieau, Kenneth Chan

Abstract: Using depth of coherent sheaves on noetherian algebraic stacks, we construct non-Azumaya maximal orders in unramified central simple algebras over schemes of dimension at least $3$. Using depth of coherent sheaves on noetherian algebraic stacks, we construct non-Azumaya maximal orders in unramified central simple algebras over schemes of dimension at least $3$. △ Less

Submitted 5 December, 2014; originally announced December 2014.

Comments: submitted

MSC Class: 16H10; 13C15; 14D23

Derived categories of torsors for abelian schemes

Authors: Benjamin Antieau, Daniel Krashen, Matthew Ward

Abstract: In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither occurs over an algebraically closed field. We give necessary and sufficient conditions for two genus $1$ curves to be derived equivalent, and we go on to study when… ▽ More In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither occurs over an algebraically closed field. We give necessary and sufficient conditions for two genus $1$ curves to be derived equivalent, and we go on to study when two principal homogeneous spaces for an abelian variety have equivalent derived categories. We apply our results to study twisted derived equivalences of the form $D^b(J,α)\simeq D^b(J,β)$, when $J$ is an elliptic fibration, giving a partial answer to a question of Căldăraru. △ Less

Submitted 8 September, 2014; originally announced September 2014.

Comments: submitted; 22 pages

The prime divisors of the period and index of a Brauer class

Authors: Benjamin Antieau, Ben Williams

Abstract: We show that in locally-ringed connected topoi the primes dividing the period and index of a Brauer class coincide. The result applies in particular to Brauer classes on connected schemes, algebraic stacks, topological spaces and to the projective representation theory of profinite groups. We show that in locally-ringed connected topoi the primes dividing the period and index of a Brauer class coincide. The result applies in particular to Brauer classes on connected schemes, algebraic stacks, topological spaces and to the projective representation theory of profinite groups. △ Less

Submitted 6 August, 2014; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: This is a concise version. A longer version exists, the additions being largely background material on topoi that the authors had to teach themselves in order to write the paper. It may be obtained on the second-named author's website, and possibly elsewhere

MSC Class: 14F22; 12G05; 16K50

Topology and purity for torsors

Authors: Benjamin Antieau, Ben Williams

Abstract: We study the homotopy theory of the classifying space of the complex projective linear groups to prove that purity fails for $PGL_p$-torsors on regular noetherian schemes when $p$ is a prime. Extending our previous work when $p=2$, we obtain a negative answer to a question of Colliot-Thélène and Sansuc, for all $PGL_p$. We also give a new example of the failure of purity for the cohomological filt… ▽ More We study the homotopy theory of the classifying space of the complex projective linear groups to prove that purity fails for $PGL_p$-torsors on regular noetherian schemes when $p$ is a prime. Extending our previous work when $p=2$, we obtain a negative answer to a question of Colliot-Thélène and Sansuc, for all $PGL_p$. We also give a new example of the failure of purity for the cohomological filtration on the Witt group, which is the first example of this kind of a variety over an algebraically closed field. △ Less

Submitted 4 May, 2015; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: updated after referee's suggestions; to appear in Documenta Math

Twisted derived equivalences for affine schemes

Authors: Benjamin Antieau

Abstract: We show how work of Rickard and Toën completely resolves the question of when two twisted affine schemes are derived equivalent. We show how work of Rickard and Toën completely resolves the question of when two twisted affine schemes are derived equivalent. △ Less

Submitted 10 November, 2013; originally announced November 2013.

Comments: submitted to proceedings; primarily expository; 5 pages

A reconstruction theorem for abelian categories of twisted sheaves

Authors: Benjamin Antieau

Abstract: We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of Toën on derived Azumaya algebras, we give a proof of Căldăraru's conjecture. We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of Toën on derived Azumaya algebras, we give a proof of Căldăraru's conjecture. △ Less

Submitted 1 November, 2013; v1 submitted 11 May, 2013; originally announced May 2013.

Comments: 14 pages; to appear in J. Reine Angew. Math.; previously entitled "Caldararu's conjecture on abelian categories of twisted sheaves"

A local-global principle for the telescope conjecture

Authors: Benjamin Antieau

Abstract: We prove an etale local-global principle for the telescope conjecture and use it to show that the telescope conjecture holds for derived categories of Azumaya algebras on noetherian schemes as well as for many classifying stacks and gerbes. This specializes to give another proof of the fact that the telescope conjecture holds for noetherian schemes. We prove an etale local-global principle for the telescope conjecture and use it to show that the telescope conjecture holds for derived categories of Azumaya algebras on noetherian schemes as well as for many classifying stacks and gerbes. This specializes to give another proof of the fact that the telescope conjecture holds for noetherian schemes. △ Less

Submitted 28 December, 2013; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: to appear in Adv. Math

MSC Class: Primary: 16E35; 18E30. Secondary: 14F22; 18G55

Etale twists in noncommutative algebraic geometry and the twisted Brauer space

Authors: Benjamin Antieau

Abstract: This paper studies etale twists of derived categories of schemes and associative algebras. A general method, based on a new construction called the twisted Brauer space, is given for classifying etale twists, and a complete classification is carried out for genus 0 curves, quadrics, and noncommutative projective spaces. A partial classification is given for curves of higher genus. The techniques b… ▽ More This paper studies etale twists of derived categories of schemes and associative algebras. A general method, based on a new construction called the twisted Brauer space, is given for classifying etale twists, and a complete classification is carried out for genus 0 curves, quadrics, and noncommutative projective spaces. A partial classification is given for curves of higher genus. The techniques build upon my recent work with David Gepner on the Brauer groups of commutative ring spectra. △ Less

Submitted 17 April, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: corrected an error in a corollary; 25 pages; submitted; comments welcomed

MSC Class: Primary: 14F22; 18E30. Secondary: 14D20; 14F05; 16E40

Brauer groups and étale cohomology in derived algebraic geometry

Authors: Benjamin Antieau, David Gepner

Abstract: In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer group in several examples. In particular, we show that the Brauer group of the sphere spectrum vanishes, and we use this to prove two uniqueness theorems for the… ▽ More In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer group in several examples. In particular, we show that the Brauer group of the sphere spectrum vanishes, and we use this to prove two uniqueness theorems for the stable homotopy category. Our key technical results include the local geometricity, in the sense of Artin n-stacks, of the moduli space of perfect modules over a smooth and proper algebra, the étale local triviality of Azumaya algebras over connective derived schemes, and a local to global principle for the algebraicity of stacks of stable categories. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Comments: 71 pages; submitted; comments welcomed

MSC Class: 14F22; 18G55

Journal ref: Geom. Topol. 18 (2014) 1149-1244

On the classification of oriented 3-plane bundles over a 6-complex

Authors: Benjamin Antieau, Ben Williams

Abstract: In this short note, we complete the description of low-degree characteristic classes of oriented 3-plane bundles over a 6-complex. Our goal is to point out and correct an error in L. M. Woodward's 1982 paper "The classification of principal PU_n-bundles over a 4-complex." In this short note, we complete the description of low-degree characteristic classes of oriented 3-plane bundles over a 6-complex. Our goal is to point out and correct an error in L. M. Woodward's 1982 paper "The classification of principal PU_n-bundles over a 4-complex." △ Less

Submitted 30 August, 2013; v1 submitted 11 September, 2012; originally announced September 2012.

Comments: submitted

MSC Class: 55R15

Unramified division algebras do not always contain Azumaya maximal orders

Authors: Benjamin Antieau, Ben Williams

Abstract: We show that, in general, over a regular integral noetherian affine scheme X of dimension at least 6, there exist Brauer classes on X for which the associated division algebras over the generic point have no Azumaya maximal orders over X. Despite the algebraic nature of the result, our proof relies on the topology of classifying spaces of algebraic groups. We show that, in general, over a regular integral noetherian affine scheme X of dimension at least 6, there exist Brauer classes on X for which the associated division algebras over the generic point have no Azumaya maximal orders over X. Despite the algebraic nature of the result, our proof relies on the topology of classifying spaces of algebraic groups. △ Less

Submitted 3 July, 2013; v1 submitted 11 September, 2012; originally announced September 2012.

Comments: Expanded introduction; to appear in Invent. Math

MSC Class: 14F22; 16H05

The topological period-index problem over 6-complexes

Authors: Benjamin Antieau, Ben Williams

Abstract: By comparing the Postnikov towers of the classifying spaces of projective unitary groups and the differentials in a twisted Atiyah-Hirzebruch spectral sequence, we deduce a lower bound on the topological index in terms of the period, and solve the topological version of the period-index problem in full for finite CW complexes of dimension at most 6. Conditions are established that, if they were me… ▽ More By comparing the Postnikov towers of the classifying spaces of projective unitary groups and the differentials in a twisted Atiyah-Hirzebruch spectral sequence, we deduce a lower bound on the topological index in terms of the period, and solve the topological version of the period-index problem in full for finite CW complexes of dimension at most 6. Conditions are established that, if they were met in the cohomology of a smooth complex 3-fold variety, would disprove the ordinary period-index conjecture. Examples of higher-dimensional varieties meeting these conditions are provided. We use our results to furnish an obstruction to realizing a period-2 Brauer class as the class associated to a sheaf of Clifford algebras, and varieties are constructed for which the total Clifford invariant map is not surjective. No such examples were previously known. △ Less

Submitted 29 August, 2013; v1 submitted 22 August, 2012; originally announced August 2012.

Comments: To appear in J. Top

MSC Class: 14F22; 19L50

Serre-Godeaux varieties and the etale index

Authors: Benjamin Antieau, Ben Williams

Abstract: We use the Serre-Godeaux varieties of finite groups, projective representation theory, the twisted Atiyah-Segal completion theorem, and our previous work on the topological period-index problem to compute the etale index of Brauer classes alpha in some specific examples. In particular, these computations show that the etale index of alpha differs from the period of alpha in general. As an applicat… ▽ More We use the Serre-Godeaux varieties of finite groups, projective representation theory, the twisted Atiyah-Segal completion theorem, and our previous work on the topological period-index problem to compute the etale index of Brauer classes alpha in some specific examples. In particular, these computations show that the etale index of alpha differs from the period of alpha in general. As an application, we compute the index of unramified classes in the function fields of high-dimensional Serre-Godeaux varieties in terms of projective representation theory. △ Less

Submitted 7 May, 2012; originally announced May 2012.

Comments: Submitted, 7 pages, comments welcome

Actions of Eilenberg-MacLane spaces on K-theory spectra and uniqueness of twisted K-theory

Authors: Benjamin Antieau, David Gepner, José Manuel Gómez

Abstract: We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra. We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra. △ Less

Submitted 13 October, 2011; v1 submitted 24 June, 2011; originally announced June 2011.

Comments: 16 pages, submitted

MSC Class: 19L50; 55N15

The period-index problem for twisted topological K-theory

Authors: Benjamin Antieau, Ben Williams

Abstract: We introduce and solve a period-index problem for the Brauer group of a topological space. The period-index problem is to relate the order of a class in the Brauer group to the degrees of Azumaya algebras representing it. For any space of dimension d, we give upper bounds on the index depending only on d and the order of the class. By the Oka principle, this also solves the period-index problem fo… ▽ More We introduce and solve a period-index problem for the Brauer group of a topological space. The period-index problem is to relate the order of a class in the Brauer group to the degrees of Azumaya algebras representing it. For any space of dimension d, we give upper bounds on the index depending only on d and the order of the class. By the Oka principle, this also solves the period-index problem for the analytic Brauer group of any Stein space that has the homotopy type of a finite CW-complex. Our methods use twisted topological K-theory, which was first introduced by Donovan and Karoubi. We also study the cohomology of the projective unitary groups to give cohomological obstructions to a class being represented by an Azumaya algebra of degree n. Applying this to the finite skeleta of the Eilenberg-MacLane space K(Z/l,2), where l is a prime, we construct a sequence of spaces with an order l class in Br, but whose indices tend to infinity. △ Less

Submitted 17 December, 2013; v1 submitted 24 April, 2011; originally announced April 2011.

Comments: To appear in Geometry & Topology; minor cosmetic changes

MSC Class: 19L50; 16K50; 57T10; 55Q10; 55S35

Journal ref: Geom. Topol. 18 (2014) 1115-1148

On a theorem of Hazrat and Hoobler

Authors: Benjamin Antieau

Abstract: We use cycle complexes with coefficients in an Azumaya algebra, as developed by Kahn and Levine, to compare the G-theory of an Azumaya algebra to the G-theory of the base scheme. We obtain a sharper version of a theorem of Hazrat and Hoobler in certain cases. We use cycle complexes with coefficients in an Azumaya algebra, as developed by Kahn and Levine, to compare the G-theory of an Azumaya algebra to the G-theory of the base scheme. We obtain a sharper version of a theorem of Hazrat and Hoobler in certain cases. △ Less

Submitted 5 April, 2011; originally announced April 2011.

Comments: submitted

MSC Class: 14F22; 19Dxx

Galois theory of difference equations with periodic parameters

Authors: Benjamin Antieau, Alexey Ovchinnikov, Dmitry Trushin

Abstract: We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this to constructively test if solutions of linear q-difference equations, with complex q, not a root of unity, satisfy any polynomial q'-difference equations with q' being a root of unity. We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this to constructively test if solutions of linear q-difference equations, with complex q, not a root of unity, satisfy any polynomial q'-difference equations with q' being a root of unity. △ Less

Submitted 23 April, 2014; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 42 pages

MSC Class: 12H10; 13N99; 20H25; 39A13

Journal ref: Communications in Algebra, Volume 42(9), 2014, pp 3902-3943

Cech approximation to the Brown-Gersten spectral sequence

Authors: Benjamin Antieau

Abstract: In this paper, we show that the etale index of a torsion cohomological Brauer class is divisible by the period of the class. The tool used to make this computation is the Cech approximation of the title. To create the approximation, we use the folklore theorem that the homotopy limit and Postnikov spectral sequences for a cosimplicial space agree beginning with the E2-page. As far we know, this fo… ▽ More In this paper, we show that the etale index of a torsion cohomological Brauer class is divisible by the period of the class. The tool used to make this computation is the Cech approximation of the title. To create the approximation, we use the folklore theorem that the homotopy limit and Postnikov spectral sequences for a cosimplicial space agree beginning with the E2-page. As far we know, this folklore theorem has no proof in the literature, so we include a proof. △ Less

Submitted 7 February, 2011; v1 submitted 18 December, 2009; originally announced December 2009.

Comments: submitted

MSC Class: 14F22; 18G40

Cohomological obstruction theory for Brauer classes and the period-index problem

Authors: Benjamin Antieau

Abstract: Let U be a connected scheme of finite cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that alpha is a class in H^2(U_et,Gm)_{tors}. For each positive integer m, the K-theory of alpha-twisted sheaves is used to identify obstructions to alpha being representable by an Azumaya algebra of rank m^2. The etale index of alpha, denoted eti(alph… ▽ More Let U be a connected scheme of finite cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that alpha is a class in H^2(U_et,Gm)_{tors}. For each positive integer m, the K-theory of alpha-twisted sheaves is used to identify obstructions to alpha being representable by an Azumaya algebra of rank m^2. The etale index of alpha, denoted eti(alpha), is the least positive integer such that all the obstructions vanish. Let per(alpha) be the order of alpha in H^2(U_{et},Gm)_{tors}. Methods from stable homotopy theory give an upper bound on the etale index that depends on the period of alpha and the etale cohomological dimension of U; this bound is expressed in terms of the exponents of the stable homotopy groups of spheres and the exponents of the stable homotopy groups of B(Z/per(alpha)). As a corollary, if U is the spectrum of a field of finite cohomological dimension d, then eti(alpha) divides per(alpha)^[d/2], where [d/2] is the integer part of d/2, whenever per(alpha) is divided neither by the characteristic of k nor by any primes that are small relative to d. △ Less

Submitted 12 July, 2010; v1 submitted 12 September, 2009; originally announced September 2009.

Comments: 15 pages. To appear in J. K-Theory

MSC Class: 14F22; 16K50 (Primary) 19D23; 55Q10; 55Q45 (Secondary)