Class field theory for open curves over \(p\)-adic fields (Q993363): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2094024499 / rank | |||
Normal rank |
Revision as of 02:44, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Class field theory for open curves over \(p\)-adic fields |
scientific article |
Statements
Class field theory for open curves over \(p\)-adic fields (English)
0 references
10 September 2010
0 references
Let \(\bar{X}\) be a smooth projective geometrically irreducible curve over a \(p\)-adic field \(k\). Let \(X_{\infty} \subset \bar{X}\) be a closed subvariety, and set \(X := X \setminus X_{\infty}\). Let \(K\) be the function field of \(X\). In the paper under review, the author defines the class group \(\mathcal{C}_X\) of \(X\) to be the cokernel of \[ K_2(K) \to (\oplus_{x \in |X|} k(x)^*) \oplus (\oplus_{x \in X_{\infty}} K_2(K_x)), \] where \(K_x\) (resp. \(k(x)\)) is the completion of \(K\) (resp. residue field) at \(x\). He then defines a homomorphism \[ \sigma_X : \mathcal{C}_X \to \pi_1^{ab}(X) \] and proves the following results: (i) the kernel of \(\sigma_X\) coincides with the maximal divisible subgroup of \(\mathcal{C}_X\); (ii) the quotient of \(\pi_1^{ab}(X)\) by the closure of the image of \(\sigma_X\) is isomorphic to \(\hat{\mathbb Z}^r\) for some \(r \geq 0\). This extends a result of \textit{S. Saito} [J. Number Theory 21, 44--80 (1985; Zbl 0599.14008)] where the case \(X_{\infty}=\emptyset\) is treated.
0 references
higher dimensional class field theory
0 references
curves over a \(p\)-adic field
0 references
Milnor \(K\)-theory
0 references