Class field theory for open curves over \(p\)-adic fields (Q993363): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2094024499 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0803.2381 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3864612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3913496 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4742893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unramified class field theory of arithmetical surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3413444 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chow groups with coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Class field theory for curves over local fields / rank | |||
Normal rank |
Latest revision as of 05:02, 3 July 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