# Tagged Questions

**8**

votes

**1**answer

748 views

### What is the arithmetic Nullstellensatz?

The only precise statement (coming from a reliable source) of the "arithmetic Nullstellensatz" I can find is in Gowers's book, stating that two polynomials with integral coefficients have the same ...

**6**

votes

**1**answer

209 views

### Rational points techniques on curves not using their Jacobian

Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...

**0**

votes

**0**answers

171 views

### Which of the Mochizuki's works are the most closely related to elliptic curves?

I'm very much interest about algebraic geometry and number theory along with cryptography, but I have a special interest about the elliptic curves. I have heard a lot of interesting things about ...

**4**

votes

**0**answers

157 views

### Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)

Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...

**5**

votes

**0**answers

114 views

### Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and ...

**0**

votes

**1**answer

177 views

### Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor.
And now we only consider the case that $C_0$ is irreducible as in ...

**8**

votes

**1**answer

274 views

### Tate-Shafarevich groups over finitely generated fields

Let $G$ be an algebraic group over a number field $k$. One defines the Tate-Shafarevich set of $G$ to be
$$Ш(k,G) = \ker\left(H^1(k,G) \to \prod_{v} H^1(k_v,G)\right),$$
where the product is over all ...

**2**

votes

**0**answers

55 views

### Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature.
To be more clear let me explain the example I have in mind.
Let ...

**1**

vote

**0**answers

68 views

### The minimum genus of a family of degree $12$ algebraic curves which comes from the resultant of two quartic polynomials

Let $f(t)$ be a rational normal cubic curve in $\mathbb{P}^3$ (it is not contained in any plane) and also we assume that this cubic curve passes through two points $(0,0,0)$ and $(1,0,0)$. By an easy ...

**7**

votes

**2**answers

370 views

### modular forms, invertible sheaves, and quotients

I'm very confused about some contradicatory statements, and I hope someone can help me clarify this.
Let $\Gamma$ be a congruence subgroup. It is well known that modular forms of weight $k$ for ...

**3**

votes

**0**answers

67 views

### Finding a divisor on a curve in a given linear equivalence class made with points over a “small” field

Suppose I have a curve $C$ defined over $\mathbb Q$ and a line bundle $\mathcal L$ on it,
also defined over $\mathbb Q$. I am interested in trying to find a (non-effective) divisor $D=\sum_i a_ip_i$ ...

**4**

votes

**1**answer

155 views

### Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve

Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...

**10**

votes

**1**answer

276 views

### K3 surfaces that correspond to rational points of elliptic curves

In his work on mirror symmetry (http://arxiv.org/pdf/alg-geom/9502005v2.pdf) Igor Dolgachev has considered families of K3 surfaces of Picard rank at least 19 with the base given by $X_0(n)^+$, the ...

**5**

votes

**1**answer

337 views

### Whats the prime-to-$p$ Etale fundamental group of the affine line minus two points over $\mathbb{F}_p$?

Background:
I've often heard that the fundamental group of $\mathbb{P}^1/\mathbb{Q}-\{0,1,\infty\}$ is extremely hard to understand. First of all, it has a surjective map to the galois group
...

**2**

votes

**1**answer

198 views

### Is the ordinary locus affine?

Let $p$ be a prime number and let $Y$ over $\mathbb F_p$ be a Siegel modular variety, with minimal compactification $X$. It is well known that $X^{\operatorname{ord}}$, the ordinary locus of $X$ is ...

**1**

vote

**1**answer

131 views

### Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...

**0**

votes

**0**answers

56 views

### Rank 2^n quadratic form with non trivial invariant e_n

I advise you to have a look this question of mine first
Rank four quadratic Form with non trivial discriminant in I(k)
From quadratic form theory its well known that for a field $k$ and the ...

**5**

votes

**1**answer

224 views

### Motivic L-function vs motivic zeta function

Let $M$ be a pure motive over a field $k$. Roughly speaking, the L-function of $M$ is the product over all primes $p$ of
$$L_p(M,s)=\det(I-Fr_p|_{M_\ell^I} N(p)^{-s})^{-1}$$
where $Fr_p$ is a ...

**10**

votes

**1**answer

398 views

### Newton polygons of modular polynomials

This is pretty much straightforward curiosity. Is there anything known about Newton polygons of classical modular polynomials (polynomial relations between $j(\tau)$ and $j(n\tau)$)? I understand that ...

**11**

votes

**1**answer

260 views

### Borel-Serre compactification of $\mathbb{H}^3 / SL_2(\mathcal{O}_K)$

Let $\mathbb{H}^3$ be the three-dimensional hyperbolic space. Let $K$ be an imaginary quadratic number field and $\mathcal{O}_K$ its ring of integers. Then $SL_2(\mathcal{O}_K)$ acts on $\mathbb{H}^3$ ...

**10**

votes

**3**answers

1k views

### Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example:
(a) For any projective curve $X$ satisfying certain ...

**0**

votes

**0**answers

421 views

### A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?

**4**

votes

**2**answers

278 views

### Time-line until the publicaton of Weil of “Numbers of solutions of equations in finite fields”

In "On the history of the Weil Conjectures" Dieudonné says:
"Appropriately enough, the story, as with so many problems in number theory, begins with Gauss...".
C. F. Gauss, Disquisitiones ...

**11**

votes

**0**answers

180 views

### What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?

I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that ...

**5**

votes

**1**answer

292 views

### Connection of Galois representation and arithmetic geometry

This is might be a dumb question. There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that ...

**2**

votes

**0**answers

96 views

### Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) ...

**3**

votes

**1**answer

159 views

### Regular singularities and the infinitesimal site

Suppose I have a smooth non-proper algebraic variety $X/\mathbb{C}$.
A vector bundle with flat connection (``differential equation'') on $X$ extends, as was noted by Grothendieck, to a coherent ...

**0**

votes

**1**answer

94 views

### rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...

**1**

vote

**2**answers

296 views

### Non-hyperelliptic curves of genus at least two

A hyperelliptic curve can be understood as the set of points satisfying an equation of the form
$$\displaystyle z^2 = f(x,y),$$
where $f(x,y)$ is a binary form of degree $d = 2g+2$. In this case, $g$ ...

**4**

votes

**0**answers

96 views

### Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...

**15**

votes

**0**answers

294 views

### $\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that
$M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$
and $\zeta(n)$, ...

**6**

votes

**1**answer

348 views

### Elliptic curve and Galois representation

For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by
$\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = ...

**2**

votes

**0**answers

190 views

### vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime.
Are there vanishing results for ...

**4**

votes

**1**answer

439 views

### A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...

**1**

vote

**1**answer

165 views

### Some questions related to Iwasawa invariants of elliptic curves

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$.
Let $\mathbb{Z}_{p}$ denote the ring of $p$-adic integers, and $\mathbb{Q}^{cyc}$ be the ...

**2**

votes

**2**answers

286 views

### Local factors of Hasse-Weil zeta function - what do they have in common?

Let $X$ be a regular scheme, flat and of finite type over $Spec(\mathbb{Z})$ (add "projective" if you want). Then the Hasse-Weil zeta function of $X$ is defined as a product over all prime numbers of ...

**12**

votes

**1**answer

494 views

### Curves on K3 and modular forms

The paper of Bryan and Leung "The enumerative geometry of $K3$ surfaces and modular forms" provides the following formula. Let $S$ be a $K3$ surface and $C$ be a holomorphic curve in $S$ representing ...

**18**

votes

**0**answers

314 views

### Bounding failures of the integral Hodge and Tate conjectures

It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...

**1**

vote

**0**answers

208 views

### Where can I find the article of A. Borel: “Values of zeta-functions at integers, cohomology and polylogarithms”? [closed]

Where on the internet can I find this article?
I know that it is in this book: Current trends in mathematics and physics, Narosa, New Delhi, 1995.

**8**

votes

**2**answers

414 views

### is there a p-adic Borel theorem?

Let $F$ be a number field. Denote, as usual, $\mathcal{O}_F$ the ring of integers and $r_1$, $r_2$ the number of real and complex embeddings. Let $\zeta_F(s)$ be the Dedekind zeta function of $F$. ...

**8**

votes

**1**answer

353 views

### Variant of Hilbert 90 for Galois extensions

Let $K/\mathbb F_q(x)$ be a finite Galois extension with Galois group $G$. Let $Aut(K)$ be the group of $\mathbb F_q$-automorphisms of $K$.
Obviously, $G\subseteq Aut(K)$. It is well known that
...

**6**

votes

**1**answer

320 views

### Serre's 1987 letter to Tate about mod p modular forms

In what follows, we have a level $N \geq 3$, and the modular curve $X(N)$, and the invertible sheaf $\omega$ on $X(N)$ such that the global sections of $\omega^{\otimes k}$ correspond to modular forms ...

**3**

votes

**1**answer

156 views

### Galois representation attached to $3$-torsion points of an elliptic curve

Let
$ E $ - Elliptic curve defined over $ {\mathbb{Q}} $.
$G_{\mathbb{Q}}$ - The absolute Galois group, $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) $ of $\mathbb{Q}$.
$ E[3] $ - $3$-torsion points ...

**10**

votes

**1**answer

219 views

### What is our current knowledge on the structure of J_0(N)(Q) and J_1(N)(Q)

The question in the title naturally breaks up in two parts, namely the torsion part and the rank part. I already read about some results on both the torsion and the rank part. And I want to know ...

**10**

votes

**0**answers

154 views

### Degeneration of etale Hochschild--Serre exact sequence

Let $k$ be a field, $X$ a smooth $K$-variety and $\ell$ a prime not dividing the characteristic of $K$.
Then one can make sense of continuous $\ell$-adic etale cohomology (in the sense of Jannsen), ...

**1**

vote

**0**answers

153 views

### Reference for Local class field theory via witt vectors

I would like to find some books or lecture notes on geometric local class field theory via Witt vectors. I can't find any good paper on this subject.All approaches in the books to local class field ...

**8**

votes

**3**answers

266 views

### Quadratic twist of curve defined over finite field

I was reading the paper on "curves of every genus with many points II" by: Elkies, Howe, et al. And some of the terms are not clear to me. Is there any elaborate exposition on these stuffs?
In ...

**3**

votes

**0**answers

102 views

### Lattice with trivial spinor norm

Let $\Lambda$ be a non-degenerate lattice (over $\mathbb{Z}$) with quadratic form $q$. I define the spinor norm $\theta \colon O(\Lambda_\mathbb{R} )\to \lbrace\pm 1\rbrace$ as follows:
For a ...

**9**

votes

**1**answer

262 views

### Motives over finite field not generated by hyperelliptic curves

So the question is that, over a finite field, does there exist an abelian variety $A$ for which there does not exist a generically one-to-one morphism from a hyperelliptic curve $C$ to $A$.
p.s. A ...

**3**

votes

**2**answers

136 views

### Main conjecture for elliptic curves invariant under a $\mathbb{Q}$-isogeny

Suppose $E$ is an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at a prime $p$. Then one can define nonnegative integers $ \lambda_{E}^{alg} $, $ \mu_{E}^{alg} $, $ ...