The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
3answers
535 views

j-invariant fixed point?

If we view the j-invariant of a lattice as a map from the upper-half plane to the complexes by $\tau\mapsto j([1,\tau])$, then it is surjective, holomorphic, and has quite a number of other wonderful ...
6
votes
2answers
620 views

Are Cantor type numbers algebraic?

This question may be naive. Take an infinite set of distinct algebraic numbers (hence countable). List them out in a table (randomly) by picking a choice of ordering and change the diagonal numbers. ...
11
votes
1answer
429 views

Embedding number fields in fields with class number 1

(Apologies if this question isn't quite research-level: a colleague came across it while preparing a non-examinable bonus lecture on class field theory for an undergraduate algebraic number theory ...
1
vote
2answers
848 views

Non-trivial facts about primes coming out of Algebraic Number Theory [closed]

What can be gleaned about primes from Algebraic Number Theory? I know this is too vague. What I mean is the following: Are there several examples where Algebraic Number Theory helps to solve ...
2
votes
2answers
459 views

Special values of a doubly periodic meromorphic function

Consider the following function: $G(z) = \prod_{n \in \mathbb{Z}} {1 \over{\tanh^2\left(\pi\left(z-n\right)\right)}}$. By constuction, it has poles at $z=m+in$ with $m,n \in \mathbb{Z}^2$. ...
4
votes
1answer
307 views

Need there be infinitely many Gaussian primes along lines that contain at least one?

Greetings from EuroCG 2012, from which I post via iPod, so apologies for lack of problem motivation, background research and mathematical formatting. Question:Suppose L is a horizontal or vertical ...
4
votes
2answers
266 views

Eigenvalues for toral Anosov automorphisms

It is well known that on every $d$-dimensional torus there exists linear Anosov automorphisms. My question is the following: Given $k< d$ does there exists a linear Anosov automorphism of ...
3
votes
1answer
991 views

Trace of Frobenius over $F_q$

Let $q_0$ be a prime and $q$ = $q_0^n$. Let $a(F_q/F_{q_0})$ denote any integer which is trace of Frobenius over the field $F_q$ for some elliptic curve which can be defined over $F_{q_0}$. It is ...
7
votes
0answers
287 views

Tameness criterion in the reducible case

Dear MO, This is a follow up to a previous question here in MO, but I will make this question self-contained for convenience. Those already familiar with the following paper [G] by Gross can safely ...
28
votes
1answer
1k views

How would Hilbert and Weber think about the Langlands programme?

Explanations to a general mathematical audience about the Langlands programme often advertise it as "non-abelian class field theory". They usually begin as follows: a modern style formulation of ...
4
votes
1answer
907 views

Bound for the number of rational points on the modular curve

By Mazur's theorems (Reference:- Modular curves and the Eisenstein ideal, 1977), we know that the only rational points of X_0(N) for N any prime > 163 are the two cusps (o) and (oo) (|X_0(N)(Q)| = 2 ...
0
votes
0answers
165 views

Ring of Integers as subring with most irreducibles

Let $L$ be a number field. Is it possible to define its ring of integers $R$ by saying it's the subring with (in a fuzzy sense) the "most" irreducibles?
4
votes
2answers
381 views

relations between class numbers of quadratic extensions

Let $h_m$ is the class number of $\mathbb{Q}[\sqrt m]$ and let $p>2$ a prime number. Is there a known connections between $h_p$ and $h_{-p}$? e.g. if $q^i$ divides $h_p$ then it also divides ...
6
votes
1answer
401 views

Parity of class number of pure cubic fields

A pure cubic field is an algebraic number field of the form $K = \mathbb{Q}(\theta)$ with $\theta^3 = m$, $m \neq \pm 1$. What can be said about the parity (odd or even) of the class number of a pure ...
6
votes
1answer
430 views

Can elliptic integral singular values generate cubic polynomials with integer coefficients?

For the elliptic integral of first kind, $K(m)=\int_0^{\pi/2}\frac{d\theta}{\sqrt{1-m^2sin^2\theta}} $, it is well-known that $K(m)$ can be expressed in what Chowla and Selberg call "finite terms" ...
4
votes
0answers
215 views

A natural mod-n representation of the automorphisms of an elliptic curve

Let $E$ be an elliptic curve over a field of characteristic $p$, and let $n$ be an integer coprime to $p$. Then $E[n]$, the kernel of multiplication by $n$ on $E$, is (etale-locally) isomorphic to ...
3
votes
1answer
227 views

Do there always exist integers $\beta_2$, $\beta_3$ such that $\{a, \beta_2 + \omega_2, \beta_3 + \omega_3 \}$ is an integral basis for the ideal $(a, \alpha )$ of a cubic field

Let $K$ be a cubic extension of the rational numbers of discriminant $D$ and $\{ 1, \omega_2, \omega_3 \}$ be an integral basis for the ring of integers $\mathcal{O}_K$ of $K$. Let $\alpha \in ...
8
votes
0answers
329 views

Effective lower bound for class numbers of cyclotomic fields

Let $K=\mathbb{Q}(\mu_p)$ with class number $h=h^+h^-$, where as usual $h^+$ is the class number of the maximal real subfield of $K$. My question is whether there is an effective lower bound for $h$ ...
4
votes
0answers
114 views

Detecting linear dependence on multiplicative groups

Let G = $\mathbb{G}_m^2/\mathbb{Q}$ and let $\Gamma \subseteq G(\mathbb{Q})$ be a free abelian group of rank 2. Assume that the set of primes $p$ for which $\Gamma \mod p$ is cyclic has positive ...
6
votes
2answers
1k views

Image of a Galois representation

Notation: $E$ is a non-CM Elliptic curve over $\mathbb{Q}$. $p$ is an ordinary prime. $f$ - cuspidal eigenform of weight $k$ = 2 attached with $E$. $\rho_f$ - the global 2-dimensional $p$-adic ...
2
votes
0answers
245 views

Order of inertia group on Lang

Let $A$ be a Dedeking ring with field of fraction $K$, $L$ be a Galois extension of $K$, $B$ the integral clousure of $A$ in $L$, $\mathfrak p$ a prime ideal of $A$ and $\mathfrak P$ a prime ideal of ...
1
vote
1answer
491 views

A proof in Lang - Algebraic number theory

I'm reading Proposition 14, page 15, Chapter I, taken in Lang - Algebraic number theory. It states that if $A$ is an integrally closed domain with field of fractions $K$, $L$ be a finite galois ...
6
votes
1answer
611 views

$\ell$-adic Weil cohomology theory

I have a reference or counterexample request. Suppose $k$ is a field and $\ell\neq char(k)$. There are several common references that show that $H^i_{et}(-, \mathbb{Q}_\ell )$ is a Weil cohomology ...
2
votes
3answers
630 views

Are all Finite Subsets of Affine n-space Algebraic sets, and related question [closed]

For an algebraicaly closed field $k$ are all finite subsets of Affine $n$-space $A^{n}\left(k\right)$ algebraic sets (here for $n>1$), and if so, for a given finite set $X\subset ...
26
votes
1answer
1k views

Do the algebraic integers form a free abelian group?

It is a well-known fact, proved in every introductory textbook on algebraic number theory, that if $K$ is an algebraic number field, i.e. a finite extension of $\mathbb{Q}$, then its ring ...
8
votes
2answers
500 views

primes represented by a binary form

Let $D$ be a square free integer. I am looking at primes representable as $x^2+Dy^2$, where $x,y\in\mathbb Z$. I wonder whether it is always true that this set of primes is the union of finitely many ...
2
votes
1answer
241 views

finiteness of class number: a bound for semi-simple groups?

Let $F$ be a number field, and $G$ a connected semi-simple linear algebraic $F$-group, which does not contain anisotropic (simple) $F$-factors. Write $\hat{F}$ for the ring of finite adeles ...
2
votes
1answer
505 views

Dedekind Spectra

Is there a class of ring spectra that corresponds to and/or extends the class of Dedekind rings from traditional algebra? Is there a notion of "ring of integers" of a ring spectrum? Additionally, is ...
8
votes
1answer
347 views

Non-trivial class number at some finite level in the cyclotomic $\mathbf{Z}_p$-extension of $\mathbf{Q}$?

An MSc student asked me if I knew an example of a prime $p$ and some finite layer $K_n$ in the cyclotomic $\mathbf{Z}_p$-extension of $\mathbf{Q}$ (so $[K_n:\mathbf{Q}]=p^n$) which had non-trivial ...
4
votes
0answers
259 views

What is the shape of the zeta function of a singular hypersurface?

So let $X$ be a projective hypersurface inside $\mathbb{P}_{\mathbb{Z}}^n$ of degree $d$. Assume that (a) $X(\mathbb{C})$ and $X(\overline{\mathbb{F}}_p)$ are irreducible, (b) and that ...
7
votes
3answers
1k views

Ring of algebraic integers in a quadratic extension of a cyclotomic field

Hello, I have a question which arose when trying to classify orders of certain algebras. We know that if $K=\mathbb{Q}(\zeta)$ is any cyclotomic field, and $\zeta$ is an $n$-th root of unity (for ...
6
votes
0answers
567 views

Automorphisms of local fields

It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...
0
votes
2answers
800 views

non negative integer solutions : Diophantine Equations [closed]

I want to know the exact number of non-negative integer solutions of a1x1+a2x2+...akxk = n ... I know that it is the co-efficient of x^n in (1-x^a1)^-1 * (1-x^a2)^-1 * ... (1-x^ak)^-1 ... but whats ...
18
votes
1answer
1k views

Number of distinct values taken by x^x^…^x with parentheses inserted in all possible ways

For what positive x's the number of distinct values taken by x^x^...^x with parentheses inserted in all possible ways is not represented by the sequence A000081? Is it exactly the set of positive ...
3
votes
1answer
302 views

Do the solutions to the unit equation lie dense in the complex numbers

Let $S\subset \overline{\mathbf{Q}}\subset \mathbf{C}$ be the set of solutions to the unit equation, i.e., $S$ consists of algebraic integers $a$ such that $a$ and $1-a$ are units in the ring of ...
0
votes
3answers
387 views

Brauer group of complete DVR

Let $A$ be a complete discrete valuation ring with fraction field $K$ and perfect residue field $\kappa$. Let $K_{nr}$ be the maximal unramified extension of $K$ and let $A_{nr}$ be its ring of ...
10
votes
2answers
593 views

Insolvable number fields ramified only at one (small) prime

In his first Eilenberg Lecture at Columbia, Benedict Gross says that only recently have we been able to give examples of finite galoisian extensions $K$ of ${\bf Q}$ which are ramified only at $2$ ...
5
votes
1answer
304 views

Equality of Galois modules

Let $k$ be a number field. Let $M$ be a (continuous) $\text{Gal}(\overline{k}/k)$-module. One can define two subgroups of the Galois cohomology group $H^i(k,M)$: the group of elements of $H^i(k,M)$ ...
1
vote
1answer
279 views

Centralizer of elliptic elements in $GL(2)$

Consider a global field $F$ and the group $\Gamma =GL(2,F)$. An element $\gamma \in \Gamma$ is called elliptic, if its eigenvalues do not lie in $F$. Now consider a completion $F_v$ of $F$ and $G_v = ...
1
vote
3answers
433 views

Genus and Spinor genus of a lattice

Hi, I'm looking for a motivation for the names genus and spinor genus of a lattice (and spinor norm of an isometry). Is there any relation between the genus of a lattice and the genus of an algebraic ...
0
votes
2answers
787 views

About list of discriminants of real quadratic fields with narrow class number 1?

I have a couple of questions regarding the list of discriminants of real quadratic fields with narrow class number 1. The sequence A003655 in OEIS portraits a list of discriminants of real quadratic ...
3
votes
3answers
489 views

For any $n$, does there exist a number field with at least $n$ solutions to the unit equation

Let $n$ be a positive integer. Does there exist a number field $K$ such that the number of solutions of the unit equation $$a+b =1, \quad a,b\in O_{K}^\ast$$ is at least $n$? Can we write down such a ...
3
votes
0answers
332 views

Cyclotomic fields and singular moduli

Let $\mu$ be the roots of unity and $S$ be the image under the modular $j$-function of all imaginary quadratic $\tau$. Then what is $\mathbb{Q}(\mu)\cap\mathbb{Q}(S)$?
4
votes
0answers
306 views

Why a certain “Hecke polynomial” is equal to a certain “Galois polynomial”?

Let $f$ be a modular form of weight $k>0$ on $\Gamma_1(N)$ that is an eigenvector for all the Hecke operators $T_\ell$, for $\ell$ prime, and with Nebentype $\epsilon$. If $\ell$ is a prime not ...
5
votes
3answers
544 views

Infinite dimensional central simple algebras

When constructing the Brauer group of a field, only the finite-dimensional central simple algebras are considered (because of Artin-Wedderburn's characterization). But what happens to the ...
4
votes
2answers
1k views

A family of polynomials with symmetric galois group

Consider the following family of polynomials in $K[x,y]$, where $K$ has characteristic zero: $f_n(x,y)=(x+y)^n+(x-1)y^n,$ for $n\geq 3$. I can prove that $f_n(x,y)$ has an irreducible factor of ...
1
vote
1answer
166 views

Lower bound on the class group of the p-Hilbert class field of an imaginary quadr. field

Let K be an imaginary quadratic field, A(K) its p-class group, and H(K) its p-Hilbert class field. If rk(A(K))=2, a result due to Arrigoni tells us that p^3 divides the order of the class group of ...
1
vote
1answer
289 views

The union of the totally split primes

Let $R$ be a Dedekind domain with quotient field $K$, let $L$ be a finite separable extension of $K$, and let $S$ be the integral closure of $R$ in $L$. If $\mathfrak{p}$ is a nonzero prime ideal of ...
8
votes
3answers
1k views

Gauss sum (with sign) through algebra

Let $p$ be an odd prime, and $\zeta$ a primitive $p$-th root of unity over a field of characteristic $0$. Let $G = \sum\limits_{j=0}^{p-1} \zeta^{j\left(j-1\right)/2}$ be the standard Gauss sum for ...
5
votes
1answer
1k views

Motivation for the proof of Hilbert's Theorem 90

The proof of Hilbert's Theorem 90 about cyclic extensions goes like this: Let $\sigma$ be the generator of the Galois group of order $n$ and let $b$ have norm $1$, i.e. $b \sigma(b) \cdots ...