| 释义 |
- Formulation
- Computation
- Progress
- Notes
- References
- External links
In number theory, the Stark conjectures, introduced by {{harvs|txt|authorlink=Harold Stark|last=Stark|year1=1971|year2=1975|year3=1976|year4=1980}} and later expanded by {{harvs|txt|authorlink=John Tate|last=Tate|year=1984}}, give conjectural information about the coefficient of the leading term in the Taylor expansion of an Artin L-function associated with a Galois extension K/k of algebraic number fields. The conjectures generalize the analytic class number formula expressing the leading coefficient of the Taylor series for the Dedekind zeta function of a number field as the product of a regulator related to S-units of the field and a rational number. When K/k is an abelian extension and the order of vanishing of the L-function at s = 0 is one, Stark gave a refinement of his conjecture, predicting the existence of certain S-units, called Stark units. {{harvs|txt|last=Rubin|authorlink=Karl Rubin|year=1996}} and Cristian Dumitru Popescu gave extensions of this refined conjecture to higher orders of vanishing. FormulationThe Stark conjectures, in the most general form, predict that the leading coefficient of an Artin L-function is the product of a type of regulator, the Stark regulator, with an algebraic number. When the extension is abelian and the order of vanishing of an L-function at s = 0 is one, Stark's refined conjecture predicts the existence of the Stark units, whose roots generate Kummer extensions of K that are abelian over the base field k (and not just abelian over K, as Kummer theory implies). As such, this refinement of his conjecture has theoretical implications for solving Hilbert's twelfth problem. Also, it is possible to compute Stark units in specific examples, allowing verification of the veracity of his refined conjecture as well as providing an important computational tool for generating abelian extensions of number fields. In fact, some standard algorithms for computing abelian extensions of number fields involve producing Stark units that generate the extensions (see below). ComputationThe first order zero conjectures are used in recent versions of the PARI/GP computer algebra system to compute Hilbert class fields of totally real number fields, and the conjectures provide one solution to Hilbert's twelfth problem, which challenged mathematicians to show how class fields may be constructed over any number field by the methods of complex analysis. ProgressStark's principal conjecture has been proven in various special cases, including the case where the character defining the L-function takes on only rational values. Except when the base field is the field of rational numbers or an imaginary quadratic field, the abelian Stark conjectures are still unproved in number fields, and more progress has been made in function fields of an algebraic variety. {{harvs|txt|authorlink=Yuri I. Manin|last=Manin|year=2004}} related Stark's conjectures to noncommutative geometry of Alain Connes.[1] This provides a conceptual framework for studying the conjectures, although at the moment it is unclear whether Manin's techniques will yield the actual proof.Notes1. ^{{cite book | first1=Yu. I. | last1=Manin | authorlink1=Yuri I. Manin | first2=A. A. | last2=Panchishkin | title=Introduction to Modern Number Theory | series=Encyclopaedia of Mathematical Sciences | volume=49 | edition=Second | year=2007 | isbn=978-3-540-20364-3 | issn=0938-0396 | zbl=1079.11002 | page=171 }}
References- {{Citation | editor3-last=Solomon | editor3-first=David | editor2-last=Sands | editor2-first=Jonathan | editor1-last=Burns | editor1-first=David | title=Stark's conjectures: recent work and new directions | url=http://www.mathematics.jhu.edu/stark/ | publisher=American Mathematical Society | location=Providence, RI | series=Contemporary Mathematics | isbn=978-0-8218-3480-0 | mr=2090725 | year=2004 | volume=358 | doi=10.1090/conm/358 | deadurl=yes | archiveurl=https://web.archive.org/web/20120426023029/http://www.mathematics.jhu.edu/stark/ | archivedate=2012-04-26 | df= }}
- {{Citation | last1=Manin | first1=Yuri Ivanovich | author1-link=Yuri Ivanovich Manin | editor1-last=Piene | editor1-first=Ragni | editor2-last=Laudal | editor2-first=Olav Arnfinn | title=The legacy of Niels Henrik Abel | arxiv=math/0202109 | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-3-540-43826-7 |mr=2077591 | year=2004 | chapter=Real multiplication and noncommutative geometry (ein Alterstraum) | pages=685–727| bibcode=2002math......2109M }}
- {{Citation | last1=Popescu | first1=Cristian D. | title=On a refined Stark conjecture for function fields | doi=10.1023/A:1000833610462 |mr=1691163 | year=1999 | journal=Compositio Mathematica | issn=0010-437X | volume=116 | issue=3 | pages=321–367}}
- {{Citation | last1=Rubin | first1=Karl | title=A Stark conjecture over Z for abelian L-functions with multiple zeros | url=http://www.numdam.org/item?id=AIF_1996__46_1_33_0 |mr=1385509 | year=1996 | journal=Université de Grenoble. Annales de l'Institut Fourier | issn=0373-0956 | volume=46 | issue=1 | pages=33–62 | doi=10.5802/aif.1505}}
- {{Citation | last1=Stark | first1=Harold M. | title=Values of L-functions at s = 1. I. L-functions for quadratic forms. | doi=10.1016/S0001-8708(71)80009-9 |mr=0289429 | year=1971 | journal=Advances in Mathematics | issn=0001-8708 | volume=7 | issue=3 | pages=301–343 }}
- {{Citation | last1=Stark | first1=Harold M. | title=L-functions at s = 1. II. Artin L-functions with rational characters | doi=10.1016/0001-8708(75)90087-0 |mr=0382194 | year=1975 | journal=Advances in Mathematics | issn=0001-8708 | volume=17 | issue=1 | pages=60–92}}
- {{Citation | last1=Stark | first1=H. M. | editor1-last=Serre | editor1-first=Jean-Pierre | editor1-link=Jean-Pierre Serre | editor2-last=Zagier | editor2-first=D. B. | title=Modular Functions of One Variable V: Proceedings International Conference, University of Bonn, Sonderforschungsbereich Theoretische Mathematik, July 1976 | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Math | isbn=978-3-540-08348-1 | doi=10.1007/BFb0063951 |mr=0450243 | year=1977 | volume=601 | chapter=Class fields and modular forms of weight one | pages=277–287}}
- {{Citation | last1=Stark | first1=Harold M. | title=L-functions at s = 1. III. Totally real fields and Hilbert's twelfth problem | doi=10.1016/0001-8708(76)90138-9 |mr=0437501 | year=1976 | journal=Advances in Mathematics | issn=0001-8708 | volume=22 | issue=1 | pages=64–84}}
- {{Citation | last1=Stark | first1=Harold M. | title=L-functions at s = 1. IV. First derivatives at s = 0 | doi=10.1016/0001-8708(80)90049-3 |mr=563924 | year=1980 | journal=Advances in Mathematics | issn=0001-8708 | volume=35 | issue=3 | pages=197–235}}
- {{Citation | last1=Tate | first1=John | author1-link=John Tate | title=Les conjectures de Stark sur les fonctions L d'Artin en s=0 | journal=Mathematical Programming | url=https://www.springer.com/birkhauser/mathematics/book/978-0-8176-3188-8 | publisher=Birkhäuser Boston | location=Boston, MA | series=Progress in Mathematics | isbn=978-0-8176-3188-8 |mr=782485 | year=1984 | volume=47 | issue=1–3 | pages=143–153 | doi=10.1007/BF01580857}}
External links- {{citation|title=Lectures on Stark's Conjectures |url=http://www.math.umass.edu/~dhayes/lecs.html |first=David R. |last=Hayes |year=1999 |deadurl=unfit |archiveurl=https://web.archive.org/web/20120204044231/http://www.math.umass.edu/~dhayes/lecs.html |archivedate=February 4, 2012 }}
4 : Conjectures|Field theory|Algebraic number theory|Zeta and L-functions |