Riemann-Roch theorem for locally principal orders
type: Item
instance of: scholarly article
title: Riemann-Roch theorem for locally principal orders
zbMATH Open document ID: 0596.14004
DOI: 10.1007/BF01456982
author: B. George
published in: Mathematische Annalen
publication date: 1987-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164217
review text: Let C be a smooth integral projective curve over a field k algebraically closed in the field K of rational functions on C. Let M and L be C-vector bundles of \(rank\quad n\) on \(V=K^ n\). Then the Riemann-Roch theorem says that \(\ell (L)=\deg_ ML+\ell (L^{\omega})-g_ M+1,\) where \(\ell (L)=\dim_ MH^ 0(C,L)\), \(L^{\omega}={\mathcal H}om(L,\omega_ C)\), \(\omega_ C\) is the canonical sheaf on C, \(g_ M=\dim_ kH^ 1(C,M)- \dim_ kH^ 0(C,M)+1\), and \(\deg_ ML\) is the appropriately defined degree of L with respect to M. Usually, \(M\cong {\mathcal O}^ n_ C\), \(\deg_ ML=\deg \bigwedge^ n(L)\), and then \(g_ M=ng_ C-n+1\), where \(g_ C\) is the genus of C. If V has an additional structure, the choice of M may depend on it. For example, Witt's version of the Riemann-Roch theorem [\textit{E. Witt}, Math. Ann. 110, 12-28 (1934; Zbl 0009.19301)] is concerned with the case of central simple K-algebras V and maximal C-orders M in V (that is, C- bundles M such that \(M_ x\) is a subring of V containing the local ring \({\mathfrak O}_{x,C}\) for each \(x\in C\), and not properly contained in any M' having the same properties). In this case, \(\deg_ ML=\deg N(L)\), where L is an M-ideal on V, and N is the norm function from V to K. Moreover, \(L^{\omega}\) can be computed in terms of the inverse \(L^{- 1}\) to L. Here we prove an extension of the Riemann-Roch-Witt theorem to arbitrary finite dimensional semisimple separable K-algebras and to a class of orders M which still allow to compute \(\deg_ ML\) and \(L^{\omega}\) in terms of the multiplicative structure of M as for maximal orders. These orders are characterized in different ways and a specific structural description of them is given. One of the characterizations says that M is such an order if and only if for each M-ideal L on V, which is not an ideal for an order properly containing M, the completion \(\hat L_ x\) is a principal \(\hat M_ x\)-ideal for each \(x\in C\).
Mathematics Subject Classification ID: 14C40
Mathematics Subject Classification ID: 16H05
zbMATH DE Number: 3959611
zbMATH Keywords: Riemann-Roch-Witt theorem
zbMATH Keywords: finite dimensional semisimple separable K-algebras
zbMATH Keywords: maximal orders
MaRDI profile type: Publication
cites work: Q3922829
cites work: Introduction to multiplicative theory of modules of integral representations
cites work: Q4143433
cites work: Submodules of Quaternion Algebras
cites work: A generalization of the Riemann-Roch theorem
cites work: Über den Riemann‐Rochschen Satz in Funktionenkörpern vom Transzendenzgrad 1. Hermann Ludwig Schmid zum Gedächtnis
cites work: A duality theorem for orders in central simple algebras over function fields
cites work: Q5566639
OpenAlex ID: W2040952043
Recommended article: Q3709184
Recommended article: Q4873730
Recommended article: Localization of the Riemann-Roch character
Recommended article: A generalization of the Riemann-Roch theorem
Recommended article: Q4370891
Recommended article: Q3701537
Recommended article: Q5803334
Recommended article: A generalized Hirzebruch Riemann-Roch theorem
Recommended article: On the Riemann-Roch theorem for orders in the ring of valuation vectors of a function field
Recommended article: A Riemann-Roch theorem
description: scientific article; zbMATH DE number 3959611