The algebraic-number-theory tag has no wiki summary.

**0**

votes

**1**answer

308 views

### If e^itπ is algebraic , is $t$ a rational number. [closed]

I have a elementary question:If e^itπ is algebraic , is $t$ a rational number.
I do not know whether it is right

**6**

votes

**1**answer

319 views

### Rational points on surfaces of general type

The weak Lang conjecture asserts that rational points on a variety of general type defined over $\mathbb{Q}$ are not Zariski dense (same replacing $\mathbb{Q}$ with a number field). This one is proved ...

**3**

votes

**2**answers

616 views

### Exercise in Milne's CFT notes

On page 156 of Milne's Class field theory notes available online here, he claims that the Hilbert class field of $K = \mathbb Q(\sqrt{-6})$ is the splitting field of $x^2+3$ but I don't believe so.
...

**1**

vote

**1**answer

198 views

### Functional equations of zeta functions over global fields

The functional equations for Dedekind zeta functions (zeta functions attached to rings of integers in algebraic number fields) come from functional equations of theta functions like $\sum_{n \in ...

**2**

votes

**0**answers

44 views

### on degree zero elements in adelic groups

Let $G$ a split connected reductive group and $G(\mathbb{A})$ his points in the ring of adeles.
We have a degree map $G(\mathbb{A})\rightarrow X_{*}(Z)$ where $Z$ is the center of $G$.
Let ...

**2**

votes

**1**answer

168 views

### An expression for the function $f_e$ that appears in the Weil Pairing

Let $K$ be a local field and $E/K$ an elliptic curve such that the set of $N$-torsion points, $E[N]$, is contained in $E(K)$. For $e$ in $E[N]$, I am interested in finding and expression for the ...

**0**

votes

**2**answers

442 views

### on the set of numbers generated by integer linear combination of two real numbers.

Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...

**4**

votes

**4**answers

415 views

### Decomposition of primes in Galois closures of number fields

Let $L/K$ be an extension of number fields, and $M/K$ the Galois closure of $L/K$ (everything happens inside a suitably large characteristic zero field $\Omega$). Let $p$ be a discrete prime of $K$.
...

**2**

votes

**2**answers

157 views

### linear independence of orbits via a set of transformations in char p

Let $T_1, \ldots, T_n \in GL(n,\mathbb{F}_p)$. Suppose for all $\vec{v} \in \mathbb{F}_p^n$ we have $\det (T_1 \vec{v}, T_2 \vec{v}, \ldots, T_n \vec{v}) = 0$. Now, let $k$ be a finite extension of ...

**4**

votes

**1**answer

1k views

### Algebraic number theory: building and simplifying

This is a somewhat subjective question, about the past, present and especially future of algebraic number theory. I'm not at all in this area, but I'd be interested in an answer.
As we all know, ...

**7**

votes

**0**answers

247 views

### Do the Adeles Split?

I asked this question about a week ago here http://math.stackexchange.com/questions/288955/splitting-the-exact-sequence-of-the-idele-class-group, but got no answer so I thought I'd aske here and see ...

**2**

votes

**0**answers

233 views

### galois cohomology over finite field

Let $X$ a smooth projective geometrically connected curve over a finite field $k$. Let $J$ a smooth commutative group scheme over $X$ and $F$ the function field of $X$.
Do we have a formula to ...

**5**

votes

**2**answers

396 views

### On Weil's characters of type (A)

In Weil's paper
"On a certain type of characters of the idele-class group of an algebraic number field",
Weil introduces a class of characters on the Idele class group (of not necessarily finite ...

**4**

votes

**0**answers

231 views

### What else does the Tate-Nakayama lemma tell us about class field theory?

Doing class field theory from the point of view of class formations, it is my understanding that to get the artin reciprocity map, one does this by inverting an isomorphism which is given by the ...

**6**

votes

**0**answers

255 views

### Differences in tree picture of ${\bf Q}_p$, $\overline{{\bf Q}_p}$, ${\bf C}_p$, $\Omega_p$

I was discussing the tree picture of ${\bf Z}_p$ and ${\bf Q}_p$ and mentioned that the idea can be extended to ${\bf C}_p$, with the caveat that the tree is no longer locally finite (as the value ...

**19**

votes

**4**answers

2k views

### The Riemann Hypothesis and the Langlands program

On page 263 of this book review appears the following:
Given the centrality of L-functions to the Langlands program, nothing would seem more natural (than a presentation of elementary algebraic ...

**19**

votes

**1**answer

518 views

### Décomposition des nombres premiers dans des extensions non abéliennes

Gauß famously determined the cubic character of $2$ in his Disquisitiones : $2$ is a cube modulo a prime number $p\equiv1\mod3$ if and only if $p=x^2+27y^2$ for some $x,y\in\mathbf{Z}$. This implies ...

**22**

votes

**1**answer

931 views

### Is pi = log_a(b) for some integers a, b > 1?

Are there integers $a, b > 1$ such that $\pi = \log_a(b)$?
Or equivalently: are there integers $a,b > 1$ such that $a^\pi = b$?
Note that the transcendence of $\pi$ makes this a problem - ...

**1**

vote

**0**answers

188 views

### Extending systems of l-adic representations to other l

I'm asking this not because I have an idea how one might approach it, but because it seems natural and inherently interesting.
Let $K$ be a number field, $G_K$ its absolute Galois group, and ...

**4**

votes

**0**answers

182 views

### Do infinite and ramified local factors of the Dedekind zeta function of a tame number field characterize its local root numbers?

Let say you have two number fields, that are tamely ramified, and suppose that the $p$-part of their Dedekind zeta functions coincide for all prime $p$ which is ramified in either field. Suppose ...

**7**

votes

**2**answers

787 views

### Elementary proof of Mordell's theorem

My question concerns a comment in Silverman-Tate's book "Rational Points on Elliptic Curves" (second printing). On page 76 they begin their proof of 'lemma 4' to the proof of Mordell's theorem, which ...

**27**

votes

**1**answer

962 views

### What happened to Emmy Noether's *Zukunftsphantasie* ?

Recenly I came across Peter Roquette's article On the history of Artin's $L$-functions and conductors (23 July 2003) in which he talks about some letters from Emil Artin and Emmy Noether to Helmut ...

**3**

votes

**0**answers

139 views

### Modified radical group of a Kummer extension

If $K/k$ is a degree $p$ Kummer extension of number fields (so $k$ contains the $p^r$th roots of unity for some $r \geq 1$ --- let's also assume $K/k$ is not generated by $p$-power roots of unity), I ...

**5**

votes

**0**answers

149 views

### On Langlands Pairing and transfer factors

In the paper "On the definition of transfer factors" Langlands and Shelstad define a certain number of factors $\Delta_{I}$, $\Delta_{II}$,$\Delta_{III,1}$,$\Delta_{III,2}$, which are roots of unity.
...

**24**

votes

**0**answers

734 views

### Derivative of Class number of real quadratic fields

Let $\Delta$ be a fundamental quadratic discriminant, set $N = |\Delta|$,
and define the Fekete polynomials
$$ F_N(X) = \sum_{a=1}^N \Big(\frac{\Delta}a\Big) X^a. $$
Define
$$ f_N(X) = ...

**3**

votes

**1**answer

276 views

### Langlands Paper on representations of abelian algebraic groups

I have been working through Langlands paper which you can see here http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf and I can understand why one of his maps is obvious and ...

**1**

vote

**0**answers

257 views

### Applications of the class number formula, etc.

This is a big list of applications of the class number formula and its generalizations. I'll start:
The solution to Gauss's class number problem for imaginary quadratic fields, and more generally ...

**2**

votes

**0**answers

111 views

### Comparing ideal class numbers of different orders

Let $P$ be a monic irreducible integral polynomial. Let $K=\mathbf Q[X]/(P)$ be the associated number field, $\mathcal O$ be its ring of integers and $R$ be the order $\mathbf Z[X]/(P)$.
(In general, ...

**4**

votes

**3**answers

419 views

### Orders of Number Fields

Let $K$ be a number field over $\mathbb{Q}$ of degree $n$, and $\mathcal{O} \subset \mathcal{O}_K$ an order.
$\textbf{Questions:}$
$\newcommand{\Spec}{\textrm{Spec }}$
$\newcommand{\cO}{\mathcal{O}}$
...

**6**

votes

**2**answers

1k views

### Eigenvalues of nonnegative integer matrices

Edit
I realized that the key piece of information that I need is question 1, and so I'd like to rephrase this post:
What are the possible eigenvalues of nonnegative integer matrices?
Any answer ...

**7**

votes

**2**answers

817 views

### Explicit examples of algebraic Hecke characters with infinite image?

Jerry Shurman has a lovely set of notes explaining the classical definition of Hecke characters, the idelic definition of Hecke characters, their relationship, and the classification of algebraic ...

**8**

votes

**3**answers

638 views

### A natural way of thinking of the definition of an Artin $L$-function?

Emil Artin knew that given a finite extension of $L/\mathbb{Q}$, the local factor of the zeta function $\zeta_{L/\mathbb{Q}}$ at the prime $p$ should be $\displaystyle\prod_{\mathfrak{p}|p}\frac{1}{1 ...

**5**

votes

**1**answer

312 views

### Where in the literature does the anticyclotomic $\mathbf{Z}_p$-extension of an imaginary quadratic field first appear?

If $K$ is an imaginary quadratic field, then the $\mathbf{Z}_p$-rank of $K$ is $2$, meaning that the Galois group of the compositum of all the $\mathbf{Z}_p$-extensions of $K$ in an algebraic closure ...

**6**

votes

**0**answers

144 views

### How to construct Weil numbers in a given CM quartic field?

Let $L$ be a CM field of degree $4$ over the rationals, and let $p$ be a prime number. If $q$ is a power of $p$, I would like to know if it is possible to characterize (in some way) all Weil ${\bf ...

**0**

votes

**0**answers

55 views

### Commuting invariants and duals of C_p vector spaces

Let $K$ be a field complete with respect to some discrete valuation, with perfect residue field of characteristic $p$. Let $\mathbb{C}_p$ be the completion of an algebraic closure of $K$, and set $G_K ...

**7**

votes

**0**answers

2k views

### What can we do to raise awareness of reciprocity laws? [closed]

The study of reciprocity laws is a centerpiece of modern mathematics. Of the last ten Fields Medalists, two of them (Ngô Bảo Châu and Laurent Lafforgue) were awarded Fields Medals for their work on ...

**5**

votes

**1**answer

482 views

### Heegner Points and Binary Quadratic Forms

I've been trying to read Gross' paper on Heegner points on $X_0(N)$ and I am stuck on a few details. The definition he is working with is that a heegner points is a pair $y=(E,E')$, where $E$ and $E'$ ...

**0**

votes

**1**answer

557 views

### A question on Cebotarev's density theorem

Let $K$ be a number field, $d$ a positive integer and $S$ a finite set of places of $K$.
By Cebotarev, there exists a finite set of finite places $T$ disjoint from $S$ such that the conjugacy classes ...

**1**

vote

**1**answer

251 views

### Around a theorem of Kronecker

Hi,
let $k/\mathbb{Q}$ be a number field. Assume that $u$ is an algebraic integer such that all $k$-conjugates have modulus $1$. Is $u$ a root of $1$ ?
If $k=\mathbb{Q}$, the answer is YES (this is ...

**9**

votes

**1**answer

442 views

### Structure of units in a maximal order

Hello,
my question is simple: do we have a "Dirichlet's unit theorem" for the group of units of a maximal order of a central division algebra ?
In other words: let $k$ be a number field, let $D$ be ...

**2**

votes

**1**answer

251 views

### Is being principal a local property?

Let $R$ be a number ring and a Dedekind domain. We have the following result:
For every ideal $I\subset R$ $$ I = \bigcap_P I_P $$ where $I_P$ denotes the localization of $I$ at $P$ and the ...

**6**

votes

**1**answer

223 views

### Algebraic integers in skew fields

Hi everyone,
let $D$ be a skew field, which is finite dimensional over its center $k$. Assume that $k$ is a number field, and let $\mathcal{O}_D$ be the set of elements $z\in D$ which are roots of a ...

**2**

votes

**1**answer

338 views

### is there any bound on the absolute number of algebraic integer in terms of its degree?

If Z is a sum of t distinct roots of unity and |Z| is a rational integer, can someone find a bound on |Z| in terms of k=deg(Q(Z):Q))?
Clearly we need to have distinct roots of unity otherwise this ...

**14**

votes

**2**answers

633 views

### Motivic generalisation of Neron-Ogg-Shaferevich criterion

Given a variety $X$ over $\mathbb{Q}$ with good reduction at $p$, proper smooth base change tells us that its $l$-adic cohomology groups are unramified at $p$ (and I'd guess some $p$-adic Hodge theory ...

**6**

votes

**2**answers

408 views

### Jacobians defined over smaller fields

Let $L/K$ be an extension of number fields.
Let $X$ be a curve over $L$ which can not be defined over $K$. Let $J(X)$ be the Jacobian of $X$ over $L$.
In general, the Jacobian $J(X)$ probably ...

**3**

votes

**1**answer

213 views

### Extending arithmetic functions (and associated Dirichlet series) to arbitrary rings of integers

Many classical arithmetic functions can be thought of as functions on the set of (non-zero) ideals of $\mathbb{Z}$ rather than as functions on $\mathbb{N}$.
Example: For $n \in \mathbb{N}$ the ...

**2**

votes

**0**answers

242 views

### Elements whose conjugates are of the same absolute value in cyclotomic fields

Let $k$ be an odd rational integer, $p$ a rational prime and $\zeta_p$ a primitive $p$th root of unity. Let $\sigma$ a generator of $Gal(\mathbb{Q}(\zeta_p)/\mathbb{Q})$, i.e., ...

**1**

vote

**1**answer

212 views

### elements of absolute value one in cyclotomic fields

Let $p$ be a rational prime and $\zeta_p$ a primitive $p$th root of unity.
What do we know about the set $\{z\in\mathbb{Q}(\zeta_p):|z|=1\}$?

**0**

votes

**1**answer

405 views

### When does the modulus of a sum of an integer and an algebraic integer equal an integer?

Let say Z is a sum of n-roots of unity and thus an algebraic integer, and D is an rational integer.
If |z+D| is an integer, what can we conclude regarding Z? can we say |Z| is integer?
Another ...

**2**

votes

**0**answers

171 views

### Proving the index formula of the norm residue group without $p$-adic completion

I asked the following question in MSE, but I've got no answer so far.
Let $K$ be an algebraic number field.
Let $A$ be the ring of integers in $K$.
Let $\mathfrak{p}$ be a prime ideal of $K$.
Let ...