The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
223 views

Unramified extension and class field theory

I am not sure this question is proper for this site, but there is no other places that I can get an answer. So if anyone can give an answer for this, it would be very helpful to me. Let $F$ be a ...
0
votes
0answers
185 views

Understanding Umemura's Theorem for roots of algebraic equations

I am trying to understand Umemura's Theorem for expressing the roots of any algebraic equation by higher genus theta functions. The original paper can be found here: ...
1
vote
0answers
148 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 ...
6
votes
2answers
349 views

Irreducible polynomials with a root modulo almost all primes

Let $f \in \mathbb{Z}[x]$ be a non-zero polynomial which is irreducible over $\mathbb{Q}$. Suppose that $f$ has a root in $\mathbb{F}_p$ for almost all primes $p$. Must $f$ be linear? ...
6
votes
2answers
462 views

Hurwitz integers represented as sums of two squares of Hurwitz integers

I wonder if there exists a characterisation of Hurwitz integers which are represented as sums of two squares of Hurwitz integers, up to multiplication by a unit. And if so, could you please point to a ...
5
votes
0answers
252 views

maximal abelian extension of quadratic extension of $\mathbb Q_p$

I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb ...
-4
votes
1answer
139 views

$p=4x^2+27y^2$,with $p$ a prime [closed]

p is a prime ,on what condition the Diophantine equation is solvable.what is it Linear expression ,for example ,$x^2+3y^2=p$, $p=3k+1$ ,$x^2+5y^2=p$ , $p=1,9\pmod{20}$.
3
votes
1answer
189 views

The existence of elliptic curves with prescribed supersingular primes

For a given infinite set of primes, not too big, eg, satisfying Lang-Trotter conjecture, can we always find an E.C. with supersingular reduction (at least) at these primes? How about E.C. without CM? ...
3
votes
2answers
298 views

The existence of infinitely many supersingular primes for every elliptic curve over Q

Elkies proved The existence of infinitely many supersingular primes for every elliptic curve over Q. I read his paper, but found the supersingular primes he constructed are all 3(mod 4) type. So, how ...
3
votes
0answers
134 views

Is Eisenstein's map from binary cubic forms really injective when $\Delta > 0$?

The four binary cubic forms, homogeneous cubics of the form $C_j(x,y) = a x^3 + b x^2 y + c x y^2+d y^3 = (a,b,c,d)$, $C_1 = (1,3,-15,-23)$, $C_2 = (1,3,-51,-203)$, $C_3 = (1,3,-33,-113)$, $C_4 = ...
13
votes
1answer
531 views

Growth of the “denominator” of powers of an algebraic number

Let $z \in \overline{\bf Q}$ be an algebraic number. Define the "denominator" of z to be the least natural number $n$ such that $nz$ is an algebraic integer. By a rather ad hoc argument (playing ...
6
votes
0answers
73 views

Constructing a polyhedron of maximal possible volume from given bounds on areas of its faces

Consider $n$ variables $a_1,...,a_n$ ranging over $\mathbb{R}^+$. Suppose we are given $n$ pairs of positive rational numbers $(p_1,q_1),...,(p_n,q_n)$ where each pair imposes bounds on the ...
4
votes
1answer
353 views

About principal ideal theorem in number fields

I usually consider a cyclic extension $K$ of degree an odd prime $p$ over the rational field $\mathbf{Q}$. In this case, there is a well-known result that "every ambiguous class in the class group ...
3
votes
2answers
431 views

Cohen-Lenstra Heuristics reference

I am looking for good references (preferably, books) on Cohen-Lenstra Heuristics (on Real Quadratic fields) which explain in detail the reasons behind its fundamental assumption (higher the ...
5
votes
1answer
300 views

Minimal polynomial of sums of roots of unity with constant term $\pm1$

Let prime $p$ and given $\zeta_p = e^{2\pi i/p}$. It is well-known that the minimal polynomial of $x = \zeta_p + \zeta_p^{p-1}$ has a constant term either $\pm 1$ and, for certain $p$, the sum of ...
1
vote
1answer
133 views

Algebraic numbers abhorrent to cyclotomic fields

Consider an algebraic number $\alpha$, which can be taken to be an integer. With $\deg\alpha$ a prime number, one can easily arrange that to be such that all powers $\alpha^n$ to be of the same ...
7
votes
1answer
319 views

When can number rings be spanned (as $\mathbb{Z}$-modules) by units?

Let $\mathcal{O}$ be the ring of integers in an algebraic number field. Define $R \subset \mathcal{O}$ to be the set of all $\mathbb{Z}$-linear combinations of units. Since the product of two units ...
-1
votes
1answer
182 views

A characterization of the module function on a locally compact division ring

The same question was asked in Math StackExchange about 3 months ago. Since nobody has answered to it, I would like to post it here. References: Weil's Basic Number Theory(denoted by BNT). ...
9
votes
1answer
445 views

The Dissertation of F. J. van der Linden

Does anyone have access to the 1984 dissertation of Franciscus Jozef van der Linden under Hendrik Lenstra? It is called Euclidean Rings with two infinite primes. The theory is that this has the ...
3
votes
0answers
179 views

Euclidean real quadratic fields

It is known that, under GRH, a real quadratic field is Euclidean iff it is a UFD. So, assuming the conjecture of Gauss and GRH, we expect that there are infinitely many Euclidean real quadratic ...
1
vote
1answer
251 views

Number Field Sieve for factorization with non-monic non-linear polynomial. Can't understand calculating ideal valuations

There is a paper "Factoring integers with the number field sieve" (download it here, for example). I can't understand how they reason the correctness of computing ideal valuations in the case of ...
12
votes
1answer
433 views

primes represented by an indefinite binary quadratic form

Suppose I have a form $$ f(x,y) = a x^2 + b x y + c y^2, $$ with $a,b,c$ integers, $\gcd(a,b,c)=1$ and $\Delta = b^2 - 4 a c > 0,$ but $\Delta \neq n^2$ for any integer $n.$ Do there exist ...
5
votes
0answers
187 views

Generating congruence subgroups of SL_n over totally imaginary number rings

Fix some $n \geq 3$. Let $k$ be an algebraic number field with ring of integers $\mathcal{O}$ and let $\alpha$ be an ideal of $\mathcal{O}$. Define $\text{SL}_n(\mathcal{O},\alpha)$ to be the ...
2
votes
1answer
281 views

Some puzzles about the three conditions in a paper of D.Berend

Recently, I am reading a paper titled "multi-invariant sets on tori" by D.Berend. I am puzzled by the three necessary and sufficient conditions given there. Could you provide me with some concrete ...
4
votes
0answers
167 views

When is a Number Ring generated by its Norm-1 elements?

In exercise 1.2.11. of Bump's Automorphic Forms and Representations book, he deals with real quadratic fields $K$ in which $\mathcal{O}_K$ is generated (as a ring) by its norm-1 units. In this case ...
2
votes
1answer
60 views

Action of GL(2,O_k) on 1d subspaces of (O_k)^2

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$. Let $M$ be a rank $1$ projective module over $\mathcal{O}_k$ (in other words, $M$ is a projective module such that $k ...
2
votes
1answer
402 views

Prime splitting in cubic field, congruence [closed]

Let $K$ be a cubic Galois extension of $\mathbb{Q}$. I wonder if we can find a congruence for prime $p$ such that $p$ does not split completely in $K$. I know that we can do this for quadratic ...
4
votes
1answer
194 views

Reduction mod $p$ of units in a ring of integers

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$ and let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_k$. I'm looking for conditions on $k$ and $\mathfrak{p}$ which ...
2
votes
0answers
151 views

Lang's preprint “Cyclotomic points, very anti-canonical varieties, and quasi-algebraic closure”

I am trying to find the following preprint of Serge Lang, which supposedly discusses his C1 conjecture: "Cyclotomic points, very anti-canonical varieties, and quasi-algebraic closure". I have not ...
1
vote
1answer
223 views

Rational points of non-rational curves

An algebraic curve (in this question) is the zero set   $C = f^{-1}(X\ Y)$ of any polynomial   $f\in\mathbb R[X\ Y]$;   we say then that   $f$   represents   $C$.   ...
8
votes
2answers
361 views

property of trace modulo $n$

I recently noticed an interesting (at least to me) property of the trace but have been unable to prove it. Let ${\mathbb K}$ is an algebraic number field with ${\mathcal O}$ as its ring of integers, ...
1
vote
2answers
211 views

Question about ring of integers of cyclotomic field [closed]

Let $\zeta=e^{\frac{2\pi i}{p^n}}$, $p$ is an odd prime. Is $\mathbb{Z}[\zeta]$ a UFD? Thank you for watching.
2
votes
1answer
182 views

RefReq: Algorithms for standard operations in Algebraic Number theory

Given an algebraic number field $F$ (I actually don't have an idea how to implement this data already, except for splitting fields of polynomials, but there is something in SAGE) is there free code ...
5
votes
0answers
148 views

Salem and Perron polynomials

If $P(t)\in \mathbb{Z}[t]$ is a polynomial, let $d$ be its degree and let $P_{*}(t)$ denote its reciprocal polynomial, i.e. $P_{*}(t) := t^d\, P(1/t)$. Let $Q_n(t) \in \mathbb{Z}[t]$ be a polynomial ...
1
vote
1answer
549 views

An integral representation of the Riemann zeta function

I am referring to the equality in equation $3.29$ (page 12) and $4.20$ (page 17) in this paper. I am unable to recognize where this comes from or what is the general expression for values other than ...
0
votes
0answers
90 views

Derivative of a function related to Dedekind zeta function

Lef $K$ be an algebraic number field of degree $[K:\mathbb{Q}]=n$. For simplicity suppose $K$ is totally real. Define $f(s) = \zeta_K(s) \zeta(1-s)^{n-1}$ where $\zeta = \zeta_{\mathbb{Q}}$. From the ...
3
votes
0answers
229 views

Inequalities in paper by Jean Bourgain

The question refers to the following paper by Jean Bourgain: http://arxiv.org/abs/math-ph/0011053 Specifically, I can't derive the following inequality in (1.20): \begin{equation} ...
3
votes
0answers
117 views

Diophantine approximations by norms of quadratic irrrationalities

The following problem came up on a mailing list that I subscribe to: If $\alpha$ is irrational we can find (using continued fractions) infinitely many rational fractions $p/q$ such that $|q \alpha - ...
1
vote
0answers
108 views

Isogenies in multidimensional formal groups

Let $K/\mathbb{Q}_p$ be a local field, $A$ the ring of integers of K, $\pi$ a uniformizer element for $A$, $F$ an n-dimensional formal group with coefficients in $A$ and $f$ an endomorphism of $F$. ...
1
vote
1answer
170 views

Deciding if the largest absolute value real root lies in a cyclotomic extension

Given an algebraic equation of degree $n$ of form: $$x^{n} - a_{n-1}x^{n-1} - a_{n-2}x^{n-2} - \dots - a_{0} = 0$$ where each $a_{i} \in \Bbb Q^{+}$ and atleast one positive root, how does one decide ...
3
votes
1answer
203 views

Modular Functions with Rational Fourier Expansions

I have been reading the paper of Cox, McKay and Stevenhagen "Principal Moduli and Class Fields", http://arxiv.org/pdf/math/0311202v1.pdf, and I have a question regarding the nature of the function ...
2
votes
2answers
194 views

What is the exact meaning of the real period in the $p$-adic formulation of BSD?

Let $E$ be an elliptic curve over $\mathbf{Q}$ which has split multiplicative reduction at $p$ (a prime). If one chooses a global Neron model of $E$ over $\mathbf{Z}$ (unique up to unique isomorphism ...
27
votes
6answers
931 views

Patterns among integer-distance points

Mark each point of $\mathbb{N}^2$ ($\mathbb{N}$ the natural numbers) if its Euclidean distance from the origin is an integer. One obtains a plot like this, symmetric about the $45^\circ$ diagonal. ...
3
votes
1answer
336 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)}$. K is an algebraic number ...
6
votes
2answers
460 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 ...
0
votes
1answer
342 views

How to do such a partitioning?

Assume: $$ P \subseteq \{1,2,\dots,N\},\quad |P| = K, \qquad x \in \mathbb{R}_+^K , \qquad w = e^{-j\frac{2\pi}N} $$ and, $$ f(l) = \sum_{i=1}^K \sum_{j=1}^K x_i x_j w^{(p_i-p_j)l} $$ I am going to ...
7
votes
2answers
318 views

Class numbers of orders

Consider an order $R$ in a number field $L$. Let $C_R$ be the set of $R$-fractional ideals modulo $L^\times$. Let $O$ be the maximal order in $L$, and $C_O$ be the class group of $O$. My question: ...
2
votes
0answers
128 views

Reference request for a basic result on relative differents & discriminants

I am looking for a better reference for the results in this extremely short and elementary paper: Tôyama, Hiraku, `A note on the different of the composed field', Kōdai Math. Sem. Rep. 7 (1955), ...
8
votes
2answers
368 views

Class number of real maximal subfield of cyclotomic fields

Let $p$ be a prime number and $h_p^+$ the class number of $\mathbb{Q}(\zeta_p + \zeta_p^{-1})$. What is known about the values of $p$ for which $h_p^+ = 1$? Are there infinitely many? Finitely many? ...
8
votes
1answer
384 views

Fundamental units of imaginary quartic fields

Let $F/{\mathbb Q}$ be an imaginary quartic extension (i.e. the degree $[K:{\mathbb Q}]=4$ and no embedding of $K$ in ${\mathbb C}$ has its image inside the real numbers). Then the unit group of the ...