# Tagged Questions

**0**

votes

**0**answers

22 views

### On the global and local hermitian space

Let $E/F$ be a quadratic extension of number fields and $v$ a finite place of $F$.
Then I am wondering if there is a global hermition vector space over $E$ such that for all finite places $v$, local ...

**-7**

votes

**0**answers

114 views

### Does $\pi$ encode the prime numbers? [on hold]

I have a question regarding whether or not $\pi$ encodes the sequence of primer numbers. It is common knowledge that
$$ \zeta (2) = \sum_{i = 1}^{\infty} \frac{1}{n^2} = \prod_{p \in \mathbb{P}} ...

**0**

votes

**0**answers

92 views

### Hilbert Class fields and Pure cubic fields

I want to know about Hilbert class field theory for pure cubic fields. Which is the best source for this? Right now I am reading book by D.A. Cox "Primes of the form $x^2+ny^2$" Fermat,Class field ...

**5**

votes

**2**answers

183 views

### Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms.
Here I am wondering if there is a philosophical explanation about why the supersingular locus ...

**10**

votes

**4**answers

2k views

### Can a sum of roots of unity be an integer?

Let $n \geq 2$, $H \lneq (\mathbb{Z}/n\mathbb{Z})^*$, $\zeta_k$ a primitive $k$-th root of unity. Is it possible that $$\sum_{h \in H} \zeta_k^{h} \in \mathbb{Z}$$ for every $k$ dividing $n$ such that ...

**2**

votes

**0**answers

44 views

### Image of the typenorm contains the squares

I am having a look at the paper Explicit CM-theory for level 2-structures on abelian surfaces by Bröker, Gruenewald and Lauter, and there is an argument which I don't understand. The main reason being ...

**4**

votes

**0**answers

113 views

### Without Skolem–Mahler–Lech Theorem? [closed]

Using Skolem–Mahler–Lech theorem one can easily prove the $\displaystyle \lim_{n\to +\infty}\left|\Re\left(\frac{1+i\sqrt{7}}{2} \right)^n\right| =+\infty$.
Is there a "simple way" to prove this ...

**14**

votes

**2**answers

2k views

### Is there an algebraic number that cannot be expressed using only elementary functions?

(this is basically a repost of a question I asked at M.SE last year)
Is there an explicit real algebraic number (such that we can write its minimal polynomial and a rational isolating interval) that ...

**1**

vote

**0**answers

69 views

### The minimum genus of a family of degree $12$ algebraic curves which comes from the resultant of two quartic polynomials

Let $f(t)$ be a rational normal cubic curve in $\mathbb{P}^3$ (it is not contained in any plane) and also we assume that this cubic curve passes through two points $(0,0,0)$ and $(1,0,0)$. By an easy ...

**9**

votes

**2**answers

433 views

### Can there be a power basis for a totally real field of high degree?

A number field $K$ is said to have a power basis if there is an $\alpha \in K$ such that the full ring of integers $O_K$ is the $\mathbb{Z}$-linear span of ...

**0**

votes

**0**answers

72 views

### Characterize the set of roots of cubics with certain properties

Let $P(x)\in \mathbb{Z}[x]$ be an irreducible polynomial of degree $3$. Suppose that $\alpha_1, \alpha_2, \alpha_3$ are roots of $P(x)$. For what such $P(x)$ is it the case that the ring of integers ...

**2**

votes

**0**answers

140 views

### Is there an excplicit number field of definition for an Abelian Variety $A/\mathbb{C}$ with CM?

Consider a simple abelian variety $A/\mathbb{C}$ with sufficiently many CMs by $\mathcal{O}$, where $\mathcal{O}$ is an order in a CM field $K$. Specifically, $K$ is a CM field of degree $2g$, where ...

**9**

votes

**2**answers

308 views

### Ideal classes fixed by the Galois group

Let $K$ be a number field and let $G$ be the group of automorphisms of $K$ over $\mathbf Q$. The group $G$ acts in a natural way on the ideal class group of $K$. I would like to know if there are any ...

**12**

votes

**2**answers

398 views

### Asymptotics for algebraic numbers of height less than one

The question. Is an asymptotic equivalent known or conjectured for the number $N(d)$ of $\alpha \in \bar{\mathbb{Q}}$ with $h(\alpha) < 1$ and $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq d$?
The rather ...

**0**

votes

**0**answers

132 views

### A question on linear forms

Let $K/\mathbb{Q}$ be a fixed number field of degree $n$, and let $\sigma_1, \cdots, \sigma_n$ denote the distinct embeddings of $K$ into $\mathbb{C}$. Suppose that $\alpha_1, \cdots, \alpha_{r}$ are ...

**6**

votes

**0**answers

211 views

### Factors of the polynomial $X^n-a$

I am interested in the polynomial $X^n-a$ in $\mathbb{Q}[X]$, for some $a\in \mathbb{Q}^*$, and would like to know the irreducible factors of it. Is there something in the literature which gives a ...

**6**

votes

**3**answers

491 views

### Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties:
$[K:\mathbb{Q}]=5$.
The Galois closure of $K$ has Galois group $S_5$.
For each prime $p$ which ramifies in $K$, there ...

**0**

votes

**0**answers

422 views

### A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?

**4**

votes

**2**answers

282 views

### Time-line until the publicaton of Weil of “Numbers of solutions of equations in finite fields”

In "On the history of the Weil Conjectures" Dieudonné says:
"Appropriately enough, the story, as with so many problems in number theory, begins with Gauss...".
C. F. Gauss, Disquisitiones ...

**4**

votes

**1**answer

198 views

### How frequently is 3 a cubic residue mod primes in an arithmetic progression?

Suppose $(a,3q)=1$ and $a\equiv 1\pmod 3$. Are there infinitely many primes $p\equiv a\pmod {3q}$ such that $3$ is a cubic nonresidue modulo $p$?
Or, an equivalent formulation using quadratic forms: ...

**1**

vote

**2**answers

143 views

### On the conductor of the Groessencharacter of a CM elliptic curve

Let $K$ be a quadratic imaginary field. Let $L$ be a number field which contains $K$ and let $E/L$ be an elliptic curve defined over $L$ with complex multiplication by $K$, i.e. such that ...

**5**

votes

**1**answer

299 views

### Connection of Galois representation and arithmetic geometry

This is might be a dumb question. There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that ...

**3**

votes

**0**answers

241 views

### Independent units in pure number fields $\mathbb{Q}(\sqrt[p]{t})$

Theorem: In this paper of Frei and Levesque, they correct the proof of a result of Halter-Koch and Stender:
Define the real pure algebraic number field $\mathbb{K}=\mathbb{Q}(\omega_n)$ for ...

**1**

vote

**2**answers

368 views

### Chinese Remainder Theorem backwards

I have the following situation, that is much alike the Chinese Remainder Theorem. Let $\phi_d(\alpha)$ be the $d^{th}$ cyclotomic polynomial in the variable $\alpha$ (I'm not specifying the ...

**4**

votes

**3**answers

407 views

### Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...

**2**

votes

**1**answer

310 views

### Finding a suitable number

Let $n,m$ be two positive integers. By $r_n$ we denote the largest prime not exceeding $n$. If $r_n\leq m\leq n$ and $q$ is the largest prime factor of $n!/m!$ such that $q\geq 17$ and $q\geq n-m+3$, ...

**1**

vote

**0**answers

158 views

### Unique factorization in a quadratic extension of $Z_p$ [closed]

Let $\mathbf{Z}_{(p)}$ denote the ring of all rational numbers whose denominators in lowest terms are not divisible by the integer prime $p$. (This is normally described as the localization at $p$.) ...

**25**

votes

**0**answers

390 views

### Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...

**13**

votes

**2**answers

497 views

### Are there any simple, interesting consequences to motivate the local Langlands correspondence?

Let's pretend that we know local Langlands at a fairly high level of generality... i.e. we know something along the lines of:
Let $G=\mathbf{G}(F)$ be the group of $F$-points of a connected ...

**1**

vote

**0**answers

208 views

### Where can I find the article of A. Borel: “Values of zeta-functions at integers, cohomology and polylogarithms”? [closed]

Where on the internet can I find this article?
I know that it is in this book: Current trends in mathematics and physics, Narosa, New Delhi, 1995.

**5**

votes

**1**answer

278 views

### Neukirch's papers and theorem

Have any of Neukirch's papers on anabelian geometry been translated? I'm mostly interested in:
Kennzeichnung der p-adischen und der endlichen algebraischen Zahlkörper (1969)
Kennzeichnung der ...

**19**

votes

**1**answer

334 views

### Proportion of irreducible polynomials $P$ such that $\mathbf Z[X]/(P)$ is the ring of integers of $\mathbf Q[X]/(P)$

I know that number fields have been the object of many statistical experiments.
Is there some kind of heuristics for the following?
Fix a degree $d$ and fix a bound $N$ on the coefficients of a monic ...

**2**

votes

**2**answers

402 views

### GL(2) Local Langlands and Artin's L-function

The context I am thinking of mainly is GL(2), and accordingly, the degree 2 Artin L-function. But comments about GL(n) in general are also welcome.
In light the local Langlands correspondence, what ...

**4**

votes

**2**answers

193 views

### Orders of the conjugates of an algebraic prime number in its residue field

Of interest to me is the following question (it would be nice to find out what is known in its direction):
Given a Galois number field $K/\mathbb{Q}$ and a completely and principally split prime ...

**1**

vote

**1**answer

111 views

### Quotients of number rings IZ[zeta_l]

Let $l=p^r$ a prime power and $\zeta$ a primitive l-th root of unity. It is classical result, that $(1-\zeta)^{\varphi(l)}=p\cdot\epsilon\in\mathbb{Z}[\zeta]$ for a unit $\epsilon$.
It should be a ...

**0**

votes

**0**answers

51 views

### Extensions on Higher-dimensional local fields

I have the following question:
Let $M/L$ b a finite extension of n-dimensional local fields and $t_1,\dots, t_n$ a system of local parameters of $L$ with valuation $v$. Let us fix an $1\leq i \leq ...

**1**

vote

**0**answers

37 views

### Valuations in Higher-dimensional local fields

I have the following question which I believ should be true but I would like to have a different opinion about it:
Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and ...

**7**

votes

**1**answer

370 views

### Hilbert Class Field Galois over Q?

So if we have a Galois extension $K/\mathbb{Q}$, then the Hilbert Class Field $H$ of $K$ is certainly Galois over $\mathbb{Q}$. But is the converse true? I know many examples of nongalois ...

**3**

votes

**3**answers

348 views

### Distinct primitive factorizations over integers of number fields

I am curious about the following.
Let $K$ be a number field. For any $a \in \mathcal{O}_K$ in its ring of integers, let $N(a)$ be zero if there exist elements $b, c \in \mathcal{O}_K \setminus ...

**2**

votes

**0**answers

118 views

### Domains with prime ideal theorems

Let $D$ be a domain, and for prime ideals $\frak P$ of $D$ the norm is $N({\frak P}):=|D/{\frak P}|$. The prime ideal counting function of $D$ is given by $\pi_D(x)=\#\{{\frak P}\in{\rm ...

**1**

vote

**1**answer

190 views

### Arithmetic property of a surface of general type

In my previous post I asked about the hyperbolicity of the affine surface $S'=\{zw \neq o\}$ in the projective surface $z^2 = P(x) Q(y)$ in $\mathbb{P}^3$, where $P$ and $Q$ are two general ...

**3**

votes

**1**answer

175 views

### A question on the genus field of an algebraic number field

The following is quoted from the Mathematical Reviews.
MR0544896 (80j:12002) Reviewed
Bhaskaran, M.
Construction of genus field and some applications.
J. Number Theory 11 (1979), no. 4, 488–497.
...

**3**

votes

**2**answers

161 views

### Linear polynomials in units of number fields

I would be thankful for a reference to any result that says "how often" an equation of the form $$c_1x_1 + c_2x_2 + ... + c_nx_n = 0,$$
where $n$ is fixed, $c_1, ..., c_n \in \mathcal{O}_K$ are ...

**1**

vote

**1**answer

190 views

### Small generators of the ideal class group

If $K$ is a number field, a result from Bach tells us that the primes in $K$ of norm smaller that $12 (\log |\mathrm{Discriminant}(K)|)^2$ generate the ideal class group $\mathrm{Cl}_K$. Is there any ...

**4**

votes

**0**answers

135 views

### Continuity of the Hilbert pairing

I would like to know if the Kummer pairing (or the analogue of the Hilbert Symbol) for a one dimensional group defined over the ring of integers of a higher-dimensional local field is continuous (with ...

**6**

votes

**1**answer

242 views

### Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that
$$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$
holds for all positive integers $n$, with a positive ...

**4**

votes

**2**answers

284 views

### When does a dyadic prime ramify in a relative quadratic extension?

In a quadratic extension $\mathbb{Q}(\sqrt{d})$of $\mathbb{Q}$ it is clear that 2 ramifies if and only if $d\equiv 2,3\mod 4$ (easy to see if you compute the discriminant). But if I take a relative ...

**2**

votes

**1**answer

79 views

### Principally split primes with factors in arbitrarily small angular sectors

I wonder if the following is known:
let $n$ be a (square-free) positive integer. Is there ever/always a sequence of prime numbers $p$ that can be written in the form $$p = x^2 + ny^2,$$ where
$x, y$ ...

**1**

vote

**0**answers

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

**2**

votes

**2**answers

299 views

### Connection between quadratic forms and ideal class group

I'm studying the classic results on binary (integer) quadratic forms and I'm looking for a reference on the following result (maybe a book that contains a proof):
Let $O_k$ be the ring of algebraic ...