On the arithmetic of local rings of dimension 2 and 3 (Q1282345): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the arithmetic of local rings of dimension 2 and 3 |
scientific article |
Statements
On the arithmetic of local rings of dimension 2 and 3 (English)
0 references
21 October 1999
0 references
Let \(A\) be a 3-dimensional excellent henselian normal local ring. Assume that the residue field \(K\) of \(A\) is algebraically closed or finite. Suppose also that the unique singular point of \(A\) is the closed point \(x\). Let \(f: X \rightarrow \text{Spec } A \) be a resolution of \(\text{Spec } A\) where \(X\) is a 3-dimensional regular scheme. Denote by \(Y\) the surface \(f^{-1} (x)\) and by \(P\) the set of height 1 prime ideals of \(A\). Denote \(Q_{l} (i) = \bigotimes_{j=1}^{i} Q_{j}\), \(Q_{j}\) being the Tate module \(Q_{l}\) for each \(j\). The paper is basically devoted to prove two results. Firstly, when \(K\) is algebraically closed and of characteristic 0, the mapping \(H^{3} (K, Q_{l} (2)) \rightarrow \bigoplus_{v \in P} H^{3} (K_{v}, Q_{l} (2))\) contains a subgroup isomorphic to \(Q_{l}^{r_{1} (A)}\), where \(l\) is a prime number, \(K_{v}\) the completion of \(K\) in \(v\) and \(r_{1} (A)\) the dimension of the set of elements in \(H^{2} (Y, Q_{l})\) with weight \(\leq 1\). Secondly, if \(K\) is a finite field of characteristic \(p \neq 2, 3, 5\), the authors consider the mapping \(H^{4} (K, Q_{l} (3)) \rightarrow \bigoplus_{v \in P} H^{4} (K_{v}, Q_{l} (3))\) and prove that its kernel contains a subgroup of type \((Q_{l})^{r_{1}'} (A) \) where \(r_{1}' (A) = \text{rank}_{Q_{l}} H^{2} ( |\Gamma |, Q_{l})\), \(|\Gamma |\) being the geometric realization of the exceptional fiber \(Y\). Moreover, the data \(r_{1}' (A) \) and \(r_{1} (A)\) are independent of the resolution \(f\) of \(X\). Similar results when \(\dim A = 2\) are also given generalizing a previous result by \textit{S. Saito} [in: Galois representations and arithmetic algebraic geometry, Proc. Symp., Kyoto 1985 and Tokyo 1986, Adv. Stud. Pure Math. 12, 343-373 (1987; Zbl 0672.12006)].
0 references
excellent henselian normal local ring
0 references
Tate modules
0 references
exceptional fibre
0 references