Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 39304

Diophantine equations, rational points, abelian varieties, Arakelov theory, Iwasawa theory.

35 votes
Accepted

Crux of Dwork's proof of rationality of the zeta function?

There is an excellent book by Neal Koblitz "p-adic numbers, p-adic analysis and zeta-functions" were the Dwork's proof is stated in a very detailed way, including all preliminaries from p-adic analysi …
SashaP's user avatar
  • 7,377
12 votes
Accepted

Are "large enough" finite etale covers arithmetic?

Let's assume that $X$ admits a $K$-point $x$ and use the corresponding geometric point as the base point. The existence of a rational point is in fact necessary for a positive answer, as explained by …
SashaP's user avatar
  • 7,377
3 votes
Accepted

Weaker version of Dwork's rationality of zeta function, what is needed to beef up into a com...

Not quite an answer, but a heuristics from the point of view of Weil philosophy about why the rationality mod $p$ is much easier. Weil reduced the rationality of zeta-function to the existence of a g …
SashaP's user avatar
  • 7,377
5 votes
Accepted

Can Hodge symmetry fail if there is a lift to $W_2$ and the crystalline cohomology is torsio...

There are counterexamples (at least for some $p$) even if we assume that $X$ lifts all the way to a (non-algebraizable) formal scheme over $\mathbb{Z}_p$. See e.g. Theorem 4.1 in https://arxiv.org/pdf …
SashaP's user avatar
  • 7,377
6 votes
Accepted

Lifting a splitting of an Abelian variety to characteristic 0

$\newcommand{\cA}{\mathcal{A}}\newcommand{\cB}{\mathcal{B}}\newcommand{\bZ}{\mathbb{Z}}$No, that does not imply that $\cA$ splits over $R$. In fact, if $\cA_1=\cA\times_R R/p$ is isogenous to a produc …
SashaP's user avatar
  • 7,377
3 votes
Accepted

Functoriality of crystalline cohomology

Let's first figure out why the definition given in Berthelot-Ogus coincides with the one from the Stacks project. Unraveling the definition 5.8.3 we see that for a sheaf $G$ on $(Y/W)_{cris}$ the in …
SashaP's user avatar
  • 7,377
2 votes
Accepted

$p$-power torsion of semiabelian variety

$\newcommand{\Spec}{\mathrm{Spec}}\newcommand{\oL}{\overline{L}}\newcommand{\bG}{\mathbb{G}}\newcommand{\bZ}{\mathbb{Z}}\newcommand{\cL}{\mathcal{L}}$Not in general. The sequence of $p$-divisible grou …
SashaP's user avatar
  • 7,377
7 votes
1 answer
545 views

Does Chabauty-Coleman method give an algorithm for finding rational points?

Let $X$ be a curve of genus $g\geq 2$ over a number field $K$. If $\mathrm{rk} \,\mathrm{Jac}\, X$ is less than $g$ there is a $p$-adic method of bounding $\# X(K)$ due to Chabauty and Coleman (see ht …
SashaP's user avatar
  • 7,377
9 votes
Accepted

Some basic questions on crystalline cohomology

1)Yes, such decomposition follows from the fact that Frobenius on the de Rham-Witt differential forms acts in a way that slopes on $H^i(X, W\Omega^j)[1/p]$ are in the interval $[j,j+1)$. This forces t …
SashaP's user avatar
  • 7,377