The resolution-of-singulariti tag has no usage guidance.

**1**

vote

**1**answer

117 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 ...

**6**

votes

**2**answers

191 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 ...

**0**

votes

**0**answers

198 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 ...

**4**

votes

**4**answers

396 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 ...

**8**

votes

**1**answer

344 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 ...

**0**

votes

**0**answers

55 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 ...

**0**

votes

**0**answers

66 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 ...

**0**

votes

**1**answer

121 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 ...

**2**

votes

**0**answers

106 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. ...

**6**

votes

**4**answers

737 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 = ...

**7**

votes

**1**answer

534 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$. ...

**2**

votes

**1**answer

173 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 ...

**1**

vote

**0**answers

160 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 ...

**1**

vote

**0**answers

120 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 ...

**2**

votes

**1**answer

120 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 ...

**6**

votes

**3**answers

314 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 ...

**3**

votes

**0**answers

122 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 ...

**3**

votes

**1**answer

140 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$ ...

**3**

votes

**1**answer

142 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 ...

**4**

votes

**2**answers

135 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 ...

**2**

votes

**0**answers

130 views

### A question on resolution of singularities

I am wondering if it could be possible in particular cases to resolve a singularity of dimension $n$ by blowing-up a locus of dimension smaller than $n$.
For instance consider a cubic surface ...

**2**

votes

**1**answer

201 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:
...

**1**

vote

**2**answers

214 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 ...

**2**

votes

**1**answer

180 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^* ...

**2**

votes

**2**answers

348 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 ...

**0**

votes

**1**answer

167 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 ...

**0**

votes

**1**answer

636 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 ...

**4**

votes

**1**answer

197 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**

vote

**1**answer

91 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 ...

**4**

votes

**2**answers

324 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 ...

**7**

votes

**1**answer

225 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) ...

**1**

vote

**1**answer

135 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 ...

**9**

votes

**2**answers

491 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 ...

**3**

votes

**2**answers

611 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 ...

**2**

votes

**1**answer

221 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 ...

**3**

votes

**2**answers

229 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 ...

**0**

votes

**1**answer

239 views

### Kawamata-Log-Terminal pairs

Let $p_1,...,p_n\in\mathbb{P}^3$ be general points, and let $\Delta\subset\mathbb{P}^3$ be a general surface of degree $d$ with points of multiplicity $m_i$ at $p_i$ for $i = 1,...,n$.
Consider the ...

**3**

votes

**1**answer

323 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 ...

**1**

vote

**1**answer

69 views

### Determining the desingularization from the complete local ring

Suppose I have a curve $C$ over a field $k$ and that $p$ is a singular point of $C$. Let $f : X \to C$ be the desingularization of $C$ at $p$. Then for each $s \in f^{-1}(p)$ we have a map of local ...

**4**

votes

**1**answer

188 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 ...

**3**

votes

**0**answers

145 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**

votes

**3**answers

195 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. ...

**2**

votes

**1**answer

105 views

### minimality/universality of the Springer resolution of a determinantal variety

Let $X\subset P^n$ be a singular determinantal variety and $S\to X$ its Springer resolution. Let $X'\to X$ another resolution of singularities (say, a blow-up). Does $S$ have some ...

**8**

votes

**2**answers

475 views

### Can we foliate the punctured space by tori?

Is it possible to have a 2 dimensional foliation of $\mathbb{R}^{3}-\{0\}$ such that each leaf is homeomorphic to the torus? what algebraic topological obstruction exist?
Another question: is there ...

**3**

votes

**0**answers

195 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 ...

**3**

votes

**0**answers

145 views

### equivariant resolution of singularities

I am looking for some references on equivariant resolution of singularities. In most references quoted on mathoverflow (for instance : Reference on an equivariant resolution of singularities), they ...

**3**

votes

**1**answer

300 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?

**1**

vote

**1**answer

238 views

### Serre's conditions under blow-ups, Blowup and normalization

Suppose $X = \mathbb{Z}[x, y, z]/(f,g)$ is a 2-dimensional Cohen-Macaulay surface. In particular, $X$ satisfies Serre's condition $S_2$. Suppose it is irreducible, reduced but not normal.
...

**2**

votes

**0**answers

113 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) ...

**9**

votes

**2**answers

616 views

### Finite generation and Henselization

Now I understand the answers.
I am trying to understand Henselian Weierstrass Theorem in Hironaka's Idealistic exponents of singularity, page 76 - 77. A glance at the paper.
At some point there is ...