All Questions
2,494 questions
6
votes
2
answers
540
views
Are the closures of the tori in the decomposition of a torified variety toric varieties?
In "Torified varieties and their geometries over $\mathbb{F}_1$", J. L. Pena and O. Lorscheid define a torified variety as a variety $X$ over $\mathbb{Z}$ along with a family of locally closed ...
- 2,941
7
votes
2
answers
536
views
What are the polynomial relations between these characteristic 2 "thetas" ?
Suppose $\ell=2m+1$, $m>0$. Define $[i]$ in $\mathbb{Z}/2\mathbb{Z}[[x]]$ to be $$\sum_{n\equiv i\mod l} x^{n^2}.$$ Note that $[0]=1$, and that $[i]=[j]$ whenever $\ell$ divides $i+j$ or $i-j$.
...
- 5,422
9
votes
0
answers
560
views
Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation
Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...
- 5,422
9
votes
1
answer
682
views
Can we always find a curve which doesn't have semi-stable reduction
Let $K$ be a number field and let $g$ be a positive integer. Does there exist a smooth projective geometrically connected curve $X/K$ of genus $g$ such that $X$ does not have semi-stable reduction ...
- 11.1k
1
vote
0
answers
231
views
Lower bound for intersection number
The base scheme is an algebraically closed field.
Let $X\to \mathbf{P}^1$ be an arithmetic surface over $\mathbf{P}^1$ and let $P$ be a section of $X\to \mathbf{P}^1$. Let $D$ be an effective (edited)...
- 225
26
votes
2
answers
4k
views
A route towards understanding Shimura varieties?
I'm in the embarrassing situation that I want to ask a question that
was already asked, but (for complicated reasons) never answered. I'd
like to try with a blank slate.
Shimura varieties show ...
CommunityBot
- 1
3
votes
0
answers
204
views
Computing Elliptic Curves of Conductor Divisible by a Large Prime Factor
A little while ago, I came across a paper (or slides from a talk or something) that seemed to suggest that the modular symbol method for computing elliptic curves over $\mathbf{Q}$ of prescribed ...
- 309
2
votes
1
answer
268
views
Comparing heights of rational points on curves through covers
Let $a$ be a closed point in $\mathbf{P}^1_{\overline{\mathbf{Q}}}$.
Let $Y \cong \mathbf{P}^1_{\overline{\mathbf{Q}}} $ and let $\pi:Y\to \mathbf{P}^1_{\overline{\mathbf{Q}}}$ be a finite morphism ...
- 47.4k
4
votes
1
answer
628
views
Rationality of three-dimensional torus
Let $\zeta \in \overline{\mathbb{Q}}$ be a primitive 8th root of unity and let $K = \mathbb{Q}(\zeta)$. Let $N_{K/\mathbb{Q}}$ be the corresponding norm.
Consider the three-dimensional $\mathbb{Q}$-...
- 528
2
votes
1
answer
406
views
Isomorphism between pull-backs of an F-crystal by different liftings of Frobenius
This might be a naive question. But since I haven't seen this in any reference, I'll try to ask it here. Let $T$ be a smooth scheme over the algebraically closed field $k$ of characteristic $p>0$ (...
- 3,032
5
votes
1
answer
446
views
More questions involving characteristic 2 theta series identities
In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...
- 5,422
20
votes
2
answers
2k
views
Frobenius splitting and derived Cartier isomorphism
Let $X$ be a smooth algebraic variety over an algebraically closed field $k$ of characteristic $p>\dim X$. The motivation for my question comes from the following results.
1. If $X$ is Frobenius ...
CommunityBot
- 1
16
votes
4
answers
1k
views
K3 surfaces with good reduction away from finitely many places
Let S be a finite set of primes in Q. What, if anything, do we know about K3 surfaces over Q with good reduction away from S? (To be more precise, I suppose I mean schemes over Spec Z[1/S] whose ...
- 10.5k
3
votes
1
answer
504
views
parabolic-Eisenstein decomposition of cohomology of modular curve
Hi,
Fix $N > 3$ and consider the modular curve $X(N)$ parametrizing elliptic curves with
full level N structures. Let $\pi : E(N)\to X(N)$ be the universal elliptic curve. Then
$V=R^1\pi_*\mathbf ...
- 26.1k
6
votes
1
answer
804
views
Del pezzo surfaces in positive characteristic
For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...
- 2,215
1
vote
1
answer
443
views
What kind of conditions we need to make morphisms of schemes quasi-projective?
What kind of conditions we need to make morphisms of schemes quasi-projective?
I am really interested in the following case:
If $f : X \to Y$ is an etale, of finite type and separated morphism of ...
- 807
21
votes
1
answer
2k
views
When does the relative differential $df=0$ imply that $f$ comes from the base?
Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If $df=0$,...
- 11.1k
0
votes
0
answers
159
views
a question on the Poincar\'e bundle
Let $C$, a smooth curve. Let $J$ its Jacobian, consider the Poincar\'e bundle $\mathcal{P}$ on $J\times J$. Let $p: J\times J\rightarrow J$ the projection.
How can I compute the complex $R p_{*} \...
15
votes
0
answers
779
views
Lifting varieties from char. $p$ to char. 0 after alterations
The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...
CommunityBot
- 1
11
votes
1
answer
615
views
Do Richardson varieties have rational singularities in arbitrary characteristic?
The title basically asks the question. I'll review the relevant terminology and explain what I have and haven't found in the literature.
Let $G$ be a reductive group. Let $v \leq w$ be elements of ...
- 156k
0
votes
1
answer
448
views
Bilinear system of Diophantine Equations
$\forall i,j \in$ $\{$$1, \cdots,n$$\},$ let $x_{i},y_{i}$ be unknowns and $n_{ij} \in \mathbb{Z}$ with $i \le j$ be the knowns.
Consider the following $\frac{n(n+1)}{2}$ with $n > 2$ ...
- 34.4k
2
votes
1
answer
304
views
Connected extensions of finite by connected algebraic groups
Let $1\to H\to E\to G\to 1$ be a short exact sequence of algebraic groups defined over an algebraically closed field $k$ of characteristic $p$. Suppose $H$ is a finite group, and $G$ and $E$ are ...
- 22.6k
5
votes
1
answer
461
views
Given a branched cover with branch cycle description $(g_1,...,g_r)$, does $g_i$ generate some decomposition group?
Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so $\alpha_1...\...
CommunityBot
- 1
6
votes
0
answers
1k
views
a naive question about p-adic local monodromy theorem
The question is about whether one can view the p-adic local monodromy theorem as the quasi-unipotence of some monodromy operator.
it is known that the classical local monodromy theorem (i.e. for ...
- 313
12
votes
3
answers
1k
views
Sequences of Squares with all square differences
Background
The following question was first asked by Alex Rice, who was thinking about small subsets $A\subset [1,\ldots , N]$ with lots of square differences. Certainly for any set $A$ the maximum ...
CommunityBot
- 1
1
vote
0
answers
108
views
Why do subspaces of the space of Global holomorphic differentials of a function field correspond to its subfields
I'm asking this question as a follow up to the Felipe Voloch's answer to this question:
Subfields of a function field
which you can read it here:
Subfields of a function field
(I just didn't have ...
CommunityBot
- 1
3
votes
0
answers
281
views
What would be a characteristic-$p$ analogue for $C^{\infty}$-fiber bundles?
I'd like to know a notion for a morphism between algebraic varieties in characteristic $p$ that plays the role of a $C^{\infty}$-fiber bundle. It should be, in particular, flat. I'm not assuming the ...
- 4,265
4
votes
0
answers
393
views
Motivic interpretation of genus 2 Siegel forms induced by lifts of Maass and Skoruppa
Background: There are several known lifts from integral weight modular forms to Siegel forms of genus 2, among them the Saito-Kurokawa lift. Another lift construction that is important for ...
- 1,704
3
votes
0
answers
302
views
Small primes as stepping stones
It is well-known that in his celebrated proof of Fermat's Last Theorem, Wiles made a crucial use of the result of Langlands and Tunnell to deduce modularity of the Galois representation on the 3-...
- 786
13
votes
1
answer
690
views
Obstructions to formally integrating vector fields in characteristic p?
Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to M$...
CommunityBot
- 1
7
votes
2
answers
636
views
The number of singular fibres of a semi-stable arithmetic surface over \Z
This is an arithmetic follow-up to my previous question Does there exist a non-trivial semi-stable curve of genus >1 with only 4 singular fibres
Let $k$ be an algebraically closed field and let $...
CommunityBot
- 1
2
votes
2
answers
313
views
Is this morphism the normalization of P^1 in this curve
Let $S$ be an integral Dedekind scheme.
Let $f:X\longrightarrow \mathbf{P}^1_{S}$ be a finite flat surjective morphism, where $X$ is an integral normal scheme.
Let $\eta$ be the generic point of $S$...
- 1,645
12
votes
1
answer
2k
views
Replacement for derivations in characteristic p?
Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the right ...
CommunityBot
- 1
0
votes
1
answer
414
views
Is the following morphism etale
Let $Y$ be a reduced noetherian $1$-dimensional scheme such that the normalization morphism $f:X \longrightarrow Y$ is finite. Let $g:Y\longrightarrow Z$ be a finite flat morphism, where $Z$ is a ...
- 11.1k
7
votes
1
answer
748
views
Hodge spectral sequence for algebraic stacks
In a beautiful paper Deligne and Illusie have shown the following: Let $f\colon X \to S$ be a smooth proper morphism of schemes in characteristic $p > 0$, let $F\colon X \to X^{(p)}$ be the ...
- 1,279
21
votes
4
answers
2k
views
Simplest example of jumping of cohomology of structure sheaf in smooth families?
Using Hodge theory (and the ill-defined Lefschetz principle), one can show that in characteristic 0, given a proper smooth family $X \rightarrow B$, the cohomology groups of the structure sheaf of the ...
CommunityBot
- 1
0
votes
0
answers
263
views
Computing the function field of a curve given as a subvariety of the Jacobian of its cover or merely the degree of the covering
I read following paragraph from:
G. Tamme, Teilkörper höheren Geschlechts eines algebraischen Funktionenkörpers, Arch. Math. 23 (1972), 257--259
Here $C$ is a curve of genus $\ge 2$ and $J$ is the ...
- 601
2
votes
1
answer
264
views
intersecting sections on the projective line
This question is about intersection theory on the easiest (arithmetic) surface over $\mathbf{Z}$: $\mathbf{P}^1_{\mathbf{Z}}$.
Suppose we are given two distinct $\mathbf{Q}$-rational points $b_1$ and ...
CommunityBot
- 1
4
votes
1
answer
844
views
intersection number
I vaguely recall the following fact that I'd like to use in my research. It should be easy to see that this holds (if it does) but I can't seem to prove it.
Let $p:X\longrightarrow S$ be a (regular) ...
- 11.1k
8
votes
1
answer
697
views
Does combining Abhyankar's Lemma and embedded resolution give horizontal normal crossings
Let $\pi:Y\longrightarrow \mathbf{P}^1_{\mathbf{Z}}$ be a finite surjective flat morphism of schemes, where $Y$ is a normal integral flat projective 2-dimensional $\mathbf{Z}$-scheme, with branch ...
- 9,497
8
votes
1
answer
1k
views
Rational singularities for fibered surfaces
This question consists of two parts. I will try to be as short and clear as possible.
Let $S$ be a Dedekind scheme of characteristic zero. The main examples are $\mathbf{P}^1_k$, with $k$ a field of ...
- 85.6k
4
votes
1
answer
501
views
A question about moduli spaces over $\mathbb{Z}$
I've seen, on several occasions, papers whose purpose it is to construct a moduli space over $\mathbb{Z}$ for a moduli problem for which a moduli space over $\mathbb{C}$ was already constructed. Let's ...
- 45.7k
2
votes
1
answer
202
views
In Riemann Existence, what is the interpretation of the space of complex-geometric points?
I've been thinking recently about moduli spaces defined over $\mathbb{Z}$, and this led me to the following question:
Question
Riemann existence says that if we have a variety over $\mathbb{C}$, $X_{...
- 45.7k
13
votes
1
answer
1k
views
Is there a "trianguline period ring", or is one expected?
Consider a finite-dimensional $\mathbf{Q}_p$-vector space $V$ and a continuous representation $\rho : G_{\mathbf{Q}_p} \to \mathrm{GL}(V)$. Fontaine introduced various $\mathbf{Q}_p$-algebras with $...
- 6,924
4
votes
1
answer
627
views
Can the projection (tensor algebra) -> (symmetric algebra) be forced to split in char. p by factoring out p-th powers?
Question 1 (the weak and simple statement, which, I think, already is wrong): Let $p$ be a prime. Let $k$ be a field with characteristic $p$.
For any $k$-vector space $V$, consider the canonical ...
CommunityBot
- 1
1
vote
0
answers
239
views
Torsion points on commutative $Z_p$-group schemes
Hi,
Let G be a smooth commutative $\mathbb{Z}_p$-group scheme of finite type and let $G_0$ be the $\mathbb{Q}_p$-fiber. We have an embedding $G(\mathbb{Z}_p)\subseteq G_0(\mathbb{Q}_p)$. My question ...
- 527
12
votes
1
answer
1k
views
Ramification in p-division fields associated to elliptic curves with good ordinary reduction
Dear MO,
Let $p$ be a prime and let $E/\mathbb{Q}_p$ be an elliptic curve. Suppose that $E/\mathbb{Q}_p$ has good ordinary reduction at $p$. In his 1972 paper ``Propriétés galoisiennes des points d'...
- 1,694
32
votes
10
answers
3k
views
Which 'well-known' algebraic geometric results do not hold in characteristic 2?
A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...
- 22.6k
5
votes
1
answer
316
views
connected component of the identity section in the special fiber of the Neron model under isogenies
Let $A$ and $B$ be two isogenous abelian varieties over a number field $K$ and let $\mathcal{A}$ and $\mathcal{B}$ denote their Neron models over $\mathcal{O}_K$. Let $v \in M_K^0$ denote a finite ...
- 841
0
votes
1
answer
462
views
Vector bundles' conjectures [closed]
Hi,
I know the title sounds too much general.
Googling the question I have not found much material, so I decided to ask to experts.
I would like to know which are the most famous/important unsolved ...
- 503