The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
68 views

Reduction map on torsion of elliptic curves

Let $E$ be an elliptic curve over $\mathbb{Q}$ with good reduction at a prime $p$. It is well-known that the map $$E[N]\to E_p[N]$$ is injective when $p\nmid N$. It is even a bijection since both ...
4
votes
1answer
136 views

Group law for an elliptic curve using schemes

I was trying to understand better the definition of the group law for an elliptic curve given in Katz and Mazur's book ...
2
votes
1answer
64 views

hasse principle for a number field

I am a little bit of a learner in number theory/arithmetic geometry, so feel free to redirect this question to math.stackexchange if necessary. The question is the following: I know the Hasse ...
5
votes
2answers
97 views

How does $\text{Gal}(L/K)$ act on the automorphism group of an elliptic curve?

Let $L/K$ be a finite Galois extension of number fields; I'm interested mainly in the case $K = \Bbb{Q}$ and $L= \Bbb{Q}(\sqrt{d})$. Let $X$ be an elliptic curve over $K$ and $\text{Aut}(X_L)$ the ...
2
votes
0answers
36 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 ...
4
votes
1answer
2k views

What is the status of the purported proof of the ABC conjecture?

Back in August 2012, Japanese mathematician Shinichi Mochizuki announced a proof of the abc conjecture using Inter-universal Teichmüller Theory. What has been the status of his proof? Has there been ...
0
votes
1answer
41 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 ...
2
votes
0answers
38 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
1answer
112 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}$ ...
2
votes
0answers
55 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 ...
6
votes
1answer
179 views

How should I think about Ihara's Lemma?

I am trying to learn about Ihara's lemma because I see it mentioned in many papers in arithmetic geometry. To be more precise, I would like to know: What is the significance of this result? Why is ...
3
votes
1answer
42 views

Size of automorphism group of element of $Y_0(5)$

The modular curve $Y_0(5)$ parametrizes elliptic curves $E$ with an isogeny of degree five. So an element of $Y_0(5)$ can be interpreted as $E \xrightarrow{\phi} E'$. Suppose we are working over a ...
31
votes
1answer
847 views

Has SGA 4$\frac 1 2$ been typeset in TeX?

The title says it all. I've CW'd the question since I'm answering it - this seemed like the best way to get the news out.
0
votes
1answer
54 views

Tate module of linear algebraic group

Let $G$ be a (smooth, connected, geometrically integral) commutative linear algebraic group over $\mathbf F_q$. Just as for abelian varieties, we can define the $\ell$-adic Tate module $$ T_\ell G ...
4
votes
1answer
87 views

Etale cohomology and algebraic closure

$\DeclareMathOperator{\h}{H}$Apologies in advance if this is overly stupid. Let $k$ be a field and $X$ a variety over $k$. Let $n$ be an integer which is invertible in $k$. One often looks at the ...
3
votes
2answers
63 views

Non-iterative solution for $(a + nb)\mod c < d$

With the given parameters $a$, $b$, $c$, and $d$ I'm looking for a solution of the formula $(a + nb)\mod c < d$. The smallest positive $n$ is the value I want to determine. I can easily solve ...
3
votes
2answers
63 views

Infinite family of genus one non-elliptic curves over the rationals

How easy is it to write down genus one curves over $\mathbf Q$ without a rational point? Can we write down an infinite family?
3
votes
1answer
178 views

Arithmetic and Geometric Mean Inequality

Use the AM - GM inequality (no other method is acceptable), to prove that for all positive integers $n$: $$\left(1 +\dfrac{1}{n}\right)^n \leq \left(1 + \dfrac{1}{n+1}\right)^{n+1}$$ I see that it ...
23
votes
1answer
386 views

Intuition for Class Numbers

So I've been thinking about the analytic class number formula lately, and class numbers in general and I'm trying to develop a good intuition for them. My basic question, which may be too ...
8
votes
1answer
154 views

Geometric intuition behind the Hasse principle

Let $f(X,Y) \in \mathbb{Q}[X,Y]$ be a quadratic polynomial. The Hasse-Minkowski theorem says that $f(X,Y) = 0$ has a solution $(x,y) \in \mathbb{Q}^2$ iff it has a solution in $\mathbb{R}^2$ and ...
10
votes
2answers
546 views

Some basic examples of étale fundamental groups

I'm trying to get a better understanding of étale fundamental groups, and I think that the overall idea -- the big picture -- is beginning to become clear, but my computational ability seems to be ...
1
vote
1answer
177 views

State of the art in arithmetic moduli of elliptic curves?

In trying to get into the topic of moduli spaces of elliptic curves, the following question arises: What is the state of the art in the topic right now? Deligne and Rapoport describes how the ...
7
votes
1answer
168 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. ...
3
votes
1answer
108 views

Krull's intersection theorem in the q-expansion principle

I'm currently reading the proof of the q-expansion principle in Katz'73 paper "p-adic properties of modular schemes and modular forms" . The principle itself is a Corollary (1.6.2) of Theorem 1.6.1, ...
8
votes
1answer
119 views

Existence of smooth elliptic curves with complex multiplication

this is my first question ever on a platform like this so please forgive me any kind of unintended misbehaving. In Kudla, Rapoport and Yang "On the derivative of an Eisenstein series of weight one" ...
10
votes
1answer
274 views

Primes of ramification index 1 with inseparable residue field extension

I've been reading through Neukirch's Algebraic Number Theory, and I'm a little puzzled about a possibility with ramification of primes. As usual, let $\mathcal{O}_K$ be a Dedekind domain with field ...
5
votes
1answer
78 views

Problems on showing that a reduction map is defined, and that a certain scheme is finite.

I am currently on the last chapters in Liu's book and I am trying to solve the following problem, which is the first step in showing that a certian reduction map is well-defined: Let $X \rightarrow T$ ...
1
vote
1answer
76 views

On an openess property

Let $S=Spec(A)$ where $A$ is a noetherian integral domain. Let $f:X\rightarrow S$ be a flat, proper morphism of schemes. Let $U\subset X$ be an open and $V=f(U)$ (in particular $V$ is open by ...
11
votes
1answer
490 views

what is a “dévissage” argument?

In Serre's "Local Fields" (Chapter 2, section 2, proposition 3) he proves something about field extensions which he breaks into parts: first he dealt with the separable case, and then with the ...
4
votes
0answers
116 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 ...
2
votes
1answer
43 views

Extend maps between etale groups

Let $V$ be a discrete valuation ring, $S=\operatorname{Spec}(V)$ and $\eta$ (resp. $s$) be the generic (resp. closed) point of $S$. Let $G$ and $H$ be flat group schemes over $S$ and assume I know ...
3
votes
0answers
64 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 ...
8
votes
2answers
172 views

Completion along zero section of an elliptic curve.

I am trying to understand the intuition that I should have about the formal group of an elliptic curve. Say that I have an elliptic curve $E\to \text{Spec} R$ for some ring $R$, with section $0\colon ...
17
votes
0answers
271 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 ...
5
votes
1answer
236 views

Degree of a Cartier Divisor under pullback

This is question 7.2.3 in Liu's book Algebraic Geometry and Arithmetic Curves and I have been trying with this for some time now. Let $f:X \rightarrow Y$ be a morphism of Noetherian schemes, and ...
11
votes
0answers
254 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 ...
3
votes
1answer
91 views

Is the height associated to a degree zero divisor always bounded?

Let $X$ be a smooth, projective, geometrically irreducible curve defined over a number field, and let $D$ a divisor on $X$. To these data, we can associate a height function on the ...
2
votes
0answers
79 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 ...
8
votes
1answer
131 views

Varieties with the property that the cotangent bundle restricted to a complete nonsingular curve is free

Let $X$ be a $d$-dimensional smooth projective connected variety with cotangent sheaf $\Omega^1_X$ over $\mathbb C$. Suppose that for any nonsingular complete curve $C$ and non-constant morphism ...
9
votes
2answers
252 views

Intuitively, what is the height of a point on an abelian variety?

I have been reading through Silverman's classic text on elliptic curves and I just can't seem to wrap my head around the height functions. It just kind of shows up. What exactly does the height ...
6
votes
1answer
271 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...
7
votes
2answers
194 views

Are endomorphisms of degree one always automorphisms

Let $B$ be a smooth projective connected variety over $\mathbb C$. Let $\sigma:B\to B$ be an endomorphism of degree one. Do I understand correctly that $\sigma$ is an automorphism? I believe this ...
8
votes
1answer
265 views

Why do varieties with torsion canonical sheaf have finite etale covers with trivial canonical sheaf

Let $B$ be a variety with torsion canonical sheaf, i.e., $\omega^{\otimes n}_B \cong \mathcal O_B$ for some $n>0$. Then, why does there exist a finite (etale?) morphism $X\to B$ such that $K_X$ is ...
11
votes
2answers
193 views

Families of curves over number fields

Is there known a number field $K$ and a curve $F(x, y) \in K(t)[x, y]$ such that $F(x, y)$ does not have points over the field of rational functions $K(t)$ but for all but finitely many positive ...
7
votes
1answer
148 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 ...
3
votes
1answer
51 views

Does this diagram of Chern classes and push forwards commute

Let $p:Y\to X$ be a birational proper surjective morphism of regular surfaces, and let $D$ be a divisor on $Y$ such that $p(D)$ is a point. Then $p_\ast D =0$ by definition. Is there an easy way to ...
3
votes
1answer
93 views

Formula for index of $\Gamma_1(n)$ in SL$_2(\mathbf Z)$

Is there a precise formula for the index of the congruence group $\Gamma_1(n)$ in SL$_2(\mathbf Z)$? I couldn't find it in Diamond and Shurman, and neither could I find an explicit formula with a ...
1
vote
0answers
58 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 ...
10
votes
1answer
483 views

Why $p$-adically interpolate?

I'm studying $p$-adic analysis now and particularly $p$-adic interpolation; for example, constructions like $p$-adic $L$-functions (Kubota-Leopoldt style). I'm having some difficulty though, and I'd ...
3
votes
1answer
107 views

Torsors under elliptic curves splitting over the same fields

I have a question somewhat related to my last question. Suppose $C$ and $C'$ are two genus $1$ curves (smooth, projective, geom conn.) over a perfect field $k$ with no $k$-rational points and that $C$ ...