All Questions
1,114 questions
3
votes
1
answer
723
views
A strange logical implication in algebraic geometry
So there's an old theorem of Lang and Weil showing that the Riemann hypothesis for curves over finite fields implies a kind of quasi-riemann hypothesis for surfaces over finite fields.
I am wondering:...
- 65.4k
3
votes
2
answers
612
views
tamely branched cover over P^1
k is an algebraically closed field, X is a smooth, connected, projective curve over k. f: X-->P^1 is a finite morphism. Let t be a parameter of P^1, suppose f is etale outside t=0 and t=\infty, and ...
- 65.4k
16
votes
1
answer
1k
views
Coarse moduli spaces over Z and F_p
I would like to know to what extent it is possible to compare fibers over $\mathbb{F}_p$ of coarse moduli spaces over $\mathbb{Z}$, and coarse moduli spaces over $\mathbb{F}_p$. I ask a more precise ...
- 65.4k
11
votes
2
answers
1k
views
Class groups of normal domains over finite fields
Let R be a local, normal domain of dimension 2. Suppose that R contains a finite field. I am interested in knowing when the class group of R is torsion. In characteristic 0, this is known to be ...
- 65.4k
9
votes
1
answer
566
views
algorithm for calculating the Chow groups of a variety over a finite field
Is there an algorithm for calculating the Chow groups of a variety over a finite field?
It is know that $H^{2i,i}_\mathrm{mot}(X,\mathbf{Z}) = CH^i(X)$. In how many cases does this help us?
CommunityBot
- 1
4
votes
1
answer
412
views
F_q-structures on schemes
Let $k|\mathbb{F}_q$ be a field extension. An $\mathbb{F}_q$-structure on a $k$-algebra $A$ is an $\mathbb{F}_q$-subalgebra $A _0$ of $A$ such that $A _0 \otimes _{\mathbb{F}_q} k \cong A$ via the ...
- 65.4k
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 23.8k
10
votes
2
answers
1k
views
Does a universal Frobenius map exist?
For any prime p, one has the Frobenius homomorphism Fp defined on rings of characteristic p.
Is there any kind of object, say U, with a "universal Frobenius map" F such that for any prime p and any ...
CommunityBot
- 1
7
votes
1
answer
718
views
Ways to characterize supersingular primes?
I've read the definition, and it basically says p is a supersingular prime iff
the fundamental domain of a group generated by \Gamma(p) and a matrix ((0, 1), (-p, 0)) is rational.
And there's a ...
CommunityBot
- 1
15
votes
5
answers
3k
views
Can we count isogeny classes of abelian varieties?
Let's fix a finite field F and consider abelian varieties of dimension g over F. Can we say how many isogeny classes there are? Is it even clear that there's more than one isogeny class? For g=1, ...
CommunityBot
- 1
10
votes
2
answers
393
views
Counting points on varieties of low codimension
The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...
- 65.4k
22
votes
3
answers
813
views
A hypersurface with many points
Ok, it's time for me to ask my first question on MO.
Consider the affine curve $Y+Y^q=X^{q+1}$ over the finite field $\mathbf{F}_q$. It's interesting because it has the largest number of points over ...
CommunityBot
- 1
11
votes
2
answers
885
views
intuition about the "section after base-change" for flat descent and exactness of the Amitsur complex
Suppose $A \rightarrow B$ is a faithfully flat map of rings. Then the Amitsur complex is exact:
$0 \rightarrow A \rightarrow B \rightarrow B \otimes_A B \rightarrow \dots$
(the second map is $id \...
- 1,988
6
votes
2
answers
790
views
Do quotients of representable sheaves represent quotients?
Here's the context for the question: Proposition 4.6 of Freitag and Kiehl's book on etale cohomology shows that a sheaf (of sets) $\mathcal{F}$ (on the site Et(X)) is constructible if and only if it ...
- 11.3k