Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
5
votes
1
answer
1k
views
Hodge numbers of a Calabi-Yau 3-fold via deformation theory
In their paper "Calabi-Yau 3-folds and Moduli of Abelian Surfaces I", Gross and Popescu calculate the hodge numbers of smooth CY 3-folds obtained in the following way (see Remark 4.11 of their paper): ...
- 2,108
5
votes
0
answers
165
views
Do quasi-excellent rings have a good constructive definition?
$\DeclareMathOperator\Sh{Sh}$Informally, a quasi-excellent ring is a Noetherian ring with a few technical extra regularity conditions that make it turns out to be the largest class of rings that allow ...
- 1,947
5
votes
0
answers
319
views
Resolving analytic normal crossings singularities
Let $X$ be a non-singular (complex) variety and $Y \subset X$ be a (reduced) irreducible subvariety with only normal crossings singularity (locally, in the analytic topology, the singularity is ...
- 1,981
4
votes
2
answers
1k
views
Crepant resolution of isolated fourfold singularity
I stumbled upon this isolated singularity of a Calabi-Yau fourfold:
\begin{equation}
x_1x_2+x_3x_4+x_5^2=0
\end{equation}
as a hypersurface in $\mathbb{C}^5$.
Clearly, I can resolve this by a simple ...
- 73
4
votes
2
answers
611
views
Vanishing associated to a resolution of singularities
Let $\pi: V\to W$ be a resolution of singularities, let $E \subset V$ be the exceptional divisor, and let $F$ be a coherent sheaf such that $R^i\pi_*F=0$ for $i>0$.
Can we conclude that $R^i\...
- 2,218
4
votes
2
answers
435
views
Question about surface singularities
Throughout, $X$ will be a projective surface. I am looking for examples of the following surface singularities,
I) A rational singularity that is not quotient. Obviously, it has to be non-Gorenstein, ...
- 345
4
votes
1
answer
537
views
Which schemes can be presented as limits of smooth varieties?
I can prove a certain statement for any scheme that can be presented as the limit of an essentially affine (filtering) projective system of smooth varieties over a perfect field such the connecting ...
- 16.9k
4
votes
1
answer
619
views
Small resolution of a non-isolated singularity?
Consider the the Hypersurface singularity given by the equation
$$xyz+st=0 \subset \mathbb{C}^5.$$
How would you describe a (nice!=symmetric) small-resolution of this singularity?
4
votes
1
answer
494
views
Normal bundle of exceptional locus of the conifold
Let us consider the conifold singularity $xy-zw=0$ in $\mathbb{C}^4$. By blowing up along the divisor defined by $x=z=0$, we have a small resolution of the conifold with $\mathbb{P}^1$ as the ...
- 41
4
votes
1
answer
330
views
example of quintics with 5 ordinary triple point
I know we can bound the triple point on quintics in cp^3 by 5. But how to write down quintics with 5 ordinary triple point (here are simple elliptic singularity)explicitly?
- 623
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
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
4
votes
1
answer
399
views
Blowing up rational singularities
Let $X$ be a projective surface embedded into $\mathbb{P}^n_{\mathbb{C}}$ having at most rational singularities. Let $\tilde{X} \to X$ be the minimal resolution of $X$. Is it possible to embed $\tilde{...
- 1,981
4
votes
1
answer
363
views
Property of singularity
Let $X$ be an algebraic variety, $S \subset X$ its singular locus, and $x \in S$. Say that $x$ is good if for any neighborhood $U$ of $x$, any top differential form $\omega$ on $U \setminus S$ and ...
- 2,649
4
votes
1
answer
394
views
References on Namikawa-Weyl group
What are the most reasonable references on the definition of the Namikawa-Weyl groups and the first results about them?
In particular, are there more recent (or more educational) texts than the ...
- 153
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
4
votes
1
answer
509
views
Resolution of 3-fold quotient singularities
This is exercise 1.10 from Reid's Young person's guide to canonical singularites.
Let $X=\mathbb{C}^3/ \mu_3$ where $\epsilon \in \mu_3$ acts by
$$ (x,y,z) \to (\epsilon x, \epsilon y, \epsilon^2 z).$$...
- 231
4
votes
1
answer
327
views
Singularities of fibrations
Let $f:X\rightarrow \mathbb{P}^2$ be a fibration, here $X$ is a projective variety of dimension three.
Assume that there exixts a smooth curve $C\subset\mathbb{P}^2$ such that for any $p\in\mathbb{P}...
- 8,998
4
votes
1
answer
387
views
Do there exist linear relations between exceptional divisors
Let $X$ be an isolated, Gorenstein singularity of dimension at least $2$ and $\pi: \widetilde{X} \to X$ be a resolution of singularities. Let $E$ be the exceptional divisor and $E_1,...,E_r$ be the ...
- 2,032
4
votes
1
answer
120
views
Image of a quiver variety under natural morphism
We know that the natural morphism $\pi:\mathfrak{M}_{\theta}(Q,\mathbf{v},\mathbf{w})\rightarrow \mathfrak{M}_0(Q,\mathbf{v},\mathbf{w})$ between a smooth and affine quiver variety is not necessarily ...
- 1,687
4
votes
1
answer
107
views
When does a discrepant toric resolution induce a crepant resolution of a subvariety?
Let $Y$ be a complete intersection in a complete simplicial toric variety $X_\Sigma$ such that $\DeclareMathOperator{Sing}{Sing}\Sing(Y)\subset\Sing(X_\Sigma)$. Suppose that $\phi:X_{\widehat{\Sigma}}\...
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
4
votes
0
answers
125
views
Embedded normalization
Let $S$ be an irreducible surface in a 3-dimensional variety $X$ (everything taking place over $\mathbb{C}$, say). By Hironaka's therorem, we know for sure that there is an embedded resolution of $S$, ...
- 61
4
votes
0
answers
119
views
Are there any explicit (prime-to-l) alterations for interesting varieties (or schemes)?
I have read that it is easier to find regular alterations of varieties than their resolutions of singularities (moreover, I believed in this sentence when I read it). My question is: do there exist ...
- 16.9k
4
votes
0
answers
320
views
Toric Fan for the Du Val's singularities D_n and E_n
Let us consider the Du Val's singularities.
i.e. https://en.wikipedia.org/wiki/Du_Val_singularity.
It is well known that they are classified by ADE, because the exceptional divisors arising in the ...
- 489
4
votes
0
answers
116
views
Bertini-type theorem for strict transform
Let $(X,o)$ be an isolated, normal singularity of dimension at least $3$. Let $\pi: \widetilde{X} \to X$ be a resolution of singularity of $X$. Is it true that for a general hypersurface $H \subset X$ ...
- 2,323
4
votes
0
answers
168
views
Can nonflat deformations of singularities always produce Cohen-Macaulay rings?
To make the question in the title precise, let me phrase it like this. Consider a complete local ring
$$ A := \mathbb{C}[[x_1, \dotsc, x_n]]/(f_1, \dotsc, f_m) $$
and, for definiteness, assume that $...
- 2,663
4
votes
0
answers
315
views
Skyscraper sheaf on a stack associated to a singular surface
Suppose $X$ is a normal projective surface with a du Val singularity. In this case, we know a crepant resolution $Y$ exists, and results of Kawamata (https://arxiv.org/abs/0804.3150, Corollary 3.5) ...
- 153
4
votes
0
answers
487
views
Embedding of a smooth variety into a complete smooth variety.
Consider the following fact from algebraic geometry:
Any (complex) smooth algebraic variety can be embedded into a complete smooth variety as a locally closed set.
I know how to prove this fact ...
- 2,649
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
3
votes
3
answers
392
views
Contractibility of curves and embedding into projective space
Let $f:X \to Y$ be a proper surjective morphism of projective surfaces such that there exists a curve $C \subset X$ for which $f|_{X\backslash C}$ is an isomorphism and $f(C)$ is a set of points. ...
- 1,981
3
votes
2
answers
513
views
Which isolated surface singularity comes from a -5 curve?
Define the surface $X$ to be the total space of $\mathcal{O}_{\mathbb{P}^1}(-5)$.
By contracting the exceptional curve in $X$, we get a surface with an isolated singularity. I am looking for the ...
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
3
votes
1
answer
163
views
Can Coulomb branches have symplectic resolutions?
My question is about Coulomb branches of a $3D$ $\mathcal{N}=4$ supersymmetric gauge theory, in the sense of Bravermann, Finkelberg and Nakajima Towards a mathematical definition of Coulomb
branches ...
- 3,318
3
votes
1
answer
246
views
Borel-Moore homology for resolution of singularities
Let $X$ be a singular projective variety. Denote by $Z$ the singular locus of $X$. Consider the resolution of singularities $$\pi: \widetilde{X} \to X$$
Denote by $E$ the exceptional divisor. We know ...
- 2,323
3
votes
1
answer
373
views
Minimal resolution of singularities of surfaces
Let $X$ be a normal projective irreducible surface over an algebraically closed field $k$. Let $\pi\colon Y\to X$ be a birational morphism, such that $Y$ is a smooth projective surface, and assume ...
- 7,722
3
votes
1
answer
684
views
Canonical sheaf of affine variety
Let $A=\mathbb{C}[u,x,y,w]/(uy-x^2,xw-y^2,uw-xy)$, $X=Spec A$. $A$ is a Veronese subring and from the answer of Is there a simple method to test a local ring to be Cohen Macaulay?, we can see that $X$ ...
- 815
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
3
votes
1
answer
209
views
Is $\pi_1(\widetilde{X/G})$ always finite if $\pi_1(X)$ is finite?
Let $X$ be a smooth complex manifold with finite fundamental group. Suppose that a finite group $G$ acts on $X$ and let $\widetilde{X/G}$ be a resolution of singularities. Is $\pi_1(\widetilde{X/G})$ ...
- 1,663
3
votes
1
answer
197
views
Terminal singularities of fibers vs total space
Suppose $f\colon X \to Y$ is a flat map of complex varieties (or more generally DM stacks?). Suppose every fiber has at most terminal singularities and that $Y$ is smooth. Under what conditions is it ...
- 43
3
votes
1
answer
197
views
Image, upto direct summands, of derived push-forward of resolution of singularities
Let $\mathcal C$ be a full subcategory (closed under isomorphism also) of an additive category $\mathcal A$. Then, $\text{add}(\mathcal C)$ is the full subcategory of $\mathcal A$ consisting of all ...
- 480
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
470
views
Automorphisms of singular hypersurfaces
Let $X\subset\mathbb{P}^{n+1}$ be an irreducible and reduced hypersurface of degree $d$.
A theorem by Matsumura and Monski asserts that if $n\geq 2$, $d\geq 3$, $(n,d)\neq (2,4)$ and $X$ is smooth ...
user125056
3
votes
1
answer
957
views
Is it possible to resolve singularities using only normal varieties?
In characteristic 0, is it possible to have a resolution of singularities where the algebraic varieties at every step of the desingularization process are normal. To be more precise, I would like a ...
- 251
3
votes
1
answer
340
views
3
votes
1
answer
296
views
Resolution of conical singularities have even-only cohomology?
Considering a quotient singularity $\mathbb{C}^n/G,$ its crepant resolution $Y$ (i.e. having $c_1(Y)=0$) has rational cohomology supported in even degrees only. This holds for many other resolutions ...
- 1,687
3
votes
1
answer
215
views
Searching for resolutions of generalized determinental varieties
I'm interested in studying a certain generalization of determinental varieties as defined here:
https://en.wikipedia.org/wiki/Determinantal_variety
To be more specific, I must first lay out a few ...
3
votes
1
answer
190
views
Igusa zeta functions of univariate polynomials: $\mathbb{Z}_p$ or $\mathbb{Q}_p$ in this statement
Let $f\in\mathbb{Z}_p[X]$ and let $Z_{f,p}(T)\in\mathbb{Z}_{(p)}(T)$ be the $p$-adic Igusa zeta polynomial (i.e. $Z_{f,p}(p^{-s})$ is the $p$-adic Igusa zeta function in the complex variable $s$, with ...
3
votes
1
answer
351
views
Comparisons of log canonical thresholds
Premise
Let $K$ be a field of characteristic zero and $f\in K[X_1,\dots,X_m]$. By Hironaka's theorem, there exists a log resolution (over $K$) of the ideal $(f)$. Let $\{(N_i,\nu_i)\}_i$ be the ...
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
- 563