The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
2answers
397 views

Jacobians defined over smaller fields

Let $L/K$ be an extension of number fields. Let $X$ be a curve over $L$ which can not be defined over $K$. Let $J(X)$ be the Jacobian of $X$ over $L$. In general, the Jacobian $J(X)$ probably ...
8
votes
1answer
352 views

Modularity of higher dimensional abelian varieties

In another question I asked about strategies for giving an effective version of the Shafarevich conjecture for abelian varieties over $\mathbb{Q}$. For elliptic curves, one can give a proof using ...
9
votes
5answers
1k views

The significance of modularity for all Galois representations

On pg. 1 of the slides of a talk, Henri Darmon wrote: Question: What is an interesting Diophantine equation? A “working definition”. A Diophantine equation is interesting if it reveals or ...
2
votes
0answers
287 views

Is the geometry of a variety determined by the counts of rational points?

In Diophantine Geometry: An introduction, Hindry and Silverman write "Geometry Determines Arithmetic" (pg. 2) and "Geometry Governs Arithmetic" (pg. 474). On pg. 211 of the same book, the authors ...
2
votes
1answer
205 views

Is There a Mayer-Vietoris Spectral Sequence of Motivic Cohomology for Closed Coverings?

For etale cohomology, there is a spectral sequence of the following form ("Mayer-Vietories spectral sequence for closed covers"): $E_{1}^{p,q}=\oplus_{i_{0}< \cdots < i_{p}} H_{ Y_{i_{0} \cdots ...
17
votes
3answers
1k views

Over which fields does the Mordell-Weil theorem hold?

According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties ...
1
vote
0answers
146 views

Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
5
votes
1answer
342 views

is Hasse principle a birational invariant?

...it is probably a very trivial question, but I am a beginner in arithmetics.
6
votes
1answer
335 views

Honda-Tate in families

Let $k$ be a finite field, say with $q=p^a$ elements. Honda-Tate theory states that there is a bijection between isogeny classes of simple abelian varieties over $k$ and ...
3
votes
1answer
336 views

Heuristic for the Fermat-Catalan conjecture

[Edit: I've since realized that my question is confused: in particular, the minimum value of k that you need to sum from increases with the largest exponent under consideration so that the sum over ...
6
votes
1answer
269 views

Counting higher dimensional abelian varieties of a given conductor

This question is a follow up to an earlier question of mine on enumerating elliptic curves of a given conductor. I've heard people say that studying higher dimensional varieties via explicit ...
1
vote
0answers
134 views

$K$-groups and dual graphs of special fibers

Let $p$ be a prime number, let $E$ be an elliptic curve defined over $\mathbb{Q}_p$. Let $\mathcal{E}_p$ be the special fiber of the Néron model of $E$ over $\mathbb{Z}_p$ and let ...
5
votes
2answers
797 views

Isogeny classes of elliptic curves

Let $E \subset \mathbb{P}_\mathbb{C}^2$ be an elliptic curve. If $E$ has complex multiplication (by anything) then the theory of complex multiplication in particular tells us that if $\sigma \in ...
4
votes
2answers
505 views

Finiteness of elliptic curves of a given conductor

It follows from the modularity theorem for elliptic curves over $\mathbb{Q}$ that there are finitely many elliptic curves of a given conductor $N$. Moreover, one can algorithmically enumerate them. ...
0
votes
1answer
251 views

local galois representation with higher coefficient

Suppose K is a local field , G is its galois group, V a fine dimensional Vector space over F, which is a sub field of K, and totally ramified over $Q_p$. Consdider the linear action of G on V (V is ...
2
votes
0answers
343 views

Algebraicity of power series over the rationals from the algebraicity over Fp

Van der Poorten conjectures [in "Power series representing algebraic functions," Sem. Th. Nombres Paris 1990-91] that if a power series over the rationals is the [complete] diagonal [of a rational ...
5
votes
1answer
535 views

Special value of $L$-function

Let $p$ be a prime number. Let $f$ be a newform of weight 2 on $Γ_0(p)$, and $E_f$ denote the associated newform quotient of $J_0 (N)$ over $\mathbb{Q}$. Is there a way to express the algebraic part ...
6
votes
1answer
252 views

Examples of finiteness of rational points for hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>4$.

Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain ...
3
votes
1answer
212 views

Is there a semisimple $\mathbf{Q}_\ell$-representation of $G_F$ ramified at an infinite set of places?

See http://math.uni.lu/~wiese/galois/Boeckle-Luxemburg-Notes.pdf, Theorem 1.4(a): Is there an example of a semisimple $\mathbf{Q}_\ell$-representation $V$ of $G_F$ ($F$ a global field) ramified at a ...
3
votes
0answers
200 views

Question about witt vector of some ring

Suppose $R=Z_p[t]$ , and $\hat{R}$ its p-adic completion, suppose we have Endormorphism $\Phi$ of $\hat{R}$, whose redution mop p is just the absolute Frobenius of $\hat{R}/p\hat{R}$. And ...
3
votes
0answers
196 views

Does semi-stable reduction behave well with Weil restriction of scalars

Let $A$ be an abelian variety over a number field $K$ with semi-stable reduction over $O_K$. Does the Weil restriction $\textrm{Res}_{K/\mathbf{Q}}A$ of $A$ to $\mathbf{Q}$ have semi-stable reduction ...
8
votes
1answer
379 views

Mordell-Weil group of the universal abelian scheme

Let $n>2$ and let $k$ be either $\bf Q$ or a finite field whose characteristic is prime to $n$. Let $A_{g,n}$ be the moduli scheme, which represents the functor, which with every $k$-scheme $S$ ...
0
votes
2answers
246 views

Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point

Let me be more precise than the title. (This will be my last attempt to do something with abelian varieties. Sorry for all the basic questions. The answers have been great!) Let $A$ be a simple ...
0
votes
1answer
200 views

Is any simple abelian variety covered by a non-simple abelian variety

Let $A/k$ be a simple abelian variety. Does there exist a non-simple abelian variety $B/k$ and a finite homomorphism $f:B\to A$ over $k$? I don't need $f:B\to A$ to be etale.
2
votes
1answer
215 views

Are abelian varieties degree two covers of some projective space

Let $A$ be an abelian variety over a field $k$ of dimension $g\geq 2$. There exists a finite morphism $A\to \mathbf{P}^g_k$. Here's the question. Does there exist a finite morphism $A\to ...
8
votes
1answer
337 views

what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.) We are ...
1
vote
1answer
151 views

Is the number of twists of a curve with a section in a given field finite

Let $X$ be a smooth projective geometrically connected curve over a number field $k$ of genus $g\geq 2$. Is the number of twists of $X$ always infinite? (The answer is no, because there aren't any ...
20
votes
6answers
2k views

Does the moduli space of smooth curves of genus g contain an elliptic curve

Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete. Does $M_g$ contain an elliptic curve? The answer ...
6
votes
1answer
186 views

Is the class of $k$-gonal curves dominant

Before I start, let me make a note on terminology. Curves are always smooth projective connected curves over an algebraically closed field of characteristic zero. Let $\mathcal C$ be a class of ...
2
votes
1answer
306 views

Group of connected components of the global Néron-Raynaud model of a torus

Let $K = \mathbb{F}_q(C)$ be a global function field of an irreducible projective and smooth curve $C$ defined over a finite field of constants $\mathbb{F}_q$. Let $T$ be a $K$-torus. We choose one ...
3
votes
0answers
139 views

Curves whose stable reductions do not contain rational curves

Let $X$ be a smooth projective curve over $K:=K(A)$. $A$ is a strict henselian ring, $A/m=k=\bar k$. Suppose $\cal X$ is a stable model of $X$, ${\cal X}_{s}$ is the special fiber. My question is: ...
6
votes
2answers
480 views

questions on Néron-Tate canonical height

I have three questions regarding height pairings: In [Serre, Lectures on the Mordell-Weil theorem], p. 85 f., it is stated that the following function is a local height function: "Let $V/R$ be a ...
4
votes
0answers
229 views

On Stickelberger's Theorem over function fields

Here is the setup to Stickelberger's theorem over number fields (following Washington's book Intro. to cyclotomic fields). Let $M/\mathbb{Q}$ be a finite abelian extension with galois group $G$. ...
0
votes
1answer
194 views

surjectivity of rational points induced by surjective map from affine space

Let $k$ be a local field of char $0$ (which is the case I concern). Let $V$ be a variety defined over $k$ and let $f: \mathbb A^n\to V$ be a surjective map (over the algebraic closure of $k$) ...
3
votes
2answers
392 views

Moduli Space of Abelian Varieties with a N-torsion point

Does there exists (as scheme, or as some sort of stack) the moduli space of principally polarized Abelian Varieties together with a point of order $N$, for $N>1$ an integer? In the case of ...
1
vote
1answer
267 views

What is an automorphic representation of CM type ?

In a recent paper of BL-Gee-Geraghty: "Sato-Tate for Hilbert modular forms" (JAMS 2011), a theorem is proved for regular algebrai cuspidal automorphic representation of $GL_2(\mathbb A_F)$ with $F$ a ...
9
votes
2answers
659 views

On Grothendieck's period relations

Let $V$ be a smooth projective variety defined over $\mathbf{Q}$ and denote by $$ \omega: H_{dR}^*(V,\mathbf{Q})){\otimes_{\mathbf{Q}}}\mathbf{C}\rightarrow ...
13
votes
2answers
471 views

Existence of points on varieties which avoid a given number field.

Let C be a geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that $L \cap K' = K$, and $C(L) \neq ...
3
votes
1answer
2k views

How to make an approximation of path with polynom P(x,y)=0?

Hi. Imagine that a user draws on the canvas any path. I want to approximate this path with a path $P(x,y)=0$ where $P(x,y)$ - is unknown polynom. May be somebody can suggest an appropriate algorithm? ...
2
votes
0answers
299 views

The cohomology of the relative dualizing sheaf of a relative curve

Let $X\to S$ be a curve over $S=\mathrm{Spec} \ \mathbf{Z}$. Let $\omega$ be the relative dualizing sheaf of $X\to S$. Let $g$ be the genus of the generic fibre. Assume that $g\geq 2$. I know that ...
1
vote
0answers
156 views

stack quotient question

Hi, I have the following question: let $k$ a field with $char(k)= p>0$, which we can assume to be perfect, $W(k)$ the ring of Witt vector, and $a,b$ positive integers. Consider the ring ...
15
votes
1answer
696 views

On the Hasse-Weil L-function of $P^n$

So let us start with the "simplest" scheme over $Spec(\mathbf{Z})$ namely $X_0=Spec(\mathbf{Z})$. Then the (reciprocal) Weil zeta function of $X_0$ at a prime $p$ is given by $Z_p(T)=1-T$ (a ...
17
votes
1answer
715 views

Does smooth and proper over $\mathbb Z$ imply rational?

Does smooth and proper over $\mathbb Z$ imply rational? I think someone told me that this is a standard conjecture. Is it a widely held? held at all? Did someone in particular make this conjecture? ...
14
votes
3answers
1k views

Stacks in modern number theory/arithmetic geometry

Stacks, of varying kinds, appear in algebraic geometry whenever we have moduli problems, most famously the stacks of (marked) curves. But these seem to be to be very geometric in motivation, so I was ...
0
votes
1answer
130 views

Smooth quadric over p-adic integers

Let $k$ be a $p$-adic field with ring of integers $\mathcal{O}_K$ and residue field $\mathbb{F}$. Say I have a (projective) quadric $Q$ which is smooth over $\mathcal{O}_K$, such that the reduction ...
4
votes
0answers
227 views

Tate's theorem about abelian variteies in case of abelian scheme

For $k$ a finite field , $A,A'$ an abelian varieties over $k$, $G$ the Galois group of $k$, $l$ a prime number different from the characteristic of $k$ . Tate has proved that: $Q_l\otimes ...
1
vote
1answer
358 views

Elliptic subfields of a function field

Let $C$ be a curve and $K(C)$ be its function field of genus 2, where $K$ = $\mathbb{C}$. The number of essential elliptic subfields of $K(C)$ is 0 or 2 or $\infty$. Edit: I am looking for a proof. ...
2
votes
1answer
429 views

Conductor of an elliptic curve

Given any elliptic curve over $\mathbb{Q}$ of conductor $N$, by modularity of elliptic curves, there exists a surjective morphism from $X_0(N)$ $\rightarrow$ $E$.There may be several such 'N' and ...
10
votes
2answers
978 views

“Purely local” proof of local Langlands

As from this website http://math.uchicago.edu/~lxiao/workshop_site/ My question is: What does it mean by "purely local"? Also, I heard about this phrase "purely local" in other problems as well, ...
4
votes
1answer
305 views

Albert classification of rational endomorphism rings of simple Abelian varieties over finite fields

Recall the Albert classification of rational endomorphism rings with involution of simple Abelian varieties over arbitrary fields: Type I: totally real, trivial involution Type II and III: ...