BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Benjamin Antieau appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 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ł.
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 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 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.
We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes.
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.
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.
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.
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.
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.
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 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.
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.
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.
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$.
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 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 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.
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.
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."
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.
We show how work of Rickard and Toën completely resolves the question of when two twisted affine schemes are derived equivalent.
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.
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.
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.
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.
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.
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.
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.