The arithmetic-geometry tag has no wiki summary.

**3**

votes

**0**answers

135 views

### Hodge filtration over $\mathbb Z_p$

Let $p$ be a prime number.
Let $X\to\operatorname{Spec}\mathbb Z_p$ be smooth and proper. Is it true that
the map $H^i(X,\Omega^{\bullet\geq j}_{X/\mathbb Z_p})\to H^i(X,\Omega^\bullet_{X/\mathbb ...

**4**

votes

**1**answer

157 views

### pro-$\ell$ etale fundamental group of a semi-abelian variety

Let $A$ be a semi-abelian variety over $K$, $\ell$ a prime number which is not equal to char($K$).
Does the abelianization of geometrically pro-$\ell$ etale fundamental group ...

**10**

votes

**4**answers

838 views

### Concrete examples of noncongruence, arithmetic subgroups of SL(2,R)

A subgroup of $SL_2(\mathbb{R})$ is called arithmetic if it is commensurable with $SL_2(\mathbb{Z})$.
An arithmetic subgroup is called congruence if it contains a subgroup of type $\Gamma(N)$ for ...

**3**

votes

**1**answer

302 views

### Shafarevich's theorem for elliptic curves defined over function field of algebraic curve over algebraically closed field

Let $K$ be a number field and $S$ a finite set of places of $K$. Then Shafarevich's theorem states that there are only finitely many isomorphism classes of elliptic curves $E$ over $K$ with good ...

**3**

votes

**0**answers

134 views

### Is Hasse-witt map isomorphism?

Fix a level $N \geq 3$ and denote by $\Gamma(N)\subset SL(2,\mathbb{Z})$ the subgroup of matrices which are congruent to the identity modulo $N$. The open modular curve $Y(N)$ corresponding to ...

**0**

votes

**1**answer

227 views

### a question of Galois cohomology

Let $R$ be a complete DVR with algebraically closed residue field $k$ and fractional field $K$ , $PGL(2)$ the automorphic group of projective line over $\overline K$.
My question is:
When ...

**2**

votes

**1**answer

157 views

### morphism between two elliptic curves over a local field

Let $X,Y$ be two elliptic curves over $K:=K(R)$ which have good models over $R$, Char($K$)=$0$, where $R$ complete DVR with algebraically residue field $k$.
If $L$ is a finite extension of $K$, such ...

**1**

vote

**2**answers

475 views

### are moduli stacks deligne-mumford stacks in general

Let M be your favorite moduli stack over the field of complex numbers.
Is it reasonable to expect M to be a Deligne-Mumford stack?
I know this is true for the moduli space of curves of genus g, ...

**3**

votes

**0**answers

188 views

### Is Normalization of log smooth scheme smooth?

Let $f:Y\rightarrow X$ be a finite flat morphism between smooth schemes over $Spec k$, where $k$ is a perfect field. Let $D$ be an irreducible and smooth divisor of $X$, $U=X\setminus D$ the ...

**1**

vote

**1**answer

135 views

### arithmetic group over function fields and its fundamental domain

Let $G$ be a semi-simple algebraic group defined over a global function field $K$.
Let $S$ be a finite set of places of $K$. For a place $v$ of $K$ let $K_v$ be the completion under $v$. We take ...

**2**

votes

**0**answers

89 views

### Bound for the degree of the field of definition for a closed point of a variety

While attempting to prove some existence theorem for matrices over $\mathbb{F}_{2^k}$ I've come across the following problem concerning fields of definition for closed point of, say affine, varieties.
...

**3**

votes

**1**answer

272 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

540 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

181 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

255 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

135 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

227 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

166 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

168 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

199 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

206 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

868 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

146 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

86 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

335 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

169 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

345 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

387 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

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

**3**

votes

**0**answers

196 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

544 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

188 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

111 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

174 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

732 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

744 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

191 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

194 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

414 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

338 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

143 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

273 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

247 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

511 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

307 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

383 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

570 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

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