2
votes
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
3answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
0answers
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
2answers
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
0answers
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
2answers
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 ...