All Questions
246 questions with no upvoted or accepted answers
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
- 183
2
votes
0
answers
220
views
Divisorial contraction to a non-normal variety
Consider a divisorial contraction $f:X\rightarrow Y$, between projective varieties, contracting an irreducible divisor $D\subset X$ to a subvariety $Z\subset Y$ of codimension at least two, and which ...
user114666
2
votes
0
answers
170
views
Resolution of pairs in characteristic p
Let $R$ be a complete DVR of characteristic $p$, say $R=\mathbb{F}_p[[t]]$, and $X$ be a reduced scheme of finite type over $R$. Let also $X_s$ denote the special fiber of $X$. If I understand ...
- 282
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
- 245
2
votes
0
answers
85
views
Is toroidalization local?
Let $f:X \to Y$ be a surjective morphism of smooth projective varieties, $D$ be a simple normal crossings divisor on $X$ and $U_Y \subset Y$ be an open subset over which $(X,D)$ is log smooth (in the ...
- 393
2
votes
0
answers
224
views
Log canonical centers of toric (and toroidal) varieties
Q1: Let $(X,B)$ be a toric variety. There exists a toric resolution of singularities $f:(Y,E) \to (X,B)$. Here is my question:
Is any lc center of $(X,B)$ an irreducible component of an intersection ...
- 393
2
votes
0
answers
163
views
Terminal and log canonical singularities
Let $D$ be a divisor with at most terminal singularities in a smooth projective variety $X$. Is the pair $(X,D)$ log canonical?
user61586
2
votes
0
answers
61
views
Test rational singularities after forming invariants
Let $R$ be a normal local domain of dimension $2$ and odd residue characteristic endowed with the action of the finite group $G \cong \mathbb{Z}/2\mathbb{Z}$. Suppose that the ring of invariants $R^G$ ...
- 407
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
- 1,142
2
votes
0
answers
164
views
Cubic 3-fold singular along a curve
Does there exists a cubic or quartic $3$-fold $X\subset\mathbb{P}^4$ such that $Sing(X)$ is a smooth curve $C$ of genus $g(C)\geq 2$ and $X$ has $A_1$-singularities along $C$?
user56259
2
votes
0
answers
60
views
A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$
THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...
- 5,422
2
votes
0
answers
149
views
Reference for certain resolution of singularities formulation
I want to use the following resolution of singularity statment as found in Soule et al, Lectures on Arakelov Geometry, p. 40:
$Y$ is a separated algebraic variety of finite type over $\mathbb{C}$, $Z$...
- 195
2
votes
0
answers
281
views
example of torsion of higher direct image sheaf
I'm reading kollar's paper about higher direct image of dualizing sheaf.
Suppose f: X-Y is morphism, X smooth,Y normal. He mentioned usually the higher direct image of structure sheaf is "bad," and ...
- 623
2
votes
0
answers
304
views
Surjectivity of map of Picard schemes implies abelian
Note: This question was asked on MSE first, but got zero reactions. So I deleted it there, and am now posting it here.
I am looking for a reference or explanation of the fact that is used in Mumford'...
- 203
2
votes
0
answers
293
views
Local weak factorization
This is a follow-up to question Locally toric resolutions of compactifications, answered by Jason Starr.
In a series of papers (see https://arxiv.org/abs/math/9904076), Jaroslaw Wlodarczyk proves ...
- 7,972
2
votes
0
answers
121
views
Global invariant cycles in positive characteristic
Let $k$ be an algebraically closed field of positive characteristic $p$ and fix a prime $\ell\neq p$. Let $X$ be a smooth connected $k$-variety and $f:Y\rightarrow X$ a smooth projective morphism. ...
- 728
2
votes
1
answer
491
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
- 41
2
votes
0
answers
214
views
log canonical surface singularity
For a log cannonical surface singularity, I guess there is classification about the configuration of the exceptional divisor of its minimal resolution. I wonder if there is some specific example or ...
- 623
2
votes
0
answers
196
views
Total space of canonical bundle on toric del pezzo surface
Let $X$ be a toric del pezzo surface with a full cyclic strong exceptional collection of line bundles, say $\mathbb{E}:=(E_1,\ldots,E_n)$, consider the total space of anti-canonical bundle $\omega_X^*$...
2
votes
0
answers
286
views
Does the sheaf of locally exact differential forms splitting in positive characteristic
Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...
- 85
2
votes
0
answers
230
views
(Strict) canonical singularity with no crepant resolution
We know if a normal singular $\mathbb{Q}$-factorial variety $X$ has a crepant resolution, then it is canonical but not terminal. What can we say about the converse? To be more precise:
Is there a ...
- 815
2
votes
0
answers
345
views
Examples of semi-stable models of curves
Let $R$ be a discrete valuation ring with fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p>0$. Assume $k$ is algebraically closed. I want to produce examples of ...
- 2,323
2
votes
0
answers
271
views
Desingularization of subvariety
Let $X$ be a smooth projective complex variety. Let $Y \subset X$ is a singular closed subvariety of $X$. Does there exist a birational morphism $\pi: \widetilde{X} \to X$, such that the proper ...
- 569
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833
2
votes
0
answers
116
views
Constructive Resolution of Toric Singularities via Model Theory
Do there exists some language $\mathcal{L}$ of rational polyhedral cones in rational vector spaces and a theory $T$ over $\mathcal{L}$ whose models $\mathcal{M}$ are resolutions of toric singularities?...
- 1,595
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
2
votes
0
answers
191
views
Resolution of indeterminacies for a map to Grassmannian of planes
Let $X\subset \mathbb P_k^N$ be a $n$-dimensional smooth projective variety ($n\geq 2$) and $\phi_l:X^l\dashrightarrow Gr(l,N+1)$ ($l\leq n+1$) be the natural rational map which associates to a ...
- 155
2
votes
0
answers
244
views
Descent theory of line bundles on abelian varieties under isogenies (in char p>0)
I have a couple of questions regarding the descent theory of line bundles on abelian varieties under isogenies in positive characteristic.
Let $X$ be an abelian variety and $L\in Pic(X)$ a line ...
- 614
2
votes
0
answers
255
views
Lang isogeny for group stacks
Let $G$ be a commutative algebraic group stack over $\mathbb{F}_q$ (I don't really care about the precise definition: I'm secretly thinking about the Picard stack of a projective curve). To what ...
- 3,605
2
votes
0
answers
606
views
Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces
Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
- 165
2
votes
0
answers
137
views
Global minimal model over a non-affine base
Remark 10.1.8 in Liu's book (AG and Arithmetic curves) says that over a non-affine base (base is always assumed to be a Dedekind scheme of dim 1), the minimal regular model of a (smooth projective) ...
- 805
2
votes
0
answers
143
views
compatible resolutions of singularities
Let $U$ and $V$ be complex vector spaces with an action of a finite group $G$. Denote by $P_{G,d}$ the space of $G$-equivariant polynomial maps $U\longrightarrow V$ with degree less than or equal to $...
- 483
2
votes
0
answers
279
views
deRham cohomoloy of CM liftings of Jacobians
Let $k$ be field of characteristic $p>0$ and $W=W(k)$ the ring of Witt vectors of $k$. We call a smooth curve over $k$, ordinary, when the Jacobian of $J(X)$ of $X$ is an ordinary abelian variety. ...
- 637
2
votes
0
answers
464
views
understanding Milne's article "Duality in the flat cohomology of a surface"
I have trouble understanding a point of Milne's article "Duality in the flat cohomology of a surface" http://jmilne.org/math/articles/1976a.pdf
see the "Alternatively" on p. 177, paragraph before ...
user19475
2
votes
0
answers
321
views
Dimension of fibres of moment maps in characteristic $p$
Suppose $G$ is a connected semisimple linear algebraic group with Lie algebra $\mathfrak{g}$ and $X$ is a homogeneous $G$-space with isotropy subgroup $H$ (associated Lie algebra $\mathfrak{h}$) that ...
- 3,545
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
0
answers
92
views
Compactification of smooth varieties with normal crossing boundary
I see in this paper, page 46, the second sentence of 4.1, that every smooth variety over a characteristic $0$ field can be embedded into a proper smooth variety with normal crossing boundary, and the ...
- 785
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
0
answers
88
views
Equivariant resolution of singularity making a pullback of a line bundle admit a root
I am considering the following situation. Let $X$ be an irreducible normal projective variety with an action of a linear algebraic group $H$, and we have a $H$-equivariant line bundle $L$ over $X$. We ...
- 323
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
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
1
vote
0
answers
61
views
Do local and global symplectic resolutions have same monodromy?
Yoshinori Namikawa associates a Weyl group $ W $ to any symplectic affine complex variety $ X $ with good $ \mathbb{C}^* $-action. He provides a semi-explicit description of $ W $, which requires ...
1
vote
0
answers
128
views
Log resolution of ideal and associated dual graph
Let $(X,0)$ be a complex surface germ with an isolated singularity and $I$ be an $\mathfrak{m}\text{-primary}$ ideal (contains a power of the maximal ideal $\mathfrak{m}$) of the local ring $\...
- 25
1
vote
0
answers
48
views
Verdier (w) condition implies the $w_f$ condition when the restriction of $f$ in each stratum is a submersion?
Let $X\subset\mathbb{R}^n$ be and let $\Theta=(X_\beta)_{\beta\in I}$ a Verdier stratification for X. Let $f:X\rightarrow\mathbb{R}$ be a polynomial function, such that $f_{|_{X_\beta}}$ is submersion ...
1
vote
0
answers
66
views
How can I calculate the derivative of an integral with respect to a parameter if Leibniz's formula gives a divergent integral?
We are working on the problem related to a magnetic field in an axially symmetric magnetic plasma trap. Let's express the vector potential through the magnetic flux function
\begin{gather}
\label{1:01}...
- 241
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
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
1
vote
0
answers
135
views
Question about the definition of variety in Kollár's book on resolution of singularities
In Kollár's book "Lectures on Resolution of Singularities" it is claimed in 3.8 page 125: "Our resolution is strong and functorial with respect to smooth morphisms" I would like to ...
- 595
1
vote
0
answers
126
views
Blow up of simply connected isolated singularity
Let $X \subset \mathbb{C}^n$ be a simply connected complex variety with a unique isolated singularity at $x\in X$.
Let $\tilde{X}$ be the strict transform of $X$ under the blow-up $\mathrm{Bl}_x(\...
1
vote
0
answers
76
views
Smooth affine variety as a symplectic resolutions
Given a smooth affine variety $X$ over $\mathbb C$ with an algebraic symplectic form $\omega$ and a finite group $G$ acting on $X$ by symplectomorphisms, then
Is it true that $X$ is trivially a ...
- 609