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

learn more… | top users | synonyms

1
vote
0answers
53 views

More generalized RSA construction

Is there a way to construct RSA type cryptosystem over general number rings? Can Number Field Sieve technique be applied here?
3
votes
0answers
54 views

An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$

Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true. Is ...
4
votes
2answers
255 views

The best possible density in Hilbert's Irreducibility Theorem

Let $f(X,t_1,\dots,t_s)$ be an irreducible polynomial with coefficients in $\mathcal{O}_K$, the ring of integers of a number field $K$. By work of S. D. Cohen ...
7
votes
1answer
190 views

If two Hecke characters cut out the same field, are they Galois conjugates?

First question on MathOverflow, I hope it is appropriate for this site. There are two related questions. Let $K$ be a number field, $G_K = Gal(\overline{K}/K)$, $p$ a prime, and ...
5
votes
2answers
155 views

Mahler measure of a totally positive, expanding algebraic integer

Consider a degree-$d$ algebraic integer $\alpha$ all of whose conjugates (including itself) are real numbers greater than 1. Its Mahler measure $M(\alpha)$ is simply equal to the norm $N(\alpha)$. ...
3
votes
0answers
106 views

How to Taylor series expand at the prime at infinity

Given a rational number, one can find a Taylor series expansion with respect to any $p$-adic valuation, as covered in Gouvea's introductory text on $p$-adic numbers. My question is how does one do ...
9
votes
0answers
439 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 ...
12
votes
1answer
200 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 ...
3
votes
0answers
111 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 ...
10
votes
3answers
536 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 ...
12
votes
5answers
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 ...
16
votes
2answers
716 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 ...
-1
votes
1answer
61 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}^*$ ...
3
votes
0answers
98 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 ...
3
votes
0answers
144 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 ...
12
votes
1answer
206 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})$ ...
23
votes
1answer
465 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 ...
3
votes
0answers
72 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 ...
4
votes
0answers
119 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 ...
6
votes
3answers
254 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, ...
5
votes
0answers
107 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 ...
6
votes
2answers
324 views

Are the abelian absolute Galois groups of these local fields isomorphic?

For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$. Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) ...
18
votes
1answer
687 views

Concrete Applications of knowing $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$

I have very little experience with Galois representations, mostly as they relate to class field theory, elliptic curves, and modular forms, but they seem to have quite a reputation in number theory as ...
10
votes
1answer
375 views

What was a cusp to Hurwitz in 1892?

Let $d\in\mathbb{N}$ be squarefree. Let $\mathcal{O}_d$ be the ring of integers of $\mathbb{Q}(\sqrt{-d})$. Let $\Gamma_d=\mathrm{PSL}_2(\mathcal{O}_d)$. Let $\mathcal{H}^3$ be the upper half-space ...
0
votes
1answer
52 views

Norm Residue Symbol refinement?

From Wikipedia: given $a\in K^\times$, (a,b)=1 for all b [in K*] if and only if a is in K*ⁿ So suppose that $(\frac{a\ ,\ K^\times\!}{p})\neq 1$ [assume $n$ above ...
12
votes
3answers
641 views

Profinite groups as absolute Galois groups

It is a well-known result that all profinite groups arise as the Galois group of some field extension. What profinite groups are the absolute Galois group $\mathrm{Gal}(\overline{K}|K)$ of some ...
14
votes
1answer
467 views

Growth of $\zeta_{\mathbf Q[\cos(\frac{\pi}{2^{n+1}})]}(2)$

Let $K_n$ be the field $\mathbf Q[\cos(\frac{\pi}{2^{n+1}})]$ (the real subfield of the cyclotomic field $\mathbf Q[e^{\frac{i\pi}{2^{n+1}}}]$). Is there anything known about the growth of the ...
9
votes
1answer
293 views

Parametrizing all cyclic extensions of the rational numbers of degree 5

Is there a polynomial $f(T,X) \in \mathbb{Q}(T)[X]$ in the indeterminate $X$ over the field $\mathbb{Q}(T)$ with $\mathrm{Gal}(f/\mathbb{Q}(T)) \cong \mathbb{Z}/5\mathbb{Z}$ such that for every Galois ...
15
votes
1answer
359 views

Is the number of representations as the sum of two elements of a polynomial sequence always small?

Let $f(x) \in \mathbb{Z}[x]$ be a degree $d>1$ polynomial with integer coefficients. Define $$r(n) := | \{x,y \in \mathbb{Z} : f(x)+f(y) = n \}|. $$ My question is: Is it true that ...
1
vote
1answer
110 views

Existence of class modules for finite groups

I asked the following question on Stackexchange and got no reply so I am reposting it here. Let $G$ be a finite group. A $G$-module C is a class module if, for all subgroups $H \subset G$: 1) ...
16
votes
2answers
829 views

Can the Dedekind zeta function distinguish between real and imaginary quadratic number fields?

Suppose I am given a machine that gives me the coefficients $a_1$, $a_2$, $a_3$, ... of a Dirichlet series $$\sum_1^{\infty} \frac{a_n}{n^s} $$ and assume that I know that this Dirichlet series is the ...
35
votes
13answers
3k views

Applications of the Cayley-Hamilton theorem

The Cayley-Hamilton theorem is usually presented in standard undergraduate courses in linear algebra as an important result. Recall that it says that any square matrix is a "root" of its own ...
4
votes
1answer
177 views

What can we say about the differences between roots of a polynomial with large Galois group?

Suppose that $K$ is a number field and $L$ is the splitting field of a monic polynomial in $\mathcal{O}_{K}[x]$ of degree $d \geq 5$ with roots $\alpha_{1}, ... , \alpha_{d}$. Assume that the ...
5
votes
1answer
304 views

Unique quadratic subextension of a ray class field

Let $K_q$ denote the unique quadratic subextension of the ray class field over $\mathbb{Q}$ of conductor $q\times\infty$. Then $K_q$ should be $\mathbb{Q}(\sqrt{q})$ if $q$ if 1 mod 4 and ...
1
vote
0answers
111 views

Are there any ways we can determine whether the $\Xi_x$-classes of natural numbers upto $\frac{1}{2}p^2_x -2$ exvert all non-trivial $\Xi_x$-classes? [closed]

This question follows from the information provided below. Are there any ways we can determine whether the $\Xi_x$-classes of natural numbers up to $\frac{1}{2}p^2_x -2$ exvert all non-trivial ...
22
votes
2answers
776 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 $$ ...
12
votes
2answers
702 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 ...
4
votes
0answers
143 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 ...
2
votes
1answer
222 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 ...
4
votes
0answers
109 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 ...
3
votes
1answer
246 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 ...
0
votes
0answers
172 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
1
vote
1answer
170 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 ...
10
votes
1answer
392 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 ...
6
votes
1answer
147 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}$ ...
8
votes
0answers
123 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) = ...
15
votes
1answer
656 views

What's so special about these $17$th deg equations?

While browsing the Database of Number Fields, I came across 17T8. It only had four equations, one of which is, $$\small{x^{17} - 5x^{16} + 40x^{15} - 140x^{14} + 610x^{13} - 1622x^{12} + 4870x^{11} - ...
5
votes
1answer
173 views

Applications of the Galois embedding problem

Given a finite Galois extension of number fields $L/K$ with Galois group $G$ and a surjection $E\twoheadrightarrow G$ of finite groups, the Galois embedding problem is the question of whether there ...
20
votes
1answer
1k views

What's special about the circle problem?

Let $K$ be a number field, and let $$\zeta_{K}(s):= \sum_{0 \neq I \text{ ideal of }O_K} \frac{1}{N_{K/\mathbb{Q}}(I)^s} = \sum_{n \ge 1} \frac{a_n}{n^s}$$ be the Dedekind zeta function of $K$. The ...
4
votes
1answer
112 views

Exceptional specializations of Galois groups in the Hilbert Irreducibility Theorem

Suppose $f(x,t)\in\mathbb{Q}(t)[x]$ is an irreducible polynomial with Galois group G. For any rational number $a$ we may consider the polynomial $f(x,a)\in\mathbb Q[x]$ and its corresponding Galois ...