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

2
votes
1answer
130 views

Criteria for the surjectivity of the reduction map of the $SL_n$-group scheme

Let $R$ be a commutative ring and let $I\subseteq R$ be an ideal. We have a natural projection map $$ \pi:SL_n(R)\rightarrow SL_n(R/I) $$ (In the original question I had put $GL_n$ instead of $SL_n$ ...
1
vote
0answers
96 views

Combinatorial splitting in number rings

The goal of this problem is to see if there is a structured way to factor numbers constructed from a set of distinct odd primes $p_1$ through $p_n$ in a number ring. Take an arbitrary non empty ...
9
votes
2answers
1k views

What is known about primes of the form x^2-2y^2?

David Cox's book Primes of The Form: $x^2+ny^2$ does a great job proving and motivating a lot of results for $n>0$. I was unable to find anything for negative numbers, let alone the case I am ...
5
votes
0answers
364 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 $\mathbb{Q}(\...
3
votes
0answers
101 views

Globalizing local field extensions with controlled ramification

Let $K_1/k_1, \ldots, K_r/k_r$ be "separable cyclic" extensions of degree $n$ where each $k_i$ is a local field of characteristic 0 (archimedean or not). By separable cyclic of degree $n$, I mean the ...
21
votes
4answers
1k views

Hasse principle for rational times square

Does a Hasse principle hold for the property of being a rational times a square ? Let $a \in \mathbb{K}$ be an element of a number field. Assume that at every place $\mathbb{K}_v$ of $\mathbb{K}$, $a$...
7
votes
0answers
263 views

Capitulation of ideal classes in general Dedekind Domains

I’ve been working on a problem, and come across an issue with capitulation in Dedekind domains. Here is the set up: Let $D$ be a Dedekind domain, and $K$ its (perfect, but we’re willing to modify ...
11
votes
1answer
201 views

A Galois extension over $\mathbb{Q}$ with Galois group $A_4$ and with cyclic decomposition groups

Does there exist a Galois extension $L/\mathbb{Q}$ with Galois group $A_4$ (the alternating group on four letters) such that all the decomposition groups are cyclic? This question is motivated by the ...
27
votes
8answers
8k views

Practical applications of algebraic number theory?

I'm interested in learning about any applications, the more worldly the better*. Pointing to a nice reference on the number field sieve, for example, would be fine. However, let me mention one ...
0
votes
0answers
55 views

Congruent numbers and primorials

The first 10 primorials (2, 6, ... , 6469693230) are congruent numbers subject to the Birch Swinnerton-Dyer conjecture. My question is - What is the first primorial not to be a congruent number (...
0
votes
0answers
34 views

Is that possible to use stieltjes transform for multiple matrices

I have the matrix calculation with expression \begin{equation} \frac{1}{M}tr(\mathbf{WHH}^H\mathbf{W}^H + \mathbf{R}_{nn})^{-1} \end{equation} whereas $\mathbf{H} \in \mathbb{C}^{M\times K}$, $\mathbf{...
5
votes
1answer
485 views

On the Diophantine equation $x^2 = y^p + 2^{r}z^p$ where $p\geq 7$ is an odd prime and $r \geq 2$

It is known that the only nonzero pairwise coprime integer solutions to the above Diophantine equation are for $r=3$, for which $(x, y, z) = (3,1,1)$ and $(-3,1, 1)$. (Cohen, Number Theory Volume 2: ...
8
votes
1answer
222 views

Imaginary quadratic fields: Euclidean if and only if norm Euclidean

Let $K$ be an imaginary quadratic field and $O_K$ be its ring of integers. We say $O_K$ is norm Euclidean if the norm is a Euclidean function. It is known from the classification of imaginary ...
10
votes
2answers
1k views

References for Artin motives

I find the following description of Artin motives in Wikipedia. Since these seem to be quite related to number theory, I am interested to learn more in that context. I request the experts available in ...
2
votes
1answer
221 views

Non-negative integer solutions of x^2+y^3=n

I have the next equation: $x^2+y^3=n$. Where n is a positive integer constant. I want to know the exact number of non-negative integer solutions. Also I want to know what are those solutions. How ...
16
votes
1answer
789 views

Even Galois representations “mod p”

Consider an irreducible $\mathrm{mod}$ $p$ representation: $$\rho: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\to\mathrm{GL}_2(\bar{\mathbb{F}}_p)$$ If $\rho$ is odd, it was conjectured by Serre in ...
2
votes
3answers
381 views

Learning roadmap for algebraic number theory

I have read some elementary number theory from David Burton's text and I know groups and rings from Herstein's book Topics in Algebra and some field theory from different sources online. I am ...
2
votes
1answer
317 views

Some identities with the Riemann-Hurwitz zeta function

The only definition that I have ever seen of this Riemann-Hurtwitz zeta-function is this, For $0 < a \leq 1$ we have the identity $$ \zeta(z, a) = \frac{2 \Gamma(1 - z)}{(2 \pi)^{1-z}} \left[\sin ...
18
votes
2answers
1k views

Context for “Coronidis Loco” from Weil's Basic Number Theory

In Samuel James Patterson's article titled Gauss Sums in The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae, Patterson says "Hecke [proved] a beautiful theorem on the different ...
5
votes
1answer
156 views

Relation between ramification locus of a tower and of its constant field extension

I am trying to understand Remark 7.2.22 (Page 256) of Algebraic Function Fields and Codes (Second Edition) by Henning Stichtenoth. In that remark he considers a tower $\mathcal{F} = (F_0,F_1,F_2,\...
13
votes
3answers
454 views

Infiniteness of the Galois cohomology over a number field with coefficients in a finite Galois module

Let $k$ be a number field and $M$ be a nonzero finite discrete $\mathrm{Gal}(\bar k/k)$-module. Is it true that $H^1(k,M)$ is infinite? This would complete the answer of Daniel Loughran. There is a ...
2
votes
0answers
54 views

Prescribed norm residue symbol in number field

Suppose $F$ is a number field, and $a, b$ are non-zero elements. Does there always exist $x \in F$ such that the norm residue symbols (=cup products) are $(a, x)= 0 = (x, b) \in H^2(F, \mathbb{F}_2)$ ...
14
votes
8answers
6k views

Suggestions for good books on class field theory

Recently I tried to learn class field theory, but I find it is difficult. I have read the book "Algebraic Number Theory" by J. W. S. Cassels and A. Frohlich. In the book, the approach to class field ...
0
votes
1answer
220 views

On the quadratic reciprocity law? [closed]

In the Quadratic Reciprocity Law $$\exists x\in\Bbb{N}\quad x^2\equiv p\pmod q\iff\exists y\in\Bbb{N}\quad y^2\equiv q\pmod p$$ if $p\equiv q\equiv 1\pmod4$. Is there any relation between $x$ and $y$ ...
5
votes
0answers
87 views

What is the precise relationship between primitive Hida families and the connected components of the ordinary locus of the eigencurve?

In the references I've found discussing this question, I have not found any statements that I can understand and that are as precise as I would like. I'm more familiar with Hida families than with the ...
5
votes
0answers
111 views

Primitive element for a number field, and ramification

Let $K=\mathbb Q(\theta)$ be a number field with integral primitive element $\theta$, and let $f(x)$ be the minimal polynomial of $\theta$. Let $p$ be a rational prime. It's well known that if $p$ ...
1
vote
2answers
311 views

Expository articles on Algebraic Number Theory

I am about to start learning Algebraic Number Theory and thus was looking for some expository articles on this subject. So far I have found two such articles: Dickson, L. E.. (1917). Fermat's Last ...
0
votes
2answers
317 views

local field and number field

Let $K$ be a local field (locally compact topological field) of characteristic zero. Is it true that $K$ is isomorphic to the completion of a number field under some valuations? If yes, then how to ...
7
votes
1answer
352 views

Can one define “Ramanujan Summation” over algebraic number fields?

With some trepidation, I ask to "evaluate" badly divergent sums. Generalizing $\sum n = -\tfrac{1}{12}$ what would be the value of this sum over $\mathbb{Z}[i]$? $$\sum_{m,n \geq 0} (m+in) \hspace{0....
5
votes
1answer
233 views

Subfields of $\mathbb{Q}\bigl(\sqrt[n]{a}\bigr)$ for $a>0$

This is related to a question on Math Stack Exchange. Given a rational number $a>0$ and an $n\in\mathbb{N}$ such that $x^n - a$ is irreducible over $\mathbb{Q}$, it is known that every subfield of ...
1
vote
0answers
74 views

Exceptional primes in Kummer-Dedekind theorem

Suppose that $A$ is a Dedekind domain with fraction field $K$, $L$ is a finite separable extension of $K$, and $B$ is the integral closure of $A$ in $L$. Suppose that $t$ is a primitive element for $L/...
1
vote
0answers
71 views

“Algebrazing” canonical subgroups of elliptic curves

I'm puzzled by a part of the construction of the canonical subgroup of a "not too supersingular" elliptic curve. In Katz's paper, one produces a subgroup of the formal group of the elliptic curve but ...
2
votes
1answer
163 views

Fundamental Units in Totally Real Cubic Fields

How much is known about the fundamental units in totally real cubic fields? For example, Daniel Shanks has a family of totally real cubic fields for which the fundamental units are known; those with ...
2
votes
1answer
148 views

Character group of the multiplicative rationals

I was reading some stuff on Hecke characters and came across an issue I have not been able to resolve. I posted it here on math stack exchange first. Let $\mathbb{Q}^{\times}$ be the multiplicative ...
4
votes
2answers
725 views

Prime ideals in the ring of algebraic integers

Let $m(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1 x+ a_0$, $a_i \in \mathbb{Z}$, be an irreducible polynomial over $\mathbb{Q}$ and $K = \mathbb{Q}[x] / {m(x)\mathbb{Q}[x]}$, so $K$ is an algebraic ...
3
votes
1answer
185 views

Connected-étale sequence for ordinary CM elliptic curves

Let $E/k$ be an elliptic curve over algebraically closed field of characteristic $p$ with CM, for simplicity, by the maximal order of a quadratic imaginary field $K/\mathbb{Q}$. Suppose that $p$ is ...
1
vote
2answers
255 views

About a decomposition of the ideles and the relation to the Artin map

The ideles of $\mathbb{Q}$, lets denote them by $\mathbb{I}$, satisfy the following decomposition: $\mathbb{Q}^\times\times \mathbb{R}_{>0}\times\prod_p \mathbb{Z}_p^\times \to \mathbb{I}$ The ...
0
votes
2answers
1k views

About list of discriminants of real quadratic fields with narrow class number 1?

I have a couple of questions regarding the list of discriminants of real quadratic fields with narrow class number 1. The sequence A003655 in OEIS portraits a list of discriminants of real quadratic ...
2
votes
3answers
343 views

Primes in arithmetic progressions in number fields

My general question is how does one prove equi-distribution results for primes in arithmetic progressions in number fields? I am interested in the equi-distribution of prime elements of the ring of ...
9
votes
2answers
543 views

Number of polynomials whose Galois group is a subgroup of the alternating group

Let $f = x^n + a_{n-1}x^n + \cdots + a_0$ be a monic polynomial of degree $n \geq 2$ with integer coefficients. By $\text{Gal}(f)$ we mean the Galois group over $\mathbb{Q}$ of the Galois closure of $...
10
votes
1answer
235 views

On $\eta(6z)\eta(18z)$ and the splitting / modularity of $x^3 - 2$

Consider one of the simplest non-abelian examples of modularity. Let $$\eta(6z)\eta(18z) = q\prod_{n=1}^\infty (1 - q^{6n})(1 - q^{18n}) = q - q^7 - q^{13} -q^{19} + q^{25} + 2q^{31} - q^{37} + 2q^{43}...
1
vote
0answers
79 views

Why is the kernel of an algebraic Hecke character open in the ideles?

I've been reading about algebraic Hecke characters, and how one obtains one dimensional $p$-adic representations from them. I have a question about why the kernel of a map defined on the ideles is ...
23
votes
0answers
261 views

Does every ring of integers sit inside a monogenic ring of integers?

Given a number field $K/\mathbf{Q}$ whose ring of integers $\mathcal{O}_K$ is, in general, not of the form $\mathbf{Z}[\alpha]$ (not monogenic), does there exist an extension $L/K$ which has $\mathcal{...
1
vote
0answers
147 views

What is the ring of integers in $\mathbb Q^c\otimes_K K_\mathfrak p$? [closed]

Let $K$ be a number field with ring of integers $\mathcal O_K$ and $\mathfrak p$ a prime of $K$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$. If $L$ is a number field ...
0
votes
0answers
105 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?
4
votes
0answers
63 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 ...
5
votes
2answers
196 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)$. ...
4
votes
2answers
275 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 (http://plms.oxfordjournals.org/content/...
7
votes
1answer
209 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 $$\chi_1,\chi_2:G_K\...
15
votes
4answers
2k views

Is there an elementary way to find the integer solutions to $x^2-y^3=1$?

I gave this problem to my undergraduate assistant, as I saw that Euler had originally solved it (although I am having trouble finding his proof). After working on it for two weeks, we boiled the hard ...