Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
113 questions with no upvoted or accepted answers
93
votes
0
answers
17k
views
Hironaka's proof of resolution of singularities in positive characteristics
Recent publication of Hironaka seems to provoke extended discussions, like Atiyah's proof of almost complex structure of $S^6$ earlier...
Unlike Atiyah's paper, Hironaka's paper does not have a ...
- 8,071
14
votes
0
answers
884
views
On mixed $p$-adic Hodge theory
Does mixed $p$-adic Hodge theory exist? Can we extend the scope of comparison theorems using simplicial resolutions a la Deligne? Do we get 3 opposite filtrations as in classical mixed Hodge theory, ...
- 141
14
votes
0
answers
857
views
Is a flop on Calabi-Yau threefolds always Atiyah flop?
Is it true that any flop on a Calabi-Yau threefold is given by the Atiyah flop? That is, there always exists a rigid rational curve $\mathbb{P}^1$ with normal bundle $\mathcal{O}_{\mathbb{P}^1}(-1)^{\...
- 427
14
votes
0
answers
547
views
When are the fibers of a resolution of singularities reduced?
I apologize if this is too much of a fishing expedition, but I've had bad luck searching for any literature on this subject, and I was hoping someone could tell me if it's too easy to be worth ...
- 44.7k
10
votes
0
answers
539
views
Why is resolution of singularities useful/important?
Why is it important/useful to resolve singularities generally, and in particular in algebraic geometry? I understand that one gets a nicer geometry, but how does it help one understand the geometry of ...
- 281
9
votes
0
answers
361
views
Would full resolution of singularities have cohomological implications beyond the alteration theory?
De Jong's result on alterations allows one to show the potential semistability of certain Galois representations arising from cohomology of varieties (among other things). If we knew the existence of ...
user158636
7
votes
0
answers
680
views
Artin's "On isolated rational singularities of surfaces"
My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt:
The Setting: Let ...
- 5,966
7
votes
0
answers
177
views
How to compactify $\mathbb{Z}_p[x, y, z]/(xyz - p)$?
The affine scheme $U := \mathrm{Spec}(\mathbb{Z}_p[x_0, \ldots, x_d]/(x_0\cdots x_d - p))$ is regular and is a basic example of a semistable scheme over $\mathbb{Z}_p$. How does one build a proper ...
- 2,663
6
votes
0
answers
234
views
Resolution graph of higher dimensional ADE singularities
I am looking for different configurations of the exceptional divisors arising from blowing up a higher dimensional ADE singularity (see p. 240 of this article of Bruns for a description of such ...
- 1,981
6
votes
0
answers
388
views
Globalization of Brieskorn-Grothendieck resolution
Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...
- 1,803
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
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
0
answers
119
views
Semi-stable model over a totally ramified extension
Notation: Let $R$ be a DVR, $K=\text{Frac}(R)$ and $k=R/\mathfrak{m}$. Given an $R$-scheme $X$, write $X_K=X\times_{R} K$ for the generic fiber and $X_k=X\times_R k$ for the special fiber.
Suppose $k$ ...
- 282
3
votes
0
answers
118
views
Crepant resolution of quotient singularities
Let $G$ be a finite subgroup of $U(m)$ such that $G$ acts freely on $\mathbb C^m \setminus \{0\}$.
If $\mathbb C^m/G$ has a crepant resolution, can we necessarily derive that $G \subset SU(m)$?
- 1,441
3
votes
0
answers
138
views
Inverse image Weil divisor on a toric variety as a Cartier divisor
Let $X$ be a normal toric variety over an algebraically closed field and let $D$ be a torus invariant (prime) divisor. Assume $\pi\colon \tilde{X}\rightarrow X$ is a toric resolution of singularities ...
- 337
3
votes
0
answers
120
views
Resolving the "wild" singularities of $\mathbb A^n/C_n$
Let the cyclic group on $n$ elements, $C_n$, act on $\mathbb A^n$ by permuting the co-ordinates (over a field $k$). If $n \neq 0 \in k$, we can resolve the singularities of $X = \mathbb A^n/C_n$ by ...
- 7,746
3
votes
0
answers
254
views
Birationally equivalent elliptic curves and singularities
I got the following cubic elliptic curve from some physical problem $$E_c(\mathbb{C}): w^2=4 z^3-zG_2-G_3,$$ where $G_2=3
\alpha ^2+\gamma$ and $G_3=\alpha ^3-\alpha \gamma
-\beta ^2$ for known ...
- 231
3
votes
0
answers
170
views
Does existance of crepant resolution of tangent space imply existance of crepant resolution globally in the algebraic setting?
Suppose $X$ is smooth proper algebraic $\mathbb C$-variety with algebraic action of a finite abelian group $G$. Suppose I know that
$X/G$ (good geometric quotient) exists and it is normal Gorenstein ...
- 1,307
3
votes
0
answers
216
views
When do crepant resolutions of quotients of Calabi-Yau varieties exist?
Suppose I have a Gorenstein variety $X$ over $\mathbb{C}$ with trivial canonical bundle, and the action of a finite group $G$ on $X$, which acts trivially on the canonical bundle.
Question. When does ...
- 31
3
votes
0
answers
992
views
Definition of Q gorenstein variety
I have a question about the definition of Q-Gorenstein variety.
I saw a definition of Q-Gorenstein variety：for a normal variety $X$, it's Q-Gorenstein if the canonical divisor is Q Cartier. I wonder ...
- 623
3
votes
0
answers
783
views
Intuition behind RDP (Rational Double Points)
Let $S$ be a surface (so a $2$-dimensional proper $k$-scheme) and $s$ a singular point which is a rational double point.
One common characterisation of a RDP is that under sufficient conditions there ...
- 5,966
3
votes
0
answers
451
views
Singularities of rational quartic surfaces
Let $X\subset \mathbb{P}^3$ be an irreducible quartic surface, defined over an algebraically closed field $k$. Suppose that $X$ is rational (i.e. birational to $\mathbb{P}^2$). Is is true that $X$ has ...
- 7,722
3
votes
0
answers
167
views
Examples of explicit computations of log-resolutions
I have been working with log-resolutions lately and learning more about them. I am aware that in general producing explicit log-resolutions is difficult, but I was wondering if this has been done in ...
3
votes
0
answers
269
views
surjectivity of double dual map for weil divisors on normal varieties
If $X$ is a normal complex variety, and $D$ is an effective $\mathbb{Q}$-Cartier Weil divisor, then there is a natural map $\mathcal{O}(D) \otimes \mathcal{O}(-D) \rightarrow \mathcal{O}_X$. My ...
- 83
3
votes
0
answers
352
views
smoothing of isolated surface singularity
I want to know when an isolated surface singularity can be smoothed, especially for log canonical isolated surface singularity. Is there any good reference. Thanks in advance.
- 623
3
votes
0
answers
447
views
simple elliptic surface singularity
Suppose X is a one dimension torus and L is a line bundle over X, I think one class of log canonical surface singularity comes from the contraction of one elliptic curve from the total space L. My ...
- 623
3
votes
0
answers
82
views
Singularities of fibrations 2
This question is related to my previous question:
Singularities of fibrations
Assume that $X$ is a complete intersection irreducible $3$-fold in a product of projective spaces. So that $X$ is ...
- 8,998
3
votes
0
answers
157
views
Resolving complete intersections of quadrics with singularities
Suppose that $X$ is a complete intersection of quadrics in $\mathbb P^n_{\mathbb C}$. Is there some straightforward procedure to resolve the singularities of $X$?
For example, can one stratify ...
- 14.3k
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
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
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
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
3
votes
0
answers
287
views
big and small resolutions of singularities of a 4-fold
Suppose we have a projective 4fold hypersurface $X\subset P^n$
with ordinary singularities along a smooth curve $C$, and suppose that there exist a projective small resolution $s:Y\to X$. let us ...
- 3,779
3
votes
0
answers
272
views
References for resolutions of ordinary singular points
Let $X$ be a $n$-dimensional complex projective algebraic variety, let us suppose that $X$ has only isolated singularities.
Edit: Let us say that an ordinary $m$-ple singular point is an isolated ...
- 9,870
3
votes
0
answers
531
views
"Step-by-Step" toric resolution process?
WLOG the fan $\Sigma$ of our toric variety $X_{\Sigma}$ is simplicial. (So $X_{\Sigma}$ has at worst orbifold singularities and all cones $\sigma \in \Sigma$ are simplicial).
The classical toric ...
- 1,939
3
votes
0
answers
175
views
(semi-)Small resolutions of Peterson varieties
Peterson varieties (in type A) can be described as the subvarieties of the full flag variety
$$\{(F_{i})\;|\; F_{i}\subset \mathbb{C}^{n}, \; \dim F_{i} =i,\; N(F_{i})\subset F_{i+1}\}$$
where $N$ ...
- 1,201
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
2
votes
0
answers
113
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
- 305
2
votes
0
answers
108
views
Deformation to normal cone of the exception divisor of a log-resolution
I am reading the paper Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink due to G. Guibert, F. Loeser, and M. Merle. The main tool, like a lot of papers in ...
- 893
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
- 7,746
2
votes
0
answers
203
views
Trace formula for monodromy of Milnor fibrations
I am reading the paper A. Campo, Le nombre de Lefschetz d'une monodromie but I am stuck at several points, hope that someone can help me.
Let $P:\mathbb{C}^{n+1} \longrightarrow \mathbb{C}$ be a germ ...
- 893
2
votes
0
answers
220
views
plumbing description of resolution of ADE singularities
Let $G$ be a finite subgroup of $SU(2)$ and consider the quotient of the unit ball $B\subset \mathbb{C}^{2}$ by $G$. The result, denoted by $V$, has a boundary $S^{3}/G$ and has an ADE singularity at $...
- 1,069
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