Brauer groups and étale cohomology in derived algebraic geometry

DOI10.2140/GT.2014.18.1149zbMATH Open1308.14021arXiv1210.0290OpenAlexW2154607668MaRDI QIDQ2444366FDOQ2444366

Benjamin Antieau, David Gepner

Publication date: 9 April 2014

Published in: Geometry \& Topology (Search for Journal in Brave)

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 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 'etale local triviality of Azumaya algebras over connective derived schemes, and a local to global principle for the algebraicity of stacks of stable categories.

Full work available at URL: https://arxiv.org/abs/1210.0290

Recommendations

• Azumaya objects in triangulated bicategories
• The derived Brauer map via twisted sheaves
• Brauer spaces of spectral algebraic stacks
• Derived Azumaya algebras and generators for twisted derived categories
• Tannaka duality revisited
• Étale twists in noncommutative algebraic geometry and the twisted Brauer space
• A reconstruction theorem for abelian categories of twisted sheaves
• Pinching Azumaya algebras
• Loop spaces and connections
• Locally free twisted sheaves of infinite rank

zbMATH Keywords

moduli spacesAzumaya algebrasderived algebraic geometryBrauer groupscommutative ring spectra

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Brauer groups of schemes (14F22)

Cites Work

• A universal characterization of higher algebraic \(K\)-theory
• Some Elementary Examples of Unirational Varieties Which are Not Rational
• Three-dimensional flops and noncommutative rings
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Homotopy limits, completions and localizations
• Symmetric monoidal structure on non-commutative motives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• A proper base change theorem for non-torsion sheaves in étale cohomology
• Stable model categories are categories of modules
• Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersections et théorème de Riemann-Roch
• Integral transforms and Drinfeld centers in derived algebraic geometry
• Title not available (Why is that?)
• Derived Azumaya algebras and generators for twisted derived categories
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• Moduli of objects in dg-categories
• Title not available (Why is that?)
• Simplicial homotopy theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Brauer Group of a Commutative Ring
• Title not available (Why is that?)
• Singular support of coherent sheaves and the geometric Langlands conjecture
• The connection between the $K$-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Some theorems on azumaya algebras
• Coherence for tricategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• The stable homotopy category is rigid
• Picard groups of derived categories
• On Maximally Central Algebras
• Title not available (Why is that?)
• A uniqueness theorem for stable homotopy theory
• Brauer groups for commutative \(S\)-algebras
• Azumaya objects in triangulated bicategories
• Brauer groups and quotient stacks
• Title not available (Why is that?)
• Noncommutative geometry based on commutator expansions
• Homotopy theory of \(A_{\infty}\) ring spectra and applications to \(MU\)-modules
• The Brauer group of Burnside rings
• Topological Hochschild cohomology and generalized Morita equivalence.
• Azumaya categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (35)

• Brauer spaces for commutative rings and structured ring spectra
• Picard sheaves, local Brauer groups, and topological modular forms
• Descent for semiorthogonal decompositions
• Twisted iterated algebraic \(K\)-theory and topological T-duality for sphere bundles
• The Galois group of a stable homotopy theory
• A local-global principle for the telescope conjecture
• $K$-theoretic obstructions to bounded $t$-structures
• Étale twists in noncommutative algebraic geometry and the twisted Brauer space
• Brauer groups and Galois cohomology of commutative ring spectra
• The higher Morita category of \(\mathbb{E}_n\)-algebras
• Perfect complexes on algebraic stacks
• Brauer spaces of spectral algebraic stacks
• Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map
• \(K\)-theory of endomorphisms via noncommutative motives
• Embedding of the derived Brauer group into the secondary \(K\)-theory ring
• Noncommutative motives of separable algebras
• A categorification of the quantum Lefschetz principle
• The bigger Brauer group and étale cohomology
• Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
• An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action
• Counterexamples to Hochschild-Kostant-Rosenberg in characteristic p
• Kaledin's degeneration theorem and topological Hochschild homology
• Noncommutative homological projective duality
• Brauer groups for commutative \(S\)-algebras
• Derived Azumaya algebras and twisted \(K\)-theory
• Twisted differential cohomology
• The cohomological Brauer group of weighted projective spaces and stacks
• The derived Brauer map via twisted sheaves
• Title not available (Why is that?)
• Higher traces, noncommutative motives, and the categorified Chern character
• Azumaya objects in triangulated bicategories
• Title not available (Why is that?)
• Weibel's conjecture for twisted \(K\)-theory
• Derived \(F\)-zips
• The Morel-Voevodsky localization theorem in spectral algebraic geometry

This page was built for publication: Brauer groups and étale cohomology in derived algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2444366)