English

On the Kodaira dimension of maximal orders

Algebraic Geometry 2021-08-11 v4

Abstract

Let \kk\kk be an algebraically closed field of characteristic zero and \KK\KK a finitely generated field over \kk\kk. Let Σ\Sigma be a central simple \KK\KK-algebra, XX a normal projective model of \KK\KK and Λ\Lambda a sheaf of maximal \OshX\Osh_X-orders in Σ\Sigma. There is a ramification \QQ\QQ-divisor Δ\Delta on XX, which is related to the canonical bimodule ωΛ\omega_\Lambda by an adjunction formula. It only depends on the class of Σ\Sigma in the Brauer group of \KK\KK. When the numerical abundance conjecture holds true, or when Σ\Sigma is a central simple algebra, we show that the Gelfand-Kirillov dimension (or GK dimension) of the canonical ring of Λ\Lambda is one more than the Iitaka dimension (or D-dimension) of the log pair (X,Δ)(X,\Delta). In the case that Σ\Sigma is a division algebra, we further show that this GK dimension is also one more than the transcendence degree of the division algebra of degree zero fractions of the canonical ring of Λ\Lambda. We prove that these dimensions are birationally invariant when the b-log pair determined by the ramification divisor has b-canonical singularities. In that case we refer to the Iitaka (or D-dimension) of (X,Δ)(X,\Delta) as the Kodaira dimension of the order Λ\Lambda. For this, we establish birational invariance of the Kodaira dimension of b-log pairs with b-canonical singularities. We also show that the Kodaira dimension can not decrease for an embedding of central simple algebras, finite dimensional over their centres, which induces a Galois extension of their centres, and satisfies a condition on the ramification which we call an effective embedding. For example, this condition holds if the target central simple algebra has the property that its period equals its index.

Keywords

Cite

@article{arxiv.1611.10278,
  title  = {On the Kodaira dimension of maximal orders},
  author = {Nathan Grieve and Colin Ingalls},
  journal= {arXiv preprint arXiv:1611.10278},
  year   = {2021}
}

Comments

Final version. Further corrections and improvements. Accepted by Adv. Math