The arithmetic-geometry tag has no wiki summary.

**3**

votes

**1**answer

314 views

### Heegner Points on $X_0(N)$ when some primes dividing $N$ are inert in the imaginary quadratic field

If $K = \mathbb{Q}(\sqrt{-D})$ is a imaginary quadratic field with discriminant $-D$, then we get Heegner points on $X_0(N)$ as long as there exists $\mathfrak{n} \subset \mathcal{O}_K$ such that ...

**3**

votes

**3**answers

705 views

### reduction types of elliptic curves

Let $E/K$ be an elliptic curve, where $K$ is a complete local field with residue field $k$ and char$(k) = p$. I'm trying to make sense of Kodaira symbols and Tate's algorithm.
My current ...

**0**

votes

**1**answer

213 views

### When is the determinant of the push-forward of an ample line bundle ample

Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$.
When is $\det f_\ast L$ also ample?
A "nice" morphism could be anything from "finite type separated" to ...

**5**

votes

**1**answer

261 views

### Inertia subgroup in the ordinary reduction case when $p=2$

Dear MO,
Let $K/\mathbb{Q}_2$ be a finite extension, and let $E/K$ be an elliptic curve with good ordinary reduction, and such that $\mathbb{Q}_2(j(E))=K$. Let ...

**6**

votes

**0**answers

157 views

### simple proof of relation between H^1 crystalline and Dieudonne module?

Hi,
Let $k$ be a perfect field of characteristic $p > 0$. Let $A/k$ be an abelian variety. Then the first crystalline cohomology group of $A$ with respect to $W(k)$ (= Witt vectors) is canonically ...

**6**

votes

**1**answer

247 views

### Local Norm Mapping for Abelian Varieties

Let $A/K$ be an abelian variety defined over a nonarchimedean local field $K$ of characteristic $0$ and let $L$ be a finite extension of $K$. Consider the norm map $$A(L)\xrightarrow{N_{L/K}}A(K)$$ I ...

**0**

votes

**1**answer

174 views

### Are period domains ever contractible

Which simply-connected period domains are contractible?
Examples. Siegel upper-half space? Poincare upper-half plane? Universal cover of a Shimura variety?
Are these contractible?

**3**

votes

**1**answer

173 views

### scheme of generalizations

Hi,
I have the following problem. Let $\mathcal{O}$ be a valuation ring and $S=Spec(\mathcal{O})$, denote with $s$ the closed point and with $\eta$ the generic one. Let $X\rightarrow S$ be a proper, ...

**5**

votes

**0**answers

217 views

### Isogenous elliptic curves have same conductor

Let $E/K, E'/K$ be elliptic curves defined over a number field $K$. Let $\phi: E \to E'$ be a non-constant isogeny defined over $K$. Why must the conductors be equal?
I know that this is an ...

**1**

vote

**1**answer

211 views

### Tricks to produce examples of hypersurfaces with index greater than $1$

Recall, index of an algebraic scheme $X$ is defined to be the greatest common divisor of the degrees of the space of zero cycles on $X$. I am interested in examples of hypersurfaces in ...

**9**

votes

**2**answers

917 views

### Status of Beilinson conjectures?

(I hesitate to post that question here, but I received on answer on FB:)
Does anyone know how the current status of work on them is? And how the possible generalizations etc. which one thinks ...

**2**

votes

**2**answers

152 views

### Possible reasons why the image of 0 in the modular parametrization would always be O for a family of quadratic twists of elliptic curves

Let $E$ be an elliptic curve and $E_n$ be its quadratic twist by $n$. Let $\phi_n: X_0(N_n) \to E_n$ be the normalized modular parametrization of $E_n$ ($\infty \to O$)
For some particular curves ...

**2**

votes

**0**answers

92 views

### The etale cohomology``ring" structure of torsion sheaves on varieties

For a topological manifold $M$, one can speak of the cohomology ring structure $H^*(M, k)$ where $k$ is a ring. If one replace $M$ by an arithmetic schemes $X$ over a base ring $S$, and replace $k$ by ...

**6**

votes

**1**answer

338 views

### Simple field extension and rational points

Let $F$ be an infinite field and $f$ a homogeneous form on $F$ such that $f$ has no non-trivial zero in $F$. Let $F'$ be a finite extension of $F$ such that $f$ has a non-trivial zero in $F'$. Is it ...

**4**

votes

**2**answers

180 views

### computing the order of the image of 0 under the modular parametrization map for an elliptic curve

Let $E/\mathbb{Q}$ be an elliptic curve of rank 0, with modular parametrization $\phi: X_0(N) \to E$. Let $\Omega_0$ be the least positive real period. A paper I'm reading (Yoshida, Some variants of ...

**6**

votes

**1**answer

382 views

### Overconvergent/infinitesimal site, base change and six operations

This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overconvergent cohomology ...

**17**

votes

**0**answers

432 views

### On Determinants of Laplacians on Riemann Surfaces

History of the Formula: In their famous paper "On Determinants of Laplacians on Riemann Surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the space $T^n$ of ...

**10**

votes

**5**answers

2k views

### Rational points on a sphere in $\mathbb{R}^d$

Call a point of $\mathbb{R}^d$ rational if all its $d$ coordinates are rational numbers.
Q1.
Is the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$ dense in rational points, i.e. does $S$ include a ...

**2**

votes

**0**answers

232 views

### On the expilicite example of Parshin Construction.

In the Proof of Mordell Conjecture by Gerd Faltings, it is famous that Parshin constructed curve C_P for each Q-rational point P on the given curve C over Q such that genus of C satisfies g(C) > 0.
...

**4**

votes

**0**answers

215 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

**0**answers

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

**2**answers

581 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

**1**answer

204 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

**0**answers

119 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

**1**answer

187 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

**1**answer

772 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

**3**answers

755 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

**1**answer

209 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

**0**answers

214 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

**0**answers

487 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

**1**answer

371 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

**0**answers

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

**1**answer

291 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

**0**answers

274 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

**1**answer

547 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

**0**answers

320 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

**1**answer

396 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

**1**answer

612 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

**0**answers

304 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

**0**answers

178 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

**0**answers

179 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

**1**answer

375 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

**0**answers

108 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

**1**answer

342 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

**0**answers

175 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

**0**answers

176 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

**1**answer

388 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

**1**answer

280 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

**1**answer

239 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

**1**answer

295 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) ...