# Tagged Questions

Algebraic number fields, Algebraic integers, Arithmetic Geometry, Elliptic Curves, Function fields, Local fields, Arithmetic groups, Automorphic forms, zeta functions, $L$-functions, Quadratic forms, Quaternion algebras, Homogenous forms, Class groups, Units, Galois theory, Group cohomology, Étale ...

147 views

### Fields generated by torsion points of CM elliptic curves

I'm using the same setup as Corollary 1.7 on p. 44 of de Shalit manuscript (Iwasawa theory of elliptic curves with complex multiplication). I think there is a mistake in his Corollary 1.7 and I'm ...
91 views

### Two questions about arithmetically equivalent number fields

Two algebraic number fields are said to be arithmetically equivalent if they share the same Dedekind zeta function. If this is the case, they must have certain invariants in common among which is the ...
124 views

### Efficient Dirichlet approximation (continued fractions?) over a number field

Is there an efficient algorithm for Dirichlet approximation for a given (high-degree) number field and its ring of integers, perhaps analogous to the Euclidean/continued fractions algorithm for the ...
220 views

### $\mathfrak{q}$-ideal class bound

Let $K$ be a number field, $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{q}$ be a nonzero ideal in $\mathcal{O}_K$. The $\mathfrak{q}$-ideal class group consists of equivalence classes of ...
185 views

### Is there an infinite family of primes $q_{1},q_{2},…$ so that the rank of $E(\mathbb{Q}(\sqrt{-q_{i}}))$ equals that of $E(\mathbb{Q})$?

It is known that the group of $K$-rational points of an elliptic curve $E$ is finitely generated if $K$ is a number field of finite degree over $\mathbb{Q}$. Much less is known if $K$ is infinite-...
307 views

### n-th root of unity in n-th division field of abelian variety?

Let $K$ be a number field and $A/K$ an abelian variety over it. Can it be that $K(A[n])$ does not contain a primitive $n$-th rooth of unity? If the answer is yes is it always possible to ...
192 views

### Is it clear that $y^3=f(x)$ has bad reduction at $3$?

Bad reduction is defined as 'nonexistence' of a model where the curve has good reduction. So let's take the curve $C$ which is affinely given by $$y^3 = f(x)$$ (absolutely irred, $f$ no multiple roots)...
283 views

### Mordell-Weil rank of an elliptic curve over $\mathbb{Q}(\sqrt{-1},\sqrt{2},\sqrt{3},\sqrt{5},…)$?

It is known that the group of $K$-rational points of an elliptic curve $E$ is finitely generated if $K$ is a number field of finite degree over $\mathbb{Q}$. The picture is less clear if $K$ is ...
215 views

### S. Chowla real quadratic fields

Let $K=\mathbb{Q}(\sqrt{d})$ be a real quadratic fields. S. Chowla conjectured that if $d=4m^2+1$ for $m \in \mathbb{Z}$ then there is exactly 6 real quadratic fields which has class number one. Hideo ...
206 views

### Computing algebraic properties of trace fields, as given by SnapPy

SnapPy can tell you the trace field of a hyperbolic $3$-manifold (which is awesome), but it specifies the field by outputting: the minimal polynomial of the field over $\mathbb{Q}$, and a decimal ...