A valuation criterion for normal bases in elementary abelian extensions
Nigel P. Byott, G. Griffith Elder
备注：
In addition to some small notational changes, the title "On the valuation of normal basis generators" was changed. The paper is accepted by the Bulletin of the LMS
Let $p$ be a prime number and let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers. Let $N$ be a fully ramified, elementary abelian extension of $K$. Under a mild hypothesis on the extension $N/K$, we show that every element of $N$ with valuation congruent mod $[N:K]$ to the largest lower ramification number of $N/K$ generates a normal basis for $N$ over $K$.
Let S/R be a finite extension of discrete valuation rings of characteristic p>0, and suppose that the corresponding extension L/K of fields of fractions is separable and is H-Galois for some K-Hopf algebra H. Let D_{S/R} be the different of S/R. We show that if S/R is totally ramified and its degree n is a power of p, then any element $ρ$ of L with $v_L(ρ)$ congruent to $-v_L(D_{S/R})-1$ mod n generates L as an H-module. This criterion is best possible. These results generalise to the Hopf-Galois situation recent work of G. Elder for Galois extensions.
The aim of this paper is to prove conjectures concerning $p$-adic valuations of Stirling numbers of the second kind $S(n,k)$, $n,k\in\mathbb{N}_+$, stated by Amdeberhan, Manna and Moll and Berrizbeitia et al., where $p$ is a prime number. The proof is based on elementary facts from $p$-adic analysis.
If $L/K$ is a finite Galois extension of local fields, we say that the valuation criterion $VC(L/K)$ holds if there is an integer $d$ such that every element $x \in L$ with valuation $d$ generates a normal basis for $L/K$. Answering a question of Byott and Elder, we first prove that $VC(L/K)$ holds if and only if the tamely ramified part of the extension $L/K$ is trivial and every non-zero $K[G]$-submodule of $L$ contains a unit. Moreover, the integer $d$ can take one value modulo $[L:K]$ only, namely $-d_{L/K}-1$, where $d_{L/K}$ is the valuation of the different of $L/K$. When $K$ has positi…
Let $(K,ν)$ be an arbitrary-rank valued field, $R_ν$ its valuation ring, $K(α)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_ν[X]$. We give necessary and sufficient conditions for $R_ν[α]$ to be integrally closed. We further characterize the integral closedness of $R_ν[α]$ based on information about the valuations on $K(α)$ extending $ν$. Our results enhance and generalize some existing results in the relevant literature. Some applications and examples are also given.
We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which generalize Christol step functions. This provides suitable $q$-analogs of two results proved by Christol: a formula for the $p$-adic valuation of Pochhammer symbols and a criterion for the $N$-integrality of hypergeometric series.
Let $K$ be a complete local field of characteristic $p$ with perfect residue field. Let $L/K$ be a finite, fully ramified, Galois $p$-extension. If $π_L\in L$ is a prime element, and $p'(x)$ is the derivative of $π_L$'s minimal polynomial over $K$, then the relative different $\euD_{L/K}$ is generated by $p'(π_L)\in L$. Let $v_L$ be the normalized valuation normalized with $v_L(L)=\mathbb{Z}$. We show that any element $ρ\in L$ with $v_L(ρ)\equiv -v_L(p'(π_L))-1\bmod[L:K]$ generates a normal basis, $K[{Gal}(L/K)]\cdotρ=L$. This criterion is tight: Given any integer $i$ such that $i\not\equiv -v…
In this paper, we will show that the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers is unusually large. This generalizes the very recent results by the author and by A. Dubickas, which are both related to the special case $p = 2$. The crucial point for obtaining our main result is the fact that the $p$-adic valuation of the rational numbers in question is unbounded from above. We will confirm this fact by three different methods; the first two are elementary while the third one leans on the $p$-adic analysis.
We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.
$L-$series attached to two classical families of elliptic curves with complex multiplications are studied over number fields, formulae for their special values at $s=1, $ bound of the values, and criterion of reaching the bound are given. Let $ E_1: y^{2}=x^{3}-D_1 x $ be elliptic curves over the Gaussian field $K=\Q(\sqrt{-1}), $ with $ D_1 =π_{1} ... π_{n} $ or $ D_1 =π_{1} ^{2}... π_{r} ^{2} π_{r+1} ... π_{n}$, where $π_{1}, ..., π_{n}$ are distinct primes in $K$. A formula for special values of Hecke $L-$series attached to such curves expressed by Weierstrass $\wp-$function are given; a lo…
We present basic properties of Gröbner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a finitely generated $R$-module to be flat over $A$. Its non-graded version is also given.
A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets
Harvard Business School（哈佛商学院）；Department of Economics and Center of Mathematical Sciences and Applications, Harvard University（哈佛大学经济与数学科学及应用中心）；a16z crypto（a16z 加密）
Two number fields are called arithmetically equivalent if they have the same Dedekind zeta function. In the 1970's Perlis showed that this is equivalent to the condition that for almost every rational prime $\ell$ the arithmetic type of $\ell$ is the same in each field. In the 1990's Perlis and Stuart gave an unexpected characterization for arithmetic equivalence; they showed that to be arithmetically equivalent it is enough for almost every prime $\ell$ to have the same number of prime factors in each field. Here, using an $\ell-p$ switch trick, we provide an elementary proof of that fact bas…
We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single element. We apply the criterion to construct some interesting examples.
We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local function fields of characteristic $p$, called {\em one-dimensional}, that, in a particular sense, are as simple as cyclic degree $p$ extensions, and prove the statement in the title above.
This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the class of characteristic $p$ elementary abelian $p$-extensions $L/K$ with Galois scaffolds described in mentioned paper, we give a necessary and sufficient condition for the valuation ring $\mathfrak{O}_L$ to be free over its associated order $\mathcal{A}_{L/K}$ in $K[\Gal(L/K)]$. Interestingly, this condition agrees with the condition found by Y. Miyata, con…
Let $n$ and $k$ be positive integers. We denote by $v_2(n)$ the 2-adic valuation of $n$. The Stirling numbers of the first kind, denoted by $s(n,k)$, counts the number of permutations of $n$ elements with $k$ disjoint cycles. In recent years, Lengyel, Komatsu and Young, Leonetti and Sanna, and Adelberg made some progress on the $p$-adic valuations of $s(n,k)$. In this paper, by introducing the concept of $m$-th Stirling numbers of the first kind and providing a detailed 2-adic analysis, we show an explicit formula on the 2-adic valuation of $s(2^n, k)$. We also prove that $v_2(s(2^n+1,k+1))=v_…
In the famous paper of Deligne and Mumford, they proved that a proper hyperbolic curve over a discrete valuation field has stable reduction if and only if the Jacobian variety of the curve has stable reduction in the case where the residue field of its valuation ring is algebraically closed. In the proof, the theory of minimal regular models played an important role. In this paper, we establish a theory of minimal log regular models of curves. As a key tool for this theory, we give a criterion for $2$-dimensional local schemes to be log regular in terms of their minimal desingularization. More…
We provide lower bounds for p-adic valuations of multisums of factorial ratios which satisfy an Apéry-like recurrence relation: these include Apéry, Domb, Franel numbers, the numbers of abelian squares over a finite alphabet, and constant terms of powers of certain Laurent polynomials. In particular, we prove Beukers' conjectures on the p-adic valuation of Apéry numbers. Furthermore, we give an effective criterion for a sequence of factorial ratios to satisfy the p-Lucas property for almost all primes p.
This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed characteristic complete discrete valuation rings in terms of their Cartier modules (defined by Oort) is given. We also state several properties of tangent space of these schemes. These results are applied to the study of reduction of Abelian varieties. A finite $p$-adic semistable reduction criterion is formulated. It looks especially nice in the ordinary reduction cas…
In 1989, Ming Luo \cite{L2} showed that the Fibonacci number $U_n$ is Triangular if and only if $n=\pm1,2,4,8,10$. For this, he established a Jacobi Symbol Criterion. Moreover, he observed that this problem is equivalent to finding all integer points on two elliptic curves. In this paper, we prove a Jacobi Symbol Criterion for more general families of binary recurrences. In addition, applying the criterion and elementary methods, we determine all integer points on the elliptic curves $y^2=5x^2(x+3)^2+4(-1)^n$.
Let $K$ be a valued field (in general $K$ is not heselian) with valuation $v$ and $A(x)\in K[x]$ be a polynomial of degree $n$. We find necessary and sufficient conditions for the existence of the elements $s,t,u\in K$, $s\neq 0\neq u$, such that at least one of the polynomials $u^nA(\frac{sx+t}{u})$, $(tx+u)^nA(\frac{sx}{tx+u})$, $(ux)^nA(\frac{tx+s}{ux})$ or $(ux+t)^nA(\frac{s}{ux+t})$ is an Eisenstein-Dumas polynomial at $v$, provided that the characteristic of the residue field of $v$ does not divide $n$. Furthermore, we show that if the orbit $A(x)GL(2,K)$ contains an Eisenstein-Dumas pol…
We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We also prove a $p$-adic version of the criterion. (These are analogues of the criteria for good reduction of abelian varieties.) The model of the surface will be in general not a scheme but an algebraic space. As a corollary of the criterion we obtain the surjectivity of the period map of K3 surfaces in positive characteristic.
Let $K$ be a global or local field, $E/K$ a Galois extension, and Br$(E)$ the Brauer group of $E$. This paper shows that if $K$ is a local field, $v$ is its natural discrete valuation, $v'$ is the valuation of $E$ extending $v$, and $q$ is the characteristic of the residue field $\widehat E$ of $(E, v')$, then Br$(E) = \{0\}$ if and only if the following conditions hold: $\widehat E$ contains as a subfield the maximal $p$-extension of $\widehat K$, for each prime $p \neq q$; $\widehat E$ is an algebraically closed field in case the value group $v'(E)$ is $q$-indivisible. When $K$ is a global f…
Let K/k be an Abelian extension of number fields, S be a set of places of k, and p be an odd prime number. We continue an earlier investigation of the author into the values at zero of the S-imprimitive partial zeta functions of K/k. An earlier result provides, under the assumption that the p-power roots of unity in K are cohomologically trivial, a criterion for the values to have larger than expected p-valuation. The present paper provides such a criterion for a special class of degree 2p extensions for which the p-power roots of unity are not cohomologically trivial. For such extensions, new…
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and for $K$ of either possible characteristic (0 or $p$), that are sufficient for the existence of a Galois scaffold. The existence of a Galois scaffold makes it possible to address questions of integral Galois module structure, which is done in a separate paper. But since our conditions can be difficult to check, we specialize to elementary abelian extensions …
We discuss a non-computational elementary approach to a well-known criterion of divisibility by 2 in the group of rational points on an elliptic curve.
