AN EXTENSION OF THE FIRST-ORDER STARK CONJECTURE

被引：4
|
作者：
Erickson, Stefan [1 ]
机构：
[1] Colorado Coll, Dept Math & Comp Sci, Colorado Springs, CO 80903 USA
来源：
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS | 2009年 / 39卷 / 03期
关键词：
Special values of L-functions; Stark conjectures; FIELDS;
D O I：
10.1216/RMJ-2009-39-3-765
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We extend the first-order abelian Stark conjecture to include situations where every imprimitive L(S)-function vanishes at s = 0 but no prime in S splits completely. We reduce the problem to finding certain exponential factors in the original Stark units and prove that the extended conjecture follows from the original conjecture under certain circumstances.
引用
收藏
页码：765 / 787
页数：23
相关论文
共 50 条
  • [1] SYMMETRY CONDITION FOR A FIRST-ORDER STARK EFFECT
    WATSON, JKG
    JOURNAL OF MOLECULAR SPECTROSCOPY, 1974, 50 (1-3) : 281 - 285
  • [2] Extension of first-order theories into trees
    Djelloul, Khalil
    Dao, Thi-Bich-Hanh
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 53 - 67
  • [3] FIRST-ORDER STARK SHIFTS FOR LOW ELECTRIC-FIELDS
    KULKARNI, RG
    SWAMY, NVV
    CHAFFIN, E
    PHYSICAL REVIEW A, 1973, 7 (01): : 27 - 33
  • [4] ON THE PROOF-THEORY OF A FIRST-ORDER EXTENSION OF GL
    Schwartz, Yehuda
    Tourlakis, George
    LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (03) : 329 - 363
  • [5] An extension rule based first-order theorem prover
    Wu, Xia
    Sun, Jigui
    Hou, Kun
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 4092 : 514 - 524
  • [6] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [7] The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs
    Lisitsa, A.
    MATHEMATICAL SOFTWARE - ICMS 2018, 2018, 10931 : 343 - 351
  • [8] First-order expressibility of languages with neutral letters or:: The Crane Beach conjecture
    Barrington, DAM
    Immerman, N
    Lautemann, C
    Schweikardt, N
    Thérien, D
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2005, 70 (02) : 101 - 127
  • [9] An extension of first-order LTL with rules with application to runtime verification
    Klaus Havelund
    Doron Peled
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 547 - 563
  • [10] KNOWLEDGE-REPRESENTATION-LOGIC: AN EXTENSION OF FIRST-ORDER LOGIC
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2022, 18 (04): : 1055 - 1069
12345