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.
Given , a representation of on a finite-dimensional complex vector space , where is the Galois group of the finite extension of number fields, the Artin -function: is defined by an Euler product. For each prime ideal in 's ring of integers, there is an Euler factor, which is easiest to define in the case where is unramified in (true for almost all ). In that case, the Frobenius element is defined as a conjugacy class in . Therefore, the characteristic polynomial of is well-defined. The Euler factor for is a slight modification of the characteristic polynomial, equally well-defined,
as rational function in t, evaluated at , with a complex variable in the usual Riemann zeta function notation. (Here N is the field norm of an ideal.)
When is ramified, and I is the inertia group which is a subgroup of G, a similar construction is applied, but to the subspace of V fixed (pointwise) by I. [note 1]
The Artin L-function is then the infinite product over all prime ideals of these factors. As Artin reciprocity shows, when G is an abelian group these L-functions have a second description (as Dirichlet L-functions when K is the rational number field, and as Hecke L-functions in general). Novelty comes in with non-abelian G and their representations.
One application is to give factorisations of Dedekind zeta-functions, for example in the case of a number field that is Galois over the rational numbers. In accordance with the decomposition of the regular representation into irreducible representations, such a zeta-function splits into a product of Artin L-functions, for each irreducible representation of G. For example, the simplest case is when G is the symmetric group on three letters. Since G has an irreducible representation of degree 2, an Artin L-function for such a representation occurs, squared, in the factorisation of the Dedekind zeta-function for such a number field, in a product with the Riemann zeta-function (for the trivial representation) and an L-function of Dirichlet's type for the signature representation.
More precisely for a Galois extension of degree n, the factorization
follows from
where is the multiplicity of the irreducible representation in the regular representation, f is the order of and n is replaced by n/e at the ramified primes.
Since characters are an orthonormal basis of the class functions, after showing some analytic properties of the we obtain the Chebotarev density theorem as a generalization of Dirichlet's theorem on arithmetic progressions.
Artin L-functions satisfy a functional equation. The function is related in its values to , where denotes the complex conjugate representation. More precisely L is replaced by , which is L multiplied by certain gamma factors, and then there is an equation of meromorphic functions
with a certain complex number W(ρ) of absolute value 1. It is the Artin root number. It has been studied deeply with respect to two types of properties. Firstly Robert Langlands and Pierre Deligne established a factorisation into Langlands–Deligne local constants; this is significant in relation to conjectural relationships to automorphic representations. Also the case of ρ and ρ* being equivalent representations is exactly the one in which the functional equation has the same L-function on each side. It is, algebraically speaking, the case when ρ is a real representation or quaternionic representation. The Artin root number is, then, either +1 or −1. The question of which sign occurs is linked to Galois module theory. [1]
The Artin conjecture on Artin L-functions states that the Artin L-function of a non-trivial irreducible representation ρ is analytic in the whole complex plane. [2]
This is known for one-dimensional representations, the L-functions being then associated to Hecke characters — and in particular for Dirichlet L-functions. [2] More generally Artin showed that the Artin conjecture is true for all representations induced from 1-dimensional representations. If the Galois group is supersolvable or more generally monomial, then all representations are of this form so the Artin conjecture holds.
André Weil proved the Artin conjecture in the case of function fields.
Two-dimensional representations are classified by the nature of the image subgroup: it may be cyclic, dihedral, tetrahedral, octahedral, or icosahedral. The Artin conjecture for the cyclic or dihedral case follows easily from Erich Hecke's work. Langlands used the base change lifting to prove the tetrahedral case, and Jerrold Tunnell extended his work to cover the octahedral case; [3] Andrew Wiles used these cases in his proof of the Modularity conjecture. Richard Taylor and others have made some progress on the (non-solvable) icosahedral case; this is an active area of research. The Artin conjecture for odd, irreducible, two-dimensional representations follows from the proof of Serre's modularity conjecture, regardless of projective image subgroup.
Brauer's theorem on induced characters implies that all Artin L-functions are products of positive and negative integral powers of Hecke L-functions, and are therefore meromorphic in the whole complex plane.
Langlands (1970) pointed out that the Artin conjecture follows from strong enough results from the Langlands philosophy, relating to the L-functions associated to automorphic representations for GL(n) for all . More precisely, the Langlands conjectures associate an automorphic representation of the adelic group GLn(AQ) to every n-dimensional irreducible representation of the Galois group, which is a cuspidal representation if the Galois representation is irreducible, such that the Artin L-function of the Galois representation is the same as the automorphic L-function of the automorphic representation. The Artin conjecture then follows immediately from the known fact that the L-functions of cuspidal automorphic representations are holomorphic. This was one of the major motivations for Langlands' work.
A weaker conjecture (sometimes known as Dedekind conjecture) states that if M/K is an extension of number fields, then the quotient of their Dedekind zeta functions is entire.
The Aramata-Brauer theorem states that the conjecture holds if M/K is Galois.
More generally, let N the Galois closure of M over K, and G the Galois group of N/K. The quotient is equal to the Artin L-functions associated to the natural representation associated to the action of G on the K-invariants complex embedding of M. Thus the Artin conjecture implies the Dedekind conjecture.
The conjecture was proven when G is a solvable group, independently by Koji Uchida and R. W. van der Waall in 1975. [4]
In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and consequential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."
In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.
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, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations.
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group G to the complex numbers which is invariant under the action of a discrete subgroup of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups.
The representation theory of groups is a part of mathematics which examines how groups act on given structures.
In group theory, restriction forms a representation of a subgroup using a known representation of the whole group. Restriction is a fundamental construction in representation theory of groups. Often the restricted representation is simpler to understand. Rules for decomposing the restriction of an irreducible representation into irreducible representations of the subgroup are called branching rules, and have important applications in physics. For example, in case of explicit symmetry breaking, the symmetry group of the problem is reduced from the whole group to one of its subgroups. In quantum mechanics, this reduction in symmetry appears as a splitting of degenerate energy levels into multiplets, as in the Stark or Zeeman effect.
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.
In mathematics, the Hasse–Weil zeta function attached to an algebraic variety V defined over an algebraic number field K is a meromorphic function on the complex plane defined in terms of the number of points on the variety after reducing modulo each prime number p. It is a global L-function defined as an Euler product of local zeta functions.
In mathematics, the Selberg class is an axiomatic definition of a class of L-functions. The members of the class are Dirichlet series which obey four axioms that seem to capture the essential properties satisfied by most functions that are commonly called L-functions or zeta functions. Although the exact nature of the class is conjectural, the hope is that the definition of the class will lead to a classification of its contents and an elucidation of its properties, including insight into their relationship to automorphic forms and the Riemann hypothesis. The class was defined by Atle Selberg in, who preferred not to use the word "axiom" that later authors have employed.
The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.
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, Serre's modularity conjecture, introduced by Jean-Pierre Serre, states that an odd, irreducible, two-dimensional Galois representation over a finite field arises from a modular form. A stronger version of this conjecture specifies the weight and level of the modular form. The conjecture in the level 1 case was proved by Chandrashekhar Khare in 2005, and a proof of the full conjecture was completed jointly by Khare and Jean-Pierre Wintenberger in 2008.
In mathematics, the Brauer–Nesbitt theorem can refer to several different theorems proved by Richard Brauer and Cecil J. Nesbitt in the representation theory of finite groups.
In mathematics, the local Langlands conjectures, introduced by Robert Langlands, are part of the Langlands program. They describe a correspondence between the complex representations of a reductive algebraic group G over a local field F, and representations of the Langlands group of F into the L-group of G. This correspondence is not a bijection in general. The conjectures can be thought of as a generalization of local class field theory from abelian Galois groups to non-abelian Galois groups.
In number theory, a Shimura variety is a higher-dimensional analogue of a modular curve that arises as a quotient variety of a Hermitian symmetric space by a congruence subgroup of a reductive algebraic group defined over Q. Shimura varieties are not algebraic varieties but are families of algebraic varieties. Shimura curves are the one-dimensional Shimura varieties. Hilbert modular surfaces and Siegel modular varieties are among the best known classes of Shimura varieties.
In mathematics, the conductor-discriminant formula or Führerdiskriminantenproduktformel, introduced by Hasse for abelian extensions and by Artin (1931) 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, the Langlands–Shahidi method provides the means to define automorphic L-functions in many cases that arise with connected reductive groups over a number field. This includes Rankin–Selberg products for cuspidal automorphic representations of general linear groups. The method develops the theory of the local coefficient, which links to the global theory via Eisenstein series. The resulting L-functions satisfy a number of analytic properties, including an important functional equation.
In mathematics, a locally profinite group is a Hausdorff topological group in which every neighborhood of the identity element contains a compact open subgroup. Equivalently, a locally profinite group is a topological group that is Hausdorff, locally compact, and totally disconnected. Moreover, a locally profinite group is compact if and only if it is profinite; this explains the terminology. Basic examples of locally profinite groups are discrete groups and the p-adic Lie groups. Non-examples are real Lie groups, which have the no small subgroup property.
In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic forms on these groups and representations of Galois groups.