Local-global principles for curves over semi-global fields

David Harbater,Daniel Krashen,Alena Pirutka

DOI: https://doi.org/10.1112/blms.12409

2020-08-20

Abstract:We investigate local-global principles for Galois cohomology, in the context of function fields of curves over semi-global fields. This extends work of Kato's on the case of function fields of curves over global fields.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

Local-global principle for groups of type An over semi global fields

V. Suresh

2024-06-30

Abstract:Let F be the function field of a curve over a complete discretely valued field K. Let G be a semisimple simply connected linear algebraic group over F of type An. We give a description of the obstruction to local global principle for principal homogeneous spaces under G over F with respect to discrete valuations of F in terms of R-equivalence classes of G over some suitable over fields. Using this description we prove that this obstruction vanishes under some conditions on the residue field K.

Algebraic Geometry,Number Theory
Locally conjugate Galois sections

Wojciech Porowski

2023-12-13

Abstract:We consider sections of the étale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally conjugate, which establishes the local-global principle for the conjugacy classes of sections. In fact, we obtain this result as a corollary of a more general property concerning sections of the étale homotopy exact sequence, so-called finite covering property, which we prove as our main result.

Number Theory,Algebraic Geometry
Local-global principles for multinorm tori over semi-global fields

Sumit Chandra Mishra

2023-07-04

Abstract:Let $K$ be a complete discretely valued field with the residue field $\kappa$. Assume that cohomological dimension of $\kappa$ is less than or equal to $1$ (for example, $\kappa$ is an algebraically closed field or a finite field). Let $F$ be the function field of a curve over $K$. Let $n$ be a squarefree positive integer not divisible by char$(\kappa)$. Then for any two degree $n$ abelian extensions, we prove that the local-global principle holds for the associated multinorm torus with respect to discrete valuations. Let $\mathscr{X}$ be a regular proper model of $F$ such that the reduced special fibre $X$ is a union of regular curves with normal crossings. Suppose that $\kappa$ is algebraically closed with $char(\kappa)\neq 2$. If the graph associated to $\mathscr{X}$ is a tree (e.g. $F = K(t)$) then we show that the same local-global principle holds for the multinorm torus associated to finitely many abelian extensions where one of the extensions is quadratic and others are of degree not divisible by $4$.

Algebraic Geometry
A cohomological Hasse principle over two-dimensional local rings

Yong Hu

DOI: https://doi.org/10.1093/imrn/rnw149

2016-06-13

Abstract:Let $K$ be the fraction field of a two-dimensional henselian, excellent, equi-characteristic local domain. We prove a local-global principle for Galois cohomology with finite coefficients over $K$. We use classical machinery from étale cohomology theory, drawing upon an idea in Saito's work on two-dimensional local class field theory. This approach works equally well over the function field of a curve over an equi-characteristic henselian discrete valuation field, thereby giving a different proof of (a slightly generalized version of) a recent result of Harbater, Hartmann and Krashen. We also present two applications. One is the Hasse principle for torsors under quasi-split semisimple simply connected groups without $E_8$ factor. The other gives an explicit upper bound for the Pythagoras number of a Laurent series field in three variables. This bound is sharper than earlier estimates.

Number Theory,K-Theory and Homology
Galois Cohomology of Reductive Groups over Function Fields over $\mathbb{C}((t))$

Dylon Chow

2023-12-10

Abstract:Over a global field (number field or function field of a curve over a finite field), theorems for the Galois cohomology of algebraic groups have long been known. For $F$ the function field of a curve over the formal series field $\mathbb{C}((t))$, under an additional assumption on the curve, we establish an explicit description of the localization map in Galois cohomology. This is achieved by extending the theory of $B(F,G)$ due to Kottwitz.

Number Theory,Algebraic Geometry
Higher local duality in Galois cohomology

Antoine Galet

2024-10-21

Abstract:A field $K$ is $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ completely discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of such $K$ with many coefficients, including finite coefficients of any order. Previously, such duality was only known in few cases : as a perfect pairing of finite groups for finite coefficients prime to $\mathrm{char} k_0$ in general, or for any finite coefficients when $k_1$ is $p$-adic ; or as a perfect pairing of locally compact Hausdorff groups for the $\mathrm{fppf}$ cohomology of finite group schemes when $K$ is local. With no obvious reasonable topology available, we abandon perfectness altogether and instead obtain nondegenerate pairings of abstract abelian groups. This is done with new diagram-chasing results for pairings of torsion groups, allowing an approach by dévissage which breaks our results down to the study of pairings $K^M_r(K)/p\times H^{d+1-r}_p(K)\to\mathbb Z/p$ using results of Kato.

Number Theory,K-Theory and Homology
Dualité et principe local-global pour les tores sur une courbe au-dessus de C((t))

Jean-Louis Colliot-Thélène,David Harari

DOI: https://doi.org/10.1112/plms/pdv019

2014-04-17

Abstract:Pour $K$ un corps global (corps de nombres ou corps de fonctions d'une variable sur un corps fini $F$), on dispose de théorèmes de dualité classiques (Tate, Poitou, Nakayama) pour la cohomologie galoisienne à valeurs dans des tores et des modules abéliens finis. Nous établissons de tels théorèmes pour $K$ le corps des fonctions d'une courbe projective et lisse sur le corps $F={\bf C}((t))$ des séries formelles en une variable sur le corps des complexes. Cela permet de contrôler le défaut du principe de Hasse et l'approximation faible pour les espaces homogènes sous un tore. Il y a ici des différences avec le cas classique ($K$ corps global), et aussi avec le cas récemment étudié où $K$ est un corps de fonctions d'une variable sur un corps $p$-adique. Par exemple, la $K$-rationalité d'un tore n'implique pas ici la validité du principe de Hasse pour ses espaces principaux homogènes. ---------------- Over a global field $K$ (number field, or function field of a curve over a finite field $F$), arithmetic duality theorems for the Galois cohomology of tori and finite Galois modules have long been known. More recent work investigates the case where $K$ is the function fields of of a curve over a $p$-adic field. For $K$ the function field of a curve over the formal series field $F={\bf C}((t))$, we establish analogous duality theorems. We thus control the obstruction to the local-global principle and to weak approximation for homogeneous spaces of tori. There are differences with the afore described cases. For example the Hasse principle need not hold for principal homogeneous spaces of a $K$-rational torus.

Algebraic Geometry,Number Theory
Hecke operators and analytic Langlands correspondence for curves over local fields

Pavel Etingof,Edward Frenkel,David Kazhdan

2024-02-24

Abstract:We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F=C, we also conjecture that their joint spectrum is in a natural bijection with the set of opers on X for the Langlands dual group with real monodromy. This may be viewed as an analytic version of the Langlands correspondence for complex curves. Furthermore, we conjecture an explicit formula relating the eigenvalues of the Hecke operators and the global differential operators studied in our previous paper <a class="link-https" data-arxiv-id="1908.09677" href="https://arxiv.org/abs/1908.09677">arXiv:1908.09677</a>. Assuming the compactness conjecture, this formula follows from a certain system of differential equations satisfied by the Hecke operators, which we prove in this paper for G=PGL(n).

Algebraic Geometry,High Energy Physics - Theory,Analysis of PDEs,Functional Analysis,Representation Theory
Local-global principle for over semiglobal fields

Philippe Gille,Raman Parimala

2024-11-04

Abstract:We compare different local-global principles for torsors under a reductive group G defined over a semiglobal field F. In particular if the F-group G s a retract rational F-variety, we prove that the local global principle holds for the completions with respect to divisorial valuations of F.

Algebraic Geometry,Number Theory
Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces

Evangelia Gazaki,Jonathan Love

2024-02-20

Abstract:Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree $0$ on $X$ is the direct sum of a divisible group and a finite group. This proves a conjecture of Raskind and Spiess and of Colliot-Thélène and it is the first instance for $K3$ surfaces when this conjecture is proved in full. This class of $K3$'s includes, among others, the diagonal quartic surfaces. In the case of good ordinary reduction we describe many cases when the finite summand of $A_0(X)$ can be completely determined.

Mathematics
Local duality theorems for commutative algebraic groups

Cristian D. Gonzalez-Aviles

2024-02-02

Abstract:If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems that relate the fppf cohomology groups of G to the hypercohomology groups of the k-1-motive $G^{\vee}$. We also obtain a duality theorem for the second cohomology group of an arbitrary k-1-motive. These results have applications (to be discussed elsewhere) to certain extensions of Lichtenbaum-van Hamel duality to a class of non-smooth proper k-varieties.

Number Theory,Algebraic Geometry
A local-global conjugacy question arising from arithmetic dynamics

Vefa Goksel

DOI: https://doi.org/10.48550/arXiv.2303.10715

2023-03-20

Abstract:In his earlier work, the author introduced a group theory question that arises in the study of iterated Galois groups of post-critically finite quadratic polynomials. In this paper, we prove the first non-trivial results on this question.

Number Theory,Dynamical Systems,Group Theory
Local-global principle for leaf schemes

Hossein Movasati

2024-08-26

Abstract:We study Hodge loci as leaf schemes of foliations. The main ingredient is the Gauss-Manin connection matrix of families of projective varieties. We also aim to investigate a conjecture on the ring of definition of leaf schemes and its consequences such as the algebraicity of leaf schemes (Cattani-Deligne-Kaplan theorem in the case of Hodge loci). This conjecture is a consequence of a local-global principle for leaf schemes.

Algebraic Geometry,Complex Variables,Number Theory
Curves over every global field violating the local-global principle

Bjorn Poonen

DOI: https://doi.org/10.1007/s10958-010-0182-9

2010-06-07

Abstract:There is an algorithm that takes as input a global field k and produces a curve over k violating the local-global principle. Also, given a global field k and a nonnegative integer n, one can effectively construct a curve X over k such that #X(k)=n and X has points over every completion of k.

Number Theory,Algebraic Geometry
Dualité et principe local-global sur des corps locaux de dimension 2

Diego Izquierdo

DOI: https://doi.org/10.48550/arXiv.1605.01289

2016-05-04

Abstract:Let $k$ be an algebraically closed field, a finite field or a $p$-adic field. Let $K_0=k((x,y))$ be the field of Laurent series in two variables over $k$. We define Tate-Shafarevich groups of a commutative group scheme over $K_0$ via cohomology classes locally trivial at each completion of $K_0$ coming from a codimension 1 point of $\text{Spec}\; k[[x,y]]$. We establish duality theorems between Tate-Shafarevich groups for finite groups schemes and for tori. We apply these results to the study of the obstruction to the local-global principle for $K_0$-torsors under a connected linear algebraic group, answering in that way a question of Colliot-Thélène, Parimala and Suresh, and to the weak approximation for tori over $K_0$. Soit $k$ un corps algébriquement clos, un corps fini, ou encore un corps $p$-adique. Soit $K_0=k((x,y))$ le corps des séries de Laurent à deux variables sur $k$. On définit les groupes de Tate-Shafarevich d'un $K_0$-schéma en groupes commutatif en considérant les classes de cohomologie qui deviennent triviales sur chaque complété de $K_0$ provenant d'un point codimension 1 de $\text{Spec}\; k[[x,y]]$. On établit des théorèmes de dualité arithmétique entre des groupes de Tate-Shafarevich pour les modules finis et pour les tores. On applique ces résultats à l'étude du principe local-global pour les $K_0$-torseurs sous un groupe linéaire connexe, répondant ainsi à une question de Colliot-Thélène, Parimala et Suresh, ainsi qu'à l'approximation faible pour les tores sur $K_0$.

Algebraic Geometry,Number Theory
On Galois covers of curves and arithmetic of Jacobians

Alexandros Konstantinou,Adam Morgan

2024-07-11

Abstract:We study the arithmetic of curves and Jacobians endowed with the action of a finite group $G$. This includes a study of the basic properties, as $G$-modules, of their $\ell$-adic representations, Selmer groups, rational points and Shafarevich-Tate groups. In particular, we show that $p^\infty$-Selmer groups are self-dual $G$-modules, and give various `$G$-descent' results for Selmer groups and rational points. Along the way we revisit, and slightly refine, a construction going back to Kani and Rosen for associating isogenies to homomorphisms between permutation representations. With a view to future applications, it is convenient to work throughout with curves that are not assumed to be geometrically connected (or even connected); such curves arise naturally when taking Galois closures of covers of curves. For lack of a suitable reference, we carefully detail how to deduce the relevant properties of such curves and their Jacobians from the more standard geometrically connected case.

Number Theory
Curves are algebraic K(π,1) : Theoretical and practical aspects

Christophe Levrat

DOI: https://doi.org/10.1112/blms.13153

IF: 1.036

2024-09-27

Bulletin of the London Mathematical Society

Abstract:We prove that any geometrically connected curve X over a field k is an algebraic K(π,1) , as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible étale sheaf of Z/nZ ‐modules, with n invertible in k , is canonically isomorphic to the cohomology of its corresponding π1(X) ‐module. To this end, we explicitly construct some Galois coverings of X corresponding to Galois coverings of the normalisation of its irreducible components. When k is finite or algebraically closed, we precisely describe finite quotients of π1(X) that allow to compute the cohomology groups of the sheaf, and give explicit descriptions of the cup products H1×H1→H2 and H1×H2→H3 in étale cohomology in terms of finite group cohomology.

mathematics
Failure of the local-global principle for isotropy of quadratic forms over function fields

Asher Auel,V. Suresh

2023-10-20

Abstract:We prove the failure of the local-global principle, with respect to discrete valuations, for isotropy of quadratic forms over function fields of transcendence degree at least 2 over algebraically closed fields. Our construction involves generalized Kummer varieties as well as a new nontriviality result for the unramified cohomology of products of elliptic curves over discretely valued fields, which can be viewed as an arithmetic version of a theorem of Gabber.

Algebraic Geometry,Rings and Algebras
Local-global principle for the Baum-Connes conjecture with coefficients

Paul Baum,Stephen Millington,Roger Plymen

DOI: https://doi.org/10.48550/arXiv.math/0211242

2002-11-16

Abstract:We establish the Hasse principle (local-global principle) in the context of the Baum-Connes conjecture with coefficients. We illustrate this principle with the discrete group $GL(2,F)$ where $F$ is any global field.

K-Theory and Homology,Operator Algebras
Local Cohomology of Modular Invariant Rings

Kriti Goel,Jack Jeffries,Anurag K. Singh

DOI: https://doi.org/10.1007/s00031-024-09851-6

2024-03-14

Transformation Groups

Abstract:For K a field, consider a finite subgroup G of with its natural action on the polynomial ring . Let denote the homogeneous maximal ideal of the ring of invariants . We study how the local cohomology module compares with . Various results on the a -invariant and on the Hilbert series of are obtained as a consequence.

mathematics

Local-global principles for curves over semi-global fields

Local-global principle for groups of type An over semi global fields

Locally conjugate Galois sections

Local-global principles for multinorm tori over semi-global fields

A cohomological Hasse principle over two-dimensional local rings

Galois Cohomology of Reductive Groups over Function Fields over $\mathbb{C}((t))$

Higher local duality in Galois cohomology

Dualité et principe local-global pour les tores sur une courbe au-dessus de C((t))

Hecke operators and analytic Langlands correspondence for curves over local fields

Local-global principle for over semiglobal fields

Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces

Local duality theorems for commutative algebraic groups

A local-global conjugacy question arising from arithmetic dynamics

Local-global principle for leaf schemes

Curves over every global field violating the local-global principle

Dualité et principe local-global sur des corps locaux de dimension 2

On Galois covers of curves and arithmetic of Jacobians

Curves are algebraic K(π,1) : Theoretical and practical aspects

Failure of the local-global principle for isotropy of quadratic forms over function fields

Local-global principle for the Baum-Connes conjecture with coefficients

Local Cohomology of Modular Invariant Rings