×

Riemann-Roch theorem for locally principal orders. (English) Zbl 0596.14004

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 [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\).

MSC:

14C40 Riemann-Roch theorems
16H05 Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.)

Citations:

Zbl 0009.19301
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Curtis, C.W., Reiner, I.: Methods of representation theory, Vol. I. New York: Wiley 1981 · Zbl 0469.20001
[2] Faddeev, D.K.: An introduction to multiplicative theory of modules of integral representations. Tr. Mat. Inst. Steklova80, 145-182 (1965); Proc. Steklov Inst. Math.80, 164-210 (1965) · Zbl 0174.07002
[3] Hartshorne, R.: Algebraic geometry. Berlin, Heidelberg, New York: Springer 1982 · Zbl 0367.14001
[4] Kaplansky, I.: Submodules of quaternion algebras. Proc. Lond. Math. Soc.19, 219-232 (1969) · Zbl 0212.39102 · doi:10.1112/plms/s3-19.2.219
[5] Kneser, M.: Quadratische Formen. Göttingen 1973/74
[6] Mattson, H.F.: A generalization of the Riemann-Roch theorem. Ill. J. Math.5, 355-375 (1961) · Zbl 0123.04102
[7] Roquette, P.: Über den Riemann-Rochschen Satz in Funktionenkörpern vom Transzendezgrad 1. Math. Nachr.20, 375-404 (1959) · Zbl 0099.02605
[8] Van Den Bergh, M., Van Geel, J.: A duality theorem for orders in central simple algebras over function fields. J. Pure Appl. Alg.31, 227-234 (1984) · Zbl 0529.16003 · doi:10.1016/0022-4049(84)90088-4
[9] Weil, A.: Basic number theory. Berlin, Heidelberg, New York: Springer 1967 · Zbl 0176.33601
[10] Witt, E.: Riemann-Rochscher Satz undZ-Funktion im Hyperkomplexen. Math. Ann.110, 12-28 (1935) · JFM 60.0099.02 · doi:10.1007/BF01448015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.