All Questions
362
questions
3
votes
0
answers
159
views
On the sheaves-functions dictionary
Let $X$ be a variety over a finite field $k$. Let $\pi_{1}(X)$ be the arithmetic etale fundamental group of $X$, and $\rho:\pi_{1}(X)\to k^{\times}$ a continuous character. If $x: \text{Spec}(k)\to X$ ...
- 561
7
votes
1
answer
553
views
Are all representations of the geometric étale fundamental group subquotients of representations of the arithmetic étale fundamental group?
Let $X$ be a variety over a field $k$. The étale fundamental group of $X$ fits into the exact sequence:
$$1 \to \pi_1^{\text{geom}}(X) \to \pi_1^{\text{arith}}(X) \to \text{Gal}(\overline{k}/k) \to 1,$...
- 2,113
2
votes
1
answer
303
views
Bounding $H^4_{\text{ėt}}$ of a surface
Let $X\longrightarrow X'$ be a smooth proper map of smooth proper schemes defined over $\mathbb{Z}[1/S]$, where $S$ is a finite set of primes. Assume $X'$ is a curve of positive genus, and $X$ is a ...
- 2,113
7
votes
1
answer
333
views
Shouldn't we expect analytic (in the Berkovich sense) étale cohomology of a number field to be the cohomology of the Artin–Verdier site?
Let $K$ be a number field. Consider $X=\mathcal{M}(\mathcal O_K)$ the global Berkovich analytic space associated to $\mathcal O_K$ endowed with the norm $\|\cdot\|=\max\limits_{\sigma:K \...
- 794
3
votes
1
answer
315
views
Bloch–Beilinson conjecture for varieties over function fields of positive characteristic
Is there a version of the Bloch–Beilinson conjecture for smooth projective varieties over global fields of positive characteristic? The conjecture I’m referring to is the “recurring fantasy” on page 1 ...
- 371
2
votes
2
answers
241
views
Finding rational points on intersection of quadrics in affine 3-space
Consider the subvariety of Spec $\mathbb{Q}[x,y,z]$ cut out by the equations
\begin{eqnarray*} f_1: a_1x^2 - y^2 - b_1^2 & = & 0 \\
f_2 : a_2x^2 - z^2 - b_2^2 & = & 0
\end{eqnarray*}
...
- 7,313
3
votes
0
answers
225
views
A Brauer group of a double covering of a "well-understood" variety
Let $k$ be a field (it is possible to assume that $k = \mathbb{Q}$ or $= \overline{\mathbb{Q}}$) and $X, Y$ nice varieties over $k$.
Let $f \colon Y \to X$ be a finite flat surjective morphism of ...
- 1,352
0
votes
1
answer
336
views
Tate–Shafarevich group and $\sigma \phi(C)=-\phi \sigma(C)$ for all $C \in \operatorname{Sha}(E/L)$
$\DeclareMathOperator\Sha{Sha}\DeclareMathOperator\Gal{Gal}$Let $L/K$ be a quadratic extension of number field $K$.
Let $\sigma$ be a generator of $\Gal(L/K)$.
Let $E/K$ be an elliptic curve defined ...
- 1,467
4
votes
1
answer
467
views
Is there an elliptic curve analogue to the 4-term exact sequence defining the unit and class group of a number field?
Let $K$ be a number field. One has the following exact sequence relating the unit group and ideal class group $\text{cl}(K)$:
$$1\to \mathcal{O}_K^\times\to K^\times \to J_K\to \text{cl}(K)\to 1$$
...
- 221
3
votes
0
answers
261
views
Is the weight-monodromy conjecture known for unramified representations?
Let $X$ be a smooth proper variety over a number field $K$, $v$ a place of $K$ lying over a prime number $p \neq \ell$, and $V := H^n(X_{\overline{K}};\mathbb{Q}_{\ell})$. Suppose $V$ is unramified at ...
- 15.5k
2
votes
1
answer
286
views
An example of a geometrically simply connected variety with infinite Brauer group (modulo constants)
$\DeclareMathOperator\Br{Br}$Let $X$ be a smooth, geometrically integral, geometrically simply connected variety over a numberfield $k$. Is it possible to have $\Br(X)/{\Br(k)}$ being an infinite ...
- 137
2
votes
1
answer
226
views
Understanding an example of abelian-type Shimura varieties
I'd like some help understanding the idea of abelian-type Shimura varieties. In paricular, I understand an abelian-type Shimura datum $(G,X)$ generally parameterizes non-rational Hodge structures ...
- 1,994
1
vote
1
answer
202
views
Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring
Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
- 323
2
votes
0
answers
247
views
Is there any relation between Berkovich spaces over $\Bbb Z$ and Arakelov theory?
As I understand it, both Arakelov geometry and Berkovich geometry over $\Bbb Z$ (or $\mathcal O_K$) consider geometric objects that contain in some sense information about both archimdean and ...
- 794
17
votes
3
answers
2k
views
Are some congruence subgroups better than others?
When I first started studying modular forms, I was told that we can consider any congruence subgroup $\Gamma\subset\operatorname{SL}_2(\mathbb{Z})$ as a level, but very soon the book/lecturer begins ...
- 821