The tag has no wiki summary.

learn more… | top users | synonyms

9
votes
0answers
161 views

Applications of $p$-adic Hodge theory

I am trying to learn $p$-adic Hodge theory. I found some materials explaining main theorems (or aspects) of the theory. However, I could not find references which explaining how to use the theory. ...
6
votes
1answer
178 views

Weil height of an Abelian Variety with everywhere (potentially) good reduction

Background: Suppose that $E$ is an elliptic curve over $\mathbb{Q}$ with everywhere (potentially) good reduction. there are many ways to define the height of $E$, and I will be concerned with the ...
3
votes
1answer
214 views

“Weight-mondoromy” for open varieties

Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy ...
5
votes
4answers
495 views

Good lecture notes/books on Jacobian of hyperelliptic curve

I want to understand what the Jacobian variety is from an algebraic (or arithmetic?) perspective. I want to know: What is the definition of the Jacobian? Widely know facts about it. Why the ...
7
votes
2answers
475 views

Adjoining torsion points from abelian varieties

Let $L/\mathbb{Q}$ be the field generated over $\mathbb{Q}$ by all of the (projective) coordinates of all of the torsion points of all abelian varieties defined over $\mathbb{Q}$. Is $L$ algebraically ...
28
votes
4answers
2k views

Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite. Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite? Here ...
1
vote
2answers
185 views

Computing the nonsingular projective model of a plane curve

Is there an implemented algorithm available in standard software systems (Sage, Magma, Macaulay, etc.) that will compute the nonsingular projective model of a plane curve over $\mathbb Q$?
2
votes
1answer
134 views

Trivial Weil-Châtelet group

Does there exist an elliptic curve over a number field $K$ such that $WC(E/K)\cong H^1(G_K, E)$ is trivial?
0
votes
1answer
191 views

The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity. That is, I am asking whether the number ...
5
votes
0answers
172 views

On a claim of Deligne about representations of Weil-Deligne groups

In Deligne's article 'Les constantes des equations fonctionelles des fonctions L' http://publications.ias.edu/sites/default/files/Number20.pdf, we find the following claim: Proposition 8.9 (ibid.): ...
1
vote
0answers
124 views

Are there good properties of the divided power completion map?

Let $Y \to X$ be a closed immersion of smooth schemes over, say, the ${\rm Spec}(\mathbb{Z}_p)$. The completion map $$X_{/Y}\to X$$ is an ind-closed immersion (sometimes called pseudo-closed ...
10
votes
2answers
279 views

Is there a proof of Warning's Second Theorem using p-adic cohomology?

Let $\mathbb{F}_q$ be a finite field, $n \in \mathbb{Z}^+$, and $f_1,\ldots,f_r \in \mathbb{F}_q[t_1,\ldots,t_n]$ with $\operatorname{deg}(f_i) = d_i$. Put $d = \sum_{i=1}^n d_i$ and suppose $d< ...
8
votes
2answers
420 views

Finite etale atlas for Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$. Does there exist a finite etale morphism $Y\to X$ with $Y$ a scheme? What if $X$ is an algebraic space ...
5
votes
0answers
102 views

Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind. Let $X$ be a smooth quasi-projective geometrically ...
2
votes
0answers
105 views

subschemes of abelian scheme over artinian basis

Let $R$ be an artinian thickening of a field $k$. Denote with $S=Spec(R)$. Let $A$ be an abelian scheme over $S$. Let $X$ be a closed, reduced, equidimensional subscheme of the special fiber $A_k$. I ...
8
votes
2answers
335 views

“Forms” of quadrics

The theory of Severi-Brauer varieties is well-known. Let $k$ be a (perfect) field. There may exist varieties not isomorphic to $\mathbf{P}^n$ over $k$, which are isomorphic to $\mathbf{P}^n$ over ...
0
votes
0answers
85 views

Computing a projection of a $p$-adic plane curve

Given a prime $p$ and a polynomial equation $f(x,y)=0$ with rational coefficients, I would like to obtain a precise description of the set of all numbers $y\in\mathbb Q_p$ such that the equation has a ...
3
votes
0answers
111 views

Singularities in mixed characteristic

Let $R$ be a regular local ring in mixed characteristic. Moreover, I assume that $R$ is the local ring of a point on a smooth $\mathbb Z_p$-scheme and that $R/pR$ is regular. ($\mathbb Z_p$ is the ...
0
votes
1answer
87 views

Action of $(\mathbb{Z}/2g\mathbb{Z})$ on quadratic forms on $\mathbb{Z}/2\mathbb{Z}$-vector space

Let $\mathbb{Z}/2\mathbb{Z}$ the 2 elements field, with additive notation. I need some clarifications on the relation between quadratic forms on a $\mathbb{Z}/2\mathbb{Z}$-vector space (say, of ...
5
votes
2answers
216 views

Are Anderson $T$-motives motives for the function field analogy?

this question is related to this one Geometry for Anderson's motives?, though the previous one doesn't answer exactly my question. Let $\mathbb{C}_{\infty}$ be the function field analog of ...
9
votes
1answer
565 views

Why is the section conjecture important?

As in the title, I want to know the reason for importance of the section conjecture. Of course, the statement of conjecture is important as itself, even I cannot fully grasp the soul of it. However, ...
12
votes
0answers
247 views

Artin L-function and Zeta function of twisted Dirac operator

If one thinks of a Frobenius as an element in the fundamental group of an arithmetic curve and of a Galois representation $\sigma$ as a flat connection on the curve, then the definition of the Artin ...
2
votes
2answers
254 views

Reference for Skinner-Urban on the Iwasawa main conjecture for $GL_2$

Does anyone know the existence of an expository paper or a report discussing the work of Skinner-Urban "The Iwasawa main conjecture for $GL_2$"? I am interested in partucular in the case of elliptic ...
3
votes
0answers
105 views

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers $\sqrt{A}$ and the integer $A$

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}= ...
8
votes
1answer
810 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 ...
4
votes
1answer
230 views

What is known about the Brauer group of an arithmetic surface?

Let $X$ be an arithmetic surface over $\mathbb{Z}$, that is we have $\pi: X\rightarrow Spec(\mathbb{Z})$, $X$ is integral, two-dimensional and regular and $\pi$ is projective and flat. What is known ...
1
vote
0answers
79 views

Points on the intersection of an affine quadric and cubic over a finite field

Are there absolute constants $N$ and $B$ such that the following is true? Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...
8
votes
1answer
200 views

Power operations and Lambda-structure-like lifts of Frobenius in $E_\infty$-geometry?

A $\Lambda$-structure on a commutative ring $R$ is a ring endomorphism wich restricts to the $p$-Frobenius homomorphism after localizing at $(p)$. One may think of this as a "flow" $\Phi \colon ...
0
votes
1answer
199 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 ...
2
votes
3answers
191 views

How to define the input of computable function or Turing machine over real numbers

Computation or computability over $\mathbb{N}$ can be extended to computation or computability over $\mathbb{R}$ or even computation or computability over $\mathbb{C}$.The following is a formal ...
1
vote
1answer
130 views

Compact subgroups of linear groups over nonarchimedean fields

Let $n \in \mathbb{N}$, $K$ a (nonarchimedean) local field, $\overline{K}$ its algebraic closure. Take a compact subgroup $G \leq \text{GL}_n(\overline{K})$. Must there be a finite extension $F$ of ...
3
votes
1answer
164 views

Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...
9
votes
1answer
308 views

Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...
10
votes
3answers
330 views

Circles avoiding rational points of height $\le h$

Q. Which origin-centered circles $C(r)$ (or spheres in dimension $d$) of radius $r < 1$ avoid all rational points of height $\le h$? A rational point is a point all of whose coordinates ...
4
votes
1answer
154 views

Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...
6
votes
1answer
214 views

Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
17
votes
0answers
469 views

function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...
1
vote
0answers
106 views

Interpretation of the Gross-Zagier formula for Green function

I am reading the paper of Gross and Zagier on heights of Heegner points and would like to check with the experts whether the following (meta?)mathematical statement makes sense. In the calculation of ...
4
votes
0answers
85 views

minimal conductors among elliptic curves with a fixed CM type

Let $K$ be a quadratic imaginary field. To simplify my life, let us assume that $K$ has class number one. Consider the following infinite set: $S_1:=$ $\{$ $E\subseteq\mathbf{P}^2(\mathbf{C})$ is an ...
1
vote
2answers
151 views

On the conductor of the Groessencharacter of a CM elliptic curve

Let $K$ be a quadratic imaginary field. Let $L$ be a number field which contains $K$ and let $E/L$ be an elliptic curve defined over $L$ with complex multiplication by $K$, i.e. such that ...
1
vote
0answers
102 views

Points with minimal height

Let $K$ be an algebraically number field and $$\phi : \mathbb P^n (K) \to \mathbb P^m (K)$$ a polynomial map, such that $\forall \alpha \in \mathbb P^n$, where $\alpha = [\alpha_0, \dots , \alpha_n]$, ...
0
votes
1answer
96 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
0answers
128 views

Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...
2
votes
2answers
381 views

Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$? Next ...
4
votes
0answers
107 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 ...
0
votes
2answers
204 views

Absolute Hodge implies Galois invariant?

Let $X$ be an Abelian variety defined over a number field $K$, suppose that it has a good reduction over a fine place $\mathfrak{p}$ of $K$. Let $G_{\mathfrak{p}}$ be the local Galois group for ...
6
votes
1answer
377 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
0answers
201 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 ...
3
votes
1answer
208 views

Specialization Map of family of abelian varieties

In Lang's Survey on Diophantine Geometry, page 40, he said the following: Let $F=k(Y)$ be a function field of variety $Y$ over the constant field $k$ and $X_F$ a non-singular projective variety over ...
1
vote
2answers
125 views

kernel of isogeny becomes constant after base change

Let $S = Spec(O_K)$ be the spectrum of the rings of integers of a number field $K$. Let $A/S \setminus T$ be an Abelian scheme over an open subscheme $S \setminus T \subseteq S$. Does the kernel of ...