Fact-checked by Grok 2 weeks ago

Artin L -function

In mathematics, particularly in , an Artin L-function is a defined for a finite-dimensional \rho of the \Gal(L/K) of a finite L/K of number fields, generalizing the classical Dirichlet and Dedekind functions to non-abelian settings. It takes the form L(s, \rho) = \prod_p \det(I - N(p)^{-s} \rho(\Frob_p))^{-1}, where the product runs over unramified primes p of K, N(p) is the norm of p, and \Frob_p is the Frobenius element, with local factors extended to ramified primes via decomposition and inertia groups. Introduced by in 1923 during his work on non-abelian , these functions encode arithmetic information about the extension L/K through the \rho, and they satisfy key properties such as multiplicativity and a relating L(s, \rho) to L(1-s, \rho^\vee), where \rho^\vee is the contragredient . Artin's motivation stemmed from decomposing the \zeta_L(s) of the extension as \zeta_L(s) = \zeta_K(s) \prod_\rho L(s, \rho)^{m_\rho}, where the product is over irreducible representations of \Gal(L/K) with multiplicities m_\rho, aiming to explain the poles and analytic behavior of functions in terms of these L-functions. Building on earlier work by Dirichlet (for characters of \mathbb{Z}^\times) and Hecke (for Grössencharacters), Artin extended the theory to arbitrary finite-dimensional representations, proving in that the L-functions converge absolutely for \Re(s) > 1 and are multiplicative under tensor products of representations. For abelian extensions, where \rho is one-dimensional, Artin's L-functions coincide with Hecke L-functions, whose and functional equations were established via . The analytic properties of Artin L-functions remain a central focus of , with Artin's positing that for irreducible, non-trivial representations \rho, L(s, \rho) extends to an on the (except possibly for the trivial representation, which introduces the pole of the zeta function). This implies the holomorphy of \zeta_L(s) away from its known pole at s=1 and has been proven in special cases, such as for representations by Langlands in the 1970s and more generally under GRH by partial results, but remains open in full generality. Through the , Artin L-functions connect to automorphic forms, with the Artin equivalent to the of the corresponding Galois representations, highlighting their role in unifying algebraic and analytic number theory.

Background and Definition

Historical Context

The Artin L-function was introduced by in 1923 as part of his efforts to develop a non-abelian , generalizing the existing framework for abelian extensions to arbitrary finite Galois extensions of number fields. In his seminal paper "Über eine neue Art von L-Reihen," Artin defined these functions in terms of characters of the , motivated by the need to extend Dirichlet L-functions—which encode arithmetic data for abelian characters over —to Galois representations over general number fields, thereby capturing splitting behavior of primes in non-abelian settings. This innovation aimed to bridge algebraic structures like s with analytic tools, providing a means to study reciprocity laws beyond the abelian case. Artin's work built upon foundational contributions from earlier mathematicians in and . Ferdinand Georg Frobenius's studies on the density of primes and induced representations of finite groups, particularly through Frobenius substitutions and reciprocity for characters, directly informed Artin's construction of Euler factors for L-functions using Galois actions on primes. Richard Dedekind's introduction of zeta functions for number fields and his early insights into ideal class groups provided the arithmetic backbone, while Teiji Takagi's rigorous completion of abelian class field theory in the early 1920s—establishing the isomorphism between ideal class groups and Galois groups for abelian extensions—inspired Artin to pursue analogous results for non-abelian cases. These influences shaped Artin's vision of L-functions as a unifying analytic device for . Key advancements occurred in Artin's papers during , where he refined the theory by incorporating and linking it to broader reciprocity principles. In 1930, Artin addressed incomplete aspects of his initial definition, such as handling ramified primes and infinite places, by introducing the Artin conductor and proving properties like inductivity, which equates the of an induced representation to that of the original one via Frobenius reciprocity. His 1931 paper further connected these L-functions to the general reciprocity law he had established in 1927, demonstrating how they encode the decomposition of Dedekind zeta functions into Artin factors and facilitating proofs of density theorems for splitting primes. These developments solidified the role of Artin L-functions in non-abelian extensions, setting the foundation for subsequent analytic investigations.

Formal Definition

The Artin L-function is defined in the context of Galois representations over number fields. Let K be a number field, and let G = \mathrm{Gal}(\overline{\mathbb{Q}}/K) denote its . An Artin \rho: G \to \mathrm{GL}_n(\mathbb{C}) is a continuous, finite-dimensional , typically assumed to be irreducible for the primitive case. This setup generalizes the earlier constructions of Dirichlet and Hecke L-functions to non-abelian Galois extensions. The L-function attached to such a representation \rho is given by the Euler product formula over the finite primes: L(s, \rho) = \prod_{\mathfrak{p}} \det\left(I - \rho(\mathrm{Frob}_{\mathfrak{p}}) \, N(\mathfrak{p})^{-s} \,\middle|\, V^\rho \right)^{-1}, where the product runs over all prime ideals \mathfrak{p} of the \mathcal{O}_K unramified with respect to \rho (i.e., prime ideals for which the group acts trivially on the representation space V^\rho), \mathrm{Frob}_{\mathfrak{p}} is an element of the Frobenius in G associated to \mathfrak{p}, and N(\mathfrak{p}) is the absolute norm of \mathfrak{p}. For ramified prime ideals \mathfrak{p}, the corresponding local factors are defined using the of V^\rho fixed by the I_{\mathfrak{p}}, specifically L_{\mathfrak{p}}(s, \rho) = \det\left(I - \rho(\mathrm{Frob}_{\mathfrak{p}}) \, N(\mathfrak{p})^{-s} \,\middle|\, (V^\rho)^{I_{\mathfrak{p}}} \right)^{-1}, ensuring the product converges absolutely for \mathrm{Re}(s) > 1. This construction extends Artin's original definition, which used the of the (character) to form the , equivalently yielding the form via properties of matrices. For reducible representations, the L-function multiplicatively decomposes according to the direct sum structure: if \rho = \bigoplus_i m_i \rho_i where the \rho_i are distinct irreducibles with multiplicities m_i, then L(s, \rho) = \prod_i L(s, \rho_i)^{m_i}. This follows from the determinant property for block-diagonal matrices. The irreducibility components are uniquely determined by the orthogonality of irreducible characters under the inner product on the group algebra of G, which ensures the distinct L-functions associated to different irreducibles are analytically independent in their factorizations. A key example arises when \rho is one-dimensional, corresponding to a continuous character \chi: G \to \mathbb{C}^\times. In this case, L(s, \chi) reduces to a Hecke L-function attached to the abelian extension of K cut out by the kernel of \chi, generalizing the classical Dirichlet L-functions over \mathbb{Q}. For instance, if K = \mathbb{Q} and \chi is the trivial character, then L(s, \chi) = \zeta(s), the .

Analytic Properties

Functional Equation

The completed Artin L-function for an irreducible representation \rho of the G = \mathrm{Gal}(K/\mathbb{Q}), where K/\mathbb{Q} is a finite with discriminant N = |d_K|, is defined as \Lambda(s, \rho) = N^{s/2} \left( \prod_v \Gamma_v(s, \rho) \right) L(s, \rho), where the product runs over all places v of \mathbb{Q}, the local gamma factors \Gamma_v(s, \rho) are 1 at finite places, and L(s, \rho) is the Artin L-function. At places, the gamma factors \Gamma_\infty(s, \rho) depend on the action of the decomposition group (generated by conjugation for real embeddings). For the real infinite place of \mathbb{[Q](/page/Q)}, if c denotes conjugation acting on \rho, let V^{<c>} = \{ v \in V \mid \rho(c)v = v \} (the +1 eigenspace) and V^c = \{ v \in V \mid \rho(c)v = -v \} (the -1 eigenspace). Then \Gamma_R(s, \rho) = \Gamma\left(\frac{s}{2}\right)^{\dim V^{<c>}} \Gamma\left(\frac{s+1}{2}\right)^{\dim V^c}. For precision, the full factors are [\pi^{-s/2} \Gamma(s/2)]^{\dim V^{<c>}} [\pi^{-(s+1)/2} \Gamma((s+1)/2)]^{\dim V^c}. If the base has infinite places, the gamma factor for each is (2(2\pi)^{-s} \Gamma(s))^{\dim \rho}, but for base \mathbb{[Q](/page/Q)}, only the real case applies. The root number \varepsilon(\rho) is the product of local epsilon factors \varepsilon_v(\rho, \psi_v) over all places v, where \psi_v is a fixed nontrivial additive character of the local field; it satisfies |\varepsilon(\rho)| = 1. The functional equation takes the form \Lambda(s, \rho) = \varepsilon(\rho) \, N^{1/2 - s} \, \Lambda(1 - s, \bar{\rho}), where \bar{\rho} is the contragredient (complex conjugate) representation; this relates the completed L-function at s to its value at $1 - s. The equation implies that \Lambda(s, \rho) admits meromorphic continuation to the entire complex plane \mathbb{C}, holomorphic except possibly at s = 1 if \rho contains the trivial representation. The proof proceeds by Brauer's induction theorem, which expresses the character of any \rho as an integer linear combination \sum n_i \mathrm{Ind}_{H_i}^G \psi_i of characters induced from abelian characters \psi_i on subgroups H_i \leq G with n_i \in \mathbb{Z}. Since Artin L-functions multiply under tensor products and induction corresponds to such operations, it suffices to establish the for these induced characters. For abelian characters, global Artin reciprocity (from ) identifies the L-function with a Hecke Grössencharacter , which satisfies a known derived from local functional equations at each place via . The local functional equations, holding for each place by explicit computation or local , combine via the global reciprocity to yield the overall equation.

Poles and Zeros

Artin L-functions L(s, \rho) for a \rho of the \mathrm{Gal}(K/k) admit meromorphic continuation to the entire , as established by Artin's original work and confirmed by Brauer's induction theorem decomposing representations into induced characters from cyclic subgroups. For the trivial representation \rho = 1, L(s, 1) = \zeta_K(s), the of the number field K, which has a simple pole at s=1 with residue $2^{r_1} (2\pi)^{r_2} h_K R_K / (w_K \sqrt{|d_K|}), where r_1 is the number of real embeddings of K, r_2 the number of pairs of embeddings, h_K the class number, R_K the , w_K the number of roots of unity, and d_K the . For irreducible non-trivial \rho, the functions are conjectured to be entire (holomorphic everywhere with no poles), per Artin's holomorphy conjecture; unconditionally, they are meromorphic, and any potential pole must be simple, located solely at s=1, and arise only from the multiplicity of the trivial representation within \rho. The order of vanishing of L(s, \rho) at s=0 is determined by the formula d_0(\rho) = \sum_{w \mid \infty} \dim \rho^{G_w} - \dim \rho^G, where the sum runs over the infinite places w of k, G_w denotes the decomposition group at w (generated by complex conjugation for real embeddings and trivial for complex ones), and G = \mathrm{Gal}(K/k). This quantity measures the excess of the subspaces fixed by the local action at over the fixed space, capturing how the representation's structure under complex conjugation influences the local behavior at s=0; for example, if \rho is orthogonal (real type) with no global invariants, the order relates directly to the of the conjugation on the space. Non-vanishing results include the fact that L(s, \rho) has no zeros on the line \mathrm{Re}(s) = 1, a consequence of the Euler product and positivity of coefficients for \mathrm{Re}(s) > 1. The Generalized (GRH) posits that all non-trivial zeros lie on \mathrm{Re}(s) = 1/2, implying no zeros in \mathrm{Re}(s) > 1/2 and enabling effective error terms in Chebotarev density theorems. Artin L-functions satisfy the axioms of the Selberg class (Euler product, , polynomial growth of coefficients) except possibly the Ramanujan-Petersson conjecture on cusp forms, with GRH ensuring the critical line location of zeros. Partial results on zero-free regions exist for specific families; for instance, when \rho arises from symmetric powers of irreducible representations in low dimensions (e.g., degree 2 via modular forms), sieve-theoretic methods yield zero-free strips to the left of \mathrm{Re}(s) = 1 of width c / \log(|d_K| \log t) for some c > 0, improving classical bounds near s=1. In , Lei, Vandermause, and Young established an approximate version of the holomorphy , showing that for irreducible Artin representations, any poles or essential singularities, if present, have bounded and multiplicity. Further on non-vanishing for \Re(s) > 1/2 appeared in 2025 work by Akbary and Hambrook. Numerical computations verify the GRH for zeros of small-degree Artin L-functions, such as those for representations of 3 or 4 over , using Turing's method to count zeros up to height T with explicit bounds on discrepancies; for example, the first 100 zeros of L(s, \rho) for the Galois representation attached to the splitting field of x^3 + x^2 - 2x - 1 = 0 lie on the critical line within numerical precision.

Key Conjectures

Artin Conjecture

The Artin conjecture posits that for any finite-dimensional representation \rho of the \mathrm{Gal}(L/K) associated to a finite L/K of number fields, the Artin L-function L(s, \rho) admits an to a on the entire , except in the case where \rho contains the trivial representation as a direct summand, in which event L(s, \rho) possesses a simple pole at s=1. This conjecture, formulated by in the 1920s, extends the known holomorphy properties of Dirichlet L-functions to the non-abelian setting, predicting no poles or essential singularities beyond the specified case. Partial results toward the have established holomorphy for representations of low dimension. For one-dimensional representations, which correspond to characters of abelian Galois groups, the conjecture reduces to the of Dirichlet L-functions, proven by Dirichlet in 1837 and extended to Hecke L-functions by Hecke in . For two-dimensional representations over \mathbb{Q}, the has been established through the for Galois representations (Khare and Wintenberger, 2009). Additionally, for monomial representations—those induced from one-dimensional characters of subgroups—Brauer demonstrated meromorphy in 1947 using induction techniques, with poles controlled by the multiplicity of the trivial component. No counterexamples to the Artin conjecture are known, despite extensive computational checks for specific representations, such as icosahedral two-dimensional cases with small conductors. Significant modern progress traces to Robert Langlands' work in the 1970s, which reformulates the conjecture in terms of the correspondence between Galois representations and automorphic forms: if \rho lifts to a cuspidal automorphic representation on \mathrm{GL}_n(\mathbb{A}_K), then L(s, \rho) coincides with an automorphic L-function known to be entire. Local components of this functorial lift have been established for all dimensions via the local Langlands correspondence, but the global case remains open, with the full resolution anticipated from the Langlands reciprocity conjecture. If the Artin conjecture holds, the Artin L-functions would be primitive elements of the Selberg class of L-functions, serving as building blocks under the class's conjectured unique factorization.

Factorization of the

For a finite abelian extension L/K of number fields, the \zeta_L(s) factors as \zeta_L(s) = \prod_{\chi} L(s, \chi), where the product runs over all irreducible characters \chi of the abelian \Gal(L/K), and L(s, \chi) denotes the corresponding Artin L-function (which coincides with a Hecke L-function in this case). This equality holds in the region of \Re(s) > 1, and both sides admit meromorphic continuations to the that agree everywhere. This factorization resolves the holomorphy of \zeta_L(s)/\zeta_K(s) conjectured by Dedekind in the late . The result originated in efforts to generalize the Euler product for the to number fields, with Dedekind verifying special cases, such as pure cubic extensions. In , established the factorization for cyclic extensions using his general , showing that it holds via explicit computations of local factors and densities. The full resolution for arbitrary abelian extensions followed from the development of , which identifies the characters with Hecke characters and confirms the meromorphic continuation of each factor. Independently, Richard Brauer provided a proof in 1947 applicable to all finite Galois extensions (including abelian ones) by demonstrating the meromorphy of general Artin L-functions through on the degree of the extension: any irreducible character decomposes as a non-negative linear combination of characters induced from cyclic subgroups, each of which yields a times a product of Hecke L-functions. This factorization bears direct implications for the analytic in abelian extensions. The residue of \zeta_L(s) at s=1 equals $2^{r_1} (2\pi)^{r_2} h_L R_L / (w_L \sqrt{|\Delta_L|}), where h_L is the class number, R_L the , w_L the number of roots of unity, r_1 the number of real embeddings, r_2 the number of pairs of complex embeddings, and \Delta_L the of L. Since \zeta_L(s) decomposes into the product over (with the trivial character contributing \zeta_K(s)), the residue factors correspondingly, yielding relations between the class number, regulator, and unit group of L and those of K; for instance, the relative class number h_L / h_K involves ratios of regulators R_L / R_K and discriminants, highlighting the arithmetic interplay in abelian towers. The result generalizes to non-abelian Galois extensions L/K via the analogous \zeta_L(s) = \prod_{\rho} L(s, \rho)^{\dim \rho}, where \rho ranges over irreducible of \Gal(L/K); Brauer's theorem establishes this equality as meromorphic functions, though the Artin conjecture predicts additional holomorphy properties beyond the trivial representation. In the non-abelian setting, the factors may incorporate more intricate irrational elements in their special values compared to the rational Hecke L-functions of the abelian case. A representative example occurs for extensions K = \mathbb{Q}(\sqrt{d}) with discriminant d, where \Gal(K/\mathbb{Q}) \cong C_2 is cyclic of order 2. Here, the factorization simplifies to \zeta_K(s) = \zeta(s) L(s, \chi_d), with \chi_d the non-trivial character given by the Kronecker symbol ( \cdot / d ). This decomposition underpins the classical for quadratic fields, linking h_K explicitly to L(1, \chi_d).

Relations to Other L-Functions

Connection to Hecke L-Functions

Hecke L-functions arise in the context of number fields and are defined for Grössencharacters, which are characters ψ on the idèle class group of a number field K. Specifically, for such a ψ, the associated is given by the Euler product L(s, \psi) = \prod_{\mathfrak{p}} \det(I - \psi(\mathfrak{p}) N(\mathfrak{p})^{-s})^{-1}, where the product runs over the prime ideals of the of K, and N(℘) denotes the of ℘. This definition captures the arithmetic data encoded by ψ, and Hecke established that these functions admit to the entire and satisfy a . In the special case where the Galois group Gal(K/k) is abelian for a Galois extension K/k of number fields, the Artin reciprocity map establishes an isomorphism between the Galois group and a quotient of the idèle class group of k. This identifies one-dimensional Galois characters ρ: Gal(K/k) → ℂ^× with Hecke characters ψ on the idèle class group of k, leading to the equality L(s, ρ) = L(s, ψ) up to finitely many Euler factors at ramified primes. Thus, Artin L-functions recover the classical Hecke L-functions precisely when the representation is one-dimensional and the extension is abelian. For higher-dimensional representations, Artin L-functions generalize this connection through and . If ρ is an of dimension greater than one, it can often be expressed as an from a or as a involving one-dimensional Hecke characters, allowing the Artin to factor into products or quotients of Hecke L-functions via Brauer's on characters. This decomposition facilitates the study of analytic properties by reducing to known Hecke factors. A prominent example occurs in cyclotomic fields, where the abelian over ℚ is isomorphic to units modulo the , and the one-dimensional Artin characters correspond directly to Dirichlet characters. In this setting, the Artin L-functions coincide with the classical Dirichlet L-series, which are special cases of Hecke L-functions for . Another illustrative case involves elliptic curves with complex multiplication () by an order in an imaginary ; the L-function of such a curve over a number field is expressible as a Hecke L-function attached to the Grössencharacter induced by the CM action, linking the arithmetic of the curve to modular forms whose L-functions align with these Hecke objects. While Hecke L-functions are always meromorphic on the with known poles only for the trivial , Artin L-functions extend this framework to non-abelian representations but lack unconditional holomorphy; Artin's conjecture posits that they are entire except for the trivial representation, a statement proven in abelian cases via the Hecke theory but remaining open in general. This difference underscores how Artin L-functions broaden the abelian Hecke setting to capture non-abelian Galois data, albeit with conjectural analytic control.

Role in the Langlands Program

The Langlands reciprocity conjecture posits that Artin L-functions, attached to finite-dimensional representations of the of a number field, correspond to L-functions arising from automorphic representations of the general linear group GL_n over the ring of the field. Specifically, for an irreducible n-dimensional ρ, the associated Artin L-function L(s, ρ) is expected to coincide with the automorphic L-function L(s, π_ρ) for a cuspidal automorphic π_ρ of GL_n(A_K), thereby establishing a deep reciprocity between Galois-theoretic and automorphic data. This correspondence forms a cornerstone of the , bridging non-abelian with the analytic properties of automorphic forms. Functoriality principles within the further predict that lifts of Artin L-functions, such as those obtained via symmetric powers or exterior powers of the underlying Galois representation, yield automorphic L-functions on higher-rank GL_m. For instance, the asserts that the symmetric power Sym^k(ρ) corresponds to an automorphic representation on GL_{k+1}, which would imply the holomorphy of the original Artin L-function L(s, ρ) by transferring known analytic properties from the automorphic side. These functorial lifts provide a pathway to resolving the Artin on holomorphy through automorphic methods. Key advances include Langlands' development of base change and automorphic induction in the 1970s, which establish the automorphy of induced representations from cyclic extensions and prove holomorphy for associated Artin L-functions in low dimensions. In the , Clozel extended these techniques via base change for unitary groups and GL_n, demonstrating holomorphy for Artin L-functions attached to representations of Galois groups. These results confirm the Langlands correspondence in specific cases, such as solvable images. Artin L-functions play a pivotal role in applications to the , where realizing prescribed Galois groups over the rationals often relies on embedding them into automorphic representations whose L-functions match Artin factors. Additionally, Artin representations connect to motive theory in the Langlands framework, where they are expected to underlie motives whose L-functions recover the Artin factors, facilitating comparisons between and automorphic forms. Recent progress includes the 2009 resolution of Serre's modularity conjecture by and Wintenberger, which lifts two-dimensional Artin representations (modulo primes) to modular forms, thereby establishing their automorphy and holomorphy in this dimension.

References

  1. [1]
    [PDF] On Artin L-functions - OSU Math
    Galois representations for which Artin defined his L-functions. Langlands ... However there was one part of the theory that had only a global definition, namely ...
  2. [2]
    [PDF] Artin L-Functions
    Artin L-functions originated with an analytic question relating to the Dedekind ζ function. Where before,. L-series were formed from functions on a number ...
  3. [3]
    [PDF] On the history of Artin's L-functions and conductors Seven letters ...
    Jul 23, 2003 · Abstract. In the year 1923 Emil Artin introduced his new L-functions belonging to. Galois characters. But his theory was still incomplete in ...
  4. [4]
    [PDF] Artin's First Article on the Artin L-Series (1924) - CSUSM
    Aug 25, 2022 · The paper, published in 1924, reflects a seminar in Hamburg in July 1923. This was the initial presentation of the theory, but is not the final ...
  5. [5]
    [PDF] Takagi's Class Field Theory - RIMS, Kyoto University
    §8.2. Artin's general reciprocity law. Much influenced by Takagi's class field theory, Emil Artin (1898—1962) formulated his general reciprocity law and ...
  6. [6]
    [PDF] Artin's L-functions: A Historical Approach - Noah Snyder
    Apr 1, 2002 · Dirichlet L-functions, Hecke L-functions, and algebraic number theory up through basic class field theory can easily skip the first chapter ...
  7. [7]
    None
    ### Summary of Artin L-Functions from https://math.osu.edu/~cogdell/artin-www.pdf
  8. [8]
    [PDF] Algebraic Number Theory
    The Artin Conductor . . . . . . . . . . . . . 0 12. The Functional Equation of Artin L-series . . . 3 13. Density Theorems. > . . . .
  9. [9]
  10. [10]
    [PDF] a concise survey of the selberg class of l-functions
    The famous Artin conjecture predicts that in the case when ρ is irreducible ... Selberg orthorgonality conjecture and its consequences. Conjecture 2.16 ...
  11. [11]
    [PDF] Introduction to zeta integrals and L-functions for GLn
    Jun 6, 2011 · All known ways to analytically continue automorphic L-functions involve integral representations using the corresponding automorphic forms.
  12. [12]
    [PDF] Lectures on automorphic L-functions - Clay Mathematics Institute
    This article follows the format of five lectures that we gave on automorphic L- functions. The lectures were intended to be a brief introduction for number ...Missing: partial | Show results with:partial
  13. [13]
    [PDF] Selberg conjectures and Artin L-functions
    This was proved by Godement and Jacquet [GJ]. The Ramanujan conjecture asserts that the eigenvalues of Av are of absolute value 1 for cuspidal automorphic ...
  14. [14]
    [PDF] 19 The analytic class number formula
    Nov 13, 2017 · Let K be a number field of degree n. The Dedekind zeta function ζK(z) extends to a meromorphic function on Re(z) > 1 − 1 n.Missing: conjecture | Show results with:conjecture
  15. [15]
    Gaps between zeros of Dedekind zeta-functions of quadratic ...
    Let K be a quadratic field with discriminant d, and let be the Kronecker symbol of d. Then the Dedekind zeta-function factors as(1) ζ K ( s ) = ζ ( s ) L ( s , ...
  16. [16]
    [PDF] Character Theory and Artin L-functions
    In the spirit of Artin, Brauer, and Heilbronn, we implement representation theory together with the Artin formalism to study L-functions in this thesis.
  17. [17]
    [PDF] langlands reciprocity: l-functions, automorphic forms, and ...
    Abstract. This chapter gives a description of the theory of reciprocity laws in algebraic number theory and its relationship to the theory of L-functions.
  18. [18]
    [PDF] Automorphic Galois representations and Langlands correspondences
    Automorphic Galois representations and. Langlands correspondences. I. Galois representations and automorphic forms: an introduction to the Langlands program.
  19. [19]
    [PDF] Galois representations and automorphic forms
    It is now known in almost complete generality that this realizes the. Langlands reciprocity correspondence for most 2-dimensional representations of Gal(Q/Q).
  20. [20]
    [PDF] Base change for GL(2) Robert P. Langlands
    The problem of base change or of lifting for automorphic representation can be introduced in several ways. It emerges very quickly when one pursues the formal ...
  21. [21]
    [PDF] Reciprocity and symmetric power functoriality
    Symmetric power functoriality is a Langlands conjecture predicting liftings of automorphic forms, related to the reciprocity conjecture for p-adic Galois ...
  22. [22]
    [PDF] Level raising and symmetric power functoriality, II
    Jun 6, 2014 · We apply automorphy lifting techniques to establish new cases of sym- metric power functoriality for Hilbert modular forms of regular algebraic.
  23. [23]
    [PDF] BASE CHANGE FOR GL(2)† - SunSite UBC
    The problem of base change or of lifting for automorphic representation can be introduced in several ways. It emerges very quickly when one pursues the formal ...
  24. [24]
    [PDF] SIMPLE ALGEBRAS, BASE CHANGE, - Clay Mathematics Institute
    automorphisms of LGO which differ by an inner automorphism. One would hope to compare a (twisted) trace formula for G with some combination of.
  25. [25]
    On Artin £-Functions - Project Euclid
    This theorem is considered to be one of the masterpieces of class field theory. It embodies all the classical reciprocity laws such as quadratic, cubic and ...
  26. [26]
    [PDF] Motives and automorphic representations - HAL
    Jul 7, 2014 · Laurent Clozel. Motives and automorphic representations. 2006 ... Artin's Conjecture on the holomorphy of the. L-functions associated ...
  27. [27]
    [PDF] Serre's Modularity Conjecture (I) - UCLA Department of Mathematics
    Abstract. This paper is the first part of a work which proves Serre's modularity conjecture. We first prove the cases p 6= 2 and odd conduc-.
  28. [28]
    Serre's modularity conjecture (II) | Inventiones mathematicae
    Jul 4, 2009 · We provide proofs of Theorems 4.1 and 5.1 of Khare and Wintenberger (Invent. Math., doi:10.1007/s00222-009-0205-7, 2009).