The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
129 views

Compatibility of two definitions of elliptic elements in GLn

For an element $g$ of a connected reductive group $G$ (over a local field), $g$ is called $elliptic$ if it is semisimple and the maximal split subtorus of the center of the centralizer of $g$ is ...
7
votes
1answer
354 views

Explicit calculation of Weil Deligne representations

According to Grothendieck monodromy theorem, l-adic galois representations of a local field corresponds to Weil-Deligne representations. However, given a galois representation, it is usually difficult ...
6
votes
2answers
324 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
178 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 ...
1
vote
0answers
104 views

Covers of modular curves

I'm interested in covers of modular curves (especially cyclic covers) and I'm sure there's a lot of information out there available on this topic. However, I'm unable to locate any literature (on ...
2
votes
1answer
172 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
250 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
173 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
144 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
217 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 ...
1
vote
0answers
88 views

Benchmark problems for computing rational points on varieties

Are there standard benchmark problem sets used for empirically evaluating algorithms designed for computing rational points on (various classes of) algebraic varieties? If so, could you please point ...
3
votes
1answer
236 views

Are elliptic Kummer extensions big?

Loosely speaking, are elliptic Kummer extensions big? More concretely: Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime, and let $F$ be a subfield of $\overline{\mathbb{Q}}$ ...
2
votes
1answer
217 views

Elliptic units and Euler system

Maybe this question is quite obscure and ambiguous. I am really sorry for such ambiguity. My question is, what is the good thing we get from defining elliptic units and Euler system? There are lots ...
9
votes
1answer
461 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
298 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
128 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$ ...
2
votes
0answers
81 views

Vanishing theorems that work in positive characteristic

Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...
1
vote
0answers
99 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 ...
3
votes
1answer
179 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 ...
4
votes
1answer
190 views

Is there a formula for a hyperelliptic curve over QQ, such that its Jacobian contains a rational torsion point of extact order n, for any given n?

Given a positive integer $n$, is there an algorithm (or even better a closed formula) that provides me with a hyperelliptic curve $C/\mathbb Q$, such that its Jacobian $J:=Jac(C)$ possesses a ...
10
votes
1answer
337 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
2answers
639 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 - ...
3
votes
2answers
122 views

Lattice-point-free buffers around circles

Let $C(r)$ be the origin-centered circle of radius $r$, and let $\beta(r)$ be the exterior buffer around $C(r)$: the distance from $C(r)$ to the closest lattice point exterior to $C(r)$: ...
4
votes
1answer
116 views

Comparison of cycle maps

Let $X$ be an algebraic variety over $\bar{\mathbb{Q}}$ of dimension $d$, then there is the l-adic cycle map $\mathrm{cl}_{et}:\mathrm{CH}^i(X)\rightarrow\mathrm{H}^{2i}(X,\mathbb{Q}_\ell(i))$ from ...
7
votes
0answers
147 views

Lattice radial-step (ratchet) spirals

(30Oct13: Now solved; see Addendum.) Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.     $S(r_0,\epsilon)$ begins with the arc ...
5
votes
0answers
136 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. ...
5
votes
1answer
208 views

How many combinations of intersections of n hyperplanes there are in which a hyperplane is not crossed more than k times?

Consider you have $n$ hyperplanes with dimension $k$ that are not coplanar. Each hyperplane intersects the others $n-1$ times. Any intersection of $k$ such hyperplanes produces a vector. The number of ...
9
votes
0answers
160 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
2answers
887 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
1answer
130 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) ...
1
vote
1answer
482 views

“Descending cohomology, geometrically” by Mazur:

Exist texts of that talk or related texts: http://ttv.mit.edu/collections/harris60/videos/13881-problem-session-barry-mazur ?
2
votes
0answers
176 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
0answers
177 views

Relation between the arithmetic Frobenius and the Frobenius of the $\varphi$-module of an unramified representation

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with perfect residue field $k$. Suppose $V$ is an unramified representation with associated continuous homomorphism ...
8
votes
1answer
937 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 ...
0
votes
0answers
100 views

Rational solutions of equations of the form $y^2 x = f(x)$

Let $k$ be any number field, and suppose we want to study the $k$-rational points on $$y^2 x = f(x),$$ where $f$ is a polynomial of degree greater or equal than 3. In other words, $y^2 x = f(x)$ is a ...
4
votes
1answer
291 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
0answers
125 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
0answers
189 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
1answer
151 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
1answer
417 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
1answer
336 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
0answers
100 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
0answers
87 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 ...
10
votes
0answers
381 views

Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?

Let $X$ be a variety over a $p$-adic field $K$. Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...
9
votes
2answers
307 views

Rational points on circular spirals

Is it the case that every unit-radius circular spiral, $$x = \cos(t)$$ $$y = \sin(t)$$ $$z = c \cdot t$$ for $c \in \mathbb{R}^+$ is dense in rational-coordinate points (i.e., all three coordinates ...
2
votes
1answer
179 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
2answers
176 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
1answer
152 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 ...
1
vote
1answer
243 views

curves with good reduction everywhere

It seems to be a folklore that for any genus $g$, there is a number field $K$ and a curve $X$ over $K$, such that $X$ has good reduction at all the places of $K$. Are any simple proofs of this?