All Questions
2,494 questions
8
votes
3
answers
570
views
Variations on a theme of O'Bryant, Cooper and Eichhorn concerning power series over $\mathbb Z/2\mathbb Z$
Define 2 power series over the field $\mathbb Z/2\mathbb Z$ by $f=1+x+x^3+x^6+\dots$, the exponents being the triangular numbers, and $g=1+x+x^4+x^9+\dots$, the exponents being the squares. Write $f/g$...
- 5,422
2
votes
1
answer
510
views
hyperalgebras (positive characteristic)
The question is about commutator in integral forms. Let $A$ an associative algebra over a field of characteristic zero, $x\in A$ and $k\in \mathbb Z$, we denote $x^{(k)}=\frac{x^{k}}{k!}$.
How to ...
- 829
2
votes
1
answer
1k
views
4
votes
1
answer
1k
views
Galois representation attached to elliptic curves
Unfortunately the question I am asking isnt very well-defined. But I will try to make it as precise as possible. Supposed I am given a mod-p representation of $G_Q$ into $Gl_2(F_p)$. I want to check ...
- 995
9
votes
1
answer
777
views
Geometric (or intuitive) interpretation of additional derivatives in characteristic p > 0
In characteristic $p > 0$ there are "extra" differential operators, i.e., ones that are outside the algebra generated by first-order derivations.
Is there any interpretation of these operators in ...
- 139
7
votes
1
answer
701
views
$p$-torsion in the Mordell-Weil group of Abelian varieties injecting in reduction
Let $K$ be a number field and $\mathfrak{p}$ be a place of good reduction. It is easy to see that the reduction map on prime-to-$p$ torsion $A(K)[p'] \hookrightarrow A_{\mathfrak{p}}(\kappa(\mathfrak{...
- 227
4
votes
1
answer
4k
views
How is the period of an elliptic curve defined exactly?
I sometimes read $\int_{E(\mathbf{R})} \frac{dx}{2y + a_1x + a_3}$ and sometimes $\int_{E(\mathbf{R})} |\frac{dx}{2y + a_1x + a_3}|$. Furthermore, one has to choose an orientation on $E(\mathbf{R})$.
...
user19475
2
votes
1
answer
278
views
What is the family derived from the absolute Frobenius on the Hilbert scheme?
Let $f$ be a Hilbert polynomial, and $X := Hilb_h(P^d_{F_p})$ a Hilbert scheme defined over $F_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, ...
- 27.9k
4
votes
2
answers
864
views
When is the period of elliptic curve over the rationals transcendental?
Given an elliptic curve $E/\mathbf{Q}$, when is its period transcendental/algebraic?
user19475
6
votes
1
answer
395
views
Diameter of reduction graph of a curve over a complete discrete valuation ring
Let $R$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k$, and let $X$ be a proper, smooth, geometrically connected curve over $K$. Take a ...
- 223
7
votes
0
answers
491
views
Alterations of regular varieties
Let $X$ be a regular quasi-projective variety over a perfect field $k$. The existence of a "good compactification" of $X$, i.e. a regular projective variety $\bar{X}$ with an embedding $X\...
- 4,450
6
votes
2
answers
830
views
Is it possible to classify all Weil cohomologies?
Weil cohomologies seem to be "natural" and useful cohomology theories. Wikipedia lists Betti, De Rham, 𝓁-adic étale, and crystalline cohomologies as examples of Weil cohomology. Do we have ...
- 1,503
18
votes
3
answers
3k
views
Lifting varieties to characteristic zero.
If you want to compute crystalline cohomology of a smooth proper variety $X$ over a perfect field $k$ of characteristic $p$, the first thing you might want to try is to lift $X$ to the Witt ring $W_k$ ...
- 4,015
3
votes
1
answer
185
views
How many linear terms are in the Hilbert set of H(z,t), a polynomial in 2 variables over a field k(s) of transcendence degree one over a finite field?
I am looking for a good reference for Hilbert's irreducibility theorem, and ofproperties of Hilbert sets besides Serres Lectures on The Mordell-Weil Theorem. In particular, I am interested it to the ...
3
votes
0
answers
409
views
How looks the "land of Tamagawa numbers"?
Jonah Sinick's question here, other interesting ideas he mentioned, and Franz Lemmermeyer's remark make one think at Bloch and Kato's drawing + question. What's known or guessed about that "land" by ...
- 10.8k
11
votes
0
answers
2k
views
What are "fractional motives"?
Kirti Joshi's musings mention "fractional motives". Do you know what are they good for and what the current state of constructions is for them?
Edit: Further cases of "fractional motives" as ...
- 10.8k
2
votes
1
answer
987
views
Surjectivity of bilinear forms.
It is not uncommon to describe interesting classes of field extensions by declaring that an extension $L|K$ belongs to that class if some type of problem with $K$-coefficiens has a property over $L$ ...
- 4,015
2
votes
1
answer
726
views
Semi-stable model and Neron model for family of elliptic curves
I am looking for an "easy-to-understand" reference for Neron Models. Specifically if I have a semi-stable family of elliptic curves over $Spec {O}_K$ , with generic fibre $E_K$ and special fibre $E_k$ ...
- 21
3
votes
1
answer
1k
views
what is the first Galois cohomology group of the Galois module End(T_l(A)) for some abelian variety A over a finite field k and l some prime number different from the characteristic of the base field?
According to Serre's book 'Galois cohomology', Galois chomology group are always torsion, but it seems to me that H^1(k, End_{Z_l}(T_l(A)))=coker(Frob-1) on End_{Z_l}(T_l(A)), which has the same Z_l ...
- 997
37
votes
3
answers
5k
views
Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?
If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...
- 45.7k
8
votes
2
answers
982
views
Covers of the projective line over Z and arithmetic Grauert-Remmert
This question is the two-dimensional analogue of Etale coverings of certain open subschemes in Spec O_K
There I asked if one could characterize in a way certain covers of $\textrm{Spec} \ O_K$. As ...
- 9,497
4
votes
0
answers
390
views
Is there a reference that treats principal homogeneous spaces for (say) group varieties using schemes?
I was wondering if anyone could recommend a reference that discusses principal homogeneous spaces for general finite type group schemes over a field $k$ entirely in the language of schemes (or even ...
- 3,380
33
votes
1
answer
1k
views
Is the group of integer points on a finite-type group scheme over Z finitely presented?
Let $G$ be a group scheme of finite type over $\mathbf{Z}$. Must $G(\mathbf{Z})$ be finitely presented?
(The question is inspired by a not yet successful attempt to answer a question of Brian Conrad....
- 23.8k
13
votes
1
answer
819
views
Potential semi-stability of etale cohomology of etale covers.
Let $\mathbf{Q}_p$ denote the field of $p$-adic numbers.
Suppose that $K/\mathbf{Q}_p$ is a finite extension, and let $O_K$ denote the ring of integers of $K$. Suppose that $X$ is proper over $O_K$, ...
user631
10
votes
1
answer
1k
views
Are there "reasonable" criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?
Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite
dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...
- 52.9k
23
votes
1
answer
2k
views
Wanted: Quadratic Space in Characteristic 2 as a Counterexample to a Theorem of Arf
Hi. Peter Roquette sent me an email asking for an example of a quadratic space in characteristic 2 having certain features. I have no idea on this, but maybe someone reading this does.
He would ...
- 50.6k
52
votes
8
answers
28k
views
Roadmap for studying arithmetic geometry
I have read Hartshorne's Algebraic Geometry from chapter 1 to chapter 4, so I'd like to find some suggestions about the next step to study arithmetic geometry.
I want to know how to use scheme ...
8
votes
1
answer
3k
views
Where to start reading into p-adic non-abelian Hodge theory?
I'm curious about Faltings' "A $p$-adic Simpson correspondence". Do you know more detailed, introductory, expositions, surveys, texts of seminars on that?
Edit: Annette Werner's survey &...
7
votes
1
answer
730
views
Is there a category-theoretic definition of the arithmetic Grothendieck group
Let $X$ be a regular scheme which is flat over $\mathbf{Z}$. The arithmetic Grothendieck group $\hat{K}(X)$ is defined to be the quotient of $\hat{G}(X)$ by $\hat{G}^\prime(X)$. This is actually quite ...
- 9,497
7
votes
1
answer
799
views
Liftability of Enriques Surfaces (from char. p to zero)
Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
- 839
3
votes
1
answer
844
views
finite generation of the Mordell-Weil group over finitely generated fields
Does anyone know a reference for the proof of the finite generation of the Mordell-Weil group over finitely generated fields?
user19475
5
votes
3
answers
2k
views
Additive reduction of elliptic curves
Suppose $E/ \mathbf{Q}$ is an elliptic curve with additive reduction at a prime $p$. Is there an easy way to tell if $E$ is a quadratic twist of an elliptic curve $E'/\mathbf{Q}$ with good reduction ...
- 13.1k
5
votes
0
answers
744
views
p-divisible groups of superspecial abelian varieties
Let $p$ be a prime and $F$ be an algebraic closure of the field with p elements. I will consider abelian varieties over F up to prime-to-$p$ isogeny. Principal polarizations will be $Q$-homogeneous ...
- 51
21
votes
1
answer
4k
views
Crystalline cohomology of abelian varieties
I am trying to learn a little bit about crystalline cohomology (I am interested in applications to ordinariness). Whenever I try to read anything about it, I quickly encounter divided power ...
- 1,500
12
votes
3
answers
815
views
Decomposition of Tate-Shafarevich groups in field extensions
Suppose $E/\mathbb{Q}$ is an elliptic curve with rank zero. According to the conjecture of Birch and Swinnerton-Dyer, the special value $L(1,E_{/\mathbb{Q}})$ should be equal (up to some harmless ...
- 13.1k
16
votes
5
answers
8k
views
Is the ABC conjecture known to imply the Riemann hypothesis?
I once heard from a graduate student that the ABC conjecture implies the Riemann hypothesis. I can't find a reference for this, but given the department the student is from I tend to believe he might ...
- 3,268
42
votes
2
answers
10k
views
Intuition behind the Eichler-Shimura relation?
The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...
- 118k
7
votes
0
answers
2k
views
An example computation of etale cohomology
(edited for clarity)
In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...
- 13.1k
5
votes
1
answer
877
views
bibl. q.s on Dwork's "p-adic cycles", Mazur's "p-adic variations":
Matthew Emerton mentioned recently the relevance of Dwork's "p-adic cycles". As I wonder if I should read that, reviews of it are ambiguous, I'd be happy on remarks and possible further bibl. hints. ...
- 10.8k
12
votes
0
answers
716
views
Lifting abelian varieties in (the closed fiber of) a fixed Neron model
Suppose that $R$ is a dvr with field of fractions $K$ and residue field $k$ and that $A_K$ is an abelian variety over $K$ with Neron model $A$ over $R$. Then the closed fiber $A_k$ is a smooth ...
- 1,609
15
votes
3
answers
2k
views
Integer points (very naive question)
Well, I don't have any notion of arithmetic geometry, but I would like to understand what arithmetic geometers mean when they say "integer point of a variety/scheme $X$" (like e.g. in "integer points ...
- 23.4k
9
votes
4
answers
3k
views
reduction of CM elliptic curves
Can someone indicate how to prove the following equivalences for a CM elliptic curve $E$:
(i) $p$ is inert in End($E$)
(ii) $E_p$ is supersingular
(iii) The trace of the Frobenius at $p$ is $0$ [...
user19475
11
votes
1
answer
1k
views
What geometric properties do properties of ell-adic Galois representations imply?
This is the converse question to an earlier question. More precisely,
Let $X/K$ be a curve(or variety) over a global field $K$. We consider the Galois representation obtained by the absolute Galois ...
- 1,417
13
votes
4
answers
3k
views
When is the Galois representation on the étale cohomology unramified/Hodge-Tate/de Rham/crystalline/semistable?
Let $X/K$ be a variety over a global field $K$. When (and why) is the Galois representation $H^i_{et}(X \times_K \bar{K}, \mathbf{Q}_\ell)$ unramified at a place $v$ of $K$?
I guess this is true if $...
user19475
4
votes
2
answers
402
views
lower bound for torsion of abelian varieties
Let $A$ be an abelian variety defined over a field $K$ of characteristic $p>0$. Let $A[\ell]$ be the group of $\ell$-torsion points, $\ell\neq p$ a prime. Are there positive constants $C, \eta$ ...
3
votes
2
answers
732
views
If the morphism of root data induced by an isogeny of a reductive group is a Frobenius, is then the isogeny itself a Frobenius?
Let $G$ be a reductive (or just semisimple) algebraic group over an algebraically closed field $k$ of characteristic $p > 0$, let $T$ be a maximal Torus and let $f:G \rightarrow G$ be an isogeny. ...
- 5,243
7
votes
2
answers
1k
views
Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?
Is there is a known version of the HKR theorem as proved in say Swan's paper "Hochschild Cohomology of Quasiprojective Varieties" in positive characteristic? I assume something is known about this as ...
- 3,758
5
votes
3
answers
739
views
Smoothness of hyperplane sections
Suppose $X\subset \mathbb{P}^n$ is a smooth hypersurface defined over $\mathbb{Q}$. For a "generic" prime $p$, what can be said about the set of hyperplanes $H$ in $\mathbb{P}^n(\mathbb{F}_p)$ for ...
- 13.1k
7
votes
4
answers
736
views
Simply connected quasi-projective varieties in positive characteristic
I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...
- 4,450
22
votes
3
answers
2k
views
One dimensional (phi,Gamma)-modules in char p
I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...
- 1,680