Questions tagged [algebraic-number-theory]
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 cohomology, Motives, Class field theory, Iwasawa theory, Modular curves, Shimura varieties, Jacobian varieties, Moduli spaces
2,171
questions
2
votes
0
answers
141
views
Chebotarev density theorem with certain "bounds"
Let $f(x)\in \mathbb{Z}[x]$ be a nonconstant polynomial with no rational roots (in particular, $\deg(f)\geq 2$).
By the Chebotarev density theorem, there exist infinitely many primes $p,$ such that $f(...
3
votes
0
answers
100
views
Reference Request: Local decomposition of GGP period integrals of cuspidal forms on unitary groups
Setup: Let $E/F$ be a CM-extension of global number fields. Let $(V,\phi)$ be an Hermitian space of dimension $n$ over $E$. Let $(V^{\flat}, \phi^{\flat})$ be a subspace of $V$ of dimension $n-1$ on ...
5
votes
0
answers
98
views
Equidistribution of Hecke points and Steinitz classes
Let $K$ be a number field and $\mathcal{P}$ be a prime ideal of $K$. Let $k_{\mathcal{P}}$ be the residue field $\mathcal{O}_K/\mathcal{P}$.
Consider the following construction used very often in ...
0
votes
1
answer
116
views
Integer quadratic representation subject to discriminant minimization algorithm
Let $f(x)=ax^2+bx+c$ and $f(x)=n$. Is there an algorithm to choose $a,b,c$ such that the discriminant is minimized? Where $a,b,c,n,x$ are all integers.
More concretely, is there an algorithm to find $...
0
votes
0
answers
59
views
What is the lattice point distribution over binary quadratic forms?
Let $f(x,y)=x^2+ny^2$ be the binary quadratic form of interest and consider the lattice points $S=\{ (x,y,f(x,y)) \in \mathbb{N}^3 \}$.
For simplicity, we keep things only on quadrant I of the ...
1
vote
0
answers
65
views
Cardinality or covolume of $S$-units in quaternion algebras
Let $D=\left(\frac{a,b}{\mathbb{Q}}\right)$ be a quaternion algebra over $\mathbb{Q}$.
Suppose $D$ is ramified at a finite set $S$ of places and $\infty\in S$.
It is known that the $S$-units (the unit ...
1
vote
0
answers
78
views
Hasse invariant of subalgebra of division algebra over local field
This question didn't receive an answer on MathSE.
Let $K$ be a $p$-adic field, or more generally a local field. Let $D$ be a $d^2$-dimensional division algebra over $K$. Then $D$ is necessarily of the ...
2
votes
0
answers
70
views
$n$-th root of character on local field
Let $F$ be a non-Archidean local field of characteristic 0, and $\zeta_n$ the set of $n$-th roots of unity in the algebraic closure of $F$. Assume $\zeta_n\subseteq F$. Let $\chi:F^\times\to\mathbb{C}^...
5
votes
0
answers
209
views
Abelian extensions of Q and cyclotomic fields
I have changed some notation based on the comments of Chris Wuthrich and Wojowu.
For an abelian extension $F$ of $\mathbb{Q}$, let $c(F)$ be its conductor. That is, $c(F)$ is the smallest positive ...
2
votes
1
answer
235
views
'$\times$' or '$\otimes$' when writing $L$-functions?
Recently, I came across the Langlands correspondence theorem, there is the following line:
$$L(s,\pi(\sigma) \times \pi(\tau)) = L(s,\sigma \otimes \tau), $$
where $\sigma$ and $\tau$ are ...
6
votes
0
answers
500
views
Genus of a number field
I'm reading Algebraic Number Theory by Neukirch. In chapter 3, he defines the genus of a number field as
$$ g = \log \frac{ |\mu (K)| \sqrt{|d_K|}}{2^{r} (2\pi)^{s}} $$ where $|\mu(K)|$ is its ...
1
vote
0
answers
143
views
What is the interpretation of the reduction modulo $p$ of the modular curve $X(N)$ for $p$ dividing $N$?
Let $N>3$ be an integer.
The modular curve $X(N)$ is the compactification of the scheme parametrising triples $(E,t,t)$ where $E$ is an elliptic curve defined over a field of characteristic 0, and $...
4
votes
0
answers
129
views
Reference request: Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields
Disclaimer - cross-posting: I already posted this question on MSE, here. In line with the accepted answer of this meta question, I am also asking it here, since it is a research-level question and it ...
5
votes
0
answers
399
views
Meaning of a result of Gauss on "Mensura" of cyclotomic numbers
(This question was asked before on mathstackexchange. I received a few useful comments there, which helped me answer it for a special case, but I did not succeed in proving the general case.)
In an ...
0
votes
0
answers
50
views
The decomposition forms of primes in $A_5$-fields
Let $K$ be a number field of degree $5$ whose Galois closure (over $\mathbb{Q}$) has the Galois group $A_5$, the alternating group of degree five. Is there any result concerning the decomposition ...
5
votes
2
answers
446
views
When adding several $\sqrt[n]{p}$ to the rational numbers, what is the degree of field extension?
When adding several $\sqrt[n]{p}$ to the rational numbers, what is the degree of field extension?
For example, does $[\mathbb{Q}(\sqrt[n]{2},\sqrt[m]{3}):\mathbb{Q}]=mn$ hold true? Are there more ...
1
vote
1
answer
178
views
Unramified composition for every extension
Let $K$ be a number field and $S$ be a finite set of primes. Is it possible to construct a finite extension $M$ of $K$ such that $LM/M$ is unramified at (the primes above) $S$ for all degree $n$ ...
2
votes
2
answers
625
views
Proof of remark in algebraic number theory
$\def\aroof{\overline{\hspace{-1pt}\smash[t]{|}\hspace{1pt}\alpha\hspace{1pt}\smash[t]{|}\hspace{-1pt}}}$In Hua Loo Keng's "Introduction to Number Theory" page 489, there is the following ...
0
votes
0
answers
43
views
Asymptotic counts for imaginary quadratic discriminants with fixed splitting conditions
Let $p$ be prime and $r$ be a positive integer. I am interested in asymptotics for the number of imaginary quadratic discriminants $d$ such that
$p$ does not divide the conductor of $d$,
$p$ splits ...
1
vote
1
answer
138
views
Quadratic unramified extension of a p-adic field
Let $F$ be a non-archimedean local field of residual characteristic $p\neq 2$, and let $E=F[\sqrt{\epsilon}]$ be the quadractic unramified extension, here $\epsilon$ is a non-square element of $\...
0
votes
0
answers
70
views
Embeddings of unitary groups over $\mathbb{Q}$
$\DeclareMathOperator\GU{GU}$$\DeclareMathOperator\GL{GL}$I'm a bit confused by the following situation:
suppose we have an Hermitian vector space $V=K^3$ of matrix $$
J=\begin{pmatrix}& & \...
1
vote
1
answer
319
views
A Mordell equation $y^3=x^2+20$ [closed]
Recently I met a problem when I'm studying algebraic number theory.
Problem. Find all positive integer solutions of $y^3=x^2+20$.
I solved the situation when $x$ is an odd because the two ideals $(x+...
0
votes
1
answer
354
views
How did Ramanujan come up with the Ramanujan summation and is it possible to extend it to higher number sets
How did Ramanujan come up with the Ramanujan summation and is it possible to extend it to higher sets (Everything circled in red is what I'm interested in (+ the Cauchy integral to make it Dedekind ...
4
votes
0
answers
124
views
A normal extension of a number field of given degree that does not split over a given set of finite places
Let $K$ be a number field and $S$ be a finite set of non-archimedean places of $K$. Let $n>1$ be a natural number.
Question. Does there exist a normal extension $L/K$ of degree $n$ such that $L\...
4
votes
1
answer
408
views
Automorphic representation of GL(1)
These might be very silly questions, but somehow I am not able to understand it or I might have misunderstood something.
I am reading automorphic forms from this book.
What I have understood till now:
...
7
votes
0
answers
147
views
Non-abelian ray class fields for local fields
Let $K$ be a non-Archimedean local field. Then, thanks to work of Koch (when $K$ has positive characteristic) and Jannsen-Wingberg (when $K$ has characteristic zero, and odd residual characteristic) ...
4
votes
0
answers
141
views
A computation of nearby cycles
I'm currently reading P.Scholze's paper "THE LANGLANDS-KOTTWITZ APPROACH FOR THE MODULAR
CURVE". In Lemma 7.7, he showed a (maybe simple) nearby cycle computation, which I can't follow.
Now ...
5
votes
1
answer
336
views
Diophantine equation $\cos(2\pi x)\cos(2\pi y) = \cos(2\pi z)$
While working on finite order elements of $\operatorname{SO}_n$, I meet this question:
Find all identities of the form $\cos(2\pi x)\cos(2\pi y) = \cos(2\pi z)$ with $x, y, z$ rational numbers.
As ...
0
votes
0
answers
220
views
Reference book on the relation between modular forms and elliptic curves
What is a modern reference book to understand the relation between modular forms and elliptic curves after the proof of the Taniyama–Shimura theorem?
5
votes
1
answer
225
views
p-adic L functions from Selmer groups - how canonical are they?
For this question, I am going to be very concrete but very much appreciate broader viewpoints. Let $F$ be a number field and define $F_n = F(\mu_{p^n})$ and let us suppose for simplicity that $\mu_p \...
2
votes
2
answers
401
views
Expositions of the classical approach to local class field theory (Brauer group and Hasse invariant)
I've posted this question already on MSE and didn't get much out of it, so I hope it's OK to repost here.
I'm an undergraduate trying to learn local class field theory from the corresponding chapter ...
2
votes
1
answer
346
views
Families of Galois representations over disks
Edit on Nov. 20, 2023. This question is answered below in the case that $0<r_i<1$. And indeed it is shown in the answers to not be an interesting question in that case. So please take all $r_i=1$...
3
votes
0
answers
87
views
Commutant of irrep of $S_n$ (over local field)
Let $k$ be a field of characteristic zero and let $(V, \rho)$ be a finite-dimensional representation over $k$ of the symmetric group $S_n$. I would like to understand the commutant $\operatorname{End}...
2
votes
0
answers
101
views
For a quadratic extension $E/K$, condition on a character $\chi:E^\times/E^{\times 2} \to C_2$ to give a $C_4$-extension $L/K$
Let $K$ be a finite extension of $\mathbb{Q}_2$, and let $E/K$ be a quadratic extension. By local class field theory, quadratic extensions $L/E$ correspond to quadratic characters $\chi:E^\times \to ...
5
votes
1
answer
303
views
Conductor of determinant of a 2-dimensional Galois representation divides conductor of representation
I am studying Serre's paper "Sur les représentations modulaires de degré 2 de $\mathrm{Gal(\overline{\mathbb Q}/\mathbb Q)}$" and I'm stuck trying to prove that $N(\det\rho)$ divides $N(\rho)...
2
votes
0
answers
96
views
Selmer groups associated with Drinfeld modules
Given an elliptic curve $E_{/\mathbb{Q}}$ (or more generally, a number field) and a prime $p$, there is a standard short exact sequence
$$0\rightarrow E(\mathbb{Q})\otimes \mathbb{Q}_p/\mathbb{Z}_p\...
2
votes
0
answers
166
views
Maximal p-extension and pro-p extension
I’m studying Iwasawa theory and I meet some questions Thanks a lot for your help.
Q_1: About terminology $p$-extension.
I find many reference use maximal $p$-extension or maximal abelian p-extension ...
6
votes
0
answers
108
views
Is the minus class group isomorphic to the relative class group?
I think this is something I should have known, but if I ever did I forgot about it. Consider the field $L$ of $p$-th roots of unity ($p$ prime) and its maximal real subfield $L^+$. The transfer of ...
2
votes
2
answers
339
views
Upper bound on number of integral solutions of elliptic curves
I was studying M. Bhargava Et al's seminal paper titled "Bounds on 2-torsion in class groups of number fields and integral points on elliptic curves"
And came across a very fascinating ...
1
vote
1
answer
222
views
Conceptual explanation for extra/missing $p$ solutions to $x^2+y^2=a \pmod p$ at $a=0$
Throughout, $p$ will denote a prime integer, and $k$ an arbitrary integer.
I have worked through V. Lebesgue's proof of quadratic reciprocity outlined by Keith Conrad in this MO thread, and I feel ...
7
votes
1
answer
188
views
Representations of the symmetric group with image in a given subgroup of $\operatorname{GL}_m$
Let $S_n$ be the symmetric group on $n$ elements. The irreducible representations of $S_n$ are parametrised by partitions $\lambda$ of $n$ and are defined already over the integers $\mathbb Z$.
Let $\...
3
votes
0
answers
207
views
Global class field theory and closure of unit groups
I'm looking for a reference for the following facts from global class field theory that I found without proofs. I will state them as questions, just in case I get the statement wrong. We fix $K$ a ...
2
votes
2
answers
258
views
Expressions for binomial residue sum $\sum_{k=0}^n {n \choose k} x^k \left( \frac{k}{q} \right)$
I'm interested in the sum:
$$\sum_{k=0}^n {n \choose k} x^k \left( \frac{k}{q} \right)$$
where $q$ is a prime number. This is just the binomial expansion with an extra weight on quadratic residues ...
8
votes
1
answer
583
views
$\mathbb{Q}$-forms of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_8(\mathbb{R})$
Let $\mathbf{G}$ be the image of the natural embedding of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_4(\mathbb{C})\subset \operatorname{SL}_8(\mathbb{R})$. Then $\mathbf{G}$ is an ...
1
vote
0
answers
171
views
Clarifications about the Iwasawa Main Conjecture
I would like to clarify a couple of things regarding the Iwasawa main conjecture.
In the paper where Mazur and Wiles prove the main conjecture, on page 182, it is written that $h_p(\omega^i, T)$ is ...
4
votes
1
answer
240
views
Irreducible integral polynomials having roots module primes in arithmetic progressions
Let $f(x)$ be an irreducible polynomial with integer coefficients. One can show (see Exercise 7.2 in this paper of Lenstra) that if $f(x)=0$ has a solution mod $p$ for all but finitely many primes $p$...
4
votes
0
answers
253
views
Special case of Eichler–Shimura
I'm reading ‘Rational Points on Elliptic Curves’ by Silverman and Tate, and the exercise 4.6 is about the following special case of the Eichler–Shimura theorem. Let $C$ be the elliptic curve given by ...
1
vote
0
answers
109
views
Degrees of trigonometric numbers
For a rational number $r\in(0,1)$ the number $z=\sin(r\pi)$ is an algebraic number — such numbers appear to be called trigonometric numbers.
What is its degree?
That is, what is the minimal degree of ...
7
votes
1
answer
924
views
Can a field have an irreducible polynomial of any degree?
We all know that all the irreducible polynomials in $\mathbb{C}[x]$ are linear and in $\mathbb{R}[x]$ they aren't more than 2 degree. However,in $\mathbb{Q}[x]$ we can have an irreducible polynomial ...
3
votes
1
answer
193
views
Number fields with prescriped prime decomposition
Pick your favorite prime $p$, as well as three positive integers $e,f,g$.
For each such choice, does there exist at least one Galois number field $K/\mathbf{Q}$ of degree $n=efg$ in which $p$ has ...