The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
83 views

Decompositions of representations of pro-p groups

Let $P$ be a pro-p group. Assume that there is a filtration of $P$ by normal subgroups $P_i$ such that $P_0=P$ and $P_{i+1} < P_i(i\in\mathbb N)$. Let $V$ be an $l$-adic representation of $P$, ...
2
votes
1answer
130 views

ramification of discrete valuation field

Let $K$ be a discrete valuation field with valuation $v:K\rightarrow \mathbb Z\cup \{\infty\}$ which is normalized by $v(\pi)=1$ for a prime element $\pi$. Let $v:\overline K\rightarrow \mathbb ...
1
vote
0answers
83 views

points in $V(\bar K \otimes_{\bar Q} \bar L)$ rational over tensor product of fields

Let V be a variety over a number field, and let K and L be two algebraically closed What is known about the points of $V(\bar K \otimes_{\bar Q} \bar L )$ ? Are there results claiming that points in ...
8
votes
1answer
529 views

how to visualize the class number of an imaginary quadratic field?

Let me detail the title of the question. I'm trying to give students an intuition of what the class number is. Let $K=\mathbb{Q}(\sqrt{-d})$, with $d>0$ a square-free integer, be a quadratic ...
3
votes
0answers
118 views

P-adic Weierstrass Lemma for several variables

The p-adic Weiestrass lemma asserts that a power series $f(z)$ with coefficients in the ring of integers of a local field can be factored as $π^n·u(z)·p(z)$ where u(z) is a unit in the ring of power ...
5
votes
1answer
254 views

Inertia subgroup in the ordinary reduction case when $p=2$

Dear MO, Let $K/\mathbb{Q}_2$ be a finite extension, and let $E/K$ be an elliptic curve with good ordinary reduction, and such that $\mathbb{Q}_2(j(E))=K$. Let ...
7
votes
1answer
444 views

Numbers integrally represented by a ternary cubic form

Given integers $a,b,c,$ and cubic form $$ f(a,b,c) = a^3 + b^3 + c^3 + a^2 b - a b^2 + 3 a^2 c - a c^2 + b^2 c - b c^2 - 4 a b c $$ $$ f(a,b,c) = \det \left( \begin{array}{ccc} a & b ...
4
votes
3answers
276 views

Computing certain class numbers modulo 4

Let $p \equiv 5 \pmod{8}, q \equiv 7 \pmod{8}$ be primes and $N = pq$. I want to show that the class number $n$ of $\mathbb{Q}(\sqrt{-N})$ satisfies $n \equiv 2 \pmod{4}$ if $\left(\frac{q}{p}\right) ...
0
votes
1answer
241 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 ...
14
votes
1answer
701 views

Principal maximal ideals in Z[x]/(F)

Is there some irreducible $F \in \mathbb{Z}[x]$ such that $\mathbb{Z}[x]/(F)$ has no principal maximal ideal? Equivalently, is it possible that the $1$-dimensional integral domain $\mathbb{Z}[x]/(F)$ ...
1
vote
1answer
381 views

How can we understand Baker's theorem about transcendence ?

We know that for algebraic $e^{it\pi}$, $t$ can not be algebraic irrational by Baker's theorem, but his proof is analytic; is there some algebraic understanding for such fact? If $t$ is ...
0
votes
1answer
307 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
1answer
292 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
2answers
610 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
1answer
190 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
0answers
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
1answer
166 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
2answers
414 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
4answers
397 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
2answers
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
1answer
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
0answers
242 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
0answers
220 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
2answers
389 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
0answers
226 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
0answers
242 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
4answers
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
1answer
505 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
1answer
896 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
0answers
183 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
0answers
174 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
2answers
712 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 ...
26
votes
1answer
941 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
0answers
134 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
0answers
139 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
0answers
697 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
1answer
272 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
0answers
251 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
0answers
110 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
3answers
388 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
2answers
916 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 ...
6
votes
2answers
715 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
3answers
628 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 ...
4
votes
1answer
258 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
0answers
135 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
0answers
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
0answers
1k 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
1answer
471 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
1answer
552 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
1answer
248 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 ...