Rumely's local global principle for weakly P\(\mathcal S\)C fields over holomorphy domains
type: Item
instance of: scholarly article
title: Rumely's local global principle for weakly P\(\mathcal S\)C fields over holomorphy domains
zbMATH Open document ID: 1235.12006
author: Moshe Jarden
author: Aharon Razon
published in: Functiones et Approximatio. Commentarii Mathematici
publication date: 2009-11-18T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.facm/1229696552
review text: Let \(K\) be a global field, \(\mathcal{V}\) an infinite proper subset of the set of all primes of \(K\), and \(\mathcal{S}\) a finite subset of \(\mathcal{V}\). Denote the maximal Galois extension of \(K\) in which each \(\mathfrak{p}\in\mathcal{S}\) totally splits by \(\mathbb K_{tot,S}\). Let \(M\) be an algebraic extension of \(K\). Let \(\mathcal{V}_M\) (resp. \(\mathcal{S}_M\)) be the set of primes of \(M\) which lie over primes in \(\mathcal{V}\) (resp. \(\mathcal{S}\)). For each \(\mathfrak{q}\in\mathcal{V}_M\) let \(\hat{\mathcal{O}}_{M,\mathfrak{q}}=\{x\in\hat{M}_{\mathfrak{q}}|\;|x|_{\mathfrak{q}}\leq 1\}\), where \(\hat{M}_{\mathfrak{q}}\) is a completion of \(M\) at \(\mathfrak{q}\), and let \(\mathcal{O}_{M,\mathcal{V}}=\{x\in M\mid |x|_{\mathfrak{q}}\leq 1\;\hbox{{\mathrm for each}} \mathfrak{q}\in\mathcal{V}_M\}\). For \(\mathbf{sig}=(\text{sig}_1,\dots,\text{sig}_e)\in\text{Gal}(K)^e\), let \(K_s(\mathbf{sig})=\{x\in K_s \mid \text{sig}_i(x)=x,\,i=1,\dots,e\}\). Then, for almost all \(\mathbf{sig}\in\text{Gal}(K)^e\) (with respect to the Haar measure), the field \(M=K_s(\mathbf{sig})\cap\mathbb K_{tot,S}\) satisfies the following local global principle: Let \(V\subseteq\mathbb{A}^n\) be an affine absolutely irreducible variety defined over \(M\). Suppose that there exist \(\mathbf{x}_{\mathfrak{q}}\in V(\hat{\mathcal{O}}_{M,\mathfrak{q}})\) for each \(\mathfrak{q}\in\mathcal{V}_M\setminus\mathcal{S}_M\) and \(\mathbf{x}_{\mathfrak{q}}\in V_{\text{simp}}(\hat{\mathcal{O}}_{M,\mathfrak{q}})\) for each \(\mathfrak{q}\in\mathcal{S}_M\) such that \(|x_{i,\mathfrak{q}}|_{\mathfrak{q}}<1\), \(i=1,\dots,n\), for each archimedean prime \(\mathfrak{q}\in\mathcal{V}_M\). Then \(V(\mathcal{O}_{M,\mathcal{V}})\neq\emptyset\).
Mathematics Subject Classification ID: 12E30
zbMATH DE Number: 5635535
zbMATH Keywords: local global principle
zbMATH Keywords: weakly PSC fields
zbMATH Keywords: global fields
zbMATH Keywords: totally S-adic numbers
MaRDI profile type: Publication
OpenAlex ID: W2059063923
cites work: PAC fields over finitely generated fields
cites work: Q5532660
cites work: Lectures on the theory of algebraic functions of one variable
cites work: Q4115143
cites work: Fields with the density property
cites work: On Rumely's local-global principle
cites work: Q3973548
cites work: The inverse Galois problem over formal power series fields
cites work: The Nullstellensatz over \(\mathfrak p\)-adically closed fields
cites work: Pseudo algebraically closed fields over rings
cites work: Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
cites work: Skolem density problems over large Galois extensions of global fields. Appendix by Wulf-Dieter Geyer
cites work: Q3272926
cites work: Q5612629
cites work: Groupes de Picard et problèmes de Skolem. I
cites work: Groupes de Picard et problèmes de Skolem. II
cites work: The red book of varieties and schemes
cites work: Q4532353
cites work: Reciprocity in valued function fields.
cites work: Arithmetic over the rings of all algebraic integers.
cites work: Capacity theory on algebraic curves
DOI: 10.7169/FACM/1229696552
description: scientific article; zbMATH DE number 5635535