Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Natural Sciences
  3. Mathematics
  4. Mathematics PhD theses
  5. P-Primary torsion of the brauer group in characteristic p
 
  • Details
P-Primary torsion of the brauer group in characteristic p
File(s)
Yuan-Y-2025-PhD-Thesis.pdf (693.74 KB)
Thesis
Author(s)
Yang, Yuan
Type
Thesis or dissertation
Abstract
Let X be a proper smooth variety over an algebraically closed field k of characteristic p > 0. This thesis studies the p-primary component of the Brauer group of X, denoted by Br(X)[p^∞]. In the first part, we start by recalling that Br(X)[p^∞]≅(Q_p/Z_p)^{r−ρ}⊕H^3(X,Z_p(1))[p^∞], where r denotes the multiplicity of slope 1 in H^2_{cris}(X/W ), and ρ is the Picard number of X. The term H^3(X, Z_p(1))[p∞] denotes the torsion part of the projective limit lim H^3_{fppf}(X, μ_{p^n}). By applying Illusie’s theory of logarithmic de Rham-Witt sheaves, we show that H^3(X,Z_p(1))[p^∞] fits into a short exact sequence 0→U(k)→H^3(X,Z_p(1))[p^∞]→J→0, where U is a connected commutative unipotent group over k and J is a finite group. We then review Crew's formula and Ekedahl's inequality, which provide information about the dimension of U.
In the second part, we employ a formula introduced by Skorobogatov to explicitly compute Br(A)[p^n] for certain abelian varieties. Using this approach, we determine the dimension of U [p], the p-torsion subgroup of U, for an arbitrary principally polarized abelian variety in terms of the Ekedahl-Oort type of A, when p ≠ 2. Combined with a calculation for non-polarized abelian varieties using Kraft’s cycles, this allows us to identify the isogeny class of U for all abelian threefolds. Finally, we propose a conjectural description of the isogeny class of U for an arbitrary supergeneral abelian variety.
The third part contains further applications, some conjectures and partial results in the direction of these conjectures. We relate the fppf cohomology of μpn to the crystalline cohomology at level n. In particular, we obtain an injectivity criterion that generalizes a result of Ogus. We establish smoothness of flat Artin–Mazur formal groups for all abelian threefolds and for a large class of abelian fourfolds, without relying on Ekedahl’s diagonal t-structure.
Version
Open Access
Date Issued
2025-07-09
Date Awarded
2025-11-01
URI
https://hdl.handle.net/10044/1/124274
DOI
https://doi.org/10.25560/124274
Copyright Statement
Attribution-NonCommercial 4.0 International Licence (CC BY-NC)
License URL
https://creativecommons.org/licenses/by-nc/4.0/
Advisor
Skorobogatov, Alexei
Sponsor
Engineering and Physical Sciences Research Council
Grant Number
EP/S021590/1
Publisher Department
Department of Mathematics
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
Doctor of Philosophy (PhD)
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback