3
votes
0answers
97 views

Singularities in mixed characteristic

Let $R$ be a regular local ring in mixed characteristic. Moreover, I assume that $R$ is the local ring of a point on a smooth $\mathbb Z_p$-scheme and that $R/pR$ is regular. ($\mathbb Z_p$ is the ...
-1
votes
0answers
47 views

An isogeny from a split algebraic torus [migrated]

Suppose that there is an isogeny (in the category of commutative algebraic groups) from a split algebraic torus to a semi-abelian variety. Does it follows that this semi-abelian variety is also an ...
-1
votes
0answers
64 views

Isogeny of abelian varieties over general fields [closed]

We know that given an abelian variety $X$ over an algebraically closed field $K$ of characteristic $0$ and any integer $n$ the induced map $[n]:X \to X$ is an isogeny. As far as I understand this ...
9
votes
1answer
516 views

Why is the section conjecture important?

As in the title, I want to know the reason for importance of the section conjecture. Of course, the statement of conjecture is important as itself, even I cannot fully grasp the soul of it. However, ...
8
votes
1answer
787 views

What is the arithmetic Nullstellensatz?

The only precise statement (coming from a reliable source) of the "arithmetic Nullstellensatz" I can find is in Gowers's book, stating that two polynomials with integral coefficients have the same ...
3
votes
1answer
204 views

What is known about the Brauer group of an arithmetic surface?

Let $X$ be an arithmetic surface over $\mathbb{Z}$, that is we have $\pi: X\rightarrow Spec(\mathbb{Z})$, $X$ is integral, two-dimensional and regular and $\pi$ is projective and flat. What is known ...
0
votes
1answer
186 views

Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor. And now we only consider the case that $C_0$ is irreducible as in ...
9
votes
1answer
293 views

Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...
4
votes
1answer
153 views

Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...
5
votes
1answer
201 views

Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
0
votes
1answer
95 views

rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...
1
vote
0answers
122 views

Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...
2
votes
2answers
359 views

Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$? Next ...
4
votes
0answers
97 views

Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...
0
votes
2answers
198 views

Absolute Hodge implies Galois invariant?

Let $X$ be an Abelian variety defined over a number field $K$, suppose that it has a good reduction over a fine place $\mathfrak{p}$ of $K$. Let $G_{\mathfrak{p}}$ be the local Galois group for ...
6
votes
1answer
357 views

Elliptic curve and Galois representation

For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by $\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = ...
2
votes
0answers
194 views

vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime. Are there vanishing results for ...
3
votes
1answer
190 views

Specialization Map of family of abelian varieties

In Lang's Survey on Diophantine Geometry, page 40, he said the following: Let $F=k(Y)$ be a function field of variety $Y$ over the constant field $k$ and $X_F$ a non-singular projective variety over ...
1
vote
2answers
121 views

kernel of isogeny becomes constant after base change

Let $S = Spec(O_K)$ be the spectrum of the rings of integers of a number field $K$. Let $A/S \setminus T$ be an Abelian scheme over an open subscheme $S \setminus T \subseteq S$. Does the kernel of ...
2
votes
2answers
302 views

Local factors of Hasse-Weil zeta function - what do they have in common?

Let $X$ be a regular scheme, flat and of finite type over $Spec(\mathbb{Z})$ (add "projective" if you want). Then the Hasse-Weil zeta function of $X$ is defined as a product over all prime numbers of ...
18
votes
0answers
317 views

Bounding failures of the integral Hodge and Tate conjectures

It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...
3
votes
2answers
222 views

Families of Fano varieties over non-hyperbolic curves

Let $C$ be a non-hyperbolic (smooth quasi-projective connected complex algebraic) curve. That is, $C$ is isomorphic to $\mathbb P^1, \mathbb A^1, \mathbb G_m$, or an elliptic curve. Let $f:X\to C$ be ...
8
votes
1answer
209 views

Example of a variety over a number field with non-semisimple Galois representation on $\ell$-adic cohomology

This question is inspired by the question: Example of non-projective variety with non-semisimple Frobenius action on etale cohomology? Let $K$ be a number field (or finitely generated field of ...
4
votes
1answer
123 views

log smooth curve vs pointed node curve

F.Kato has a statement said that a log smooth curve $f:(X, M,\alpha)\to (k,N,\beta)$ where $k$ is an algebraic closed field and $N$ is some fine log structure on $k$, is equvalent to pointed node ...
3
votes
0answers
121 views

log structure on Witt ring and Frobenius map

I am a little confused about the log structure of Witt ring and its Frobenius map. Let $k=\bar{\mathbb{F}}_p$, $W:=W(k)$ the Witt ring. We know that to deal with the semistable reduction, i.e. scheme ...
3
votes
1answer
115 views

Deforming curves to other curves over the field of rational numbers

Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two. If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...
7
votes
2answers
375 views

Is a Deligne-Mumford curve defined over Qbar if and only if its coarse moduli space is

Let $\mathcal X$ be a smooth proper finite type Deligne-Mumford stack over $\mathbb C$ that is generically a scheme. Let $X$ be its coarse moduli space. If $\mathcal X$ can be defined over ...
0
votes
0answers
81 views

Question about the “middle” intermediate Jacobian

Suppose $Y$ is a smooth projective variety of dimension $2p-1$ over $\mathbb{C}$. I have a few questions about the $p^{~\text{ th}}$ intermediate Jacobian $J^p(Y)$ of $Y$. Does it come from (i.e. is ...
2
votes
1answer
231 views

representation of algebraic fundamental group of projective line minus three point

everyone, I want to ask is there any result in the literature similar to the following: Let $ X=\mathbb{P}^1\backslash \{0,1,\infty\}$, then $X$ is defined over $\mathbb{Z}$. Let $X_{\mathbb{Q}}$ ...
1
vote
0answers
84 views

degree of isogenies between Jacobians and Abelian Varieties

Let $K$ be a local field of characteristic zero and positive residual characteristic. Let $A$ be a simple abelian variety and assume we have an isogeny $f:Jac_C\rightarrow A$ with $C$ a smooth curve ...
12
votes
2answers
346 views

Existence of local sections

I would like to know when the property of "having a section" for a morphism of varieties in characteristic $0$ can be detected by spreading out to characteristic $p$. Take a number field $K$, and let ...
2
votes
0answers
141 views

integral hard Lefschetz

I am looking for examples $(X,\eta)$ where the integral hard Lefschetz is an isomorphism: $X/k$ is a smooth projective variety of dimension $d$ over an algebraic closure of a finite field and $\eta ...
1
vote
1answer
190 views

Arithmetic property of a surface of general type

In my previous post I asked about the hyperbolicity of the affine surface $S'=\{zw \neq o\}$ in the projective surface $z^2 = P(x) Q(y)$ in $\mathbb{P}^3$, where $P$ and $Q$ are two general ...
3
votes
1answer
226 views

What is the relation between KC and height of rational number?

Roughly speaking,Kolmogorov Complexity of a bits string or a description is the minimal length of programs outputing a bits string,and height of rational number is logarithm of the largest numerator ...
7
votes
1answer
211 views

Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism. Let $d^\prime ...
10
votes
1answer
341 views

Degeneration of the Hodge spectral sequence for scheme over truncated Witt ring?

Let $f:X\to S$ be a smooth proper morphism of schemes. If $S$ is of characteristic zero (i.e., $S$ is a $\mathbb{Q}$-scheme), then Deligne has shown: The Hodge-De Rham spectral sequence ...
2
votes
1answer
118 views

Potential good reduction of abelian varieties

In Corollary 3 on page 498 of the article "Good reduction of abelian varieties" it says that, under some specified conditions, the minimal subextension $L/K$ of $\overline{K}/K$ over which an abelian ...
3
votes
1answer
274 views

Base change in crystalline cohomology?

Does one have a base change theorem in crystalline cohomology like in étale cohomology? Suppose one has the following cartesian diagram $$ ...
6
votes
2answers
326 views

Is there a largest prime p such that J_0(p) completely splits into elliptic curves

The question in the title is related to a more general question. Namely does there exist an integer $N$ such that for all curves $C/\mathbb C$ of genus $> N$ one has that not all simple isogeny ...
6
votes
0answers
183 views

The Rappoport-Zink spectral sequence vs. the one of the complement of a normal crossing divisor

As far as I understand these matters, for a regular $\mathfrak{X}$ that is proper flat of finite type over $\operatorname{Spec}\mathbb{Z}_p$, the Rappoport-Zink spectral sequence relates the etale ...
2
votes
1answer
174 views

A problem in intersection theorem

I'm reading the paper: SGA 7 II, Intersections sur les surfaces regulieres. In Papge 6 , I cannot understand why there is sign $-1$ in the formula (1.10.4): Let $S$ be a trait, for any $\mathcal ...
2
votes
1answer
251 views

Pencil with desired Jet in Algebraic geometry(new!)

Let $k$ be an algebraic closed field. Let $n$ be a positive integer. Let $X$ be an irreducible, proper and smooth scheme over $k$ with an immersion $i:X\hookrightarrow E:=\mathbb P^N_k$ with $N$ ...
2
votes
1answer
175 views

A problem on Jets in algebraic geometry

Let $k$ be a perfect field, let $n$ and $m$ be two positive integers. Consider $X=\mathbb P_k^n\times \mathbb P_k^m$. Let $x_0=(1,0,\cdots,0;1,0,\cdots,0)\in X$ be fixed. For any pair of integers ...
5
votes
0answers
148 views

When are Galois representations with open image attached to elliptic curves?

Let $K$ be a number field with absolute Galois group $G_K$. Let $\rho:G_K \rightarrow GL_2(\hat{\mathbb{Z}})$ be a Galois representation such that the image of $\rho$ is open in ...
2
votes
1answer
222 views

Explicit basis for the space of global sections of a twisted arithmetic ideal sheaf

Assume $x\in X=\mathbb{P}^1_{\mathbb{Z}}$ is a closed point with $f(x)=p\in Y$ where $f:X\rightarrow Y$, here $Y=Spec(\mathbb{Z})$. Assume $k(x)=\mathbb{F}_p$ and denote by $I_x$ the ideal sheaf of ...
9
votes
1answer
470 views

The Sato-Tate conjecture for hypersurfaces?

The Sato-Tate conjecture for elliptic curves $E$ predicts the distribution of the eigenvalues of Frobenius at $p$ on the Tate module of $E$ as $p$ varies in terms of the distribution of the ...
3
votes
2answers
332 views

Faltings height of a CM abelian variety

Let A be a CM abelian variety, say simple of dimension g, with $End(A) = O_K$, where $K$ is a CM field of degree $2g$. Is there an upper bound for the Faltings height $h(A)$ in terms of the ...
3
votes
1answer
130 views

How do ideal sheaves behave on the special fibers of the projective line over the integers?

Let $X=\mathbb{P}^1_{\mathbb{Z}}$ and $Y\subset X$ be a local complete intersection of codimension two with Ideal sheaf $I_Y$. (I'm mostly interested in the case where $Y$ is a single point $x$ ...
1
vote
0answers
102 views

algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields

(transcendence of canonical heights) Is the Néron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...
3
votes
2answers
257 views

isogeny and congruence subgroup

Let $G_1$ and $G_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G_1\to G_2$, with finite kernel contained in the center of $G_1$. By ...