All Questions
512 questions
3
votes
0
answers
68
views
p-torsion in the Tate-Shafarevich group of supersingular elliptic curves
Let $E$ be a supersingular elliptic curve over $\mathbb{F}_p(t)$. Is something known on the $p$-torsion of the Tate–Shafarevich group in this case? In particular, I would like to know if (or if known ...
- 12.9k
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 6,006
1
vote
1
answer
86
views
Sequence of MMP with scaling cannot be isomorphism
Let $(X,B)$ be a projective klt pair, H is an $\mathbb{R}$-divisor s.t. $K_X+B+H$ is nef. Suppose that we can run $(K_X+B)$-MMP with scaling $H$(that is, the flip exists) and denote $\alpha_i:X \...
- 11
1
vote
0
answers
57
views
Discrepancy of general element of linear system
Let $X$ be a normal scheme and $|D|$ a linear system on $X$.
In "Singularity of Minimal Model Program" by Janos kollar p249, it says,
If $X$ is a variety over $\mathbb{C}$, and $E_j$ ...
- 328
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 103
0
votes
0
answers
190
views
About Chern classes via Atiyah class
I am trying to understand a construction of the Chern classes of a vector bundle $\mathcal{E}$ via the Atiyah class, like is done in this text and here in section 1.4. I am interested in the case ...
- 4,713
1
vote
2
answers
341
views
Small contraction for Hyperkähler Varieties
I have the following basic question. Everything is over $\mathbb{C}$.
Let $X$ be a hyperkähler (irreducible holomorphic symplectic) variety and we consider a small contraction $f\colon X \rightarrow ...
- 115
0
votes
0
answers
89
views
Contraction of extremal ray on a smooth projective threefold
I have some issues about understanding the contraction of extremal ray in a concrete situation:
Let $\mathcal{E}=\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1\times \...
- 41
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
- 2,974
9
votes
1
answer
1k
views
Coderivations of $S(V)$ correspond to linear maps $S(V) \to V.$ Only over characteristic $0$?
Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
\begin{...
- 33.8k
4
votes
0
answers
180
views
Deminormal and Gorenstein
Let X be an irreducible deminormal variety such that the normalisation is Gorenstein. Does it follow that X is also Gorenstein?
for deminormal definition, see https://arxiv.org/pdf/1506.02002.pdf
- 131
2
votes
1
answer
117
views
Blow up of terminal singularity and canonical singularity
A normal singularity $(X,x)$ over a field $k$ is terminal (resp. canonical) if
$(i)$
it it is $\mathbb{Q}$-Gorenstein. and
$(ii)$For any resolution of singularity $F:Y\rightarrow X$,
$K_Y-f^*K_X>...
- 1,829
17
votes
2
answers
2k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
- 4,713
3
votes
0
answers
192
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
9
votes
3
answers
2k
views
Characterisation for separable extension of a field
Can someone verify this for me.. or tell me what reference shows me this... is this true:
Let $k$ be a field. Then a field extension $K$ of $k$ is separable over $k$ iff for any field extension $L \...
- 11
0
votes
1
answer
201
views
Two different resolutions of a three fold
Let $X\subset \mathbb{A}^4_\mathbb{C}$ be a three fold defined by the equation $xy-zw=0$
This variety has a singularity at origin of $\mathbb{A}^4_\mathbb{C}$
If we blow up this three fold in two ways ...
- 45
2
votes
0
answers
108
views
Finiteness of rational double point
Let $(R,\mathfrak{m
})$ be a three dimensional complete local ring over a field $k$ of arbitrary characteristic and let $f\in R$ and $R/f$ is a rational double point.
My question is as follows.
Are ...
- 328
0
votes
0
answers
78
views
Log resolution and a divisor of pullback of function
Let $(X,x)$ be a three fold singularity
$m_{X,x}$ a ideal sheaf correspoinding to $x$.
$\sigma:Y_1\rightarrow X$ blow up at by $m_{X,x}$
$\phi:Y\rightarrow Y_1$ resolution of $Y_1$
Set $f:=\phi*\sigma$...
- 328
5
votes
0
answers
160
views
Flops connect minimal models of algebraic spaces?
According to a Kawamata's result, two projective minimal models of the same variety are connected through a sequence of flops. In particular, a birational map $f\colon X\to X'$ between Calabi-Yau ...
- 178
1
vote
0
answers
62
views
About the definition of cDV singularity
M. Reid defines cDV singularity as follow in his paper "CANONICAL 3-FOLDS"
A point $p\in X$ of a 3-fold is called a compound Du Val point if for some section H throgh $P$, $P\in H$ is a Du ...
- 328
5
votes
1
answer
344
views
Surjection onto endomorphisms of multiplicative group of a field
Let $k$ be an algebraically closed field of characteristic $p > 0$. Denote by $k^\times$ the multiplicative group of $k$. There is a ring homomorphism given by restriction to $k^\times$
$$
\mathbb{...
- 28.8k
3
votes
1
answer
255
views
About the contractability
Let $X\subset \mathbb{P}^3$ be the surface defined by the equation $xy-zw=0$, and consider the curve $E \subset X$ defined by the equation $x=z=0$.
Question. Can $E$ be contracted to a point?
- 66.3k
2
votes
0
answers
104
views
Canonical model and the existence of general hyperplane
A variety is a separated reduced scheme of finite type over an algebraically closed field $k$ not necessarily affine.
Let $X$ be a normal variety and $X$ has only one isolated singularity at $x\in X$ ...
- 875
2
votes
1
answer
133
views
A property of canonical singularity
Let $X$ be a normal variety with only one singularity at $x$ and $(X,x)$ is a canonical singularity i.e. $(X.x)$ satisfies $(i)$ and $(ii)$.
$(i)$ $(X,x)$ is a $\mathbb{Q}$ Goreinstein singularity.
$(...
- 66.3k
2
votes
0
answers
96
views
Reference request The support of $f$-nef divisor
I'm seaching for a proof of the theorem below.
Do you know any reference?
Consider $f:X\rightarrow Y$ projective birational map between normal varieties and $\mathbb{R}$ cartier divisor $D$ whose ...
- 875
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
- 12.9k
2
votes
0
answers
244
views
On the definition of the relative canonical divisor
Fix a field $k$. Let $X,Y$ be normal integral $k$-schemes of finite type and $h: Y \to X$ a proper birational $k$-morphism. Moreover, assume that $X$ is Gorenstein, i.e. it admits a canonical divisor $...
- 293
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 12.9k
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
1
vote
0
answers
113
views
Nice, concrete example of pl-flipping contraction
In a course I'm giving on the MMP, I am discussing the importance of Shokurov's notion of a pl-flipping contraction for showing that flips exist for arbitrary flipping contractions. Does someone have ...
- 2,108
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 63.9k
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
7
votes
1
answer
549
views
Application of MMP in other branches of algebraic geometry
I'm learning minimal model program (MMP) recently. For a projective variety $X$, following MMP, we can do a sequence of birational transformations making $K_X$ nef or to a Mori fiber space.
My ...
- 361
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
6
votes
1
answer
268
views
Hochschild cohomology of an Azumaya algebra
Let $k$ be a field. Given a commutative $k$-algebra $Z$ and an associative algebra $A$ that is Azumaya over $Z$, do we have an isomorphism of Hochschild cohomologies: $HH^*(A) \cong HH^*(Z)$?
This is ...
- 63.9k
4
votes
0
answers
102
views
Existence of a rational curve in the center of a birational contraction for symplectic singularities
Let $M$ be a holomorphically symplectic
complex manifold, and $f: M \to X$
a holomorphic, birational contraction to a Stein
variety $X$, contracting a subvariety $E$
to a point, and bijective outside ...
- 9,237
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 52.7k
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 ...
- 2,368
2
votes
1
answer
160
views
Finding the mistake in an argument concerning $F$-finite $F$-split local Cohen--Macaulay ring of dimension $1$
Let $R$ be a commutative Noetherian ring, and $\phi: R \to R$ be a ring homomorphism. For an $R$-module $M$, let $^{\phi}M$ be the $R$-module defined via restriction of scalars via $\phi$, i.e., as ...
- 20.5k
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 12.9k
4
votes
1
answer
168
views
Finitely generated section ring of Mori dream spaces
Set-up: We work over $\mathbb{C}$. Let $X$ be a Mori dream space. Define, following Hu-Keel, the Cox ring of $X$ as the multisection ring
$$\text{Cox}(X)=\bigoplus_{(m_1\ldots,m_k)\in \mathbb{N}^k} \...
- 8,998
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
1
vote
0
answers
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
- 637
2
votes
1
answer
170
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
- 50.7k
3
votes
0
answers
290
views
Nefness property for symplectic equivalency of Moishezon manifolds
Definition:Two symplectic manifolds $(X,\omega_X)$ and $(Y,\omega_Y)$ are defined to be symplectically equivalent if there exists a diffeomorphism $\phi:X\to Y$ such that $\phi^∗ω_Y$ is in the same ...
- 295
2
votes
0
answers
128
views
Minimal model program for toroidal pairs
Suppose $(X, \Delta)$ be a toroidal pair over $Z$ where $f:(X, \Delta) \rightarrow (Z, \Delta_Z)$ is a toroidal morphism (see https://arxiv.org/pdf/alg-geom/9707012.pdf sections 1.2, 1.3 for the ...
- 335
4
votes
1
answer
248
views
Relation between positive roots of $E_8$ and $\mathbb{F}_2^8 \setminus \{0\}$
There exists an explicit bijection (due to Cayley, that has built up a very nice table to describe this) between the positive roots of the lattice $E_7$ and $\mathbb{F}_2^6 \setminus \{0\}$ (where $\...
- 12.9k
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
- 309
3
votes
0
answers
112
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,501