Let $k$ be a field of characteristic $p\>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 $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 $N$ be a normal subgroup of a group $G$. The structure of $N$ is given when the $G$-conjugacy class sizes of $N$ is a set of a special kind. In fact, we give the structure of a normal subgroup $N$ under the assumption that the set of $G$-conjugacy class sizes of $N$ is $(p_{1n_1}^{a_{1n_1}},\cdots ,p_{11}^{a_{11}},1)\times \cdots \times (p_{r{n}_r}^{a_{r{n}_r}},\cdots ,p_{r1}^{a_{r1}},1)$, where $r>1$, $n_i>1$ and $p_{ij}$ are distinct primes for $i\in \{1,2,\cdots ,r\}$, $j\in \{1,2,\cdots ,n_i\}$.

Let $\sigma =\{{\sigma }_i:i\in I\}$ be some partition of the set of all primes $\mathbb{P}$, $G$ be a finite group and $\sigma \left(G\right)=\{{\sigma }_i:{\sigma }_i\cap \pi \left(G\right)\ne \varnothing \}$. A set $\mathscr{H}$ of subgroups of $G$ is said to be a complete Hall $\sigma$-set of $G$ if every non-identity member of $\mathscr{H}$ is a Hall ${\sigma }_i$-subgroup of $G$ and $\mathscr{H}$ contains exactly one Hall ${\sigma }_i$-subgroup of $G$ for every ${\sigma }_i\in \sigma \left(G\right)$. $G$ is said to be $\sigma$-full if $G$ possesses a complete Hall $\sigma$-set. A subgroup $H$ of $G$ is $\sigma$-permutable in $G$ if $G$ possesses a complete Hall $\sigma$-set $\mathscr{H}$ such that $H{A}^x$= $A^{x}H$ for all $A\in \mathscr{H}$ and all $x\in G$. A subgroup $H$ of $G$ is $\sigma$-permutably embedded in...

The rational completion $\overline{M}$ of an $R$-module $M$ can be characterized as a ${\tau }_M$-injective hull of $M$ with respect to a (hereditary) torsion functor ${\tau }_M$ depending on $M$. Properties of a torsion functor depending on an $R$-module $M$ are studied.

Consider two families of hyperelliptic curves (over ℚ), $C^{n,a}:y²=xⁿ+a$ and $C_{n,a}:y²=x(xⁿ+a)$, and their respective Jacobians $J^{n,a}$, $J_{n,a}$. We give a partial characterization of the torsion part of $J^{n,a}\left(\mathbb{Q}\right)$ and $J_{n,a}\left(\mathbb{Q}\right)$. More precisely, we show that the only prime factors of the orders of such groups are 2 and prime divisors of n (we also give upper bounds for the exponents). Moreover, we give a complete description of the torsion part of $J_{8,a}\left(\mathbb{Q}\right)$. Namely, we show that $J_{8,a}{\left(\mathbb{Q}\right)}_{tors}=J_{8,a}\left(\mathbb{Q}\right)\left[2\right]$. In addition, we characterize the torsion parts of $J_{p,a}\left(\mathbb{Q}\right)$, where p is an odd...

Let $X$ be a uniruled projective manifold and let $x$ be a general point. The main result of [2] says that if the $(-K_X)$-degrees (i.e., the degrees with respect to the anti-canonical bundle of $X$) of all rational curves through $x$ are at least $dimX+1$, then $X$ is a projective space. In this paper, we study the structure of $X$ when the $(-K_X)$-degrees of all rational curves through $x$ are at least $dimX$. Our study uses the projective variety ${𝒞}_x\subset \mathbb{P}{T}_x\left(X\right)$, called the VMRT at $x$, defined as the union of tangent directions to the...

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

Consider a recurrence sequence ${\left(x_k\right)}_{k\in \mathbb{Z}}$ of integers satisfying $x_{k+n}=a_{n-1}{x}_{k+n-1}+...+a₁x_{k+1}+a₀x_k$, where $a₀,a₁,...,a_{n-1}\in \mathbb{Z}$ are fixed and a₀ ∈ -1,1. Assume that $x_k>0$ for all sufficiently large k. If there exists k₀∈ ℤ such that $x_{k₀}<0$ then for each negative integer -D there exist infinitely many rational primes q such that $q|x_k$ for some k ∈ ℕ and (-D/q) = -1.

Let $k$ be an algebraically closed field of characteristic $p\&gt;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...

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 ...............................................................................................................................................................