All Questions
Tagged with ag.algebraic-geometry arithmetic-geometry
1,279
questions
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 ...
2
votes
0
answers
163
views
A direct proof that every projectivity between parallel lines is affine
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
1
vote
0
answers
159
views
Motivic complex on arithmetic schemes
If we believe the finite generation of motivic cohomology for regular arithmetic schemes like $X$ then we can see that (using Quillen-Lichtenbaum)for infinitely many primes $l$ we have an isomorphism ...
3
votes
0
answers
201
views
Tate isogeny theorem over varieties?
Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
3
votes
0
answers
115
views
How does the number of connected components of the Néron model change in a family of abelian varieties?
Given an elliptic curve $E/\mathbb{Q}_p$, it is known that the component group of the Néron model of $E$ is cyclic of order $-v(j(E))$ when $E$ has split multiplicative reduction, and in all other ...
2
votes
0
answers
249
views
The group of the modular automorphisms of the Shimura curves
Let $B$ be a rational indefinite division quaternion algebra, $(X,G)$ the Shimura datum associated with $B$ (i.e., $X$ is the upper half plane and $G(R) = (B \otimes_\mathbb{Q} R)^*$ for a ring $R/\...
15
votes
2
answers
1k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
5
votes
1
answer
361
views
Fermat cubic hypersurfaces over finite fields
Consider the Fermat cubic
$$
X = \{x_0^3+\dots +x_n^3 = 0\}\subset\mathbb{P}^n_{\mathbb{F}_{q}}
$$
over a finite field $\mathbb{F}_{q}$ with $q$ elements.
If $q \equiv 2 \mod 3$ then the projection $\...
4
votes
1
answer
216
views
Points on affine hypersurface over finite field
I am interested in the hypersurface $X\subset\mathbb{A}^4_{\mathbb{F}_{5^n}}$ defined by
$$
X = \{x^3 + 3xy^2 + z^3 + 3zw^2 + 1 = 0\}
$$
over a finite field $\mathbb{F}_{5^n}$ with $5^n$ elements. Via ...
4
votes
1
answer
171
views
Primes of bad reductions for quotients of elliptic curves
Let $E$ be an elliptic curve over a number field $K$ and $p$ a prime. Suppose that $E$ has a $K$-rational $p$-torsion, which gives the short exact sequence $0\to\mathbb{Z}/p\to E[p]\to\mu_p\to0$ of ...
4
votes
2
answers
394
views
$p$-divisibility of Picard groups
Let $p$ be a prime number and let $k$ be a field with $char(k)\neq p$ such that all finite extensions have degree coprime to $p$. (For example, we can take $k=\mathbb{R}$ and $p\neq 2$ or let $k$ the ...
1
vote
0
answers
45
views
Weight of adjoint action on a lower central series extension
Let $\mathcal{U}$ be a unipotent Lie $\mathbb{Q}_p$-group scheme, whose associated gradeds from the lower central series filtration are $\mathcal{U}_0 = \mathcal{U}^{\text{ab}}$, $\mathcal{U}_1 = [\...
3
votes
1
answer
234
views
$\mathbf{Z}$-points of quasi-projective schemes
Let $U\subset\mathbf{P}^n_{\mathbf{Z}}$ be an open subscheme such that the smooth morphism $U\to\text{Spec}(\mathbf{Z})$ is surjective. Suppose $U(\mathbf{Q})\neq\varnothing$ and $U(\mathbf{Z}_p)\neq\...
1
vote
1
answer
298
views
Cohomology of singular curves
Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...
2
votes
1
answer
276
views
Geometric Interpretation of absolute Hodge cohomology
$\quad$Let $\mathcal{Sch}/\mathbb C$ denote the category of schemes over $\mathbb C$. For an arbitrary $X\in\mathcal{Ob}(\mathcal{Sch}/\mathbb C)$, Deligne in his Article defined a polarizable Hodge ...