Ramification group

Last updated

In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension.

Contents

Ramification theory of valuations

In mathematics, the ramification theory of valuations studies the set of extensions of a valuation v of a field K to an extension L of K. It is a generalization of the ramification theory of Dedekind domains. [1] [2]

The structure of the set of extensions is known better when L/K is Galois.

Decomposition group and inertia group

Let (K, v) be a valued field and let L be a finite Galois extension of K. Let Sv be the set of equivalence classes of extensions of v to L and let G be the Galois group of L over K. Then G acts on Sv by σ[w] = [w  σ] (i.e. w is a representative of the equivalence class [w]  Sv and [w] is sent to the equivalence class of the composition of w with the automorphism σ : LL; this is independent of the choice of w in [w]). In fact, this action is transitive.

Given a fixed extension w of v to L, the decomposition group of w is the stabilizer subgroup Gw of [w], i.e. it is the subgroup of G consisting of all elements that fix the equivalence class [w]  Sv.

Let mw denote the maximal ideal of w inside the valuation ring Rw of w. The inertia group of w is the subgroup Iw of Gw consisting of elements σ such that σx  x (mod mw) for all x in Rw. In other words, Iw consists of the elements of the decomposition group that act trivially on the residue field of w. It is a normal subgroup of Gw.

The reduced ramification index e(w/v) is independent of w and is denoted e(v). Similarly, the relative degree f(w/v) is also independent of w and is denoted f(v).

Ramification groups in lower numbering

Ramification groups are a refinement of the Galois group of a finite Galois extension of local fields. We shall write for the valuation, the ring of integers and its maximal ideal for . As a consequence of Hensel's lemma, one can write for some where is the ring of integers of . [3] (This is stronger than the primitive element theorem.) Then, for each integer , we define to be the set of all that satisfies the following equivalent conditions.

The group is called -th ramification group. They form a decreasing filtration,

In fact, the are normal by (i) and trivial for sufficiently large by (iii). For the lowest indices, it is customary to call the inertia subgroup of because of its relation to splitting of prime ideals, while the wild inertia subgroup of . The quotient is called the tame quotient.

The Galois group and its subgroups are studied by employing the above filtration or, more specifically, the corresponding quotients. In particular,

The study of ramification groups reduces to the totally ramified case since one has for .

One also defines the function . (ii) in the above shows is independent of choice of and, moreover, the study of the filtration is essentially equivalent to that of . [5] satisfies the following: for ,

Fix a uniformizer of . Then induces the injection where . (The map actually does not depend on the choice of the uniformizer. [6] ) It follows from this [7]

In particular, is a p-group and is solvable.

The ramification groups can be used to compute the different of the extension and that of subextensions: [8]

If is a normal subgroup of , then, for , . [9]

Combining this with the above one obtains: for a subextension corresponding to ,

If , then . [10] In the terminology of Lazard, this can be understood to mean the Lie algebra is abelian.

Example: the cyclotomic extension

The ramification groups for a cyclotomic extension , where is a -th primitive root of unity, can be described explicitly: [11]

where e is chosen such that .

Example: a quartic extension

Let K be the extension of Q2 generated by . The conjugates of are , , .

A little computation shows that the quotient of any two of these is a unit. Hence they all generate the same ideal; call it π. generates π2; (2)=π4.

Now , which is in π5.

and which is in π3.

Various methods show that the Galois group of K is , cyclic of order 4. Also:

and

so that the different

satisfies X4 − 4X2 + 2, which has discriminant 2048 = 211.

Ramification groups in upper numbering

If is a real number , let denote where i the least integer . In other words, Define by [12]

where, by convention, is equal to if and is equal to for . [13] Then for . It is immediate that is continuous and strictly increasing, and thus has the continuous inverse function defined on . Define . is then called the v-th ramification group in upper numbering. In other words, . Note . The upper numbering is defined so as to be compatible with passage to quotients: [14] if is normal in , then

for all

(whereas lower numbering is compatible with passage to subgroups.)

Herbrand's theorem

Herbrand's theorem states that the ramification groups in the lower numbering satisfy (for where is the subextension corresponding to ), and that the ramification groups in the upper numbering satisfy . [15] [16] This allows one to define ramification groups in the upper numbering for infinite Galois extensions (such as the absolute Galois group of a local field) from the inverse system of ramification groups for finite subextensions.

The upper numbering for an abelian extension is important because of the Hasse–Arf theorem. It states that if is abelian, then the jumps in the filtration are integers; i.e., whenever is not an integer. [17]

The upper numbering is compatible with the filtration of the norm residue group by the unit groups under the Artin isomorphism. The image of under the isomorphism

is just [18]

See also

Notes

  1. Fröhlich, A.; Taylor, M.J. (1991). Algebraic number theory. Cambridge studies in advanced mathematics. Vol. 27. Cambridge University Press. ISBN   0-521-36664-X. Zbl   0744.11001.
  2. Zariski, Oscar; Samuel, Pierre (1976) [1960]. Commutative algebra, Volume II. Graduate Texts in Mathematics. Vol. 29. New York, Heidelberg: Springer-Verlag. Chapter VI. ISBN   978-0-387-90171-8. Zbl   0322.13001.
  3. Neukirch (1999) p.178
  4. since is canonically isomorphic to the decomposition group.
  5. Serre (1979) p.62
  6. Conrad
  7. Use and
  8. Serre (1979) 4.1 Prop.4, p.64
  9. Serre (1979) 4.1. Prop.3, p.63
  10. Serre (1979) 4.2. Proposition 10.
  11. Serre, Corps locaux. Ch. IV, §4, Proposition 18
  12. Serre (1967) p.156
  13. Neukirch (1999) p.179
  14. Serre (1967) p.155
  15. Neukirch (1999) p.180
  16. Serre (1979) p.75
  17. Neukirch (1999) p.355
  18. Snaith (1994) pp.30-31

Related Research Articles

<span class="mw-page-title-main">Ramification (mathematics)</span> Branching out of a mathematical structure

In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. The term is also used from the opposite perspective as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping.

Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of K. There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime p in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes p less than a large integer N, tends to a certain limit as N goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in.

In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which is obtained in the case where K is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at s = 1, and its values encode arithmetic data of K. The extended Riemann hypothesis states that if ζK(s) = 0 and 0 < Re(s) < 1, then Re(s) = 1/2.

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.

In mathematics, an Azumaya algebra is a generalization of central simple algebras to -algebras where need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions.

In commutative algebra, an element b of a commutative ring B is said to be integral over a subring A of B if b is a root of some monic polynomial over A.

In mathematics, the Plancherel theorem for spherical functions is an important result in the representation theory of semisimple Lie groups, due in its final form to Harish-Chandra. It is a natural generalisation in non-commutative harmonic analysis of the Plancherel formula and Fourier inversion formula in the representation theory of the group of real numbers in classical harmonic analysis and has a similarly close interconnection with the theory of differential equations. It is the special case for zonal spherical functions of the general Plancherel theorem for semisimple Lie groups, also proved by Harish-Chandra. The Plancherel theorem gives the eigenfunction expansion of radial functions for the Laplacian operator on the associated symmetric space X; it also gives the direct integral decomposition into irreducible representations of the regular representation on L2(X). In the case of hyperbolic space, these expansions were known from prior results of Mehler, Weyl and Fock.

In mathematics, the conductor-discriminant formula or Führerdiskriminantenproduktformel, introduced by Hasse for abelian extensions and by Artin for Galois extensions, is a formula calculating the relative discriminant of a finite Galois extension of local or global fields from the Artin conductors of the irreducible characters of the Galois group .

In mathematics, specifically in local class field theory, the Hasse–Arf theorem is a result concerning jumps of the upper numbering filtration of the Galois group of a finite Galois extension. A special case of it when the residue fields are finite was originally proved by Helmut Hasse, and the general result was proved by Cahit Arf.

In number theory, more specifically in p-adic analysis, Krasner's lemma is a basic result relating the topology of a complete non-archimedean field to its algebraic extensions.

In mathematics, particularly linear algebra, the Schur–Horn theorem, named after Issai Schur and Alfred Horn, characterizes the diagonal of a Hermitian matrix with given eigenvalues. It has inspired investigations and substantial generalizations in the setting of symplectic geometry. A few important generalizations are Kostant's convexity theorem, Atiyah–Guillemin–Sternberg convexity theorem, Kirwan convexity theorem.

In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map.

In mathematics, an algebraic number field is an extension field of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .

In algebraic number theory, through completion, the study of ramification of a prime ideal can often be reduced to the case of local fields where a more detailed analysis can be carried out with the aid of tools such as ramification groups.

Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous amount of literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

In mathematics, the Artin conductor is a number or ideal associated to a character of a Galois group of a local or global field, introduced by Emil Artin as an expression appearing in the functional equation of an Artin L-function.

In the mathematical field of group theory, an Artin transfer is a certain homomorphism from an arbitrary finite or infinite group to the commutator quotient group of a subgroup of finite index. Originally, such mappings arose as group theoretic counterparts of class extension homomorphisms of abelian extensions of algebraic number fields by applying Artin's reciprocity maps to ideal class groups and analyzing the resulting homomorphisms between quotients of Galois groups. However, independently of number theoretic applications, a partial order on the kernels and targets of Artin transfers has recently turned out to be compatible with parent-descendant relations between finite p-groups, which can be visualized in descendant trees. Therefore, Artin transfers provide a valuable tool for the classification of finite p-groups and for searching and identifying particular groups in descendant trees by looking for patterns defined by the kernels and targets of Artin transfers. These strategies of pattern recognition are useful in purely group theoretic context, as well as for applications in algebraic number theory concerning Galois groups of higher p-class fields and Hilbert p-class field towers.

In the mathematical field of algebraic number theory, the concept of principalization refers to a situation when, given an extension of algebraic number fields, some ideal of the ring of integers of the smaller field isn't principal but its extension to the ring of integers of the larger field is. Its study has origins in the work of Ernst Kummer on ideal numbers from the 1840s, who in particular proved that for every algebraic number field there exists an extension number field such that all ideals of the ring of integers of the base field become principal when extended to the larger field. In 1897 David Hilbert conjectured that the maximal abelian unramified extension of the base field, which was later called the Hilbert class field of the given base field, is such an extension. This conjecture, now known as principal ideal theorem, was proved by Philipp Furtwängler in 1930 after it had been translated from number theory to group theory by Emil Artin in 1929, who made use of his general reciprocity law to establish the reformulation. Since this long desired proof was achieved by means of Artin transfers of non-abelian groups with derived length two, several investigators tried to exploit the theory of such groups further to obtain additional information on the principalization in intermediate fields between the base field and its Hilbert class field. The first contributions in this direction are due to Arnold Scholz and Olga Taussky in 1934, who coined the synonym capitulation for principalization. Another independent access to the principalization problem via Galois cohomology of unit groups is also due to Hilbert and goes back to the chapter on cyclic extensions of number fields of prime degree in his number report, which culminates in the famous Theorem 94.

Semiabelian groups is a class of groups first introduced by Thompson (1984) and named by Matzat (1987). It appears in Galois theory, in the study of the inverse Galois problem or the embedding problem which is a generalization of the former.

References