# Tagged Questions

**2**

votes

**0**answers

78 views

### generalization Abhyankar's lemma

This question is related to a question I already asked on MO (smooth quotient out of a singular variety?), but I realized later that the hypotheses where not precise enough in my former question.
Let ...

**1**

vote

**1**answer

173 views

### smooth quotient out of a singular variety?

If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth.
My ...

**6**

votes

**1**answer

234 views

### Picard group generated by effective divisors: counterexample?

Let $X$ be an integral variety defined over an algebraically closed field $k$ of characteristic 0 with finitely generated Picard group $Pic(X)$ and such that $k[X]^\times=k^\times$ (i.e. the only ...

**5**

votes

**1**answer

247 views

### A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric.
Fix an arbitrary point $p\in X$. Let ...

**4**

votes

**1**answer

113 views

### Castelnuovo's rationality criterion on singular surfaces?

Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...

**0**

votes

**0**answers

65 views

### Depth of conormal sheaf of a quotient singularity in a smooth variety

Let $U= \mathbb{C}^n/ \mathbb{Z}_r$ be a cyclic quotient singularity by the finite cyclic group $\mathbb{Z}_r$ of order $r$.
Assume that the group action is free outside a closed subset $Z \subset ...

**4**

votes

**2**answers

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

**0**

votes

**0**answers

64 views

### Birational contraction to a $\mathbb{Q}$-Gorenstein Variety

Given a birational contraction morphism $X\rightarrow Y$
of complex normal algebraic varieties.
If $Y$ is a smooth variety, what kind of singularities can appear
on $X$?
I would be grateful of any ...

**1**

vote

**1**answer

130 views

### Intrinsically proving a singularity is rational

In general, how to prove a variety has rational singularities intrinsically? i.e., don't use the Artin's criterion concerning the exceptional locus. And what kinds of varieties have only rational ...

**5**

votes

**1**answer

184 views

### The singularity of the algebraic stack and the singularity of the coarse moduli space

It is possible that an algebraic stack is smooth while the coarse moduli space is not smooth. I want to know what is relationship between the singularity of the algebraic stack and that of its coarse ...

**3**

votes

**1**answer

118 views

### Simple example of isolated critical point with non-semisimple monodromy

Consider a polynomial map $f :\mathbb{C}^{n+1} \rightarrow \mathbb{C}$ with $f(0)=0$ (no constant term) and with isolated critical point at $0 \in \mathbb{C}^{n+1}$. We can choose a disc $D$ of some ...

**2**

votes

**1**answer

377 views

### Topological degree and polynomial degree

Let $F:\mathbb{C}^n\to \mathbb{C}^n$ be a homeomorphism homogeneous of degree 1 (i.e., $F(tx)=tF(x)$, $t>0$) and $g:\mathbb{C}^n\to \mathbb{C}$ a homogeneous polynomial of degree $k$. Let $L$ ...

**5**

votes

**1**answer

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

**5**

votes

**1**answer

94 views

### Properties of singularities that are preserved by categorical quotients

Let $G$ be a reductive group acting on an affine singular
variety $X$, and let $X/G$ be the categorical quotient. I know that if
$X$ has rational singularities, then so does $X/G$ ...

**1**

vote

**0**answers

203 views

### Blowdown and contraction

I am sorry, my question is very naive.
2nd Edit: Let us suppose that $V$ is a smooth complex projective variety, and $Y\subset V$ is a smooth divisor and has an ample conormal line bundle.
We would ...

**2**

votes

**1**answer

199 views

### fearful of defining equivalent germs for non isolated singularities

Two power series $G(x_1, \ldots, x_n)$ and $F(x_1, \ldots, x_n)$ are equivalent over $\mathbb{C}$ if there is an automorphism of the ring
$\mathbb{C}[[x_1, \ldots, x_n]]$ given by $x_1 \to \phi(x_1, ...

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

**3**

votes

**2**answers

212 views

### Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$

Using the exact sequence
$$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$
it is easy to compute ...

**3**

votes

**1**answer

253 views

### For what varieties do we have results on the category of singularities?

Let $X$ be a singular variety. Define the (triangulated) category of singularities (as in Orlov's paper)
as the Verdier quotient of the derived category of coherent sheaves on $X$ modulo the full ...

**3**

votes

**1**answer

160 views

### Deformations of quotient singularities

Let $Y$ be an affine scheme over a field of characteristic zero. Suppose we have a group $G$ acting on $Y$ and that the subset of $Y$ of points with non-trivial stabilizer is in codimension greater or ...

**5**

votes

**1**answer

191 views

### Relation between Milnor ring and middle dimensional homology of hypersurface

I have suspected that the following is well-known:
If $P$ is a homogeneous polynomial of degree $d$ in $n$ variables (for example, Fermat quintic $x_1^5 + \cdots + x_5^5$). The Milnor ring is ...

**8**

votes

**1**answer

355 views

### Why can you deform singularities in two dimensions but not in higher dimensions?

I've been trying to read this paper to understand deformations of surface quotient singularities. I'm particularly interested in when one can deform certain cyclic quotient singularities into other ...

**6**

votes

**2**answers

240 views

### Whitney stratification and affine grassmanian

Let $G$ a simply connected group over $\mathbb{C}$ and $Gr:=G(\mathbb{C}((t)))/G(\mathbb{C}[[t]])$ the affine grassmannian. By Cartan decomposition we have a partition of stratas indexed by ...

**3**

votes

**3**answers

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

**0**

votes

**0**answers

117 views

### Action on C[[X,Y]]/f(X,Y) giving complete intersection quotients

Let $R \colon\!= {\Bbb C}[[X,Y]]/(f(X,Y))$ be a complete local ring of Krull-dimension $1$. Assume that we have an action of $\Bbb Z$ on $R$ such that fixed elements by $\Bbb Z$ in $R$ are only ...

**3**

votes

**0**answers

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

**7**

votes

**0**answers

250 views

### Cohomology and conifold transition for the quintic

Let $Y\subset \mathbb{C}P^4$ be the quintic threefold given by the equation $$X^5_0+X^5_1+X^5_2+X^5_3+X^5_4+5X_0X_1X_2X_3X_4=0$$
it has 125 singular points whose links are homeomorphic to $S^2\times ...

**9**

votes

**1**answer

235 views

### Do level sets always correspond to even graphs?

Suppose I have a level set of some function $f\colon\mathbb{R}^n\rightarrow\mathbb{R}^m$, say $L:=\{x:f(x)=c\}$. Let $S$ denote the points in $L$ at which $L$ is locally diffeomorphic to an open ...

**3**

votes

**1**answer

243 views

### Do there exist double points on an algebraic surface in $\mathbb{P}_{\mathbb{C}}^3$ that are not rational?

The title explains it all.
I'm familiar with the du val singularities on surfaces, also known as rational double points. In http://homepages.warwick.ac.uk/~masda/surf/more/DuVal.pdf, 2.1, they are ...

**0**

votes

**1**answer

204 views

### singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true.
Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...

**3**

votes

**2**answers

202 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

**1**answer

239 views

### Normal form for a holomorphic Morse function

Similarly to Morse lemma, a holomorphic Morse function can be written, near a critical point, as $W_1^2+W_2^2+...+W_n^2+C$ , for well chosen coordinates $W_1,W_2,...,W_n$. I want to cite this result ...

**3**

votes

**2**answers

222 views

### on a characterisation of regular D-modules

Let $X$ be a smooth variety over a field of characteristic zero. Let $M$ be in the derived category of holonomic $\mathcal{D}_{X}$-modules, $D^{b}_{h}(\mathcal{D}_{X})$.
We know that if we assume ...

**3**

votes

**0**answers

118 views

### Hypersurfaces with Gorenstein singular loci

Recall that a hypersurface $D$ in a complex manifold $X$ is called a free divisor if the Lie algebroid $\mathcal{T}_X(-\log D)$ of vector fields tangent to $D$ is locally free. This condition is ...

**3**

votes

**0**answers

55 views

### on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$.
Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$.
We consider $I_{\gamma}$ the group ...

**1**

vote

**0**answers

80 views

### cotangent complex for finite flat morphism and different ideal

Let a ring $A$, $F=A[X_{1},\dots X_{n}]$ and $B:= F/J$.
We suppose that we have a finite flat lci morphism $f:Spec(B)\rightarrow Spec(A)$.
To mesure the singularities of this map, Gabber-Ramero ...

**2**

votes

**0**answers

63 views

### semicontinuity of the conductor defined by Temkin

We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor.
For a ...

**3**

votes

**2**answers

199 views

### Surfaces in $\mathbb P^3$ with many simple isolated singularities

Could anybody help me with examples of surfaces $X\subset\mathbb P^3$ (projective, over $\mathbb C$) having many isolated singularities of the type $A_1$ ($x^2+y^2+z^2=0$) or $A_2$ ($x^2+y^2+z^3=0$) ...

**3**

votes

**2**answers

186 views

### Factoriality of one-nodal Calabi-Yau threefolds

Let $X$ be a projective Calabi-Yau threefold with a single ordinary double point at $x \in X$, and smooth elsewhere. Is $X$ necessarily factorial?
I suspect that the answer is "yes", for the ...

**1**

vote

**0**answers

54 views

### Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function
vanishing at the origin, with
the following properties:
$$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...

**4**

votes

**1**answer

195 views

### Is Gorenstein singularity a locally analytic property

Let $X$ be a variety over $\mathbb{C}$, and $X^{an}$ be the analytic space associated to $X$. $X$ has Gorenstein singularity at $x \in X$ iff the local ring $\mathcal{O}_{X,x}$ is a Gorenstein ring. ...

**1**

vote

**1**answer

70 views

### Finite construction of lacunary functions using algebraic and certain analytic operations

Algebraic functions have a discrete set of singularities. Lacunary functions, e.g. $f(z)=\sum_{n=0}^\infty z^{2^n}$, have a continuum of singularities at every point of the boundary of their disk of ...

**0**

votes

**1**answer

102 views

### Is the space of degree $d$ curves with marked smooth points dense inside the space of curves with marked points?

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d} $ be the space of nonzero
homogeneous degree $d$ polynomials in three variables upto scaling, where
$\delta_d = \frac{d(d+3)}{2} $
(basically degree ...

**4**

votes

**2**answers

358 views

### Is there an analogous concept for the degree of a map, when the spaces are singular?

Let $M$ and $N$ be two smooth compact, oriented manifolds and
$X\subset M$ an oriented submanifold of $M$ of dimension $k$
(not necessarily closed). Suppose in addition that $\bar{X}-X$ is contained ...

**5**

votes

**1**answer

190 views

### Are there general position results in singular algebraic sets?

Let $X$ be a real algebraic set, and let $Y \subset X$ be its singular set. In this question I'll focus on the analytic topology, so we can just imagine that $X$ is the zero set, in $\mathbb{R}^n$, ...

**4**

votes

**2**answers

174 views

### When is the intersection of an isolated normal singularity with a generic linear subspace through that singularity normal?

Suppose I have an affine subvariety $A \subset {\mathbb C}^N$ of dimension $n \geq 3$ which has an isolated singularity at $0$ (lets say for the sake of simplicity that it is non-singular everywhere ...

**1**

vote

**0**answers

81 views

### How do I check whether an orbifold admits deformations?

(Cross-post from math.stackexchange, where it has received no attention.)
Orbifolds $\mathbb{C}^2/\mathbb{Z}_n$, given by the action $(x, y) \mapsto (\zeta x, \zeta^{-1} y)$ with $\zeta$ a primitive ...

**8**

votes

**2**answers

527 views

### Whitney stratifications

Many results on characteristic classes of singular varieties (as well as other singularity-theoretic constructions) make use of a so-called "Whitney stratification" of the variety under consideration, ...

**9**

votes

**0**answers

221 views

### Can I compute the cohomology of the complement of a log canonical divisor as if it were normal crossings?

Let $X$ be a smooth projective variety and $D$ a log-canonical divisor and let $U = X \setminus D$. I have heard the slogan "log-canonical is just as good as normal crossings for Hodge theory". This ...

**2**

votes

**2**answers

251 views

### Bounds for the milnor number of a hypersurface singularity

I am having a hard time in finding an upper bound in terms of the degree and the dimension for the Milnor number of an isolated hypersurface singularity. I am mostly interested in surfaces on the ...