The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
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
2answers
903 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
2answers
151 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
0answers
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
1answer
336 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
2answers
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
1answer
371 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
0answers
421 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
5answers
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
0answers
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. ...
3
votes
0answers
211 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
576 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
202 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
117 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
185 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
763 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
751 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
197 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
210 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
472 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
363 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
286 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
272 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
535 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
314 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
392 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
599 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
178 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
366 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
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
1answer
341 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
174 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
175 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
387 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
278 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
236 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
292 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
418 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
148 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
354 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
212 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
529 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
253 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
222 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 ...