# Tagged Questions

**2**

votes

**1**answer

200 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

**0**answers

69 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

**2**answers

305 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 ...

**1**

vote

**0**answers

113 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 ...

**0**

votes

**1**answer

112 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

**1**answer

199 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

**1**answer

177 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

**1**answer

282 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

**1**answer

100 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

**1**answer

253 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
$$
...

**7**

votes

**2**answers

310 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

**0**answers

166 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

**1**answer

166 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

**1**answer

247 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

**1**answer

171 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

**0**answers

133 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

**1**answer

196 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

**1**answer

442 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

**2**answers

254 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

**1**answer

125 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

**0**answers

93 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

**2**answers

252 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 ...

**3**

votes

**1**answer

175 views

### Etale covers of products of curves

Is a finite etale cover of a product of curves again a product of curves?
The answer is no in general. Here's one way to construct an example. Take the product $A$ of two elliptic curves and an ...

**10**

votes

**1**answer

324 views

### Pro-algebraic versus continuous Galois cohomology, and schematic homotopy types

I've been thinking about Bertrand Toen's approach to studying the homotopy theory of schemes, and I've come across an inconsistency in my understanding of the subject that I was hoping somebody might ...

**6**

votes

**2**answers

586 views

### How many integer points does my favorite ellipse go through?

The equation of the ellipse interpolating the six lattice points $(0,0)$, $(1,0)$, $(0,1)$, $(d-1,d)$, $(d,d)$, $(d,d-1)$ in the plane for a fixed $d$ (at least 3) is
$$
x^2+y^2 - ...

**5**

votes

**0**answers

125 views

### Kernels and cokernels for morphisms of abelian schemes up to isogenies

For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. ...

**8**

votes

**0**answers

150 views

### Purity for abelian schemes up to $p$-isogenies

Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the ...

**14**

votes

**2**answers

823 views

### Deligne Weil II

Deligne's Weil I has been published under the title "La conjecture de Weil: I" in 1974, and Weil II in 1980. So did Deligne know in 1974 that there would be a Weil II, and can one explain the period ...

**3**

votes

**1**answer

127 views

### Section on $\mathcal{X}(1)$ induced by a cusp of $X(1)$

I'm reading the article Generalized arithmetic intersection numbers of U. Kuehn. At the beginning of section 4.12 "Modular forms over $\mathbb{Z}$" we are in the following situation.
Let $\Gamma(1) ...

**2**

votes

**0**answers

164 views

### “Extended” Weil Cohomology Theories

According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together ...

**9**

votes

**1**answer

912 views

### Why A. Weil considered elimination theory to be eliminated?

It is well known that André Weil declared, in the 1940's, that elimination theory must be eliminated from algebraic geometry. I would like to understand his mathematical reasons to adopt such an ...

**4**

votes

**1**answer

249 views

### Cubic forms and Hasse Principle

It's well-known that quadratic forms over the rational numbers $\mathbf{Q}$ satisfy the Hasse-Minkowski theorem. This is to say that they are isotropic over $\mathbf{Q}$ if and only if they are ...

**4**

votes

**0**answers

121 views

### Shimura varieties and Maximal conditions

Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...

**8**

votes

**0**answers

179 views

### congruences of level 1 and level p modular forms

I've been carrying out some experiments on the computer and I noticed the following congruence phenomenon: fixing a prime $p$, it seems that any modular form over $SL_2(\mathbb{Z})$ and of weight $k ...

**1**

vote

**1**answer

144 views

### Are Isom-schemes geometrically connected

This question is about properties of Isom-schemes that are well-known over algebraically closed fields.
Let $K$ be a field of characteristic zero, let $C$ be a smooth projective geometrically ...

**13**

votes

**1**answer

391 views

### How fast can we numerically calculate Kloosterman sums?

Define the usual Kloosterman sum by $$S(m,n;c) = \sum_{\substack{x \pmod{c} \\ (x,c) = 1}} e\Big(\frac{mx + n\overline{x}}{c}\Big),$$
where $x \overline{x} \equiv 1 \pmod{c}$, and $e(x) = e^{2 \pi i ...

**7**

votes

**1**answer

326 views

### Do all varieties have only finitely many etale covers of fixed degree

I've been wondering about the following "finiteness statement" concerning etale covers for a while.
Let $K$ be a field of characteristic zero, not necessarily algebraically closed. A variety over $K$ ...

**0**

votes

**0**answers

96 views

### Existence of a curve with no points over finite separable field extensions

Does there exist a field $K$, and a smooth projective geometrically connected curve $C$ over $K$ such that, for all finite separable field extensions $L/K$ the curve $C$ has no $L$-rational points?
I ...

**1**

vote

**0**answers

86 views

### topological invariance of direct image in the \'etale topology

Let $R$ be a complete local ring (even of dimension one if it helps) and write it as limit of artinian rings $R_n$. Let $X\rightarrow S=Spec(R)$ be proper, finite type even smooth outside the maximal ...

**2**

votes

**1**answer

172 views

### Purely additive reduction of Jacobian of Hyperelliptic curve

For general, let X be an abelian variety of dimension g.
We say that X has 'purely additive reduction' at prime p if the dimension of the unipotent radical of the special fiber of the Neron Model of ...

**3**

votes

**2**answers

167 views

### Cohen-Macaulay and descent

Let $X$ be a Cohen-Macaulay scheme and $f:X\rightarrow Y$ a morphism. Under which "non trivial conditions" on $f$ can we conclude that $Y$ is also Cohen-Macaulay? By "trivial conditions" I mean ...

**1**

vote

**1**answer

150 views

### Normality and descent

Let $R$ be a normal noetherian domain. Write it as intersection of discrete valued domains $\bigcap_p R_p$. Assume I have schemes $X_p\rightarrow \operatorname{Spec}(R_p)$. Via the inclusion ...

**3**

votes

**0**answers

118 views

### Effective Lang-Weil bounds for del Pezzo surfaces

Let $X$ be variety in $\mathbb{P}^N$ over $\mathbb{F}_q$ of dimension $n$ and degree $d$.
By the Lang-Weil bounds
$ |\# X(\mathbb{F}_q) - q^n| \le (d-1)(d-2)q^{n-1/2} + Cq^{n-1}$for a constant $C$ ...

**7**

votes

**1**answer

216 views

### Shimura surfaces that do not contain a Shimura curve

Let $S$ be a Shimura surface i.e. a Shimura variety with $dimS=2$. Does $S$ necessarily contain a Shimura curve? I know that probably the answer is No, but do not have an explicit example. What is the ...

**4**

votes

**1**answer

239 views

### Weil pairing, fixed field of a $p$-adic Galois representation

Let $A$ be an abelian variety over a $p$-adic field $K$. If $K(A_{p^\infty})$ is the field extension of $K$ obtained by adjoining the coordinates of all $p$-power division points of $A$. By the Weil ...

**8**

votes

**0**answers

309 views

### Torelli-like theorem for K3 surfaces on terms of its étale cohomology

Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow ...

**4**

votes

**0**answers

124 views

### Semiabelian actions appearing in the toroidal campactification of a degenearting abelian varieties

Given a totally degenerated abelian variety $A_K$ (to make it easier) over a complete discrete valuation field $K$ with $R$, $\pi$ and $k$ the corresponding discrete valuation ring, uniformiser and ...

**1**

vote

**0**answers

178 views

### Katz's paper on Serre Tate local moduli

In katz's paper "Serre-Tate local moduli" chaper 3 has the following construction:
Let $A$ be a fixed ordinary elliptic curve defined over $k$ of char $p>0$. Consider the deformation of $A$ to ...

**1**

vote

**0**answers

153 views

### Compactifications of group schemes

Let $G$ be a group scheme over a scheme $S$ which is the spectrum of a discrete valuation ring. Let $\eta$ (resp. $s$) be the generic (resp. closed) point. Assume that the generic fiber $G_{\eta}$ is ...

**0**

votes

**0**answers

80 views

### How to construct a reduction type that we need from a smooth curve

Let $X_{k}$ be a stable curve over a algebraically closed field $k$. We can find a complete DVR $R$ and deform $X_{k}$. Then we can obtain a stable curve $X$ over $R$ whose generic fiber $X_{\overline ...