Algebraic number fields, Algebraic integers, Arithmetic Geometry, Elliptic Curves, Function fields, Local fields, Arithmetic groups, Automorphic forms, zeta functions, $L$-functions, Quadratic forms, Quaternion algebras, Homogenous forms, Class groups, Units, Galois theory, Group cohomology, Étale ...

learn more… | top users | synonyms

9
votes
0answers
95 views

The operator $\left(q\frac{d}{dq}\right)^s$ and fractional derivatives of modular forms

Recall the notion of a "nearly holomorphic modular form" introduced by Shimura: A function $f : \mathfrak h \to \mathbb C$ is said to be nearly holomorphic of level $\Gamma_1(N)$, weight $k$ and ...
2
votes
2answers
132 views

Counting number of $2\times 2$ unimodular matrices of particular type

From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form? \begin{bmatrix} a^2 ...
2
votes
0answers
52 views

Statements generalizing representability of integers by binary quadratic forms to $n$-variable higher homogeneous forms?

Representing integers through the theory of binary quadratic forms is a well studied topic. We know that given $a,b,c\in\Bbb N$, based on discrimant $b^2-4ac$, we can study the representability of ...
1
vote
0answers
88 views

Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$. Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...
-2
votes
0answers
42 views

Prime ideals decomposition [closed]

How to prove the decomposition law for prime ideals in finite separable extensions of number fields? How we use the "conductor condition"?
2
votes
0answers
102 views

What are the restrictions in the ramification behavior of a Galois extension of number fields imposed by the Galois group of the extension?

Studying class field theory, I have come across the following Proposition: Proposition. Let $K/E$ be an extension of number fields so that there is no nontrivial unramified subextension $F/E$ with ...
8
votes
2answers
501 views

Does the Galois group of a Pisot polynomial contain the alternating group?

Let $n \in \mathbb{N}$, and let $p(X) \in \mathbb{Z}[X]$ be a monic polynomial of degree $n$. Suppose that exactly one complex root of $p$ is of modulus $> 1$, and that the remaining $n-1$ roots of ...
2
votes
2answers
195 views

Decomposition and valuation rings

I am reading Algebraic Number Theory by A. Fröhlich, M. J. Taylor, it first introduced the theorem: $(K,u)$ be a field and its absolute value, $(K_u,\bar u)$ be its completion and absolute value ...
4
votes
0answers
86 views

Can a product of conjugates be a Pisot number again?

Let $p(X) \in \mathbb{Z}[X]$ be an irreducible polynomial, and let $\alpha_1 \dots, \alpha_n$ be its roots in $\mathbb{C}$. Suppose that $\alpha_1$ is a Pisot number (that is, $\alpha_1 \in ...
2
votes
1answer
174 views

On Pell's equation

A post was made (Reduction from factoring to solving Pell equation) seeking clarification to solving $$x^2-Dy^2=1$$ to factoring when $D>0$. An answer was posted stating that to factor $N$, it ...
2
votes
1answer
101 views

Unique extension of the absolute value

Let $(K,u)$ be a complete valued field, $u$ be its discrete absolute value (corresponds to a discrete valuation on $K$), then: ($\ast)$ Let $E/K$ is a finite separable field extension, then the ...
5
votes
2answers
321 views

Finding the inertia group

Set $h(x) = x^5+x^4+x^3+x^2+x-1$, let $L$ be the splitting field of $h$ over $\mathbb{Q}$, and let $p$ be a prime of $L$ lying over $2$. What is the isomorphism class of the inertia group $I_p$, ...
-2
votes
0answers
120 views

Bounded pythagorean triples [migrated]

Given $m,n\in\Bbb N$ with $m<n$, how many pythagorean triples $p^2+r^2=q^2$ satisfy $$m\leq p<r\leq n?$$
4
votes
0answers
139 views

Expressing every algebraic number using roots of trinomials?

This question is a continuation of Is every polynomial a factor of a trinomial? We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m ...
5
votes
1answer
377 views

Is every polynomial a factor of a trinomial?

We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m + C$ for some $n \geq m \in \mathbb{N}$. Is it true that for each ...
1
vote
0answers
98 views

In how many ways can one extend the zero section of the affine line with a double origin

Let $X$ be the affine line with a double origin over Spec $\mathbb Z$. Let $X_\eta$ be its generic fibre, the affine line with a double origin over Spec $\mathbb Q$. Let $0$ be one of the origins of ...
7
votes
3answers
586 views

Ranks of elliptic curves depend only on the field?

Let $K/\mathbb{Q}$ be an algebraic extension, and let $E_1,E_2/\mathbb{Q}$ be elliptic curves. Is it possible that the Mordell-Weil rank of $E_1(K)$ is finite while that of $E_2(K)$ is infinite?
4
votes
1answer
149 views

Number of representations as sums of squares in rings of integers of number fields

Let $K$ be some number field, $\mathcal O_K$ denote its ring of integers, and let $n$ be a positive integer. Take $\alpha \in \mathcal O_K$, and consider the quantity $r_{n,K}(\alpha)$, which denotes ...
1
vote
0answers
148 views

An elliptic curve trivial over any extension unramified outside 7 and infinity?

Is there an elliptic curve $E/\mathbb{Q}$ such that $E(K)$ is trivial for every finite extension $K/\mathbb{Q}$ with discriminant a power of $7$ ?
9
votes
0answers
93 views

Meromorphic functions on $U^2 = T^3 + 1$, cokernel of $O_S \to F_\infty/O_\infty$ [closed]

See here. Crossposted from math.stackexchange since there's no good answer despite $>$ 20 upvotes. Let $k$ be a field of characteristic $\neq 2$, and consider the quadratic extension $F$ of ...
8
votes
1answer
573 views

Remark 4.23.4 in Hartshorne

Crosspost from math.stackexchange, since it's quite possible I might not get a response there. Remark 4.23.4 in Chapter IV of Hartshorne's Algebraic Geometry references a paper by Elkies that ...
7
votes
2answers
302 views

Field of definition of dominant morphisms

Let $k$ be an algebraically closed field and $k_0$ a sub-field. Let $X,Y$ be two projective varieties defined over $k_0$. Suppose that that there exists a dominant morphism $f$ between $X_k=X\otimes ...
9
votes
2answers
436 views

Intuition behind Kronecker's congruence?

The modular polynomial is defined by$$\Phi_n(X, \tau) = \prod_{\tau} (X - j(\tau)),$$where $j$ is the elliptic modular function and $\tau$ is running through classes of imaginary quadratic integers of ...
14
votes
1answer
302 views

Why there are only finitely many $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves with CM by $\mathcal{O}$?

For someone who does not have a very extensive knowledge of number theory, what is a good intuitive explanation as to why there are only finitely many $\overline{\mathbb{Q}}$ isomorphism classes of ...
1
vote
1answer
91 views

Freeness of the group of principal ideals of a number field

This is just a question wondering whether a concrete (enough) result that can be proved using the axiom of choice can be proved without it. The result being that the group of principal ideals $P_K$ of ...
0
votes
1answer
89 views

Computation of Hilbert symbol of order 4

We have explicit expressions for the quadratic Hilbert symbol over $\mathbb Q$, for example $\left(\dfrac{x,y}2\right)_2=(-1)^{\frac{x-1}2\frac{y-1}2} (x,y\ne2)$. Are similar expressions known for ...
13
votes
0answers
255 views

Result of Deuring, intuitive way to see it's true/quickest way to prove?

There is the following result of Deuring that goes as follows: Let $E/L$ be an elliptic curve defined over a number field $L$ with complex multiplication by an order $\mathcal{O}$ in an imaginary ...
-3
votes
1answer
96 views

How to check if argument of complex number is rational multiple of $\pi$ [closed]

Assume there is give a complex number $z\in \mathbb{C}$ of modul 1. Therefore it can written as $e^{i2\pi x}$. What are the known criteria for deciding if $x$ is a rational number???
5
votes
0answers
189 views

Genus of $k(T)$ is $0$ without using Riemann-Roch

Let $F$ be a function field with one variable with total constant field $k$, and let $X$ be the set of all places of $F$. How do I show that the genus of $k(T)$ is $0$ without using Riemann-Roch? Is ...
11
votes
2answers
434 views

Easiest way to see that $\zeta_{\mathbb{Z}[i]}(s) = \zeta(s) L(s, \chi)$?

As the question suggests, what is the easiest way to see that$$\zeta_{\mathbb{Z}[i]}(s) = \zeta(s)L(s, \chi)?$$Here, $\chi$ is the homomorphism $(\mathbb{Z}/4\mathbb{Z})^\times \to \mathbb{C}^\times$ ...
4
votes
1answer
87 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$, does $L_c(s, \chi)$ necessarily equal $1$?

Consider an analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, let $c ...
6
votes
0answers
96 views

$F[[T]] \times F[[1/T]]$ fundamental domain, show compactness

Let $p$ be a prime number. What is the easiest way to see that $(\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T)))/\mathbb{F}_p[T, 1/T]$ is compact? Here $\mathbb{F}_p[T, 1/T]$ is embedded in ...
1
vote
0answers
63 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 ...
3
votes
1answer
163 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
452 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
44 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
112 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 ...
2
votes
0answers
86 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
127 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
79 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 ...
14
votes
1answer
261 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 ...
3
votes
2answers
260 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
38 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
70 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
230 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 ...
16
votes
1answer
439 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 ...
0
votes
0answers
34 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
117 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) ...
0
votes
2answers
131 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
88 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 ...