The author surveys Galois theory of function fields with non-zero caracteristic and its relation to the structure of finite permutation groups and matrix groups.
Let $L/K$ be a finite Galois extension whose Galois group $G$ is non-abelian and characteristically simple. Using tools from graph theory, we shall give a closed formula for the number of Hopf-Galois structures on $L/K$ with associated group isomorphic to $G$.
Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero.
The conjecture due to Bertrand and Rodriguez Villegas asserts that the 1-norm of the nonzero element in an exterior power of the units of a number field has a certain lower bound. We prove this conjecture for the exterior square case when the number field is a real multi-quadratic Galois extension of any degree of the rationals.
Let $F$ be a field of prime characteristic $p$ and let $q$ be a power of $p$. We assume that $F$ contains the finite field of order $q$. A $q$-polynomial $L$ over $F$ is an element of the polynomial ring $F[x]$ with the property that those powers of $x$ that occur as terms of $L$ with nonzero coefficient have exponent a power of $q$. If the exponent of the leading term of $L$ is $q^n$, we say that $L$ has $q$-degree $n$. We assume that the coefficient of the $x$ term of $L$ is nonzero. We investigate the Galois group $G$, say, of $L$ over $F$, under the assumption that $L(x)/x$ is irreducible …
We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an appropriate Drinfeld module.
Recently, much work has been done to investigate Galois module structure of local field extensions, particularly through the use of Galois scaffolds. Given a totally ramified $p$-extension of local fields $L/K$, a Galois Scaffold gives us a $K$-basis for $K[G]$ whose effect on the valuation of elements of $L$ is easy to determine. In 2013, N.P. Byott and G.G. Elder gave sufficient conditions for the existence of Galois scaffolds for cyclic extensions of degree $p^2$ in characteristic $p$. We take their work and adapt it to cyclic extensions of degree $p^2$ in characteristic $0$.
A Galois scaffold, in a Galois extension of local fields with perfect residue fields, is an adaptation of the normal basis to the valuation of the extension field, and thus can be applied to answer questions of Galois module structure. Here we give a sufficient condition for a Galois scaffold to exist in fully ramified Galois extensions of degree $p^2$ of characteristic $p$ local fields. This condition becomes necessary when we restrict to $p=3$. For extensions $L/K$ of degree $p^2$ that satisfy this condition, we determine the Galois module structure of the ring of integers by finding necessa…
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic
Let $K$ be a local field of characteristic $p$ and let $L/K$ be a totally ramified Galois extension such that Gal$(L/K)\cong C_{p^n}$. In this paper we find sufficient conditions for $L/K$ to admit a Galois scaffold. This leads to sufficient conditions for the ring of integers $O_L$ to be free of rank 1 over its associated order $A_0$, and to stricter conditions which imply that $A_0$ is a Hopf order in the group ring $K[C_{p^n}]$.
In this paper, we compare the Akashi series of the Pontryagin dual of the Selmer groups of two Galois representations over a strongly admissible p-adic Lie extension. Namely, we show that whenever the two Galois representations in question are congruent to each other, the Akashi series of one is a unit if and only if the Akashi series of the other is also a unit. We will also obtain similar results for the Euler characteristics of the Selmer groups and the characteristic elements attached to the Selmer groups.
Let F be an arbitrary family of subgroups of a group G and let Orb be the associated orbit category. We investigate interpretations of low dimensional F-Bredon cohomology of G in terms of abelian extensions of Orb. Specializing to fixed point functors as coefficients, we derive several group theoretic applications and introduce Bredon-Galois cohomology. We prove an analog of Hilbert's Theorem 90 and show that the second Bredon-Galois cohomology is a certain intersection of relative Brauer groups. As applications, we realize the relative Brauer group Br(L/K) of a finite separable non-normal ext…
This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the class of characteristic $p$ elementary abelian $p$-extensions $L/K$ with Galois scaffolds described in mentioned paper, we give a necessary and sufficient condition for the valuation ring $\mathfrak{O}_L$ to be free over its associated order $\mathcal{A}_{L/K}$ in $K[\Gal(L/K)]$. Interestingly, this condition agrees with the condition found by Y. Miyata, con…
Using the principle that characteristic polynomials of matrices obtained from elements of a reductive group over a number field typically have splitting field with Galois group isomorphic to its Weyl group, we construct an explicit monic integral polynomial of degree 240 whose splitting field has Galois group the Weyl group of the exceptional group of type E_8.
We prove the equality of two non-logarithmic ramification filtrations defined by Matsuda and Abbes-Saito for the abelianized absolute Galois group of a complete discrete valuation field in positive characteristic. We also compute the refined Swan conductor and the characteristic form of a character of the fundamental group of a smooth separated scheme over a perfect field of positive characteristic by using sheaves of Witt vectors.
Let $F$ be a number field, let $N\geq 3$ be an integer, and let $k$ be a finite field of characteristic $\ell$. We show that if $\rb:G_F\longrightarrow GL_N(k)$ is a continuous representation with image of $\rb$ containing $SL_N(k)$ then, under moderate conditions at primes dividing $\ell\infty$, there is a continuous representation $ρ:G_F\longrightarrow GL_N(W(k))$ unramified outside finitely many primes with $\rb\simρ\mod{\ell}$.
We determine the representation of the group of automorphisms for cyclotomic function fields in characteristic $p > 0$ induced by the natural action on the space of holomorphic differentials via construction of an explicit basis of differentials. This includes those cases which present wild ramification and automorphism groups with non-cyclic $p$-part, which have remained elusive. We also obtain information on the gap sequences of ramified primes. Finally, we extend these results to rank one Drinfel'd modules.
Let F be a finitely generated field of characteristic zero and Γ<GL_n(F) a finitely generated subgroup. For an element g in Γ, let Gal(F(g)/ F) be the Galois group of the splitting field of the characteristic polynomial of g over F. We show that the structure of Gal(F(g)/ F) has a typical behaviour depending on F, and on the geometry of the Zariski closure of Γ(but not on Γ).
We construct various explicit Herr complexes that compute the Galois cohomology of a $p$-adic representation of the absolute Galois group of a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, using the associated $(φ,τ)$-modules (defined by Xavier Caruso), instead of $(φ,Γ)$-modules. We also give an application to $p$-divisible groups.
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and for $K$ of either possible characteristic (0 or $p$), that are sufficient for the existence of a Galois scaffold. The existence of a Galois scaffold makes it possible to address questions of integral Galois module structure, which is done in a separate paper. But since our conditions can be difficult to check, we specialize to elementary abelian extensions …
Let S/R be a finite extension of discrete valuation rings of characteristic p>0, and suppose that the corresponding extension L/K of fields of fractions is separable and is H-Galois for some K-Hopf algebra H. Let D_{S/R} be the different of S/R. We show that if S/R is totally ramified and its degree n is a power of p, then any element $ρ$ of L with $v_L(ρ)$ congruent to $-v_L(D_{S/R})-1$ mod n generates L as an H-module. This criterion is best possible. These results generalise to the Hopf-Galois situation recent work of G. Elder for Galois extensions.
This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for covers of curves in characteristic p. We explain key results on the structure of fundamental groups. We end by describing areas of active research and giving two new results about the genus and p-rank of certain covers of the affine line.
A result of Crew implies that for an etale Galois p-cover of smooth proper varieties over a field of characteristic p, the alternating sum of the p-ranks of the cohomology groups behave like Euler characteristics in characteristic 0. That is, the sum for the top curve equals the sum for the bottom curve times the degree of the cover. We exhibit an example to show that this relation fails in general if the p-rank is replaced by the part of some fixed slope (other than 0).
Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group G_F of F. Using the Bloch-Kato Conjecture we determine the structure of the cohomology group H^n(U,Fp) as an Fp[G_F/U]-module for all n in N. Previously this structure was known only for n=1, and until recently the structure even of H^1(U,Fp) was determined only for F a local field, a case settled by Borevic and Faddeev in the 1960s. We apply these results to study partial Euler-Poincare characteristics of open subgroups N of the maximal pro-p quotient T of G_…
It is proved that every two-dimensional residual Galois representation of the absolute Galois group of an arbitrary number field lifts to a characteristic zero $p$-adic representation, if local lifting problems at places above $p$ are unobstructed.
In this paper, we study the Jacobi sums over Galois rings of arbitrary characteristics and completely determine their absolute values, which extends the work in \cite{feng1}, where the Jacobi sums over Galois rings with characteristics a square of a prime number were discussed.
Geometric properties of homomorphisms between the absolute Galois groups of mixed-characteristic complete discrete valuation fields with perfect residue fields
On the second partial Global Euler-Poincare characteristics for Galois cohomology
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学复杂系统研究所)
For any Drinfeld module of special characteristic p0 over a finitely generated field, we study the associated adelic Galois representation at all places different from p0 and \infty, and determine the image of the geometric Galois group up to commensurability.
This paper surveys the methods that have been used to attack the conjecture, still open, that an abelian variety over a characteristic $0$ field with finitely generated Galois group is always of infinite rank.
On the dimension conjecture for global Galois deformation rings in characteristic two
Shanghai Institute for Mathematics and Interdisciplinary Sciences(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学智能复杂系统研究院)
This is a revision of a McMaster University preprint, with extension. In this paper we prove that over local or global fields of characteristic 0, the Corestriction Principle holds for kernel and image of all maps which are connecting maps in group cohomology and the groups of $R$-equivalences. Some related questions over arbitrary fields of characteristic 0 are also discussed. AMS Mathematics Subject Classification (1991): Primary 11E72, Secondary 18G50, 20G10
In this paper, we survey the major contributions of Abhyankar to the development of the theory of fundamental groups and Galois covers in positive characteristic. We first discuss the current status of four conjectures of Abhyankar about Galois covers in positive characteristic. Then we discuss research directions inspired by Abhyankar's work, including many open problems.
This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.
In this paper, we give a necessary and sufficient condition for the finiteness of Galois cohomology of unipotent groups over local fields of positive characteristic
For a representation of the absolute Galois group of the rationals over a finite field of characteristic $p$, we study the existence of a lift to characteristic zero that is geometric in the sense of the Fontaine-Mazur conjecture. For two-dimensional representations, Ramakrishna proved that under technical assumptions odd representations admit geometric lifts. We generalize this to higher dimensional orthogonal and symplectic representations. A key step is generalizing and studying a local deformation condition at $p$ arising from Fontaine-Laffaille theory.
Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and refining the notion of a Galois scaffold considered in several previous papers, where $L/K$ was Galois and $A=K[G]$ for $G=\mathrm{Gal}(L/K)$. When a suitable $A$-scaffold exists, we show how to answer questions generalizing those of classical integral Galois module theory. We give a necessary and sufficient condition, involving only numerical parameters, f…
For fields F of characteristic not p containing a primitive $p$th root of unity, we determine the Galois module structure of the group of $p$th-power classes of K for all cyclic extensions K/F of degree p.
Suppose O is a complete discrete valuation ring of positive characteristic with perfect residue field. The category of finite flat strict modules was introduced recently by Faltings and appears as an equal characteristic analogue of the classical category of finite flat group schemes. In this paper we obtain a classification of these modules and apply it to prove analogues of properties, which were known earlier for group schemes.
The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometric origin (in any characteristic) - which leads to a sharpening of Moonen's result. We also discuss another aspect of the Tate conjecture related to the transcendence of $p$-adic periods.
Let $K$ be a complete discrete valuation field of characteristic zero with residue field $k_K$ of characteristic $p>0$. Let $L/K$ be a finite Galois extension with Galois group $G=\Gal(L/K)$ and suppose that the induced extension of residue fields $k_L/k_K$ is separable. Let $\mathbb{W}_n(\cdot)$ denote the ring of $p$-typical Witt vectors of length $n$. Hesselholt conjectured that the pro-abelian group $\{H^1(G,\mathbb{W}_n(\mathcal{O}_L))\}_{n\geq 1}$ is isomorphic to zero. Hogadi and Pisolkar have recently provided a proof of this conjecture. In this paper, we provide an alternative proof o…
Let $ρ$ be a two-dimensional even Galois representation which is induced from a character $χ$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $χ$, we attach $ρ$ to a Hecke eigenclass in the cohomology of ${\rm GL}(2,\mathbb Z)$ with coefficients in a certain infinite-dimensional vector space over a field of characteristic not equal to 2.
The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over F_p^bar of parallel weight 1 and level prime to p is unramified above p. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic p embed into the ordinary part of parallel weight p forms in two different ways per prime dividing p, namely via `partial' Frobenius operators.
We studied framed deformations of two dimensional Galois representation of which the residue representation restrict to decomposition groups are scalars, and established a modular lifting theorem for certain cases. We then proved a family version of the result, and used it to determine the structure of deformation rings over characteristic zero fields. These can be applied to the study of exceptional zero of p-adic L-function.