The tag has no wiki summary.

learn more… | top users | synonyms

21
votes
0answers
416 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 ...
16
votes
0answers
247 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 ...
15
votes
0answers
150 views

Why are period integrals naïve periods?

Apologies for the long question. I recall the definition of a (naïve) period according to Kontsevitch and Zagier [KS]: A (naïve) period is a complex number whose real and imaginary parts are ...
11
votes
0answers
244 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
370 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
227 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 ...
4
votes
0answers
80 views

Contraction of curves on a surface and stalks

Let $$f:X \rightarrow S$$ be a fibered surface over a Dedekind scheme of dimension $1.$ Let $$s_1, \ldots, s_n$$ be closed points of S and $\{E_{ij}\}$ irreducible vertical divisors of $X$ with ...
4
votes
0answers
51 views

When does a variety have a point over a finite field for sufficiently large primes p?

Let $X$ be an algebraic variety over the rational numbers. Suppose that $X$ has positive dimension. I would like to say that $X(\mathbb{F}_p)$ is non-empty for sufficiently large primes $p$. One idea ...
4
votes
0answers
110 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
140 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
95 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
110 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
92 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
37 views

trivialising cover for etale morphisms

Let $f:Y \to X$ be a finite etale morphism of smooth and proper schemes over a field $k$ (not necessarily sep closed). Is there a geometrically connected etale cover $\{U_i\}$ of $X$ which ...
3
votes
0answers
62 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
52 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
57 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
64 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
80 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
114 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 ...
3
votes
0answers
175 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
107 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
66 views

Understanding the Falting's Theorem

I'm an undergraduate student of mathematics, but soon I'll graduate, and as a personal project I want to understand Falting's Theorem, specifically I want to understand Falting's proof; but yet I have ...
2
votes
0answers
69 views

Witt vector question

I've started reading various papers and notes on Schemes over the Witt Vectors. In example 8.8 of these: https://www.uni-due.de/~mat903/books/esvibuch.pdf W2 has addition defined as $k \oplus k\cdot ...
2
votes
0answers
113 views

What would be the most rigorous book to stydy algebraic geometry and arithmetic curves on my own?

I would like to study algebraic geometry and arithmetic curves on my own but are there suggestions where to start? Namely, I like very rigorous way to do mathematics and I was suggested Liu's book ...
2
votes
0answers
83 views

Deep questions in number theory not accessible by combinatorial results

Number theory and arithmetic geometry were invented to solve many questions about properties of numbers. What are the some of the foundational results or estimates that are accessible to powerful ...
2
votes
0answers
25 views

another representation of the zeta function of a curve over a finite field

Let $C$ be a non-singular curve over $\mathbb{F}_q$. Denote by $d$ the degree map from the group of divisors to $\mathbb{Z}$ and denote by $P$ the set of prime divisors w.r.t. to the function field. ...
2
votes
0answers
51 views

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers and the integer

As we know,$\sqrt{2} = [1;2,2,2,2,…]$; while $\sqrt{14}= [3;1,2,1,6,1,2,1,6…]$,let $L$ the length of period of simple continued fraction expansion of quadratic algebraic numbers be the number of ...
2
votes
0answers
32 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
37 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
53 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
78 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
113 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
57 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
79 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
117 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
11 views

Extension of a complete discrete valuation ring

My question came when I was reading the famous Tate's paper on $p$-divisible groups. At the beginning of chapter $(2.4)$ he cites this fact as obvious. If you take a complete discrete valuation ring ...
1
vote
0answers
17 views

Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and ...
1
vote
0answers
27 views

Explicit value of $\overline{\mathcal{O}}_{\mathbb{P}^1(\mathbb{Z})}(1).\overline{\mathcal{O}}_{\mathbb{P}^1(\mathbb{Z})}(1) $

Let us consider the Fubini-Study metric on the part at infinity of the line bundle $\mathcal{O}_{\mathbb{P}^1(\mathbb{Z})}(1)$ to obtain the Hermitian line bundle ...
1
vote
0answers
44 views

Rational points and resolution of singularities

Suppose $X$ is an algebraic variety over a field $F$ of characteristic 0. By resolution of singularities, there is a nonsingular variety $Y$ over $F$ with a proper birational morphism $Y \rightarrow ...
1
vote
0answers
67 views

Component Group Neron Model Elliptic Curve Cyclic

I'm studying the chapter on Neron Models in Silverman's book "Advanced Topics in the Arithmetic of Elliptic Curves" at the moment, and I do not quite understand why in the split multiplicative case, ...
1
vote
0answers
38 views

$p$-divisible group of tori

I am looking for a reference of the following question which should be well known. Let $k$ be any field and $T$ an algebraic torus over $k$ which is not necessarily split. Let $T(l)$ be the ...
1
vote
0answers
38 views

Are there any linkage or transformation between some period transcendental numbers and algebraic irrational numbers?

Are there any linkage or transformation by combination of integral and algebraic function like in the definition of period number between some period transcendental numbers and algebraic irrational ...
1
vote
0answers
23 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
57 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
48 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
49 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
43 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
75 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
161 views

Normalization of a node

How do you describe the normalization of $\mathrm{Spec}(k[[x,y]]/(xy))$? In particular, call this $N$. Why can $N$ be written as the intersection of 2 local rings and the same holds for the maximal ...