A proof of Grothendieck's base change theorem
We give an elementary short proof of Grothendieck's base change theorem for the cohomology of flat coherent sheaves.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Eduardo Tengan contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give an elementary short proof of Grothendieck's base change theorem for the cohomology of flat coherent sheaves.
Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,μ_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the $\Z/n$-length is equal to two. It follows that the Brauer dimension of $F$ is two (first proved in \cite{Sa97}), and any $F$-division algebra of period $n$ and index $n^2$ is decomposable.
We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To make our constructions, we investigate the lifting of cohomology classes from the total fraction ring of the closed fiber to the function field of the curve, over an arbitrary discrete valuation ring of mixed characteristic.
We construct indecomposable and noncrossed product division algebras over function fields of smooth curves X over Z_p. This is done by defining an index preserving morphism s:Br(\hat K(X))' -> Br(K(X))' which splits res:Br(K(X)) -> Br(\hat K(X)), where \hat K(X) is the completion of K(X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over \hat K(X).