We investigate the group of universal norms attached to the cyclotomic Z {ell}-tower of a totally real number field in connection with Grenbergs conjecture on Iwasawa invariants of such a field.
We use logarithmic {ell}-class groups to take a new view on Greenbergs conjecture about Iwasawa {ell}-invariants of a totally real number field K. By the way we recall and complete some classical results. Under Leopoldts conjecture, we prove that Gre
enbergs conjecture holds if and only if the logarithmic classes of K principalize in the cyclotomic Z{ell}-extensions of K. As an illustration of our approach, in the special case where the prime {ell} splits completely in K, we prove that the sufficient condition introduced by Gras just asserts the triviality of the logarithmic class group of K.Last, in the abelian case, we provide an explicit description of the circular class groups in connexion with the so-called weak conjecture.
Let $K/k$ be an extension of number fields, and let $P(t)$ be a quadratic polynomial over $k$. Let $X$ be the affine variety defined by $P(t) = N_{K/k}(mathbf{z})$. We study the Hasse principle and weak approximation for $X$ in three cases. For $[K:k
]=4$ and $P(t)$ irreducible over $k$ and split in $K$, we prove the Hasse principle and weak approximation. For $k=mathbb{Q}$ with arbitrary $K$, we show that the Brauer-Manin obstruction to the Hasse principle and weak approximation is the only one. For $[K:k]=4$ and $P(t)$ irreducible over $k$, we determine the Brauer group of smooth proper models of $X$. In a case where it is non-trivial, we exhibit a counterexample to weak approximation.
We study the distribution of extensions of a number field $k$ with fixed abelian Galois group $G$, from which a given finite set of elements of $k$ are norms. In particular, we show the existence of such extensions. Along the way, we show that the Ha
sse norm principle holds for $100%$ of $G$-extensions of $k$, when ordered by conductor. The appendix contains an alternative purely geometric proof of our existence result.
Riffaut (2019) conjectured that a singular modulus of degree $hge 3$ cannot be a root of a trinomial with rational coefficients. We show that this conjecture follows from the GRH, and obtain partial unconditional results.
Assuming Schanuels conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine geometry, we obtai
n the result by proving (unconditionally) that certain polynomial exponential equations have only finitely many rational solutions. This answers affirmatively a question of David Marker, who asked, and proved in the case of algebraic coefficients, whether at least the one-variable case of Zilbers strong exponential-algebraic closedness conjecture can be reduced to Schanuels conjecture.