Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userClass field towers and minimal models
129
0
0.0
(
0
)
Authors
Igor Nikolaev
Ask ChatGPT about the research
No Arabic abstract
It is shown that the real class field towers are always finite. The proof is based on Castelnuovos theory of the algebraic surfaces and a functor from such surfaces to the Etesi C*-algebras.
rate research
Read More
This paper concerns towers of curves over a finite field with many rational points, following Garcia--Stichtenoth and Elkies. We present a new method to produce such towers. A key ingredient is the study of algebraic solutions to Fuchsian differential equations modulo $p$. We apply our results to towers of modular curves, and find new asymptotically good towers.
For each odd prime p>=5, there exist finite p-groups G with derived quotient G/D(G)=C(p)xC(p) and nearly constant transfer kernel type k(G)=(1,2,...,2) having two fixed points. It is proved that, for p=7, this type k(G) with the simplest possible case of logarithmic abelian quotient invariants t(G)=(11111,111,21,21,21,21,21,21) of the eight maximal subgroups is realized by exactly 98 non-metabelian Schur sigma-groups S of order 7^11 with fixed derived length dl(S)=3 and metabelianizations S/D(D(S)) of order 7^7. For p=5, the type k(G) with t(G)=(2111,111,21,21,21,21) leads to infinitely many non-metabelian Schur sigma-groups S of order at least 5^14 with unbounded derived length dl(S)>=3 and metabelianizations S/D(D(S)) of fixed order 5^7. These results admit the conclusion that d=-159592 is the first known discriminant of an imaginary quadratic field with 7-class field tower of precise length L=3, and d=-90868 is a discriminant of an imaginary quadratic field with 5-class field tower of length L>=3, whose exact length remains unknown.
We fix a monic polynomial $f(x) in mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$; this is a tower of curves $cdots to C_m to C_{m-1} to cdots to C_0 =mathbb A^1$, with total Galois group $mathbb Z_p$. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function form arithmetic progressions which are independent of the conductor of the character. As a corollary, we obtain a result on the behavior of the slopes of the eigencurve associated to the Artin-Schreier-Witt tower, analogous to the result of Buzzard and Kilford.
We consider generalized $Lambda$-structures on algebras and schemes over the ring of integers $mathit{O}_K$ of a number field $K$. When $K=mathbb{Q}$, these agree with the $lambda$-ring structures of algebraic K-theory. We then study reduced finite flat $Lambda$-rings over $mathit{O}_K$ and show that the maximal ones are classified in a Galois theoretic manner by the ray class monoid of Deligne and Ribet. Second, we show that the periodic loci on any $Lambda$-scheme of finite type over $mathit{O}_K$ generate a canonical family of abelian extensions of $K$. This raises the possibility that $Lambda$-schemes could provide a framework for explicit class field theory, and we show that the classical explicit class field theories for the rational numbers and imaginary quadratic fields can be set naturally in this framework. This approach has the further merit of allowing for some precise questions in the spirit of Hilberts 12th Problem. In an interlude which might be of independent interest, we define rings of periodic big Witt vectors and relate them to the global class field theoretical mathematics of the rest of the paper.
We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro-$2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$-class group of $K$ is $2$-generated. While we do not have a theoretical scheme for assigning probabilities, we present data and make some observations and conjectures about the distribution of such groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
