The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
206 views

Where was the arithmetic zeta function of a scheme first defined?

Let $X$ be an arithmetic scheme, that is, a scheme of finite type over the integers. We denote the set of closed points of $X$ by $|X|$. For every $x\in|X|$, write $N(x)$ for the cardinality of the ...
0
votes
0answers
133 views

cohomological criterion of triviality

Hi, let $X$ be a proper curve, not necessarily smooth, but reduced and connected and $E$ a vector bundle on $X$ of rank $r$. For a line bundle $L$ it is true that the conditions $h^0(X,L)>0$ and ...
6
votes
2answers
568 views

How to see the geometry and arithmetic of tannakian fundamental groups?

The etale fundamental group is an inverse limit of automorphism groups of finite etale coverings. We can see the geometry of etale fundamental group very well from etale coverings just like ...
2
votes
1answer
199 views

S-arithmetic subgroup question

I've been reading a proof concerning S-arithmetic subgroups of algebraic groups and I'm having trouble determining why the following step should be true. First, the setup: Let $G$ be a connected ...
2
votes
0answers
114 views

Dualizing sheaf in mixed characteristic for regular schemes.

I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...
8
votes
1answer
180 views

Which level structures on elliptic curves are twist-invariant?

Let $N \geq 5$ be a prime, and $H$ a subgroup of $GL_2(\mathbb{F}_N)$. As shown in Chapter IV of [DeRap], there is a curve $X_H(N)$, defined over $K_N := \mathbb{Q}(\zeta_N)^{\det H}$, which is a ...
13
votes
1answer
751 views

Status of Grothendieck's conjecture on homomorphisms of abelian schemes

In [1] Grothendieck posits the following: Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, ...
18
votes
3answers
749 views

Do isogenies with rational kernels tend to be surjective?

Dear MO Community, this is a pretty vague title, so let me tell you the precise observation I have made. Consider the family of elliptic curves over $\mathbf{Q}$ having a rational $5$-torsion point ...
5
votes
1answer
195 views

Results and conjectures on bounds on degrees of isogenies

Dear MO Community, given an isogeny between two abelian varieties $\varphi: A\rightarrow B$ (everything definied over a number field $K$), we can factor $\varphi$ through a ...
1
vote
0answers
208 views

a question about Beauville-Laszlo

Hi, let $V$ be a complete DVR with uniformizer $\pi$. Let $m$ be a NON zero integer, $a\in V[[u,v]]/(uv-\pi)^{\times}$ and $f=\pi^{m}a$. Consider $F$ as the kernel of the diagram $$ ...
5
votes
0answers
463 views

Grothendieck monodromy theorem for l-adic sheaves

Hi, Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field. Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on ...
3
votes
1answer
359 views

weight monodromy conjecture for curves?

Hi, Is there a simple proof of the weight monodromy conjecture in the case of a curve over a mixed characteristic local field? Thanks!
0
votes
0answers
144 views

Uniqueness of decomposition of completely reducible representations

Let $X$ be a smooth, separated scheme of finite type over $\mathbb{F}_q$ where $q=p^r$ for some $r>0$. Let $gcd(l,p)=1, \rho:W(X) \to GL_r(\mathbb{Q}_l)$ be a Weil representation which is ...
2
votes
1answer
284 views

Minimal semistable model for K3-surfaces.

I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference. Also, if we have a semistable K3 surface with a log structure, ...
3
votes
0answers
268 views

intersection cohomology and etale cohomology

Hello, Can someone explain or give a reference on the comparison between intersection cohomology and l-adic etale cohomology of a variety over a field of characteristic zero? Thanks!
7
votes
1answer
530 views

Do torsors give a long exact sequence of cohomology?

Let $X$ be a finite-type scheme over a field $k$. Let $G$ be a finite-type group scheme over $k$; we write $G_X$ for the base-change of $G$ from $\operatorname{Spec}(k)$ to $X$. Suppose $f : Y ...
2
votes
0answers
312 views

what are the possible CM-fields of PEL type shimura varieties ?

In the paper "Travaux de Shimura" section 6, Deligne had defined a PEL- type shimura variety, for the following datum $(F,E,D,\psi)$, with $F$ a totally real cubic field, and $E$ a imaginary ...
6
votes
1answer
390 views

Diferent abelian varieties over local field with the same p-adic representation?

Let $K$ be a local field with residue field of char $p$, denote $G$ its Galois group. Is it possible that we have two Abelian varieties $A_1$ and $A_2$, defined over $K$, such that they are not ...
12
votes
1answer
591 views

Is the set of surfaces over Spec Z with ample canonical sheaf empty

Main question. Does there exist a smooth projective morphism $X\to$ Spec $\mathbf Z$ of relative dimension two such that the canonical sheaf $\omega_{X_{\mathbf Q}}$ of the generic fibre $X_{\mathbf ...
4
votes
0answers
303 views

Does the Riemann hypothesis for liftable varieties over a finite field imply the Riemann hypothesis for all varieties over a finite field

The Riemann hypothesis for varieties over a finite field has been proven by Deligne. Still I would like to ask the following question. A variety $X$ over a finite field $k$ is liftable if there ...
4
votes
0answers
175 views

Do regular noetherian schemes of dimension one only have finitely many etale covers of bounded degree

Let $X$ be a regular noetherian scheme of dimension one. Let $d$ be an integer. Question. Are there only finitely many finite etale morphisms $Y\to X$ of degree $d$? I want to exclude finite etale ...
8
votes
0answers
176 views

Corresponding notion of unramified for motives (or de Rham cohomology)

The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if ...
1
vote
1answer
356 views

Hodge-Tate weights of etale cohomology

Let $K/\mathbb Q_p$ be a local field, $X/K$ a proper scheme with semi-stable reduction. Question: What is the possible range of Hodge-Tate weights of the etale cohomology $H^i(X_{\overline K}, ...
1
vote
0answers
107 views

Removing finitely many points from a Shimura curve

Let $X$ be a compact Shimura curve. If we remove finitely many points from this curve, do we neccessarily get a "non-compact Shimura curve"? I have some reasons to believe that the answer is negative, ...
6
votes
1answer
339 views

How to calculate zeroth crystalline cohomology

I am just learning crystalline cohomology, so I understand the basic set-ups. But I can't really do any calculations. For example, let's choose the base $S=W(k)/p^n$, and let $X$ be an affine scheme ...
3
votes
0answers
165 views

Does the Albanese map satisfy Torelli's theorem

Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
5
votes
0answers
173 views

Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine? I think this follows from a more general result on smooth complete intersections, but I'm ...
6
votes
1answer
384 views

If rational points are like entire curves, then what do algebraic points correspond to

I read somewhere that if $X$ is a projective variety of general type over a number field $K$, then rational points are an analogue of entire curves $\mathbf{C}\to X^{an}$ (with $X^{an}$ the ...
3
votes
1answer
274 views

On the m-th power of the Hodge bundle and Arakelov's theorem

Let $S$ be a smooth projective curve over $\mathbf C$ and let $f:X\to S$ be a projective flat morphism with "semi-stable" fibres (i.e., the fibres are reduced and strict normal crossings divisors) and ...
1
vote
1answer
235 views

Hilbert polynomial of $X\times P^1$

Let $X$ be a canonically polarized smooth projective geometrically connected variety over $k$ with Hilbert polynomial $h$. What is the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$? How does it ...
1
vote
1answer
290 views

Tate Conjecture on decomposition of motives(?)

I apologize for the title. I myself conined it... I am referring to Conjecture 1.2 (page 7) of Richard Taylor's paper Galois representations (Annales de la Faculte des Sciences de Toulouse 13 (2004) ...
7
votes
1answer
407 views

For which fields does the isogeny theorem hold

Let $k$ be a field. We say that the isogeny theorem holds over $k$ if, for any abelian variety $A$ over $k$, there are only finitely many $k$-isomorphism classes of abelian varieties $B$ over $k$ ...
3
votes
1answer
144 views

Does the Hilbert polynomial determine the weight of the Galois representation associated to a variety

Let $X$ be a curve or an abelian variety (over a finite field). Then the Galois representation associated to $X$ via the etale cohomology of $X$ (in degree $1$) is integral of weight $1$ and its ...
2
votes
3answers
349 views

Useful notion of unramified Galois representation

Let $\mathbf C(t)$ be the field of rational functions and let $\overline{\mathbf C(t)}$ be an algebraic closure. Let $G$ be the Galois group of $\overline {\mathbf C(t)}$ over $\mathbf C(t)$. Let ...
0
votes
0answers
211 views

Vanishing of motivic cohomology with finite coefficients in negative degrees

I wonder whether the "finite coefficient version" of Beilinson-Soule conjecture i.e. the following statement holds or not. STATEMENT: Let $X$ be a smooth and projective scheme over a finite field ...
1
vote
0answers
136 views

Special values of zeta functions and extensions of base fields.

Let $X$ be a scheme of finite type over a finite field $k=\mathbb{F}_{q}$ of $q$ elements. Then, one can define the zeta function $Z_{X/k}(T)$ of $X$ ovet $k$ as $\prod_{x\in ...
2
votes
2answers
520 views

Classification of quasi-split unitary groups

Let $U$ be a unitary group defined with respect to an extension $E/F$ of non-archimedean local fields, and assume it is realised with respect to a pair $(V,q)$, where $V$ is an $n$-dimensional vector ...
6
votes
1answer
244 views

How do you compute the primes of bad reduction?

Suppose that I am given a subscheme $Y$ of $\mathbf{P}^n_{\mathbf{Z}}$, flat over $\operatorname{Spec}\mathbf{Z}$ and with smooth generic fiber $Y_{\mathbf{Q}}$, defined by the vanishing of some ...
3
votes
1answer
221 views

Torsion of elliptic curves is finite

Let $S$ be an integral 1-dimensional scheme with function field $K$. Let $E$ be an elliptic curve over $K$. The torsion of $E$ over $K$ is not necessarily finite. As an example consider an elliptic ...
12
votes
6answers
1k views

SAT and Arithmetic Geometry

This is an agglomeration of several questions, linked by a single observation: SAT is equivalent to determining the existence of roots for a system of polynomial equations over $\mathbb{F}_2$ (note ...
2
votes
0answers
347 views

$\sigma$-conjugate iff $p$-adically close

First some notations. Let $p$ be a prime, $k$ a perfect field of characteristic $p$, $W=W(k)$ the ring of Witt vectors over $k$, $\sigma : W \rightarrow W$ the Frobenius, $R$ a commutative ...
1
vote
2answers
399 views

Equation for simple Jacobian of a genus two curve

Let $X$ be a curve of genus two over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian of $X$. Can we write down an explicit equation for the abelian surface $J$? I know $X$ can be ...
2
votes
1answer
140 views

Detecting sections on an arithmetic variety

Let $S$ be Spec $O_K$ with $O_K$ the ring of integers of a number field $K$. Let $X\to S $ be an arithmetic variety, i.e., an integral smooth quasi-projective $S$-scheme with generic fibre $X_\eta$ ...
4
votes
1answer
320 views

Properties of subvarieties of a simple abelian variety

Let $A$ be a simple abelian variety over a field $k$. (For simplicity, we assume char $k =0$.) Let $X$ be a smooth projective geometrically connected variety over $k$ of positive dimension. Suppose ...
3
votes
0answers
287 views

An example of almost etale extension

In the paper of Faltings' "p-adic Hodge theory", Faltings showed an example of almost etale extension before he proved the almost purity theorem. The example is following: Let $k$ be a perfect field ...
1
vote
1answer
168 views

global section of vector bundle and reduction

Let $k$ be an algebraically closed field of char $p\neq 0$, $W_2(k)$ the witt vector of length 2. $C_1$ a smooth projective curve over $W_2(k)$, and $H_1$ a vector bundle over $C_1$. We denote $C_0$ ...
6
votes
1answer
225 views

Representability of sheaf of Ext^1 of a Néron model by $\mathbb{G}_m$

Let's work over a trait $S=\mathrm{Spec}R$, where $R$ is a dvr with fraction field $K$, residue field $k$. Given an abelian variety $A_K$ with semi-stable reduction, let $A$ over $S$ be its Néron ...
12
votes
2answers
1k views

Learning path for the proof of the Weil Conjectures

Assume you are an algebraic geometry advanced student who has mastered Hartshorne's book supplemented on the arithmetic side by the introduction of Lorenzini - "An Invitation to Arithmetic Geometry" ...
6
votes
1answer
275 views

Are ranks of Jacobians over number fields unbounded?

Fix a number field $K$. Is the rank of $J(K)$ unbounded, where $J$ ranges over the Jacobians of all smooth, projective, geometrically connected curves over $K$? Does there exist an integer $g$ such ...
14
votes
1answer
886 views

Does the moduli space of genus three curves contain a complete genus two curve

Inspired by the question Does the moduli space of smooth curves of genus g contain an elliptic curve and its amazing answers, I ask (pure out of curiosity) whether the moduli space $M_3$ of (smooth ...