Let p be a prime, ℤₚ be the finite field in p elements, k be a positive integer, and A be the multiplicative subgroup of nonzero kth powers in ℤₚ. The goal of this paper is to determine, for a given positive integer s, a value tₛ such that if |A| ≫ tₛ then every element of ℤₚ is a sum of s kth powers. We obtain $t₄=p^{22/39+ϵ}$, $t₅=p^{15/29+ϵ}$ and for s ≥ 6, $tₛ=p^{(9s+45)/(29s+33)+ϵ}$. For s ≥ 24 further improvements are made, such as $t_{32}=p^{5/16+ϵ}$ and $t_{128}=p^{1/4}$.

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

Let $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

We show a $p$-parity result in a $D_{2p^n}$-extension of number fields $L/K$ ($p\ge 5$) for the twist $1\oplus \eta \oplus \tau$: $W(E/K,1\oplus \eta \oplus \tau )={(-1)}^{〈1\oplus \eta \oplus \tau ,X_p(E/L)〉}$, where $E$ is an elliptic curve over $K$, $\eta$ and $\tau$ are respectively the quadratic character and an irreductible representation of degree $2$ of $\mathrm{Gal}(L/K)=D_{2p^n}$, and $X_p(E/L)$ is the $p$-Selmer group. The main novelty is that we use a congruence result between ${\epsilon }_0$-factors (due to Deligne) for the determination of local root numbers in bad cases (places of additive reduction above 2 and 3). We also give applications to the $p$-parity conjecture...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

Let $p=1+2^{e+1}q$ be an odd prime number with q an odd integer. Let δ (resp. φ) be an odd (resp. even) Dirichlet character of conductor p and order $2^{e+1}$ (resp. order $d_{\phi }$ dividing q), and let ψₙ be an even character of conductor $p^{n+1}$ and order pⁿ. We put χ = δφψₙ, whose value is contained in $Kₙ=\mathbb{Q}\left({\zeta }_{(p-1)pⁿ}\right)$. It is well known that the Bernoulli number $B_{1,\chi }$ is not zero, which is shown in an analytic way. In the extreme cases $d_{\phi }=1$ and q, we show, in an algebraic and elementary manner, a stronger nonvanishing result: $T{r}_{n/1}\left(\xi B_{1,\chi }\right)\ne 0$ for any...

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................