Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
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
-1
votes
1
answer
99
views
Finitely many subvarieties as divisor
Let $X$ be a smooth projective variety over an algebraically closed field of characteristic $0$ and of dimension $n\geq 10$. Let $(C_i)_{1\leq i\leq N}$ (resp. $(S_i)_{1\leq i\leq N}$) be smooth ...
- 1,463
3
votes
2
answers
369
views
Quotient of affine space by finite subgroup of SL(V) is Gorenstein
I am looking for a proof of the following fact:
If $G$ is a finite subgroup of $SL_n(\mathbb{C})$ acting on $\mathbb{A}_{\mathbb{C}}^n$, then the resulting quotient scheme is Gorenstein.
Thanks.
- 815
2
votes
2
answers
523
views
Crepant resolution of $Y=k[x,y,z]/(xz-y^3)$
Consider the action of $\mathbb{Z}_3\subset SL_2(k)$ on $\mathbb{A}^2$, we have the quotient $Y$ as in the title. According to the classification of Du Val singularity, we know that the crepant ...
- 815
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
4
votes
1
answer
269
views
Functors between equivariant derived category and derived category of the quotient
Suppose $M$ is a quasi-projective variety, $G$ is a finite group acting on $M$. Let $X$ be the quotient $M/G$ (we assume $X$ to be singular) and $\pi: M\to X$ be the natural projection.
We have $(\pi)...
- 815
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
1
vote
0
answers
179
views
Spivakovski-Popescu-Neron desingularisation
For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...
- 781
6
votes
1
answer
1k
views
Normalization of complete intersection
Let $A$ be an integral complete local ring over a field which is complete intersection.
Let $B$ be a normalization of $A$.
Q. Is $B$ Gorenstein?
I guess that even the normalization of Gorenstein ...
- 781
7
votes
1
answer
770
views
Cohomology of tangent sheaf of a singular hypersurface
Let $X\subset\mathbb{P}^n$ be a hypersurface singular at finitely many points $p_i\in X$. We may assume that $X$ has ordinary singularities at the $p_i$'s.
Does there exists a formula, perhaps in ...
user91659
15
votes
1
answer
1k
views
Resolution of singularities in étale cohomology
The lack of a suitable resolution of singularities comes up often in work on étale cohomology from the 1960s and 70s, And I think even the latest version of Milne's lecture notes says "It is likely ...
- 11.1k
1
vote
0
answers
183
views
Chern classes of a resolution of singularities
Let $j:X\subset \mathbb P_{\mathbb C}^n$ ($n\geq 3$) be a hypersurface, defined by a section of a very ample line bundle $\mathcal L$, with a ordinary double point $P$ as the only singularity and $\...
- 69
3
votes
0
answers
289
views
Resolving quotient singularities without the quotient
This has been asked on MSE here, but has not had much traffic so I will ask a similar question here as many people here enjoy topics around resolving singularities.
Let $X$ be a complex threefold ...
- 362
1
vote
0
answers
189
views
A definition of arithmetic divisor with conic singularities?
I have a question related to the preprint "Heights and metrics with logarithmic singularities" by G. Freixas i Montplet.
Let $X$ be an arithmetic variety with arithmetic divisor $D$ how can we ...
user21574
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
3
votes
1
answer
268
views
Rationality of higher dimensional du Val singularities
I am interested in the isolated singularity defined over $\mathbb{C}$ by
$$
x_1^2+\cdots + x_n^2+x_{n+1}^k=0,
$$
where $n>2$ and $k>2$.
I would like to know whether this singularity is rational,...
- 2,384
1
vote
1
answer
732
views
canonical divisors of a resolution of a normal surface singularity
Let $(0\in X)$ be the germ of a normal surface singularity and let $f: Y \to X$ be the minimal resolution.
Questions>
(1) How can I define a map $f_*\mathcal{O}_Y(K_Y)\hookrightarrow \mathcal{O}_X(...
- 53
4
votes
2
answers
581
views
Singularities of Pfaffian hypersurfaces
Let $X\subset\mathbb{P}^4$ be an hypersurface of degree six given by the Pfaffian of a $6\times 6$ matrix $M$ whose entries are quadratic forms in the homogeneous coordinates of $\mathbb{P}^4$. I am ...
user61586
1
vote
0
answers
845
views
Is dimension invariant under blow-ups?
Let $X'\rightarrow X$ be a blow-up of a finitely dimensional scheme $X$ in a center $D$.
Under which assumptions one has $\dim X'=\dim X$? Do you know a proof or a reference for a proof? Do you know ...
7
votes
4
answers
1k
views
How singular can the Stein factorization of a proper map between smooth varieties be?
A little bit of motivation (the question starts below the line): I am studying a proper, generically finite map of varieties $X \to Y$, with $X$ and $Y$ smooth. Since the map is proper, we can use the ...
- 5,504
2
votes
1
answer
257
views
Are the fibers of this morphism geometrically regular?
Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
- 255
3
votes
1
answer
2k
views
Blowing-up a point in the singular locus
Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow \...
user58018
0
votes
0
answers
119
views
A simple question about a resolution of a conifers singularity
Let $X$ be a conifold defined by the equation $xy-zw=0$ in $\mathbb{C}^4$ and $\tilde{X}$ its crepant resolution, which is isomorphic to $\mathcal{O}_{\mathbb{P^1}}(-1)^{\oplus 2}$. Then there is a ...
- 1
0
votes
1
answer
411
views
Intersection Matrix of a resolution
Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...
user58018
3
votes
0
answers
287
views
Does the invariant from resolution of singularities provide a Whitney stratification?
The topic of Whitney stratifications came up in a lecture, and the general procedure in the examples was to decompose the singular locus of the variety into the strata starting with the "worst" ones. ...
- 251
3
votes
4
answers
3k
views
Cone over the Veronese surface
Let $V\subset\mathbb{P}^5$ be the Veronese surface and let $X\subset\mathbb{P}^6$ be the cone over it. Since $X$ is $\mathbb{Q}$-factorial there are two integers $a,b$ such that $aK_X = \mathcal{O}_X(...
user56259
2
votes
1
answer
2k
views
Log Canonical pairs
Let $X$ be a normal scheme ad $D = \sum_id_iD_i\subset X$ be a $\mathbb{Q}$-divisor such thay $K_X+D$ is $\mathbb{Q}$-Cartier. Let $f:Y\rightarrow X$ be a log resolution of the pair $(X,D)$ and let us ...
user58018
3
votes
0
answers
843
views
Projective tangent cones, ordinary singularities and blow-ups
Let $X\subset\mathbb{P}^n$ be a projective variety and let $Y\subset X$ be the singular locus of $X$. Assume that $Y$ is smooth. I would like to know if the following are equivalent:
$X$ has an ...
user61586
0
votes
0
answers
209
views
Resolution of singularities of projective varieties
Let $X\subset\mathbb{P}^n$ be an irreducible variety, and let $Sing(X)$ be its singular locus. Let $Y$ be the blow-up of $\mathbb{P}^n$ along $Sing(X)$. Assume that we know that the strict transform ...
user58018
2
votes
1
answer
221
views
Resolving nodes of a quintic CY 3-fold
Let's consider the following quintic 3-fold $X$:
\begin{equation}
\{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\}
\end{equation}
for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...
- 21
3
votes
0
answers
211
views
Singularities in mixed characteristic
Let $R$ be a regular local ring in mixed characteristic. Moreover, I assume that $R$ is the local ring of a point on a smooth $\mathbb Z_p$-scheme and that $R/pR$ is regular. ($\mathbb Z_p$ is the ...
- 1,590
8
votes
3
answers
918
views
Contracting a rational curve in a Calabi-Yau threefold
Let $X$ be a Calabi-Yau threefold and $C \subset X$ be a rational curve with $N_{C/X}\cong \mathcal{O}\oplus \mathcal{O}(-2)$. Can one contract the curve $C$? Assuming the answer is yes, what kind of ...
- 81
1
vote
1
answer
687
views
A question on klt pairs
Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...
user58018
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
4
votes
2
answers
254
views
Invariant planes of a nilpotent matrix with two Jordan blocks of size two
Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 &...
- 1,123
6
votes
1
answer
267
views
Are codimension one foliations of $\mathbb{R}^{n}-\{0\}$ with compact leaves, stable at origin?
Assume that we have a codimension one foliation of $\mathbb{R}^{n}-\{0\}$ with compact leaves.
Is it true to say that the foliation is stable at origin:That is: for every neighborhood $V$ of $0$,...
- 366
2
votes
1
answer
717
views
Singularities of secant varieties of rational normal curves
Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper:
http://ac.els-cdn.com/...
user56312
0
votes
2
answers
490
views
Small birational maps and singularities of the pair
Let $f:X\dashrightarrow Y$ be a small birational map, where $X,Y$ are normal $\mathbb{Q}$-factorial varieties. Let $\Delta_X\subset X$ be an effective $\mathbb{Q}$-divisor such that the pair $(X,\...
- 8,998
2
votes
1
answer
202
views
Some Kind of Resolution of Singularites
Let $X \subseteq \mathbb{P}^n$ be a projective variety. I would like to have a morphism $f: \tilde{X}\to X \subseteq \mathbb{P}^n$ where $f$ is finite and birational, $f^* \mathcal{O}_{\mathbb{P}^n}(1)...
- 3,031
2
votes
2
answers
1k
views
Finite Quotients and Resolutions of Singularities
So, I feel like I'm missing something obvious, but I have the following situation:
Let $X\to Y$ be a finite group quotient of schemes (in fact, varieties) by the finite group $G$. Let $\tilde{Y}\to ...
- 16k
12
votes
1
answer
8k
views
Simple normal crossing divisors
I found the following definition.
A Weil divisor $D = \sum_{i}D_i \subset X$ on a smooth variety $X$ is simple
normal crossing if for every point $p \in X$ a local equation of $D$
is $x_1\cdot...\...
user47036
0
votes
1
answer
1k
views
Singular irreducible quadrics
Let $Q\subset\mathbb{P}^n$ be the quadric hypersurface defined by
$$x_0^2+x_1^2+...+x_k^2 =0.$$
If $2\leq k\leq n-1$ then $Q$ is irreducible and $Sing(Q)$ is a linear space of dimension $n-k-1$.
If $...
user49214
1
vote
1
answer
156
views
Pushforward of $K_X+D$ on the non-snc locus
Let $f:Y\rightarrow X$ be a birational morphism of smooth projective varieties, $F$ an effective divisor on $X$, $D=f^{-1}F_{\mathrm{red}}+\mathrm{Ex}(f)$, $B$ a smooth subvariety of $Y$ contained in ...
- 73
5
votes
1
answer
704
views
Simultaneous resolution of singularities in special cases of flat families of projective varieties
Let $\pi:\mathcal{X} \to B$ be a flat family of projective varieties. Assume that $B$ is irreducible. Suppose that $\mathcal{X}$ is smooth except for a closed subscheme, say $Y$ which is isomorphic to ...
- 1,981
4
votes
2
answers
1k
views
Varieties with big anti-canonical divisor
I recently heard about the following problem:
Let $X$ be a projective variety with klt singularities and such that $-K_X$ is big. Is $X$ a Mori Dream Space ?
Now, $-K_X$ big if and only if $-K_X -\...
user47036
7
votes
1
answer
341
views
How can one show that orbit closures in representations of a linear quiver don't have small resolutions?
Let $1\to \cdots\to n$ be a linear quiver of length $n$. Let $\mathbf{d}=(d_1,\dots,d_n)$ be a dimension vector. It's well known (for example, by Gabriel's theorem, but also by basic linear algebra) ...
- 44.7k
3
votes
1
answer
647
views
Small resolutions are automatically crepant?
Page 17 of the following survey:
http://arxiv.org/abs/1103.5380
makes the claim that small resolutions, meaning resolutions such that the exceptional set is in codimension at least two, are ...
- 1,423
8
votes
2
answers
741
views
Resolution of unpleasant singularity
I've been working on some varieties defined by taking some quotients of group actions, and the resolutions have been straightforward... until now.
E.g., consider $\mathbb{C}^2$ with the action $(x,y)\...
- 83
2
votes
1
answer
386
views
Surfaces singular along a curve
Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$.
What is ...
user47036
7
votes
1
answer
760
views
Bertini's Theorem
Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
user47036