For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This...

We establish in this paper a lower bound for the volume of a unit vector field $\overrightarrow{v}$ defined on ${𝐒}^n\setminus \{\pm x\}$, $n=2,3$. This lower bound is related to the sum of the absolute values of the indices of $\overrightarrow{v}$ at $x$ and $-x$.

This thesis is concerned with the problem of determining a measure of algebraic independence for a particular m-tuple θ₁,...,${\theta }_m$ of complex numbers. Specifically, let K be a number field and let f₁(z),...,$f_m\left(z\right)$ be elements of K[[z]] algebraically independent over K(z) satisfying equations of the form(*) $f_j\left(z^b\right)={\sum }_{i=1}^m{f}_i\left(z\right)a_{ij}\left(z\right)+b_j\left(z\right)$ (j = i,...,m)for b ≥ 2, $a_{ij}\left(z\right)$, $b_j\left(z\right)$ in K(z). Suppose finally that α ∈ K is such that 0 < |α| < 1, the $f_j(z$) converge at z = α and the $a_{ij}\left(z\right)$, $b_j\left(z\right)$ are analytic at $z=\alpha ,{\alpha }^b,{\alpha }^{b²},...$ Then the ${\theta }_i=f_i\left(\alpha \right)$ are algebraically independent...

General concepts and strategies are developed for identifying the isomorphism type of the second $p$-class group $G=\mathrm{Gal}\left({\mathrm{F}}_p^2\left(K\right)\right|K)$, that is the Galois group of the second Hilbert $p$-class field ${\mathrm{F}}_p^2\left(K\right)$, of a number field $K$, for a prime $p$. The isomorphism type determines the position of $G$ on one of the coclass graphs $𝒢(p,r)$, $r\ge 0$, in the sense of Eick, Leedham-Green, and Newman. It is shown that, for special types of the base field $K$ and of its $p$-class group ${\mathrm{Cl}}_p\left(K\right)$, the position of $G$ is restricted to certain admissible branches...

We give a classification of all linear natural operators transforming $p$-vectors (i.e., skew-symmetric tensor fields of type $(p,0)$) on $n$-dimensional manifolds $M$ to tensor fields of type $(q,0)$ on $T^{A}M$, where $T^A$ is a Weil bundle, under the condition that $p\ge 1$, $n\ge p$ and $n\ge q$. The main result of the paper states that, roughly speaking, each linear natural operator lifting $p$-vectors to tensor fields of type $(q,0)$ on $T^A$ is a sum of operators obtained by permuting the indices of the tensor products of linear natural...

We provide a lower bound for the number of distinct zeros of a sum $1+u+v$ for two rational functions $u,v$, in term of the degree of $u,v$, which is sharp whenever $u,v$ have few distinct zeros and poles compared to their degree. This sharpens the “$abcd$-theorem” of Brownawell-Masser and Voloch in some cases which are sufficient to obtain new finiteness results on diophantine equations over function fields. For instance, we show that the Fermat-type surface $x^a+y^a+z^c=1$ contains only finitely many rational or elliptic...

Let $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C\left(𝒱\right)$ such that for almost all primes $p$ for all but at most $C\left(𝒱\right)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $𝕜=\mathbb{Q}(\sqrt{2pq},\mathrm{i})$, where $\mathrm{i}=\sqrt{-1}$ and $p\equiv -q\equiv 1(mod4)$ are different primes. For each of the three quadratic extensions $𝕂/𝕜$ inside the absolute genus field ${𝕜}^{(*)}$ of $𝕜$, we determine a fundamental system of units and then compute the capitulation kernel of $𝕂/𝕜$. The generators of the groups ${\mathrm{Am}}_s(𝕜/F)$ and $\mathrm{Am}(𝕜/F)$ are also determined from which we deduce that ${𝕜}^{(*)}$ is smaller than the relative genus field ${(𝕜/\mathbb{Q}\left(\mathrm{i}\right))}^{*}$. Then we prove...

Let r and n be natural numbers. For n ≥ 2 all natural operators $T_{|ℳfₙ}⇝T*T^{r*}$ transforming vector fields on n-manifolds M to 1-forms on $T^{r*}M=J^r(M,ℝ)₀$ are classified. For n ≥ 3 all natural operators $T_{|ℳfₙ}⇝\Lambda ²T*T^{r*}$ transforming vector fields on n-manifolds M to 2-forms on $T^{r*}M$ are completely described.

We describe all natural operators lifting nowhere vanishing vector fields X on m-dimensional manifolds M to vector fields (X) on the rth order frame bundle $L^{r}M=invJ{₀}^r({ℝ}^m,M)$ over M. Next, we describe all natural operators lifting vector fields X on m-manifolds M to vector fields on $L^{r}M$. In both cases we deduce that the spaces of all operators in question form free $(m(C_r^{m+r}-1)+1)$-dimensional modules over algebras of all smooth maps $J{₀}^{r-1}T̃{ℝ}^m\to ℝ$ and $J{₀}^{r-1}T{ℝ}^m\to ℝ$ respectively, where $C{ⁿ}_k=n!/(n-k)!k!$. We explicitly construct bases of these modules. In particular,...

We prove an upper bound for the Aviles–Giga problem, which involves the minimization of the energy $E_{\epsilon }\left(v\right)=\epsilon {\int }_{\Omega }|{\nabla }^2{v|}^{2}dx+{\epsilon }^{-1}{\int }_{\Omega }{\left(1-\right|\nabla v|}^2{)}^{2}dx$ over $v\in H^2\left(\Omega \right)$, where $\epsilon >0$ is a small parameter. Given $v\in W^{1,\infty }\left(\Omega \right)$ such that $\nabla v\in BV$ and $\left|\nabla v\right|=1$ a.e., we construct a family $\left\{v_{\epsilon }\right\}$ satisfying: $v_{\epsilon }\to v$ in $W^{1,p}\left(\Omega \right)$ and $E_{\epsilon }\left(v_{\epsilon }\right)\to \frac{1}{3}{\int }_{J_{\nabla v}}{\left|{\nabla }^{+}v-{\nabla }^{-}v\right|}^{3}d{\mathscr{H}}^{N-1}$ as $\epsilon$ goes to 0.