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

471 views

### Algebraic proofs of algebraic theorems about algebraically closed fields

It is well-known that the first order theory of algebraically closed fields admits quantifier elimination, whence the theory $ACF_p$ of algebraically closed fields of given characteristic $p$ is ...
227 views

### Are quadratic units cyclotomic norms?

Consider the fundamental unit $\varepsilon$ of a real quadratic number field $k = {\mathbb Q}(\sqrt{p})$ for primes $p \equiv 1 \bmod 4$, and let $h$ denote its class number. By Dirichlet's work on ...
117 views

### How to show that $h(-D)\geq \displaystyle\sum_{a\in A_1\\, 1\leq a\leq{\frac{\sqrt D}{2}}} 1$?

Here $A_1=\{u;p|u\Longrightarrow \chi(p)=1\}$ with $\chi$ a real quadratic character and $h(-D)$ the class number of the imaginary quadratic field of the fundamental discriminant. This problem occurs ...
581 views

### Philosophy behind cohomological representations

For a given real reductive Lie group $G$, we have the notion of a representation being cohomological using the Lie algebra cohomology. In particular we know that the discrete series representations of ...
1k views

### How much do I need to learn algebraic geometry to understand arithmetics over number fields

I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...
746 views

### Special topics to include in course in algebraic number theory

I'll be teaching an introductory course in algebraic number theory this fall (stopping before class field theory). I'm looking for a good list of "special topics" I can include to illustrate the ...
70 views

### Equation with norms of cyclic extensions of coprime degrees

Let $\mathbb{K}$ be a quadratic extension of $\mathbb{Q}$ and $\mathbb{L}$ be a cyclic extension of $\mathbb{Q}$ of odd degree. Given a rational $r\neq 0$, does there always exist $k\in \mathbb{K}^*$ ...
107 views

### Siegel's article “The volume of the fundamental domain for some infinite groups”: trouble with understanding computations

This is the article I mentioned. While the idea of what Siegel is doing in order to compute the volume of the fundamental domain described in the article (the very first one, for there are discussed ...
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 ...
216 views

### A prime ideal $\mathfrak{p}$ decomposes in $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ iff it is generated by $\alpha\in1+2\Bbb{Z}[\sqrt{-6}]$

For a nonzero prime ideal $\mathfrak{p}$ of $\mathbb{Z}[\sqrt{-6}]$ which does not divide $2$, does $\mathfrak{p}$ decompose completely in the extension $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ ...
590 views

### Artin reciprocity $\implies$ Cubic reciprocity

I asked this on math.SE a few days ago with no reply, so I'm reposting it here. Hope this is not considered too elementary for MO (feel free to close if so). I'm trying to understand the proof of ...
75 views

### Sign of bivariate polynomial evaluated over two algebraic numbers

I would like to compute the sign of a bivariate polynomial $f$ evaluated over two algebraic numbers $a$, $b$. The numbers are in "isolating interval representation" meaning that each one is defined by ...
154 views

### extending $p$-adic character of the local intertia to the absolute Galois group

Suppose I have a number field $F$, and a finite place $v$ of $F$. Let $E$ be finite extension of $F_v$. I start with a continuous morphism $$\chi \colon O_{F_v}^\times \to E^\times.$$ where $O_{F_v}$...
266 views

### For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?

Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...
112 views

### Factorization problem in Cyclic cubic field

Let K/$\mathbb{Q}$ be a cubic number field. Assume that K/Q be Galois with class number 1. Therefore Gal(K/Q) is cyclic cubic group and $\mathcal{O}_K$ is a PID. Let p be a rational prime, p ...
350 views

120 views

367 views

801 views

### Elementary congruences and L-functions

In a recent article, Emmanuel Lecouturier proves a generalization of the following surprising result: for a Mersenne prime $N = 2^p - 1 \ge 31$, the element $$S = \prod_{k=1}^{\frac{N-1}2} k^k$$ ...
721 views

### Upper bound on answer for Pell equation

A user on MSE, @martin , asked http://math.stackexchange.com/questions/1611411/pell-equations-upper-bound about an upper bound for $x$ in $x^2 - p y^2 = 1,$ when $p$ is prime. I checked, it appears ...
162 views

### Iwasawa theory, $\mathbb{Z}_p^{2}$-extension, Greenberg module

Take $H\subset \bar{\mathbb{Q}}$ be a quartic imaginary number field such that $\operatorname{Gal}(H/\mathbb{Q})=\mathbb{Z}_2 \times \mathbb{Z}_2$. Denote by $F$ the quadratic real subfield of $H$ and ...
227 views

### Question related to Fermat curve: Does the equation $A x^n + By^n = C z^n$ have any solution in $\mathbb{N}$?

Let $A, B, C \in \mathbb{N}$ be such that $\gcd(A,B,C)=1$. Is it known if the equation $A x^n + By^n = C z^n$ has any non-trivial solutions $x,y,z \in \mathbb{N}$? I know there are no such solutions ...
110 views

### Characteristic zero lifts of a mod 4 cusp form

Let $E$ be an non-CM elliptic curve over $\mathbb{Q}$ of conductor $N$ with a cyclic rational $4$-isogeny and let $f$ denote the corresponding cuspidal eigenform of level $N$. Let $E_4$ denote the ...
250 views

### When is possible to factor a field extension into one which adds no roots of unity, followed by one which adds only roots of unity?

The answer to whether this is possible for general fields is no. However, the counterexamples used two ingredients: 1) $\Bbb Q_p$, whose extensions $K$ containing $\Bbb Q_p(\sqrt[p^e]{u})$ might not ...
186 views

### Why is Kronecker's Jugendtraum only for Abelian extensions?

Why is Kronecker's Jugendtraum only for Abelian and not for more general extensions of number fields? Wikipedia, Hilbert's Twelfth Problem
183 views

### Generalizing Dedekind's Factorization Theorem

A classical theorem due to Dedekind states the following: Let $O_{K}$ be the ring of integers of a number field $K$, and assume $K$ is generated by adjoining the algebraic integer $\alpha$ to ...
402 views

### What are “Artin fractions”?

The German Wikipedia entry for Ernst Witt https://de.wikipedia.org/wiki/Ernst_Witt has a photo of his grave in Hamburg. The bottom part has a visible text "Artin Brueche" (Artin fractions) but the ...
167 views

### Unramified extensions of quadratic fields

Let $K/\mathbb{Q}$ be quadratic and let $L/K$ be an (everywhere) unramified Galois extension. If $L/K$ is abelian, then one can show that $L/\mathbb{Q}$ is Galois (eg see here). Is $L/\mathbb{Q}$ ...
125 views

### Equation which has nontrivial solutions modulo $N$ for every $N \ge 2$ does not have any nontrivial integer solutions

Let $\alpha = \sqrt[3]{2}$ and $K = \textbf{Q}(\alpha)$. I want to show that the equation$$\text{N}_\textbf{Q}^K\left(x + 4y + z\alpha + w\alpha^2\right) - 6(x + y)\left(x^2 + xy + 7y^2\right) = 0,$$...