Witt group of hyperelliptic curves (Q1173777): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Max-Albert Knus / rank | |||
Property / reviewed by | |||
Property / reviewed by: Max-Albert Knus / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 00:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Witt group of hyperelliptic curves |
scientific article |
Statements
Witt group of hyperelliptic curves (English)
0 references
25 June 1992
0 references
Let \(X\) be a smooth projective curve over a perfect field \(k\). Let \(W(k(X),\Omega_{k(X)})\) be the Witt group of the function field of \(X\) with values in the modules of differentials \(\Omega_{k(X)}\) of \(k(X)\). A residue homomorphism \(\partial\colon W(k(X),\Omega_{k(X)})\to \bigoplus_{x\in X} W(k(x))\) is defined in [\textit{W.-D. Geyer}, \textit{G. Harder}, \textit{M. Knebusch} and \textit{W. Scharlau}, Invent. Math. 11, 319--328 (1970; Zbl 0203.53401)]. In this paper, a description of the kernel and cokernel of \(\partial\) for smooth hyperelliptic curves with a rational point of ramification over \(\mathbb{P}^ 1\) is given. The kernel of \(\partial\) is the Witt group of \(X\). To describe \(\text{Coker}(\partial)\), the authors introduce a ramified and an unramified part of the cokernel. Under the rationality condition \(_4\text{Pic}(X)={} _4\text{Pic}(X_{\bar k})\), \(\bar k\) denoting the algebraic closure of \(k\), they show that the ramified part is zero and that the unramified part can be described in terms of certain cohomology groups. If, furthermore, \(X\) is defined over a local field with residue field of characteristic not 2 and if \(X\) has good reduction, this description is used to prove that \(\text{Coker}(\partial)\simeq W(k)\oplus(\mathbb{Z}/2)^{4g}\), where \(g\) is the genus of the curve. Finally the authors show that, under the same hypothesis, \(W(X)\) is also isomorphic to \(W(k)\oplus(\mathbb{Z}/2)^{4g}\).
0 references
Witt group
0 references
function field
0 references
residue homomorphism
0 references
kernel
0 references
cokernel
0 references
hyperelliptic curves
0 references