Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [adeles]

For questions on groups and rings of adeles, self-dual topological rings built on an algebraic number field.

The ring of adeles is a self-dual topological ring built on the field of rational numbers (or, more generally, any algebraic number field). The ring of adeles allows one to elegantly describe the Artin reciprocity law, which is a vast generalization of quadratic reciprocity, and other reciprocity laws over finite fields. In addition, it is a classical theorem from Weil that $G$-bundles on an algebraic curve over a finite field can be described in terms of adeles for a reductive group $G$.

Further reference: Adele ring

111 questions
8
votes
1 answer

Relationship between scalar and vector valued automorphic forms

Let $F$ be a number field with signature $(r_1,r_2)$. There are two definitions of automorphic forms on $GL_{2,F}$ that I am aware of. Let $K=O_2(\mathbb R)^{r_1}\times U_2(\mathbb C)^{r_2}$ be a maximal compact subgroup of $GL_2(F)$. Roughly…
user14411
  • 621
8
votes
1 answer

Krull dimension of the adele ring

Let $k$ be a number field and $\mathbf{A}_k$ the adele ring of $k$. What can be said about the Krull dimension of $\mathbf{A}_k$? More generally, I do not know if something can be said about the Krull dimension of an infinite product of rings: is it…
Gaussian
  • 402
8
votes
1 answer

Property of smooth functions on the adeles

Let $k$ be a number field, $\mathbb A$ the ring of adeles of $k$, $\mathbb A_f$ the finite adeles, and $\mathbb A_{\infty}$ the infinite adeles. Let $\phi: \mathbb A = \mathbb A_{\infty} \times \mathbb A_f \rightarrow \mathbb C$ be a continuous…
D_S
  • 35,843
8
votes
2 answers

Learning algebraic groups through examples

I am seeking for a good first reference on algebraic groups, or even linear algebraic groups, where the general theory could be understood through example for the classical groups. Understanding the theoretical definitions of tori, unipotent…
Desiderius Severus
  • 1,538
7
votes
1 answer

Volume of first cohomology of arithmetic complex

Let $K$ be a number field and consider the Arithmentic complex $\Gamma_{Ar}(1)^\bullet$ be defined by $$\begin{array} A\Bbb R^{r_1+r_2} & \stackrel{\Sigma}{\longrightarrow} & \Bbb R \\ \uparrow{l(\cdot)=\Pi\log |\sigma_i(\cdot)|} & &…
Rodrigo
  • 7,996
7
votes
0 answers

Evaluating an adelic integral

I am reading Arthur's notes on the trace formula, and I would like to understand why sometimes the integral appearing there diverge. The example he gives is the following: $G=GL(2)$, $P_0$ the standard parabolic of upper triangular matrices, and…
Wirdspan
  • 567
  • 3
  • 10
6
votes
1 answer

$\Bbb{R}/n\Bbb{Z}$ is isomorphic to $A_\Bbb{Q}/(\Bbb{Q}+C_n)$.

Let $A_\Bbb{Q}$ be the adele group of $\Bbb{Q}$. Let $C_n=\{x \in A_\Bbb{Q}: x_\infty=0 \text{ and }x_p \in p^{\operatorname{ord}_p(n)}\Bbb{Z}_p \text{ for prime }p\}$. I want to show that $\Bbb{R}/n\Bbb{Z}$ is isomorphic to…
MathStudent
  • 1,856
6
votes
2 answers

Effects of the fact that the idèles have a finer topology than the adèles

The adelic ring (of, say, $\mathbb{Q})$ has a topology given by a basis of open sets of the form $$U_S \times \prod_{p \notin S} \mathbb{Z}_p$$ where $U_S$ is a finite product of open sets $U_v$ of $\mathbb{Q}_v$. The group of idèles has a topology…
Wolker
  • 1,159
6
votes
1 answer

A convergence lemma for adelic zeta function in automorphic forms

I'm reading Godement-Jacquet's classic Zeta functions of simple algebras (1972, Springer). On page 153, the first line: " We also $\textbf{take for granted}$ the following lemma (numbered 11.3)..." The lemma: for $\Phi\in \mathcal{S}(\mathbb{A}_F)$…
youknowwho
  • 1,553
6
votes
0 answers

Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?

Let $\Bbb Q/q\Bbb Z$, for some positive rational $q$, denote the quotient group of the discrete rationals by the subgroup of integers times $q$. For any $q_1, q_2 \in \Bbb Q^+$ and $n \in \Bbb N^+$ such that $q_2 = n \cdot q_1$, we can form a…
Mike Battaglia
  • 8,582
5
votes
0 answers

Topology on an Ext group

One can show that the group $\text{Ext}^1(\mathbf Q, \mathbf Z)$ (calculated in $Ab$) identifies naturally with $\mathbf A_f/\mathbf Q$, where $\mathbf A_f$ is the additive group of finite adèles. More precisely, the long exact sequence of $\mathbf…
Bruno Joyal
  • 55,975
5
votes
2 answers

What is the Real Prime?

There seems to be an importance to the ring of adeles for the rational numbers (discussed here), with valuations for every $\mathbb{Q}_p$, but also one "infinite" valuation "$\mathbb{Q}_∞$", seemingly equal to $\mathbb{R}$. Why would something like…
IS4
  • 986
5
votes
1 answer

Why is the oldform map injective?

Consider the space of cusp forms $S_k(\Gamma_0(N))$; it has two different maps to $S_k(\Gamma_0(Np))$ where $(p, N) = 1$. We can combine them into a map $$S_k(\Gamma_0(N)) \oplus S_k (\Gamma_0(N)) \to S_k(\Gamma_0(Np))$$ given explicitly by $$(f_1,…
user585094
  • 307
5
votes
1 answer

Prüfer Groups and Product Topologies

For each $p\in\mathbb{P}$, the Prüfer group $\mathbb{Z}(p^{\infty})$ is a divisible abelian group which can be given the discrete topology or the topology it inherits via its identification as a subgroup of…
Wayne
  • 621
4
votes
1 answer

Proofs with strong approximation theorem

I am stuck on some proofs concerning strong approximation in Chapter 3.1 of Hida's book on modular forms. I have put in green the things that I do not understand. The set $gL\subset \mathbb{A}^\infty$ is a (free) module over $\widehat{\mathbb{Z}}$.…
Dr. Heinz Doofenshmirtz
  • 2,520
1
2 3 4 5 6 7 8