The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
17 views

Can we prove the uniqueness of the local Artin map by using mostly global class field theory?

Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...
-1
votes
0answers
49 views

square classes of quadratic extensions of 2-adic fialds [migrated]

I have a question about square classes of quadratic extensions of 2-adic fields. I appreciate anybody help me to understand. Why all elements of $1+\mathfrak{p}^5$ are square in ...
3
votes
1answer
156 views

A question about “small” sets of algebraic numbers

For the sake of brevity let me use the following terms. A subset $X$ of $\bar{\mathbb{Q}}$ will be called "small" if for any number field $K$, the intersection $X\cap K$ is finite. Similarly, a set ...
3
votes
1answer
432 views

Is this polynomial irreducible over the rationals?

Prove (or disprove): Define $T_n(x)$ as the Chebyshev polynomial of the first kind with degree $n$ . If $p$ is an odd prime, then $\sqrt{\frac{T_p(x)-1}{x-1}}$ is an irreducible polynomial over the ...
0
votes
0answers
63 views

root of unity in a local field [migrated]

Let $K$ be a local field with residue field of cardinality $q$ that contains the $n$-th roots of unity (for some $n\in\mathbb N^*$). Does $n$ divide $q-1$? If not, is there a relation between $n$ and ...
0
votes
0answers
39 views

counting fundamental units of real quadratic fields

For a given real quadratic field $ K$, the units of its ring of integers is $\mathcal{O}_K\cong(\pm1)\times \mathbb{Z}$ by Dirichlet unit theorem. For each $\mathcal{O}_K$, pick the fundamental unit ...
5
votes
0answers
101 views

Furtwangler's Principal ideal theorem in number fields

Does anyone know a simple proof, using cohomological method of the fact that the verlagerung from a finite group G. to its commutator subgroup G', i.e. $$G/G'->(G')^{ab}$$ vanishes? The simplest ...
14
votes
1answer
241 views

Geometric Mean of $L(1,\chi)$ for quadratic Dirichlet characters

Let $S = \{D_1, D_2, D_3, \ldots \}$ be the set of all prime discriminants (or positive prime discriminants) of quadratic number fields. For such a discriminant let $\chi_j(n) = (\frac{D_j}n)$ be ...
2
votes
0answers
70 views

$K^{ur}K^{\pi} = L$

Let $K$ be a $p$-adic field, and $L$ an infinite abelian extension of $K$ containing $K^{ur}$. Let $\Phi: K^{\ast} \rightarrow Gal(L/K)$ be the local Artin map. Let $\pi$ be a uniformizer for $K$, ...
4
votes
0answers
117 views

Is $K^{ur} K^{\pi} = L$?

Let $L/K$ be a finite extension of $p$-adic fields, $\pi$ a uniformizer of $K$, $\theta = (-, L/K)$ the local Artin map $K^{\ast} \rightarrow Gal(L/K)$, $E$ be maximal unramified extension of $K$ ...
6
votes
0answers
68 views

Minimal Discriminants

Let $D_n$ be the minimal absolute value of the discriminants of number fields with degree $n$. Arnold Scholz conjectured in 1936 that $D_{397} > D_{400}$, which is, of course, still open (Scholz ...
16
votes
1answer
405 views

Quickest and/or most elementary proof of “principal iff splits completely”?

Let $L$ be the Hilbert class field of a number field $K$, and let $\mathfrak{p}$ be a prime ideal of $K$. Then $\mathfrak{p}$ splits completely in $L$ if and only if $\mathfrak{p}$ is a principal ...
3
votes
2answers
221 views

N-th root of unity in N-th division field of abelian variety?

Let K be a number field and A/K an abelian variety over it. Can it be that K(A[n]) does not contain a primitive n-th rooth of unity? If the answer is yes is it always possible to bound the bad n ...
0
votes
0answers
36 views

Ambiguous classes not strongly ambiguous

I am looking for a quadratic field $K$ and a class $\mathcal C$ of the classes group of $K$ such that $\mathcal C$ is ambiguous but not strongly ambiguous that is: $\sigma(\mathcal C)=\mathcal C$ for ...
4
votes
0answers
63 views

Explicit extensions for Heisenberg groups

Let $G$ be the $p$-adic Heisenberg group $\begin{pmatrix} 1&\mathbb Z_p&\mathbb Z_p\\&1&\mathbb Z_p\\&&1\end{pmatrix}$. Is it possible to write an explicit extension $K/k$, ...
3
votes
2answers
223 views

A galois group is topologically finitely generated or finitely generated as a $\mathbb{Z}_p$-module

The basic set up is the following: Let $K$ be a number field. let $p$ be an odd prime. Let $\Sigma_p$ be the set of primes of $K$ lying above $p$. Let $M$ be the composite of all finite $p$-extensions ...
0
votes
0answers
32 views

Which properties determine the uniqueness of the local Artin map?

Any abelian extension of local fields can be realized as the completion of a global abelian extension. So let $L/K$ be abelian, $w/v$ an extension of places. From the global Artin map on ideles we ...
2
votes
1answer
111 views

References about identities of Gauss sum

I am reading the paper. In the end of page 10, there are the following identities of Gauss sum. \begin{align} & h(b) h(a+b) = q^b h(b) h(a), \\ & h(b) g(a+b) = q^b h(b) g(a), \\ & g(a+b) ...
4
votes
0answers
220 views

Analog of Euler's factoring technique

Is there an analog of Euler's Two Squares factoring theorem over polynomial rings $\Bbb Z[x]$ by considering a version for non-negative polynomials? Euler's two squares factoring states that numbers ...
0
votes
2answers
121 views

Is any F-stable maximal torus contained in some F-stable Borel subgroup? [closed]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...
0
votes
0answers
83 views

Surjectivity of ring homomophism induced by Frobenius endomorphism

Denote by $F_q$ the finite field with $q$ elements, and denote by $\bar{F_q}$ its algebraic closure. Let $V$ be an affine $\bar{F_q}$-variety and $F$ be the Frobenius endomorphism corresponding to an ...
7
votes
1answer
189 views

Lower bound on class number of binary quadratic forms of discriminant of the form $n^2+4$

While searching for a use for the "sum invariant" of indefinite binary quadratic forms of discriminant $D = n^2 + 4$ (see https://cs.uwaterloo.ca/journals/JIS/VOL17/Smith/smith5.html), I believe I ...
3
votes
0answers
150 views

Looking for a copy of Algebraic Number Theory in honor of Iwasawa

I am looking for an electronic copy of this volume: Advanced studies in Pure Mathematics, Volume 17 Algebraic Number Theory - in honor of K. Iwasawa Edited by J. Coates, R. Greenberg, B. Mazur and I. ...
8
votes
1answer
315 views

Orthonormal bases of R^3 with components lying in the golden field

Greg Egan proved an interesting theorem about unit vectors in $\mathbb{R}^3$ whose components actually lie in the 'golden field' $\mathbb{Q}[\sqrt{5}]$. He found it in our studies of twin ...
1
vote
1answer
238 views

When can we write fundamental units explicitly

Given a number field $K$, the Dirichlet Unit Theorem tells us about the structure of the unit group $O_K^\times$. However, the proofs do not seems to give any way to explicitly write out a set of ...
9
votes
2answers
597 views

What are the current trends in class field theory?

Being far from an expert in the subject I was wondering if people can hint towards a modern exposition of the developments in the last 10 years ? Or if not then suggest some sub-subjects in CFT that ...
8
votes
3answers
607 views

Is the infimum of Salem numbers > 1?

BACKGROUND A Salem number is an algebraic integer $\theta$ such that all the Galois conjugates of $\theta$ are $\leq 1$ in absolute value, and at least one of them lies on the unit circle. Their ...
36
votes
3answers
2k views

What was the relative importance of FLT vs. higher reciprocity laws in Kummer's invention of algebraic number theory?

This question is inspired in part by this answer of Bill Dubuque, in which he remarks that the fairly common belief that Kummer was motivated by FLT to develop his theory of cyclotomic number fields ...
2
votes
2answers
215 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
10
votes
1answer
438 views

Class field towers

It is known (Golod and Shafarevich) that the class field tower of a finite extension $K$ of $\mathbb{Q}$ may be infinite. But is it always finite for $K=\mathbb{Q}[\zeta]$ where $\zeta$ is a root of ...
1
vote
2answers
213 views

Surjectivity of trace map

Let $R$ be a closed integral domain with its fraction field $F$. Let $K$ be a finite separable extension field of $F$, and let $A$ be the integral closure of $R$ in $K$. It is well known that the ...
24
votes
3answers
2k views

Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)

Set theory and model theory have many applications outside of logic, in particular in algebra, topology, analysis, ... On the other hand model theory, in particular after Hrushovski, found many ...
13
votes
1answer
470 views

When complex conjugation lies in the center of a Galois group

Let $K \subseteq \mathbb{C}$ be a number field (I'm fixing an embedding), and assume $K/\mathbb{Q}$ is Galois with Galois group $G$. Let $\tau \in G$ denote complex conjugation. This question ...
0
votes
1answer
120 views

Algebraic Hecke characters with a given infinite part

I'm needing to find out if there exists an algebraic Hecke character for a number field F, $\phi: \mathbb{A}_F \rightarrow \mathbb{C}$, for a fixed infinite part $\phi_\infty$ and a fixed component ...
7
votes
2answers
277 views

Constructing Ramanujan graphs from elliptic curves

Is there an exposition which explains how to do this step-by-step? (I see stray references and allusions to such a thing being possible but can't locate anything concretely) Something to do with ...
22
votes
9answers
2k views

What are some interesting problems in the intersection of Algebraic Number Theory and Algebraic Topology?

I'm a beginning graduate student and while my background is primarily in algebraic number theory, I've found myself a bit smitten with the subject of algebraic topology recently after only having read ...
2
votes
0answers
194 views

Algebraic integer with conjugates on the unit circle

Let $\alpha$ be an algebraic integer on the unit circle in $\mathbb{C}$ such that all the conjugates of $\alpha$ lie on the unit circle. Does it follow that $\alpha$ is a root of unity?
6
votes
4answers
514 views

Some Non-Trivial Algebraic(Rational) Number

Every problem about algebraic-ness (rational-ness) of numbers that I have seen is in one of the below types: The number is algebraic(rational) and proving that it is algebraic(rational) is trivial, ...
10
votes
4answers
987 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 ...
2
votes
0answers
140 views

Normal basis in cyclotomic number fields

Let $p$ be an odd prime integer and let $\zeta$ be a primitive $2p$-th root of unity. Does $\alpha=1+\zeta+\zeta^{-1}+\dots+\zeta^{\frac{p-1}{2}}+\zeta^{-\frac{p-1}{2}}$ generates a normal basis of ...
0
votes
0answers
105 views

Extension of a complete discrete valuation ring

My question came when I was reading the famous Tate's paper on $p$-divisible groups. At the beginning of chapter $(2.4)$ he cites this fact as obvious. If you take a complete discrete valuation ring ...
8
votes
2answers
869 views

divisible by all standard prime numbers

This question is about prime numbers in nonstandard models of Peano Arithmetic. Every such model looks like N+AxZ, where A is a dense linear order without end points. There are many nonstandard ...
6
votes
1answer
458 views

How to test if the power of some algebraic number is the rational combination of two specific algebraic numbers?

Suppose we are given three algebraic numbers $\alpha,\beta,\gamma$ by presenting their minimal polynomial (degree less than $m$), the goal is to compute all positive integers $n$ such that $\alpha^n$ ...
0
votes
1answer
162 views

Normal basis with cyclotomic units

Let p be an odd prime integer and let $\zeta$ be a primitive p-th root of unity. Let $\alpha$ be a non-trivial cyclotomic unit of $\mathbb Q(\zeta)$, i.e. an element of the form ...
5
votes
1answer
350 views

A strange condition on containment of special complex numbers in cyclotomic fields

In a recent theorem we have naturally come across this condition, that seems to be important, but rarely satisfied: $\sqrt{\frac 1 4 + a^m} \in \mathbb Q(\zeta_m, a)$ where $a\in\mathbb C^*$ and ...
6
votes
1answer
330 views

UFD and fundamental group

Let $C$ be the curve $x^2+y^2-1$, defined over $\mathbb R$. It is easy to see that $\mathbb R[C]$ is not a UFD, as witnessed by the identity $(1-x)(1+x)=y^2$. On the other hand, the real locus ...
33
votes
2answers
890 views

What is an infinite prime in algebraic topology?

The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...
0
votes
0answers
106 views

Solving the transcendental equation $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$

I need to solve the following equation: $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$ for $x\in\mathbb{R}^{\ast}$ and where $k\in\mathbb{R}^{+}$. Here $Li_{3}$ and $Li_{2}$ are the third and ...
6
votes
2answers
415 views

How to compute class number of a torus

Let $T$ be an algebraic torus over a number field $K$. Following notations in Ono's The Arithmetic of Tori, ...
3
votes
0answers
187 views

Density of primes of degree one in Bauer's Theorem (Application of Chebotarev Density)

Let $L$ be a Galois extension of $\mathbb{Q}$ and $M$ a finite extension of $\mathbb{Q}$, both of degrees $> 1$. A Theorem of Bauer tells that $Spl_1(M)\subset Spl(L)$ up to a finite number of ...