We study two criterions of cyclicity for divisor class groups of functions fields, the first one involves Artin L-functions and the second one involves "affine" class groups. We show that, in general, these two criterions are not linked.
We determine all irreducible representations of primary quasi-cyclotomic fields in this paper. The methods can be applied to determine the irreducible representations of any quasi-cyclotomic field. We also compute the Artin L-functions for a class of quasi-cyclotomic fields.
We first study some families of maximal real subfields of cyclotomic fields with even class number, and then explore the implications of large plus class numbers of cyclotomic fields. We also discuss capitulation of the minus part and the behaviour of p-class groups in cyclic ramified p-extensions.
We call a (q-1)-th Kummer extension of a cyclotomic function field a quasi-cyclotomic function field if it is Galois, but non-abelian, over the rational function field with the constant field of q elements. In this paper, we determine the structure of the Galois groups of a kind of quasi-cyclotomic function fields over the base field. We also give the genus formulae of them.
We construct an infinite family of real cyclotomic fields with non-trivial class group. This result generalizes the result in [1] in the sense that our family includes theirs.
In this paper, we generalize Bernoulli-Goss polynomials, and give a criterion on the divisibility of zeta functions of cyclotomic function fields. As an application of our criterion, for a given polynomial $f(u)$, we prove that there are infinitely many cyclotomic function fields whose zeta polynomial is divided by $f(u)$.
In this paper, we investigate the $p$-rank of Jacobian of cyclotomic function field $K_m$. Our goal in this paper is to give the necessary and sufficient condition $m$ such that $K_m$ is ordinary.
In this note, we give a shorter proof of the result of Zheng, Yu, and Pei on the explicit formula of inverses of generalized cyclotomic permutation polynomials over finite fields. Moreover, we characterize all these cyclotomic permutation polynomials that are involutions. Our results provide a fast algorithm (only modular operations are involved) to generate many classes of generalized cyclotomic permutation polynomials, their inverses, and involutions.
This paper studies Galois extensions over real quadratic number fields or cyclotomic number fields ramified only at one prime. In both cases, the ray class groups are computed, and they give restrictions on the finite groups that can occur as such Galois groups. Also the explicit structure of ray class groups of regular cyclotomic number field is given.
In this essay, we see how prime cyclotomic fields (cyclotomic fields obtained by adjoining a primitive p-th root of unity to Q, where p is an odd prime) can lead to elegant proofs of number theoretical concepts. We namely develop the notion of primary units in a cyclotomic field, demonstrate their equivalence to real units in this case, and show how this leads to a proof of a special case of Fermat's Last Theorem. We finally modernize Dirichlet's solution to Pell's Equation.
We describe Greenberg's pseudo-null conjecture, and prove a result describing conditions under which the pseudo-null conjecture for a number field $K$ implies the conjecture for finite extensions of $K$. We then apply the result to the cyclotomic $\mathbb{Z}_p$-tower above a cyclotomic field of prime roots of unity, verifying the conjecture for a large class of cyclotomic fields.
In this article, we prove that every finite abelian group $G$ of odd order occurs as a subgroup of the class group of infinitely many real cyclotomic fields.
We derive the group structure for cyclotomic function fields obtained by applying the Carlitz action for extensions of an initial constant field. The tame and wild structures are isolated to describe the Galois action on differentials. We show that the associated invariant rings are not polynomial.
A linear recurrence sequence in a cyclotomic field produces a sequence of the generating fields of each term. We show that the later sequence is periodic after removing the first finite terms, and give a bound of its period. This can be applied to exponential sums.
We collect some statements regarding equivalence of the parities of various class numbers and signature ranks of units in prime power cyclotomic fields. We correct some misstatements in the literature regarding these parities by providing an example of a prime cyclotomic field where the signature rank of the units and the signature rank of the circular units are not equal.
For a real abelian field and for an odd prime p splitting in the field, we study a map between the p-parts of the class group and of the quotient of units modulo Cyclotomic Units, respectively, along the cyclotomic Z_p-extension of the field. We determine the kernel and the cokernel of this map assuming Greenberg's conjecture on the vanishing of the lambda-invariant of the extension.
In this paper we prove that any Artin--Schreier extension of a congruence rational function field is contained in the composite of a cyclotomic function field and a constant field extension that are explicitly prescribed.
In this paper we announce some results obtained for certain algebraic functions, which we call of cyclotomic type. The main results properly resemble von Staudt-Clausen's theorem and Kummer's congruence for the Bernoulli numbers, and such theorems for the Hurwitz numbers.
We investigate the interrelationships of three notions of primary units in the local cyclotomic field of $p$-th roots of~1($p$ being an odd prime number), especially with reference to global units.
Let $d$ be a positive square-free integer. In this paper we shall investigate the structure of the $2$-class group of the cyclotomic $\mathbb{Z}_2$-extension of the imaginary biquadratic number field $\mathbb{Q}(\sqrt{d},\sqrt{-1})$. Furthermore, we deduce the structure of the $2$-class group of cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{-d})$.
In this note, we investigate the p-adic behavior of Weil numbers in the cyclotomic $\mathbb Z\_p$-extension of $\mathbb Q(ζ\_p).$ We determlne the characteristic ideal of the quotient of semi-local units by Weil numbers in terms of the characteristic ideals of some classical modules that appear in Iwasawa Theory.
We study the explicit factorization of $2^n r$-th cyclotomic polynomials over finite field $\mathbb{F}_q$ where $q, r$ are odd with $(r, q) =1$. We show that all irreducible factors of $2^n r$-th cyclotomic polynomials can be obtained easily from irreducible factors of cyclotomic polynomials of small orders. In particular, we obtain the explicit factorization of $2^n 5$-th cyclotomic polynomials over finite fields and construct several classes of irreducible polynomials of degree $2^{n-2}$ with fewer than 5 terms. The reciprocals of these irreducible polynomials are irreducible polynomials of …
We investigate the solvability of the Diophantine equation $x^2-my^2=\pm p$ in integers for certain integer $m$ and prime $p$. Then we apply these results to produce family of maximal real subfield of a cyclotomic field whose class number is strictly bigger than $1$.
We prove that the Ring Learning With Errors (RLWE) and the Polynomial Learning With Errors (PLWE) problems over the cyclotomic field $\mathbb{Q}(ζ_n)$ are not equivalent. Precisely, we show that reducing one problem to the other increases the noise by a factor that is more than polynomial in $n$. We do so by providing a lower bound, holding for infinitely many positive integers $n$, for the condition number of the Vandermonde matrix of the $n$th cyclotomic polynomial.
This paper is concerned with so-called index $d$ generalized cyclotomic mappings of a finite field $\mathbb{F}_q$, which are functions $\mathbb{F}_q\rightarrow\mathbb{F}_q$ that agree with a suitable monomial function $x\mapsto ax^r$ on each coset of the index $d$ subgroup of $\mathbb{F}_q^{\ast}$. We discuss two important rewriting procedures in the context of generalized cyclotomic mappings and present applications thereof that concern index $d$ generalized cyclotomic permutations of $\mathbb{F}_q$ and pertain to cycle structures, the classification of $(q-1)$-cycles and involutions, as well…
Let $\mathcal{A}_n$ be the $2$-part of the ideal class group of the $n$-th layer of the cyclotomic $\mathbb{Z}_2$-extension of a real quadratic number field $F$. The cardinality of $\mathcal{A}_n$ is related to the index of cyclotomic units in the full group of units. We present a method to study the latter index. As an application we show that the sequence of the $\mathcal{A}_n$'s stabilizes for the real fields $F=\mathbb{Q}(\sqrt{f})$ for any integer $0<f<10000$. Equivalently Greenberg's conjecture holds for those fields.
We prove that all elliptic curves defined over the cyclotomic $\mathbb{Z}_p$-extension of a real quadratic field are modular under the assumption that the algebraic part of the central value of a twisted $L$-function is a $p$-adic unit. Our result is a generalization of a result of X. Zhang, which is a real quadratic analogue of a result of Thorne.
Let z be a primitive fifth root of unity and let F be the cyclotomic field F=Q(z). Let O be the ring of integers. We compute the Voronoi polyhedron of binary Hermitian forms over F and classify GL_2(O)-conjugacy classes of perfect forms. The combinatorial data of this polyhedron can be used to compute the cohomology of the arithmetic group GL_2(O) and Hecke eigen forms.
This paper is submitted to Algebraic-Number-Theory Archives for validation by Number Theorists Community. It is an update of the previous versions ANT-0155, ANT-0170, ANT-0205, ANT-0237, ANT-0321, ANT-0333, and ANT-0356, of which the first four were titled `A generalization of Eichler criterium for Fermat's Last Theorem' and the last three were titled `A classical approach on Fermat-Wiles theorem'. This version contains a complete reorganization of the paper with a first part dealing with cyclotomic fields (independently of FLT) from page 10 to 72 and a second part dealing with FLT from page 7…
Following Hasse's example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields by carefully examining the analytic class number formula. In this paper we will show how to generalize these results to CM-fields by using class field theory. Although we will only need some special cases, we have also decided to include a few results on Hasse's unit index for CM-fields as well, because it seems that our proofs are more direct than those given by Hasse.
We show that the special values at tuples of positive integers of the $p$-adic multiple $L$-function introduced by the first-named author et al. can be expressed in terms of the cyclotomic multiple harmonic values introduced by the second-named author.
In this paper, we obtain a formula for the special value of Euler-Dirichlet $L$-function $L_E(s,χ)$ at $s=1$. This leads to another class number formula of $\mathbb{Q}(μ_{m})^{+}$, the maximal real subfield of $m$th cyclotomic field. From this formula, we construct a new type of cyclotomic units in $\mathbb{Q}(μ_{p^{n}})$, which implies a similar Kummer's relation between the ideal class number of $\mathbb{Q}(μ_{p^{n}})^{+}$ and the unit index.
The class numbers $h^{+}$ of the real cyclotomic fields are very hard to compute. Methods based on discriminant bounds become useless as the conductor of the field grows and methods employing Leopoldt's decomposition of the class number become hard to use when the field extension is not cyclic of prime power. This is why other methods have been developed which approach the problem from different angles. In this paper we extend one of these methods that was designed for real cyclotomic fields of prime conductor, and we make it applicable to real cyclotomic fields of conductor equal to the produ…
Given a permutation polynomial of a large finite field, finding its inverse is usually a hard problem. Based on a piecewise interpolation formula, we construct the inverses of cyclotomic mapping permutation polynomials of arbitrary finite fields.
The absolute Galois group of the cyclotomic field $K={\mathbb Q}(ζ_p)$ acts on the étale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for $K$-rational points on $X$. We analyze a $2$-nilpotent extension of $K$ which contains the information needed for measuring this obstruction. We determine a large subquotient of this Galois cohomology group which arises from Heisenberg extensions of $K$. For $p=3$, we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology, which determin…
Let $\K$ be a galois CM extension of $\Q$ and $\K_{\infty}$ its cyclotomic $\Z_p$-extension. Let $A_n$ be the $p$-parts of the class groups in the intermediate subfields $\K_n \subset \K_{\infty}$ and $\rg{A} = \varprojlim_n A_n$. We show that the $p$-rank of $\rg{A}$ is finite, which is equivalent to the vanishing of Iwasawa's constant $μ$ for $\rg{A}$. (Currently withdrawn)
An elliptic curve defined over a number field possesses only a finite number of torsion points defined over the cyclotomic closure of its field of definition. In analogy to the relative version of the Manin-Mumford conjecture stated by Masser and Zannier, we propose a family version of the above statement and prove it under a suitable integrality condition.
We propose and justify a generalised approach to prove the polynomial reduction of the RLWE to the PLWE problem attached to the ring of integers of a monogenic number field. We prove such equivalence in the case of the maximal totally real subextension of the 4p-th cyclotomic field, with p arbitrary prime.
In this paper we study the structure of the $3-$part of the ideal class group of a certain family of real cyclotomic fields with $3-$class number exactly $9$ and conductor equal to the product of two distinct odd primes. We employ known results from Class Field Theory as well as theoretical and numerical results on real cyclic sextic fields, and we show that the $3-$part of the ideal class group of such cyclotomic fields must be cyclic. We present four examples of fields that fall into our category, namely the fields of conductor $3 \cdot 331$, $7 \cdot 67$, $3 \cdot 643$ and $7 \cdot 257$, an…
We study the equivalence between the Ring Learning With Errors and Polynomial Learning With Errors problems for cyclotomic number fields,namely: we prove that both problems are equivalent via a polynomial noise increase as long as the number of distinct primes dividing the conductor is kept constant. We refine our bound in the case where the conductor is divisible by at most three primes and we give an asymptotic subexponential formula for the condition number of the attached Vandermonde matrix valid for arbitrary degree.
This article deals with a study of the structure of the class group of the cyclotomic field $K=\Q(ζ_p)$ for $p$ an odd prime number, starting from Stickelberger relation. The present state of this work leads me to set a question for all the prime numbers $h\not=p$ which divide the relative class number $h^-(K)$.
Let $ζ_k$ be a $k$-th primitive root of unity, $m\geqϕ(k)+1$ an integer and $Φ_k(X)\in\mathbb Z [X]$ the $k$-th cyclotomic polynomial. In this paper we show that the pair $(-m+ζ_k,\mathcal N)$ is a canonical number system, with $\mathcal N=\{0,1,\dots,|Φ_k(m)|\}$. Moreover we also discuss whether the two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent for positive integers $m$ and $n$ and $k$ fixed.
We use a result of Thaine to give an alternative proof of the fact that, for a prime p>3 congruent to 3 modulo 4, the component e_{(p+1)/2} of the p-Sylow subgroup of the ideal class group of \mathbb Q(ζ_{p}) is trivial.
We deduce the cyclotomic Iwasawa main conjecture for Hilbert modular cuspforms with complex multiplication from the multivariable main conjecture for CM number fields. To this end, we study in detail the behaviour of the $p$-adic $L$-functions and the Selmer groups attached to CM number fields under specialisation procedures.
Kummer's conjecture states that the relative class number of the $p$-th cyclotomic field follows a strict asymptotic law. Granville has shown it unlikely to be true -- it cannot be true if we assume the truth of two other widely believed conjectures. We establish a new bound for the error term in Kummer's conjecture, and more precisely we prove that $\log(h_p^-)=\frac{p+3}{4}\log(p) + \frac{p}{2}\log(2π)+\log(1-β)+O(\log_2 p)$, where $β$ is a possible Siegel zero of an $L(s,χ)$, $χ$ odd.
The problem of expressing an element of K_2(F) in a more explicit form gives rise to many works. To avoid a restrictive condition in a work of Tate, Browkin considered cyclotomic elements as the candidate for the element with an explicit form. In this paper, we modify and change Browkin's conjecture about cyclotomic elements into more precise forms, in particular we introduce the conception of cyclotomic subgroup. In the rational function field cases, we determine completely the exact numbers of cyclotomic elements and cyclotomic subgroups contained in a subgroup generated by finitely many dif…