All Questions
2,494 questions
9
votes
1
answer
763
views
Restriction theorems over finite fields
A short while ago, Dvir proved the Kakeya conjecture over finite fields. Does this have any implications for restriction theorems over finite fields? I am aware only of implications going in the ...
- 20.2k
19
votes
1
answer
2k
views
The Infinitesimal topos in positive characteristic
This question was inspired by and is somewhat related to this question.
In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie ...
- 4,450
6
votes
2
answers
507
views
Concerning the dimension of a complex variety modulo a prime
Let V be a complex affine variety given as the vanishing set of a set of polynomials with integral coefficients. I have 3 questions.
1)
Under what assumption will the dimension of V over C remain ...
- 63
4
votes
2
answers
923
views
What is the correct formulation of the CDE triangle?
The CDE triangle with C Cartan matrix and D decomposition matrix is well-known for finite groups. I have not seen a full account of this for finite dimensional algebras which I find surprising as ...
- 9,132
10
votes
3
answers
2k
views
Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic?
Background/motivation
It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is ...
- 14.8k
25
votes
3
answers
2k
views
product of all F_p, p prime
Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...
- 5,163
27
votes
4
answers
3k
views
Have people successfully worked with the full ring of differential operators in characteristic p?
This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
- 57.6k
13
votes
0
answers
943
views
Beilinson-Bernstein localization in positive characteristic
This is a follow-up to this question; in particular, I'm wondering if anyone can expand upon the interesting answers given by Kevin McGerty and David Ben-Zvi there. (In particular, in this question I'...
- 3,637
34
votes
2
answers
3k
views
The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.
I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...
- 41.4k
8
votes
1
answer
1k
views
Geometric Intuition for Big Monodromy
In various contexts, I have come across results referred to as "big monodromy." A standard arithmetic example is the open image theorem for the image of Galois action on non-CM elliptic curves. A ...
- 671
18
votes
2
answers
2k
views
Galois representations attached to newforms
Suppose that $f$ is a weight $k$ newform for $\Gamma_1(N)$ with attached $p$-adic Galois representation $\rho_f$. Denote by $\rho_{f,p}$ the restriction of $\rho_f$ to a decomposition group at $p$. ...
- 1,609
7
votes
3
answers
3k
views
congruent to 1 mod p
This is a somewhat vague question: for a prime number p, we often see that various counts come out to be 1 modulo p. What are the possible reasons for this?
Here are some I've encountered:
For some ...
15
votes
2
answers
814
views
Can the failure of the multiplicativity of Euler factors at bad primes be corrected?
Warning: This one of those does-anyone-know-how-to-fix-this-vague-problem questions, and not an actual mathematics question at all.
If $X$ is a scheme of finite type over a finite field, then the ...
- 9,418
17
votes
3
answers
1k
views
PNT for general zeta functions, Applications of.
When I read it for the first time, I found the whole slog towards proving the Prime Number Theorem and the final success to be magnificent. So I am curious about more general results.
We talk of ...
- 7,442
4
votes
0
answers
2k
views
How to learn about Shimura varieties?
Possible Duplicate:
What is a good roadmap for learning Shimura curves?
What's the best way (in your opinion) to learn the theory of Shimura varieties?
5
votes
1
answer
671
views
Why are cohomologically trivial cycles abundant?
Suppose X is a smooth projective variety, say over $\mathbb{Q}$ for simplicity. Let $F$ be a finite extension of $\mathbb{Q}$. Let $\mathrm {Ch}^{r}(X/F)$ denote the Chow group of codimension $r$ ...
- 13.1k
14
votes
1
answer
987
views
Is there something like Čech cohomology for p-adic varieties?
Suppose that I have a nice variety X over ℚp, with good reduction if you like, and a nice sheaf on X, say coming from a smooth group scheme G. I can cover X by some p-adic open sets Uα, ...
- 4,195
24
votes
5
answers
6k
views
Wild Ramification
The question is, loosely put, what is known about wild ramification?
Is there a semi-well-established theory of wild ramification that can be furthered in various specific situations? Or maybe there ...
6
votes
0
answers
456
views
On periods of algebraic integers modulo rational primes
I run, somewhat indirectly, into the following problem and I have no hints where to look in the literature in search for answers or clues.
Let $K$ be a number field, which we may assume Galois if it ...
- 797
7
votes
3
answers
2k
views
Is every flat unramified cover of quasi-projective curves profinite?
When I first learned about the etale fundamental group, there was a mythical theorem going around that in the algebraic case all we need to look at is the finite covers, because the infinite degree ...
- 1,522
15
votes
1
answer
4k
views
Frobenius Descent
Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...
- 4,450
20
votes
4
answers
2k
views
Are there Néron models over higher dimensional base schemes?
Are there Néron models for Abelian varieties over higher dimensional ($> 1$) base schemes $S$, let's say $S$ smooth, separated and of finite type over a field?
If not, under what additional ...
user19475
14
votes
3
answers
2k
views
Representations in characteristic p
Let G be a finite group and let F be an algebraically closed field. If the characteristic of F is 0, then the number of irreducible F-representations of G is given by the number of conjugacy classes ...
- 2,799
17
votes
2
answers
3k
views
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
user19475
16
votes
3
answers
2k
views
On Category O in positive characteristic
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$. In the case that $k$ has characteristic 0, there has been intensive study of the BGG category O of representations of ...
- 3,637
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 ...
- 5,243
4
votes
2
answers
336
views
Methods of showing a map has integral or good reduction
Question
Say we have a map, C->D, of relative curves over a Dedekind scheme, S. What are some of the available methods for showing that this map has good reduction, or integral reduction, at some s&#...
21
votes
5
answers
5k
views
Mirror symmetry mod p?! ... Physics mod p?!
In his answer to this question, Scott Carnahan mentions "mirror symmetry mod p". What is that?
(Some kind of) Gromov-Witten invariants can be defined for varieties over fields other than $\mathbb{C}$...
- 21k
8
votes
2
answers
2k
views
Points of a variety defined by Galois descent
Let k be a perfect field. By a k-variety, I shall mean a geometrically reduced separated scheme of finite type over k. I think that is enough conditions that the following data determine an affine k-...
- 1,500
47
votes
2
answers
9k
views
current status of crystalline cohomology?
The great references given on Ilya's question make me wonder about the current status of the many conjectures and open questions in Illusie's survey from 1994 on crystalline cohomology. Obviously (...
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?
user19475
4
votes
2
answers
2k
views
Brauer-Manin obstruction and Tate-Shafarevich group of an Abelian variety
I read that the Brauer-Manin obstruction $A(\mathbb{A}_K)^{\mathbf{Br}}$ of an Abelian variety $A$ over a number field $K$ equals (naturally?) its Tate-Shafarevich group $\mathrm{III}(A)$.
Is this ...
user19475
24
votes
0
answers
816
views
Smooth proper schemes over Z with points everywhere locally
This is a variation on Poonen's question, taking Buzzard's fabulous example into account. It was earlier a part of this other question.
Question. Is there a smooth proper scheme $X\to\operatorname{...
- 18.7k
15
votes
3
answers
3k
views
Existence of fine moduli space for curves and elliptic curves
For the moduli problem of a curve of genus $g$ with $n$ marked points, how large an $n$ is needed to ensure the existence of a fine moduli space? For this question, terminology is that of Mumford's ...
- 7,442
60
votes
2
answers
11k
views
What is a good roadmap for learning Shimura curves?
I am interested in learning about Shimura curves. Unlike most of the people who post reference requests however (see this question for example), my problem is not sorting through an abundance of books ...
user1073
9
votes
2
answers
656
views
How does the order of a pole of a zeta function indicate any geometric information?
Here, I'm primarily concerced about zeta functions of hypersurfaces over fields of finite characteristic.
Assume $F_q$ to be a finite field with q elements. Consider the zeta function of the ...
- 141
15
votes
2
answers
2k
views
Lifting the p-torsion of a supersingular elliptic curve.
Let $K$ be a finite extension of $\mathbf{Q}_p$, with integer ring $R$ and residue field $k$. Say $G/R$ is a finite flat (commutative) group scheme of order $p^2$, killed by $p$. Say the special fibre ...
- 41.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 ...
- 6,543
8
votes
1
answer
1k
views
obstruction to smooth lifting of smooth schemes
According to general theory, for a square zero thickening defined by an ideal I: SpecA -> SpecA', there is an obstruction of lifting a smooth scheme X over A to a smooth scheme over A' living in H^2(X,...
- 5,052
14
votes
4
answers
2k
views
Smooth proper schemes over rings of integers with points everywhere locally
[Edit: Question 1 has been moved elsewhere so that an answer to Question 2 can be accepted.]
Question 2. Is there a number field $K$, and a smooth proper scheme $X\to\operatorname{Spec}(\mathfrak{o})$...
- 18.7k
7
votes
1
answer
562
views
Hasse principle for a group
$\DeclareMathOperator\PSL{PSL}$In the paper Ono - "Hasse principle" for $\PSL_2 (\mathbb Z)$ and $\PSL_2(\mathbb F)$ there's a definition of a Hasse principle for a group $G$, but I don't ...
- 15.1k
4
votes
1
answer
533
views
An everywhere locally trivial line bundle
Is there a variety $X$ over $\mathbb{Q}$ and a line bundle $L$ over $X$ (other than the trivial line bundle $\mathcal{O}_X$ ) such that $L_v$ is the trivial line bundle over $X_v=X\times_{\mathbb{Q}}\...
- 18.7k
8
votes
2
answers
738
views
A nice variety without a smooth model
Is there a simple example of a smooth proper variety $X$ over $K=\mathbb{Q}_p$ ($p$ prime) such that
--- $X(K)\neq\emptyset$,
--- the $l$-adic étale cohomology $H^i(X\times_K\bar K,\mathbb{Q}_l)$ is ...
- 18.7k
11
votes
4
answers
3k
views
Torsion of an abelian variety under reduction.
Let $p$ be a prime. Suppose you have an Abelian scheme $A$ over $Spec\ \mathbb{Z}_p$. How do you prove that if $q$ is another prime, then the $q$-torsion of $A$ injects into the torsion of $A_p$, ...
- 7,442
10
votes
4
answers
1k
views
A local-to-global principle for isogeny
If two elliptic curves over $\mathbb{Q}$ are $\mathbb{Q}_p$-isogneous for almost all primes $p$, then they are $\mathbb{Q}$-isogenous.
This follows from the fact that they have the same number of $\...
- 18.7k
20
votes
4
answers
1k
views
Everywhere locally isomorphic abelian varieties
Is there a standard example of two abelian varieties $A$, $B$ over some number field $k$ which are $k_v$-isomorphic for every place $v$ of $k$ but not $k$-isomorphic ?
- 18.7k
19
votes
2
answers
3k
views
What does Faltings' theorem look like over function fields?
Minhyong Kim's reply to a question John Baez once asked about the analogy between $\text{Spec } \mathbb{Z}$ and 3-manifolds contains the following snippet:
Finally, regarding the field with one ...
- 118k
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 ...
- 6,543
12
votes
3
answers
2k
views
Order of the Tate-Shafarevich group
I thought that the order of the Tate-Shafarevich group should always be a square (it's also supposed to be finite, but for the purposes of this question let's assume we know this) but I don't seem to ...
- 15.1k
7
votes
1
answer
2k
views
Polynomial representing prime numbers
Along the lines of Polynomial representing all nonnegative integers, but likely well-known question:
is there a polynomial $f \in \mathbb Q[x_1, \dots, x_n]$ such that $f(\mathbb Z\times\mathbb Z\...
- 15.1k