The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
1answer
145 views

Dimension of family of hyperelliptic curves

Suppose we have an elliptic curve E with a point $P$ of order $5$ over a field of characteristic $0$. Denote $E'$ the curve $E/\langle P\rangle$. Now let $x$ (resp. $x'$) be a function on $E$ (resp. ...
2
votes
1answer
67 views

Hilbert modular forms and Hecke operators over Q

Let F be a totally real field. We know that we can define a Hecke operator $T_\mathfrak{m}$ on the space of Hilbert modular forms over $F$, say with some level structure, for any ideal $\mathfrak{m}$ ...
0
votes
1answer
77 views

Project point from larger box to smaller box

I have two boxes as follows: http://i.imgur.com/D0c5Cr7.png I'm trying to take any point from the larger box and find its corresponding location in the smaller box. Basically, the larger box is a ...
19
votes
0answers
309 views

Tate conjecture for Fermat varieties

I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture ...
12
votes
0answers
167 views

What is Spec of the Adeles?

Let $K$ be a global field and $A_K$ the ring of adeles. What are the prime ideals of $A_K$? I have been told that a full proof of this is quite subtle, but have been unable to find a reference ...
10
votes
0answers
210 views

Prop. 3.2.15 in Liu: Geometrically reduced algebraic variety

I have a problem with proposition 3.2.15 of Algebraic geometry and arithmetic curves of Qing Liu: Let $X$ be an integral algebraic variety over $k$. If $X$ is geometrically reduced then $K(X)$ is a ...
10
votes
0answers
256 views

Self-Intersection Number $-2$

I am new here, but hopefully you can help me with a concrete problem I have. I try to compute a Self-Intersection Number of a constructed curve in an analytic surface. I know the answer by some ...
7
votes
0answers
212 views

Do Neron models of hyperbolic curves exist

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$. Does there exist a Neron model $\mathcal X$ for $X$ over $O_K$? By a Neron model, I mean ...
6
votes
0answers
66 views

Do K3 surfaces with an Enriques involution have a polarization of bounded degree

Does there exists a real number $C$ with the following property. For any Enriques surface $E$ over a number field $K$ with K3 cover $X\to E$, there exists an ample divisor $H$ on $X$ such that $H^2 ...
5
votes
0answers
112 views

Why should automorphism groups of compact hyperbolic curves be finite

Let $X$ be a compact connected Riemann surface of genus at least two, or let $X$ be a smooth projective connected curve over an algebraically closed field of characateristic zero. Then Hurwitz proved ...
4
votes
0answers
78 views

Computing a contraction of an exceptional divisor.

For a few days, I have been working on the following problem, from Qing Liu's book: Let $\mathcal{O_K}$ be a discrete valuation ring with uniformizing parameter t and residue characteristic $\neq ...
4
votes
0answers
133 views

If $X\times C$ is isomorphic to $Y\times C$, does it follow that $X$ is isomorphic to $Y$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be ...
4
votes
0answers
94 views

Curve - non singular curve and its genus

Help me please with this problem:$ X \subset \mathbb{P}^{2}$ defined as $x^{3}y+y^{3}z+z^{3}x=0$ 1.Prove X - non singular curve and find its genus. 2.Prove X - maximal curve over $F_{8}$ field, and ...
4
votes
0answers
95 views

On local rings of a normalization

Let X an irreducible singular curve with a singular point $x$. Consider $A$, the normalization of $\mathcal{O}_{X,x}$, and $x_1,\dots,x_r$ the points over $x$ in the normalization of $X$. Why $A\cong ...
4
votes
0answers
84 views

find valuations

consider $f(x)=x^4+5x^3+1$. Let $\alpha$ be a root of this polynomial and consider $K=\mathbb{Q}(\alpha)$. Which are the absolute values on $K$ extending the usual absolute values on $\mathbb{Q}$? Are ...
3
votes
0answers
54 views

étale cohomology of valuation rings

Let $S$ be the spectrum of a discrete valuation ring (we can assume complete or henselian if necessary). Is it true that the étale cohomology group $H_{et}^2(S,\mathbb{Z})$ is zero?If not in general ...
3
votes
0answers
46 views

What are the easiest surfaces of general type

The "easiest type" of curves of general type are those of genus two. In this case $\chi(X,\mathcal O_X) = -1$ and $\deg K = 2$, where $K$ is the canonical sheaf. I'm a bit lost when it comes to ...
3
votes
0answers
50 views

Is there a construction known for associating a K3 surface to a curve or cover of curves

Let $X$ be a curve of genus at least two. Then one can associate an abelian variety to $X$; this is the Jacobian. Let $X\to Y$ be a double cover of curves. Then we can associate an abelian variety to ...
3
votes
0answers
58 views

What applications does the theory of fibered surfaces have

Let $C$ be a smooth projective connected curve over $\mathbf{C}$. Let $X$ be a curve over the function field of $C$. Arakelov and Parshin proved the Mordell conjecture by considering a model for $X$ ...
3
votes
0answers
72 views

Does composing the Frobenius with an automorphism give another Frobenius

Let $X_0$ be a variety over $\mathbf{F}_q$. Consider the Frobenius $F_0:X_0\to X_0$. Let $X= X_0\times \bar{\mathbf{F}_q}$ and let $F:X\to X$ be $F_0 \times \textrm{id}$. Let $f:X\to X$ be an ...
3
votes
0answers
162 views

Minimal resolution of singularities of Fermat curve

Fix a prime number $p$. Let $F$ be the geometrically connected Fermat curve of exponent $p$ over a number field $K$, i.e., $F$ is given by the equation $x^p+y^p = z^p$. Consider the same equation ...
3
votes
0answers
102 views

places valuations and so on

I am looking for complete references on places, valuations and so on. In particular I need to understand the meaning of "a finite place does not divide a prime number $\ell$" and what is the Frobenius ...
2
votes
0answers
26 views

The characteristic polynomial of Frobenius of an RM curve

Let $C$ be a genus two curve over $\mathbb{Q}$. We can reduce $C$ modulo a prime $p$ to obtain a curve $\bar{C}$ over $\mathbb{F}_p$. By counting points of $\bar{C}$ over $\mathbb{F}_p$ and ...
2
votes
0answers
30 views

Etale cohomology and restricted direct product

[migrated to mathoverflow: http://mathoverflow.net/questions/161734/etale-cohomology-and-restricted-direct-product] $\newcommand{\h}{\operatorname{H}}$ Let $k$ be a global field, $A$ an abelian ...
2
votes
0answers
44 views

Elliptic curve which attains potential good reduction over an Artin-Schreier extension.

I am looking for an elliptic curve $E$ over the field $\overline{\mathbb{F}_{p}}((t))$, which attains good reduction over an Artin-Schreier extension of $\overline{\mathbb{F}_{p}}((t))$, i.e.: an ...
2
votes
0answers
72 views

Pole of differential

Let $E : y^2 = x^3 + ax + b$ be an elliptic curve over the field $K$, char $K \ne 0$. We know that the differential $\omega = \frac{dx}{y}$ is holomorphic in infinity because we can write it as ...
2
votes
0answers
98 views

Do K3-surfaces have Weierstrass equations

I've been wondering a bit about K3-surfaces and their analogy to elliptic curves. I've just started so this might be a very silly question. Do all K3-surfaces have a Weierstrass equation (up to ...
2
votes
0answers
52 views

What are the branch points of $X(n)\to X(1)$

Let $\Gamma \subset \mathrm{SL}_2(\mathbf{Z})$ be a finite index subgroup. Let $X_\Gamma \to X(1)$ be the corresponding morphism of compact connected Riemann surfaces (obtained by adding the cusps). ...
2
votes
0answers
73 views

Is the degree of a Galois morphism bounded by $84(g-1)$

Let $X\to Y$ be a finite morphism which is Galois in the category of smooth projective connected curves over $\mathbf{C}$. Assume $g=g(X) \geq 2$. Is the degree of $X\to Y$ bounded by $84(g-1)$? I ...
2
votes
0answers
106 views

Why is the trace map on an abelian variety continuous

Let $X$ be a (EDIT) variety with a group structure. For $a\in A$, let $t_a$ be the translation on $X$: $t_a(x) = a+x$. Why is the function $f:X\to \mathbf{C}$ given by $$f(a) = \sum_{i} (-1)^i ...
2
votes
0answers
113 views

Primitive nth roots of unity and moduli of elliptic curves

In various descriptions of the moduli space of elliptic curves with level structures, such as the description of $X_0(N)$ being defined over $Spec\ \mathbb{Z}[1/N]$, the primitive $N^{th}$ roots of ...
1
vote
0answers
12 views

Jacobi Form and its Fourier expansion

Let k,m be non negative integers. A Jacobi form of weight k and index m is a holomorphic function f on $\mathbb{H} x \mathbb{C}$ (where $\mathbb{H}$ denotes the upper half plane) satisfying the ...
1
vote
0answers
55 views

Galois invariant of Tate twists

let $k$ be the maximal extension of $\mathbb{Q}$ unramified outside a set $T$ of primes in $\mathbb{Z}$. Take a $p\in T$ and set $G=Gal(k/\mathbb{Q})$. I would like to now if there is a classical ...
1
vote
0answers
43 views

glueing formal sheaves to obtain a maximal ideal

consider $S=Spec(\mathbb{C}[t])$ and $C\rightarrow S$ a family of proper curves with $C_{\mathbb{C}[t,t^{-1}]}$ smooth and $C_{t=0}$ nodal given by 2 irreducible components $C_1,C_2$ that intersect ...
1
vote
0answers
47 views

Are there moduli spaces of higher-dimensional varieties

In short, the answer to the question is yes. I'm aware of the existence of moduli spaces for canonically polarized varieties with fixed Hilbert polynomial over $\mathbf C$. I think they require the ...
1
vote
0answers
41 views

CAS for counting points of varieties over finite fields

I am looking for a computer algebra system, which is able to some of the following (in theory equivalent) things for a smooth projective variety defined over a finite field: -Count the number of ...
1
vote
0answers
68 views

invert Grothendieck spectral sequence

I have 4 topoi $A,B,C,D$ (these are associated to abelian sheaves on some sites) and functors (which corresponds to some push-forward of sheaves) $F: A\rightarrow B$ $G: B \rightarrow C $ $H: A ...
1
vote
0answers
147 views

units in discrete valuation rings

Let $B/A$ be an extension of discrete valuation rings such that the purely inseparable extension of residue fields $l/k$ has a primitive element, i.e., $l=k(y)$ for some element $y$ in $l$. I want to ...
0
votes
0answers
32 views

Galois representation associated to a number field

I think I'm missing something completely trivial. I want to know how to compute the Galois representation associated to an extension of $p$-adic fields. Let $p$ and $q$ be odd prime numbers. Fix ...
0
votes
0answers
27 views

why complitcated construction of PD-defferential operator in Berthelot and Ogus's book

In the book " Notes on Crystalline Cohomology" by P. Berthelot and A. Ogus, they introduced the cencept of PD-defferential operators in a complicate way, i.e. using dividied power hull. However if I ...
0
votes
0answers
94 views

A question in Chapter III.4 of Dino Lorenzini's “An Invitation to Arithmetic Geometry”

Question 1 I am studying in the book "An Invitation to Arithmetic Geometry" by Prof. Dino Lorenzini. In Chapter III Section 4, we consider the following condition: Let $A$ be a Dedekind domain ...
0
votes
0answers
127 views

What is the Hurwitz number of an elliptic curve

One can associate a Hurwitz number to any rational function $f:X\to \mathbf{P}^1$ on a compact connected Riemann surface $X$ which ramifies over precisely FOUR points. Suppose that $X$ is an elliptic ...
0
votes
0answers
73 views

What is the moduli space of smooth AFFINE curves of given genus

It is interesting to study the moduli space $M_g$ of smooth projective curves of genus $g$. Why not smooth affine curves of genus $g$?
0
votes
0answers
170 views

a question on the Poincaré bundle

Let $C$ be a smooth curve. Letting $J$ be its Jacobian, consider the Poincaré bundle $\mathcal P$ on $J\times J$. Let $p: J\times J\rightarrow J$ be the projection. How can I compute the complex $R ...
0
votes
0answers
60 views

extend a morphism knowing it on etale covering

Let $S$ be a separated scheme. Let $U,J$ be separated schemes over $S$. Assume we can construct, after etale base change $T\rightarrow S$, a map $U_T\rightarrow J_T$ (the sub-T indicates the pulled ...
0
votes
0answers
136 views

Normalization of a node

how it is described the normalization of $Spec(k[[x,y]]/(xy))$? In particular call this $N$. Why $N$ can be written as the inersection of 2 local rings and the same holds for the maximal ideal (with 2 ...