All Questions
512 questions
1
vote
0
answers
523
views
Quasi-projectivity of the moduli space of Kahler-Einstein Fano varities and vanishing Lelong number
Chi Li, Xiaowei Wang, Chenyang Xu proved the Quasi-projectivity of the moduli space of smooth Kahler-Einstein Fano manifolds. My question is about when central fibre $X_0$ along Kahler-Einstein Fano ...
user21574
0
votes
1
answer
406
views
$m$-th root of holomorphic section of direct image of relative line bundle
Question edited after the answer of Sándor Kovács:
Let $f:X\to B$ be a holomorphic fibre space of smooth projective
varieties which $f$ is relatively semi-ample and take $\mu$ as $m$-th root of ...
user21574
2
votes
1
answer
679
views
A Decomposition for Iitaka fibration
Let $\pi: X\to Y$ be an Iitaka fibration of projective varieties
$X,Y$, then is there always the following decomposition
$$K_Y+\frac{1}{m!}\pi_*\mathcal O_X(m!K_{X/Y})=P+N$$
where $P$ is ...
user21574
0
votes
0
answers
152
views
$C^\infty$-curvature of Kawamata's singular hermitian metric
Let $X,Y$ are two projective varieties and $f:X\to Y$ is an Iitaka fibration. Consider the following singular hermitian metric $$h(\sigma,\sigma)=\left(\int_{X_y}|\sigma|^{\frac{2}{m!}}\right)^{m!}$$ ...
user21574
1
vote
1
answer
417
views
Central fibre singularities
Let $f:X\to Y $ be a proper surjective holomorphic fibre space where $X,Y $ are projective varieties.
If the central fibre $X_0$ has at worst log terminal singularities,
then can we say that all ...
user21574
5
votes
0
answers
256
views
Symplectic leaves in positive characteristic
I am currently considering a family of filtered algebras over an algebraically closed field of positive characteristic with the property that the associated graded algebra is a finitely generated ...
- 599
4
votes
0
answers
214
views
Some questions on Kontsevich's moduli space
Motivation: Work of Eisenbud, Harris, and Mumford shows that
$\mathcal M_g$ is of general type when $g≥24$. Moreover, by Logan's function $f(g)$ , $\overline {\mathcal M_{g,n}}$ is of general type for ...
user21574
4
votes
0
answers
235
views
Some examples where the plurigenera are nonconstant, when the fibres have worse singularities than canonical
Let start with a definition
Invariance of plurigenera: Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So ...
user21574
3
votes
0
answers
214
views
local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$
Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$.
To be more ...
- 543
12
votes
0
answers
729
views
Elkies' supersingularity theorem in higher dimension (in terms of the associated Newton polygon)
Elkies' supersingularity theorem: Given an elliptic curve $E$ over $\mathbb{Q}$, there are infinitely many primes $p$ such that $E$ is supersingular over $\mathbb{F}_p$.
I have seen another post on ...
- 3,539
18
votes
1
answer
2k
views
Independence of $\ell$ of Betti numbers
When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
- 28.8k
2
votes
0
answers
476
views
Does the numerical equivalence relation coincide with the homological one for 1-cycles (in positive characteristic)?
Is the Grothendieck's Standard Conjecture D (stating that the numerical equivalence relation for algebraic cycles with rational coefficients coincides with the homological one) known to be true for ...
- 16.9k
6
votes
1
answer
1k
views
Generic Smoothness Type of Results in Positive Characteristic
Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth.
We know that ...
- 313
8
votes
2
answers
1k
views
Lefschetz on étale fundamental group for quasi-projective varieties
If $X$ is a smooth projective variety of dimension at least $3$ over $\mathbb{C}$, Lefschetz's Hyperplane theorem says that for every hyperplane section $H$
$$\pi^1(H)\to\pi^1(X)$$
is an isomorphism, ...
- 483
0
votes
1
answer
97
views
Automorphisms of Lie algebra of type $A_5$ modulo its center in characteristic 2
Let $L$ be classical Lie algebra of type $A_5$ over field of characteristic 2; let $M$ be the quotient $L/Z(L)$ modulo its center $Z(L)$.
What about the group of automorphisms of M?
Does anybody ...
- 11
7
votes
2
answers
827
views
$p$-torsion of an abelian variety of $p$-rank $0$
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
- 2,663
10
votes
3
answers
2k
views
Pullback along Frobenius morphism
Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...
- 63.1k
4
votes
1
answer
358
views
Examples of perfect pseudo algebraically closed fields in positive characteristic
Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
- 2,323
4
votes
0
answers
285
views
Application of Frobenius splitting in characteristic $0$
In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field.
I am reading Brion and Kumar's book and I can see that there are geometric results can be ...
- 849
27
votes
2
answers
3k
views
Reference for de Rham cohomology in positive characteristic
It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
- 28.8k
8
votes
1
answer
808
views
Automorphisms of curves in positive characteristic
It is well known that over an algebraically closed field of characteristic zero a general curve (for an open subset of $M_g$) of genus $g\geq 3$ is automorphism-free.
Is this result still true over ...
user68440
4
votes
1
answer
272
views
How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic
Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
$$H^0(X,\...
- 49
6
votes
0
answers
994
views
Restriction of the Canonical Divisor $K_X$ to a general fiber
Let $\ f:X\to Z$ be a surjective morphism between two smooth projective varieties with connected fibers $(f_*\mathcal{O}_X=\mathcal{O}_X)$. Let $F$ be a general fiber of $f$ and $\mbox{dim } F<(\...
- 313
5
votes
1
answer
514
views
Lifting torsors in characteristic $p$ to characteristic zero
Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...
- 151
11
votes
1
answer
928
views
Non-algebraic K3 surfaces in characteristic $p$
I have a very naive question.
Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
- 21.4k
7
votes
1
answer
540
views
Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?
The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...
- 5,422
7
votes
0
answers
355
views
Are curves over imperfect fields defined over a smaller field?
Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
- 149k
3
votes
1
answer
343
views
Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism
MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...
- 5,422
3
votes
1
answer
235
views
Interpreting Frobenius pullback as an invariant differential in the case of an elliptic curve
Let $S$ be an affine scheme of characteristic $p > 0$, let $E \rightarrow S$ be an elliptic curve over $S$, and let $F$ denote the absolute Frobenius. Since $E$ is its own $\mathrm{Pic}^0$ there is ...
- 2,663
2
votes
1
answer
153
views
A question about decomposing mod 2 modular forms of level p^2
Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...
- 5,422
4
votes
1
answer
2k
views
On Q-Cartier Divisors
I have my question on Q-Cartier Weil divisor.
People say $D$ is Q-Cartier divisor if $nD$ is Cartier for some $n \geq 1$. Especially for $n > 1$, I have never seen the `rigorous' definition of $...
- 781
8
votes
0
answers
381
views
Degeneration of wildly ramified local monodromy representations - near or far from Deligne?
Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
- 149k
4
votes
1
answer
502
views
Motivic integration in positive characteristic: how much is known?
It seems that in papers on motivic integration people usually assume the base field to have characteristic $0$ (and algebraically closed?). My question is: how much can one prove over a positive ...
- 16.9k
5
votes
1
answer
1k
views
Excellent schemes
I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
- 53
3
votes
1
answer
254
views
Finite generation of certain $\mathcal{O}_X$-algebra
It is proved in this paper by Kawamata (Theorem 6.1) that for a 3-dimensional normal algebraic variety $X$ which has at most canonical singularities, and a Weil divisor $D$ on it, the $\mathcal{O}_X$-...
- 3,472
11
votes
2
answers
918
views
On a proposition in Hartshorne's paper "Ample vector bundles on curves"
In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:
Let $A$ be an abelian variety [over an alg. closed field $...
- 3,076
3
votes
1
answer
500
views
Run MMP between varieties of isomorphic in codimension 1
Let $X, Y$ be two birational projective varieties which are isomorphic in codimension 1. Suppose $H$ is an ample divisor on $Y$, and $H'$ be its strict transform on $X$, suppose we can run MMP with ...
- 3,472
13
votes
2
answers
768
views
Is there a proof of Warning's Second Theorem using p-adic cohomology?
Let $\mathbb{F}_q$ be a finite field, $n \in \mathbb{Z}^+$, and $f_1,\ldots,f_r \in \mathbb{F}_q[t_1,\ldots,t_n]$ with $\operatorname{deg}(f_i) = d_i$. Put $d = \sum_{i=1}^n d_i$ and suppose $d< n$...
- 65.4k
4
votes
1
answer
785
views
A question about running MMP with scaling
Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective.
Suppose $K_X + \Delta$ is not nef (over $U$) and there ...
- 3,472
7
votes
0
answers
294
views
Picard scheme of varieties over imperfect fields
Let $k$ be a field and $X$ a proper $k$-scheme. It is a theorem of Murre and Oort that the Picard functor is representable by a $k$-group scheme $\operatorname{Pic}_{X/k}$ which is locally of finite ...
- 4,450
9
votes
1
answer
863
views
Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?
Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of $\...
- 1,103
5
votes
1
answer
482
views
Number of minimal models of a surface
I would like to know if the following statement is true or false:
Given a non-singular complex projective surface $S$, it has at most a countable number of minimal models (up to isomorphism).
We ...
- 1,237
1
vote
2
answers
550
views
Decompose a big divisor as nef big divisor and effective divisor
Let $W_n$ be a set of a log pair having the following property:
For any $(X, D) \in W_n$
(1)$X$ has dimensional $n$ with tirvial canonical divisor (i.e.$K_X = 0$). Moreover, $X$ is a $\mathbb{Q}$-...
- 3,472
8
votes
1
answer
747
views
Deligne's exterior power
In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism
$$p : A^{\otimes n} \to A^{\otimes n}, ...
- 63.1k
6
votes
1
answer
211
views
Recursions for some binary theta series in characteristic 3
Define $A(0), A(1), A(2) \dots$ in ${\bf Z}/3[[x]]$ as follows. For $n$ in $\bf N$ let $s=3^{2n+1}$. Then $A(n) = \sum a_kx^k$ where $a_k$ is the mod 3 reduction of the number of representations of $k$...
- 5,422
4
votes
0
answers
209
views
Partial differential Equation over characteristic p
I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...
10
votes
0
answers
573
views
Singularities arising from the Minimal Model Program (an algebraic point of view)
I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ?...
- 987
10
votes
1
answer
625
views
Can a division algebra have degree divisible by its characteristic?
I apologize in advance if this is easy, but I've tried Googling, and had no luck.
I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
- 44.7k
3
votes
1
answer
391
views
Embedded resolution of curves on smooth varieties
As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map $f:...
- 16.2k
3
votes
1
answer
276
views
Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]
For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...
- 13.8k