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

Filter by
Sorted by
Tagged with
2 votes
0 answers
58 views

Estimating the cardinality of the set of conjugacy classes of subgroups in a finite group of given order

1. Let $G$ be a finite group of order $n$. I need an estimate for the number $c$ of conjugacy classes of subgroups $D\subseteq G$. Note that any subgroup of $G$ contains $1_G$, and so the set of all ...
Mikhail Borovoi's user avatar
2 votes
0 answers
96 views

Gaussian primes in translations of lattices in $\mathbb{Z}[i]$

I am considering undertaking some independent research in my summer break studying Gaussian primes in translations of lattices in $\mathbb{Z}[i]$, i.e. sets of the form $ \{ a+sx+tw:s,t \in \mathbb{Z} ...
Daniel Lang's user avatar
1 vote
1 answer
152 views

Existence of odd mod $p$ Galois representations whose image is $p'$-group

Let $K$ be a number field and let $G_K$ be the absolute Galois group of $K$. Let $p$ be an odd prime and $\mathbb{F}_p$ be a finite field of order $p$. Can we always find a continuous representation $\...
Nobody's user avatar
  • 795
2 votes
0 answers
76 views

Is the extension field by zeros of $x^{2m}-p^{2(m-1)}=0$ over $\mathbb Q_p$ totally ramified?

Let $m \geq 2$ be an integer. Consider the polynomial $f(x)=x^{2m}-p^{2(m-1)} \in \mathbb{Q}_p[x]$. I want to study the field extension by the zeros of $f(x)$ over $\mathbb{Q}_p$. What is the degree ...
MAS's user avatar
  • 872
3 votes
0 answers
177 views

Do all polynomials (other than generalized cyclotomic polynomials) have the spaced polynomial property?

Anna Erschler just asked me a question that is posed as Question 1.2 in her recent preprint with J. Frisch and M. Rychnovsky. I am asking it here with her permission - since I find it interesting (...
H A Helfgott's user avatar
  • 19.3k
1 vote
0 answers
51 views

A question on generalized bases

I just came to know that it is possible to define a generalized base as an infinite sequence of natural numbers $\mathbf b=(b_1,b_2,\dots)$ where $b_i\ge 2$ for all $i$. With this definition, any $m\...
Dumbest person on earth's user avatar
1 vote
0 answers
113 views

A question related to Kirillov model

I am reading Jackson - The theory of admissible representations of $\operatorname{GL}(2, F)$ and am not able to understand the following map related to Kirillov model. This result appears on p. 54: I ...
user15243's user avatar
  • 474
6 votes
1 answer
201 views

What is the difference between Hida and Coleman families?

From my understanding: Hida families and Coleman families of modular forms are roughly given by $p$-adic modular forms whose $q$-expansion at classical weights is "close" to a $q$-expansion ...
BanAna's user avatar
  • 61
8 votes
1 answer
186 views

Is there something I am missing about the computation of the $p$-part of the class groups of cyclotomic fields?

Well, the answer of the question in the title in certainly Yes, many things in fact, but let me be more precise. In 1958, Serre gave a Bourbaki talk on the recent works of Iwasawa on class groups in ...
Olivier's user avatar
  • 10.2k
2 votes
1 answer
75 views

Reference Request: Possible generalizations of the stability of $\gamma$-factors

$\DeclareMathOperator\GL{GL}$ Let $F$ be a nonarchimedean local field. Suppose $\pi, \sigma$ are irreducible admissible representations of $\GL_{n}(F)$ and $\GL_{m}(F)$ respectively, with $n \geq m$. ...
Hetong Xu's user avatar
  • 579
6 votes
1 answer
215 views

Question about Größencharaktere in imaginary quadratic number fields

Presumably, one could ask this question for a Größencharakter in an arbitrary number field, but I'll restrict my attention to the case I'm interested in. Let $K$ be an imaginary quadratic field with ...
Joshua Stucky's user avatar
3 votes
1 answer
184 views

Discrepancy between $\dim H^2(G, \mathrm{ad}(\bar \rho))$ and the number of relations in a minimal presentation of the universal deformation ring $R$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\ad{ad}\DeclareMathOperator\gen{gen}$Let $p$ be a prime and $G$ be a profinite group such that the pro-$p$ completion of every open subgroup is ...
Nobody's user avatar
  • 795
2 votes
0 answers
47 views

Constructing a cyclic extension $L$ with given local behavior of a global field $K$ such that $L$ is normal over a subfield $F$ of $K$

Let $F$ be a global field without real places (that is, a function field or a totally imaginary number field). Let $K/F$ be a cyclic extension of degree $n$. Let $S$ be a ${\rm Gal}(K/F)$-invariant ...
Mikhail Borovoi's user avatar
1 vote
0 answers
63 views

Fitting a product into the quintuple or Jacobi triple product

The Rogers-Ramanujan functions fit nicely into the QPI or JTP. In fact we have that $$(q^{5};q^{5})_{\infty}(q,q^{4};q^{5})_{\infty}=\sum_{n=-\infty}^{\infty}(-1)^{n}q^{\frac{(5n^{2}-3n)}{2}}$$ and we ...
Jay's user avatar
  • 11
0 votes
1 answer
87 views

Criterion for Ramification of ray class field $K(\mathfrak{p})$ in $\mathfrak{p}$

The context: We consider ideal theoretic formulation of global class field theory of a number field $K$ and in following all used terminology I'm going to use is adapted from these notes: https://math....
user267839's user avatar
  • 5,938
6 votes
1 answer
417 views

Trying to understand the topology of the Weil group for the local Langlands conjecture

I am trying to study the representation of the Weil group from the book "The Local Langlands Conjecture for $GL(2)$". I have some problem with the topology of this group. Let $F$ be a non ...
Mario's user avatar
  • 163
1 vote
0 answers
48 views

Normality in a tower of cyclic extensions of global fields, as in Artin-Tate

Let $L_0$ be a global field without real places, that is, a global function field or a totally imaginary number field, and let $V_f(L_0)$ denote the set of finite (that is, non-archimedean) places of $...
Mikhail Borovoi's user avatar
1 vote
1 answer
109 views

Defect between modulus and conductor of ray class field

I have following question about a remark in J. Neukirch's Algebraic Number Theory around page 397. The context: We consider ideal theoretic formulation of global class field theory of a number field $...
user267839's user avatar
  • 5,938
4 votes
1 answer
139 views

Class numbers in the unramified biquadratic extensions of number fields

Let $K/k$ be an unramified biquadratic extension of number fields (i.e., $\operatorname{Gal}(K/k)\simeq V_4$), and $k_1$, $k_2$ and $k_3$ its three intermediate fields. I know, in general, we can ...
ayoub-chess's user avatar
2 votes
0 answers
115 views

Imaginary quadratic fields with prime class number

Let $K$ be an imaginary quadratic field, with class number equal to an odd prime, say $h_K = p$. In the proof Proposition 2.4 of this paper, Fukuda and Komatsu write, "Since $h_K = p$, there ...
matt stokes's user avatar
3 votes
0 answers
181 views

What should be unipotent de Rham homotopy group?

What exactly should unipotent $\pi_1^\text{dR}$ be conceptually? What formal properties should it satisfy? This seems to be answered by Chen's theorem, which is stated in Corollary 3.269 of Multiple ...
W. Zhan's user avatar
  • 343
2 votes
0 answers
50 views

Degeneracy maps of Drinfeld modular curves

Over number fields, we have two natural degeneracy maps $$X_0(N)\leftarrow X_0(pN) \rightarrow X_0(N)$$ between the (compactified) moduli space of elliptic curves with level $pN$ and $N$ respectively (...
curious math guy's user avatar
4 votes
0 answers
84 views

Anisotropic semisimple groups with no real compact factor

Let $F$ be a number field, and let $G$ be a semi-simple connected, anisotropic algebraic group over $F$ which is $F$-simple (or almost simple, the question is agnostic to isogenies). Suppose further ...
jacob's user avatar
  • 2,814
3 votes
2 answers
249 views

Equidistribution on $\mathrm{SU}_2$

Let $F_{a_1,a_2}$ be the free group with a free generating set $\{a_1,a_2\}$ of two elements, and for any $n\in\mathbb{N}$, set $A_n=\{\text{reduced words in } F_{a_1,a_2} \text{with length} \leqslant ...
Local's user avatar
  • 86
3 votes
1 answer
179 views

Generators of the ideal class group

Theorem 4 of Eric Bach's "Explicit bounds for primality testing and related problems" states the following: Let $K$ be a number field of degree greater than 1. Let $d$ be the absolute value ...
Rashad Ek's user avatar
6 votes
1 answer
374 views
+50

Symmetric power lift of modular forms

Let $f_1$ and $f_2$ be two cuspforms of weights $k_1$ and $k_2$ and nebentypus $\epsilon_1$ and $\epsilon_2$ respectively such that $f_1 \neq f_2 \otimes \chi$ for some Dirichlet character $\chi$ of ...
user15243's user avatar
  • 474
1 vote
1 answer
194 views

How to compute the asymptotic constant for the count of $S_3$-sextic number fields?

I am currently reading this paper counting $S_3$-sextic fields Manjul Bhargava and Melanie Matchett Wood, The density of discriminants of $S_3$-sextic number fields, Proc. Amer. Math. Soc. 136 (2008),...
gradstudent1995's user avatar
3 votes
1 answer
149 views

Ramification criteria for Kummer extensions

Let $K$ be a number field containing $n$-th roots of unity. The usual Kummer theory provides a correspondence between between abelian subgroups $A \subset K^*/(K^*)^n$ and abelian extensions of K of ...
user267839's user avatar
  • 5,938
4 votes
1 answer
274 views

Conductor and local Kronecker–Weber theorem

Given an abelian extension $K$ of $\mathbb{Q}$, the global Kronecker–Weber theorem tells us that there exist a positive integer $N$ and a primitive $N$-th root of unity $\zeta_N$ such that $K\subseteq ...
Yijun Yuan's user avatar
0 votes
0 answers
181 views

Distinguishing between prime factors of cubic discriminant and polynomial discriminant

Let $f(x)\in\mathbb{Q}[x]$ be an irrreducible cubic with root $\alpha$. Let $K=\mathbb{Q}(\alpha)$. There may be primes dividing $\text{disc}(f)$ that don't divide $\operatorname{disc}(K)$, so an ...
Nicolas Banks's user avatar
1 vote
0 answers
64 views

The number of types of maximal orders in a definite quaternion algebra containing a certain order

I'm referring On the imbeddings of imaginary quadratic orders in definite quaternion orders by Brzezinski and Eichler here. Let $B$ be a definite quaternion algebra over $\mathbb{Q}$. Given an order $\...
Andy's user avatar
  • 113
2 votes
2 answers
263 views

Cohomology of $S$-arithmetic groups with trivial coefficients such as $H^n(\rm{PGL}_2(\mathbb{Z}[1/N]);\mathbb{Z})$

As $\rm{PSL}(2,\mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})*(\mathbb{Z}/3\mathbb{Z})$, its cohomology groups $H^n(\rm{PSL}(2,\mathbb{Z});\mathbb{Z})$ are easy to get. Let $N$ be a product of distinct primes. ...
Jun Yang's user avatar
  • 381
1 vote
0 answers
93 views

Jacquet module for characteristic p

Let $F$ be a finite extension of $\mathbb{Q}_p$ and let $G=\operatorname{GL}_2(F)$ (or $\operatorname{GL}_n$ or any reductive group). I consider smooth representations of $G$ in characteristic $p$. ...
re'em waxman's user avatar
1 vote
1 answer
248 views

Is the completed tensor product (over a complete dvr) of two reduced complete Noetherian local rings again reduced?

To be more specific, Let $\mathcal{O}$ be a finite extension of $\mathbb{Z}_{p}$. Let $A=\mathcal{O}[[X_{1},\ldots, X_{n}]]/\left( f_{1},\ldots,f_{r}\right) $ and $B=\mathcal{O}[[Y_{1},\ldots, Y_{m}]]/...
user521295's user avatar
2 votes
0 answers
140 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(...
John Z.'s user avatar
  • 53
3 votes
0 answers
95 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 ...
Hetong Xu's user avatar
  • 579
5 votes
0 answers
96 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 ...
Breakfastisready's user avatar
0 votes
1 answer
115 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 $...
ReverseFlowControl's user avatar
0 votes
0 answers
58 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 ...
ReverseFlowControl's user avatar
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 ...
Jun Yang's user avatar
  • 381
1 vote
0 answers
77 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 ...
gimothytowers's user avatar
2 votes
0 answers
67 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}^...
Windi's user avatar
  • 833
5 votes
0 answers
199 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 ...
Steve Stahl's user avatar
2 votes
1 answer
224 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 ...
Misaka 16559's user avatar
6 votes
0 answers
495 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 ...
Leonardo Lanciano's user avatar
1 vote
0 answers
142 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 $...
Xavier Roulleau's user avatar
4 votes
0 answers
120 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 ...
Sebastian Monnet's user avatar
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 ...
user2554's user avatar
  • 1,869
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 ...
A. Maarefparvar's user avatar
5 votes
2 answers
437 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 ...
sofia's user avatar
  • 51

1
2 3 4 5
44