Related papers: Cyclotomic Swan subgroups and primitive roots
Let $p >= 5$ be a prime and $E$ an elliptic curve without complex multiplication and let $K_\infty=Q(E[p^\infty])$ be a pro-$p$ Galois extension over a number field $K$. We consider $X(E/K_\infty)$, the Pontryagin dual of the $p$-Selmer…
The theory of factor-equivalence of integral lattices establishes a far-reaching relationship between the Galois module structure of the unit group of the ring of integers of a number field and its arithmetic. For a number field $K$ that is…
For $\beta > 1$ a real algebraic integer ({\it the base}), the finite alphabets $\mathcal{A} \subset \mathbb{Z}$ which realize the identity $\mathbb{Q}(\beta) = {\rm Per}_{\mathcal{A}}(\beta)$, where ${\rm Per}_{\mathcal{A}}(\beta)$ is the…
A cubic Galois polynomial is a cubic polynomial with rational coefficients that defines a cubic Galois field. Its discriminant is a full square and its roots $x_1,x_2,x_3$ (enumerated in some order) are real. There exists (and only one)…
We know that $\mathbb{Z}_n$ is a finite field for a prime number $n$. Let $m,n$ be arbitrary natural numbers and let $\mathbb{Z}^m_n= \mathbb{Z}_n \times\mathbb{Z}_n\times...\times\mathbb{Z}_n$ be the Cartesian product of $m$ rings…
For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…
Fix a positive integer $g$ and rational prime $p$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $p$ representation of its Jacobian is tame by imposing conditions on the endomorphism ring. As an application,…
Let $K$ be a field whose characteristic is prime to a fixed integer $n$ with $\mu_n \subset K$, and choose $\omega \in \mu_n$ a primitive $n$th root of unity. Denote the absolute Galois group of $K$ by $\operatorname{Gal}(K)$, and the…
This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for…
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a…
A number field $K$ is primitive if $K$ and $\mathbb{Q}$ are the only subextensions of $K$. Let $C$ be a curve defined over $\mathbb{Q}$. We call an algebraic point $P\in C(\overline{\mathbb{Q}})$ primitive if the number field…
Let $m$ be any positive integer and let $\delta_1,\delta_2\in\{1,-1\}$. We show that for some constanst $C_m>0$ there are infinitely many integers $n>1$ with $p_{n+m}-p_n\le C_m$ such that $$\left(\frac{p_{n+i}}{p_{n+j}}\right)=\delta_1\…
Let p be a prime number and M a quadratic number field, M not equal to Q(\sqrt{p}) if p is congruent to 1 modulo 4. We will prove that for any positive integer d there exists a Galois extension F/Q with Galois group D_{2p} and an elliptic…
This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…
In this paper, we prove that for any odd prime larger than 3, the modular group representation associated to the SO$(p)_2$-TQFT can be defined over the ring of integers of a cyclotomic field. We will provide explicit integral bases. In the…
Let $\ell$ be a rational prime number. Assuming the Gross-Kuz'min conjecture along a $\Zl$-extension $K\_{\infty}$ of a number field $K$, we show that there exist integers $\mut$, $\lat$ and $\widetilde{\nu}$ such that the exponent…
Let $p\geq 5$ be a prime. We construct modular Galois representations for which the $\mathbb{Z}_p$-corank of the $p$-primary Selmer group (i.e., $\lambda$-invariant) over the cyclotomic $\mathbb{Z}_p$-extension is large. More precisely, for…
Let $n, m\ge 2$. Let $\Gamma<\text{SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup and $\Lambda\subset\mathbb{S}^n$ be its limit set. Let $\rho : \Gamma \to \text{SO}^\circ(m+1,1)$ be a Zariski dense convex cocompact faithful…
Let $Q$ be a Dynkin quiver and $\Pi$ the corresponding set of positive roots. For the preprojective algebra $\Lambda$ associated to $Q$ we produce a rigid $\Lambda$-module $I_Q$ with $r=|\Pi|$ pairwise non-isomorphic indecomposable direct…
We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition,…