The singularity-theory tag has no usage guidance.

**3**

votes

**1**answer

312 views

**47**

votes

**2**answers

3k views

### When is a singular point of a variety smooth?

If $X$ is a nonsingular algebraic (or analytic) variety over $\mathbb C$ or $\mathbb R$ then it is certainly $C^\infty$ over the reals.
The converse is false for a silly reason : in the real or ...

**5**

votes

**0**answers

316 views

### What is known about “singularity types” in the Murphy's Law sense?

In his "Murphy's Law" paper, Vakil gives a definition equivalent to the following:
The singularity type of a pointed scheme $(X,p)$ its equivalence class, under the following equivalence relation: ...

**9**

votes

**3**answers

591 views

### Singular fibers of generic smooth maps of negative codimension

This is in some sense a follow-up to my question on submersions.
Let $f\colon\thinspace M\to N$ be a generic smooth map between closed manifolds of dimensions $m$ and $n$. Assume that the codimension ...

**1**

vote

**0**answers

212 views

### Do deformations of isolated hypersurface singularity naturally induce deformations of their divisors?

Let $0 \in V =(f=0) \subset \mathbb{C}^{n+1}$ be an affine variety with an isolated hypersurface singularity at the origin for $n \ge 3$.
Let $0 \in D=(x=f=0) \subset V$ be a divisor with only ...

**5**

votes

**0**answers

248 views

### Fixed point sets that carry topology

Let $M$ be a closed smooth manifold. A generic diffeomorphism $\phi: M\rightarrow M$ has non-degenerate fixed points, i.e. the intersections of its graph with the diagonal in $M\times M$ are all ...

**2**

votes

**1**answer

241 views

### Controlling singularities on log mmp

Suppose all my varieties are complex threefolds $X\rightarrow Y$ over some smooth base curve germ $Y$. We can assume the fibres are Del Pezzo surfaces with generic smooth fibre.
If I do (relative) ...

**3**

votes

**1**answer

651 views

### Is P^2 important in Kontsevich's recursion formula?

There is a famous recursion formula by Kontsevich to find the number of
genus zero degree $d$ curves in $\mathbb{CP}^2$ through $3d-1$ points.
My question is the following: Let $S$ be a complex ...

**4**

votes

**2**answers

719 views

### Q-factorial and rational singularities on surfaces

Let $X$ be a normal surface. Is any rational singularity $\mathbf{Q}$-factorial? I've seen this somewhere for surfaces over fields, but what about the general case of an integral 2-dimensional ...

**2**

votes

**0**answers

152 views

### Are there ways to make low degree checks for enumerative formulas except for curves in CP^2?

This is a concrete question in Enumerative geometry. Let $S$ be a compact
complex surface and $L\rightarrow S$ a holomorphic line bundle. Let
$$ \delta_d = \text{dim}~ \mathbb{P}(H^0(S,L^d)) $$
...

**11**

votes

**1**answer

449 views

### Can a PDE constrain the degree of a $C^\infty$ map germ?

Let $\pi:E\to M$ be a smooth vector bundle over a smooth manifold, with $\text{rank}(E)=\text{dim}(M)$. For a section $\sigma$ of $E$ with a zero at $p\in M$, define the degree of the zero at $p$ to ...

**4**

votes

**2**answers

758 views

### Can one prove vanishing of higher direct images fiber-wise?

Let $\pi:X\to Y$ be a proper map of algebraic varieties (over $\mathbb C$) which is a bi-rational equivalence.
are the following statements equivalent?
The derived direct image of $O_X$ is $O_Y$.
...

**1**

vote

**1**answer

185 views

### How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...

**7**

votes

**0**answers

455 views

### Physicists Euler number conjecture

Physicist's Euler number conjecture says:
If $G \subset SL(n,\mathbb{C})$ is a finite group, $X=\mathbb{C}^n/G$ is the quotient space and $f:Y \rightarrow X$ a crepant resolution (always exists for ...

**10**

votes

**2**answers

1k views

### Giant Rat of Sumatra singularity

I would be grateful for explanations of the issues raised in any
of these three questions, or pointers to the relevant literature
(now updated with answers):
How did a particular singularity come ...

**6**

votes

**1**answer

609 views

### Blowing-up an ordinary double point, then contracting the exceptional locus to a curve

Let $X\subset\mathbb P^4$ a projective hypersurface with an ordinary double point at $o\in X$.
Blow-up $\mathbb P^4$ at $o$ and let $E\simeq\mathbb P^3$ the exceptional divisor of this blow-up. ...

**8**

votes

**2**answers

524 views

### Resolution of singularities for flat families.

Is there a resolution of singularities for flat families?
More precisely, if $X \rightarrow \mathbb{A} ^n$ is a flat map, does there exist a map $Y \rightarrow X$ such that, for every $p \in ...

**10**

votes

**2**answers

2k views

### construct the elliptic fibration of elliptic k3 surface

Hi all,
As we know, every elliptic k3 surface admits an elliptic fibration over $P^1$, but generally how do we construct this fibration? For example, how to get such a fibration for Fermat quartic?
...

**4**

votes

**1**answer

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

**4**

votes

**2**answers

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

**6**

votes

**2**answers

1k views

### Places to learn about Landau-Ginzburg models

Here is what I know about Landau-Ginzburg models:
It is an important player in the story of mirror symmetry.
It involves "potentials" which are functions of complex varibles, which have isolated ...

**6**

votes

**2**answers

413 views

### How can we find a surface with a given singularity?

I was surprised the first time I learned that a quintic plane curve can have an $A_{10}$ singularity i.e $x^2+y^{10}$. I am wondering if there is something about that phenomenon: Given a singularity ...

**8**

votes

**2**answers

740 views

### Implicit function theorem at a singular point?

Let $F:\mathbb{R}^2 \rightarrow \mathbb{R}$ be three times continuously differentiable in some open neighborhood $\mathcal{U}$ of $(0,0)$. Suppose that $F(0,0) = F_x(0,0) = F_y(0,0) = F_{xy}(0,0) = 0$ ...

**7**

votes

**1**answer

335 views

### When two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$ are the same?

Let us consider two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$, where $G$ and $G'$ are finite subgroups of $\mathrm{GL}(n,\mathbb{C})$ acting linearly.
It is easy too see, that a different ...

**2**

votes

**1**answer

157 views

### Is there an invariant similar to the delta invariant that distinguishes an $A_2$ node form an $A_1$ node?

Consider the following question: If two nodes collide what do you get?
First of all it can not be a strict $A_2$ node, because the delta invariant
of that is $1$. So it has to be more singular than ...

**2**

votes

**1**answer

295 views

### Thom's gradient conjecture and analyticity

Suppose we have an analytic function $f: U \to {\mathbb R}$, where $U\subset {\mathbb R}^n$ an open subset, with $0\in U$ a critical point of $f$. Thom conjectured that if a trajectory $x(t)$ of ...

**3**

votes

**2**answers

289 views

### Obstructions to being a hyperplane section or a fibre of a Lefschetz pencil

Given a smooth projective variety $X$, when could $X$ fail to be a hyperplane section in some other variety $Y$, or fail to be the fibre of some Lefschetz pencil $\widetilde{Y} \rightarrow ...

**0**

votes

**1**answer

267 views

### What is the simplest way to show that a section of a vector bundle is transverse to the zero set

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

**3**

votes

**2**answers

904 views

### regular singularities and logarithmic singularities

What is the difference between regular singularities and logarithmic singularities? Could someone give me a reference where the distinction is clearly explained? I apologize in advance if this ...

**3**

votes

**1**answer

191 views

### What is the simplest way to represent a $D_5$ singularity?

Consider this curve $f(x,y)=0$ given by
$$ f(x,y) := y^3 + y^2 x + x^4 =0.$$
Is it obvious that after a change of coordinates near the origin, this
curve is equivalent to
$$ \hat{y}^2 \hat{x} + ...

**2**

votes

**1**answer

360 views

### Log resolutions on surfaces and 3-folds in characteristic p

If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...

**6**

votes

**3**answers

662 views

### hyperplane sections of isolated hypersurface singularities.

Given an isolated singularity $p$ in a hypersurface $Y$ of dimension $n$ (let say a surface in $\mathbb{P}^3$). I can intersect $Y$ with a hyperplane $H$ passing through $p$ such that it induces a ...

**3**

votes

**1**answer

416 views

### Is it true that the only singularities upto codimension seven are the ADE singularities?

I have a very concrete question about degree $d$ curves in $\mathbb{P}^2$.
Let $$\mathcal{D} \approx \mathbb{P}^{\delta_d}$$
be the space of homogeneous degree $d$ polynomials in three variables upto ...

**3**

votes

**1**answer

208 views

### Is there an upper bound and a lower bound on the contribution to the genus, for a singularity of codimension k?

To make my question precise, suppose you have a complex curve locally given by
$$f(x,y) =0 $$
and $f$ has singularity of type $\chi_k$ at the origin. The codimension of
this singularity is $k$. Let ...

**3**

votes

**3**answers

490 views

### Closure of singular points

Let $f(x,y)$ be a complex degree $d$ polynomial that has this particular
form.
$$ f = \frac{f_{02}}{2} y^2 + \frac{f_{21}}{2} x^2 y +
\frac{f_{12}}{2} x y^2 + \frac{f_{03}}{6} y^3 + ...

**6**

votes

**4**answers

827 views

### I was wondering if the set of singular loops is a (somewhere) submanifold of loop space?

The set of all smooth maps $S^1\to M^n$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps ...

**2**

votes

**1**answer

224 views

### Does the Newton polytope characterize the equisingular i.e topological type?

Whenever, people talk about singular plane curves they talk about their Newton polytope which is obviously coordinate dependent. I understand that with some conditions over the singular curve, some ...

**8**

votes

**3**answers

454 views

### Applications for knowing the singularities parametrized by the boundary of a moduli space

Given a moduli space $M$ of some smooth algebraic geometric object such as curves, surfaces, etc. Let $\overline{M}$ be a compactification of $M$. Then, $\overline{M}\setminus M$ introduces ...

**1**

vote

**0**answers

180 views

### When does the smoothing of projectivized tangent cone lift to a deformation of a space?

Let $(X,0)\subset(\mathbb{C}^N,0)$ be the (formal) germ of a singular space (isolated singularity). Let $\mathbb{P}T_{(X,0)}\subset\mathbb{P}^{N-1}$ be its projectivized tangent cone (considered as a ...

**4**

votes

**1**answer

747 views

### the blowing up of a plane curve playing me tricks.

Sorry for the easy question but this is driving me crazy. Consider the blowing up of the curve $(y^2-x^3)^2+y^5$ at the origin.
On the first blowing up, on the chart that intersects the exceptional ...

**27**

votes

**3**answers

2k views

### Wanted: example of a non-algebraic singularity

Given a finitely generated $\def\CC{\mathbb C}\CC$-algebra $R$ and a $\CC$-point (maximal ideal) $p\in Spec(R)$, I define the singularity type of $p\in Spec(R)$ to be the isomorphism class of the ...

**5**

votes

**1**answer

444 views

### Ordinary n-uple Points and Resolution of Singularities on a Surface

Let $X$ be an algebraic variety over some algebraically closed field $\Bbbk$ and let us assume $\dim(X)=2$, i.e. $X$ is an algebraic surface.
First, I would like to know the definition of an ordinary ...

**2**

votes

**1**answer

679 views

### de jong's alteration theorem for families

What is the current status of de Jong's smooth alteration theorem for a family of schemes?
His 1997 paper shows that given any family of curves $X/S$ with $S$ of finite type (and, say, local) over a ...

**2**

votes

**1**answer

370 views

### Resolution of “nice” and zero-dimensional singularities on a surface

Assume I have a singular algebraic surface $X$ over an algebraically closed field (characteristic zero if you want) which is singular in a finite set of points. I am looking for a condition as to the ...

**2**

votes

**2**answers

460 views

### The exceptional locus of a minimal resolution of singularities

Let X be a surface. (A surface is an excellent integral normal separated 2-dimensional scheme.)
Let $\psi:Y\longrightarrow X$ be a minimal resolution of singularities and let $E$ be an irreducible ...

**2**

votes

**1**answer

306 views

### Stable singularities of smooth map $\mathbb R^3\to \mathbb R^4$

Does anybody know any classification of stable singularities of smooth map $f:\mathbb R^3\to \mathbb R^4$?
It is clear that there are singularities which look like intersection of 2 (or 3 or 4) ...

**9**

votes

**1**answer

973 views

### Du Val singularity of type G=A,D,E and “small” representations of G

We all know that a simple singularity $W_G(x_1,x_2,x_3)=0$ of type G=A,D,E has the following nice deformation involving the Cartan subalgebra $\mathfrak{h}$ of the Lie algebra $\mathfrak{g}$ of $G$. ...

**3**

votes

**0**answers

143 views

### Tangent cones to Severi strata

Let $\mathbb{C}[[x,y]]/f(x,y)$ be a reduced plane curve singularity. The base of a versal family can be taken to be (an open subset in) $\Lambda = \mathbb{C}[x,y]/(f,\partial_x f, \partial_y f)$; the ...

**1**

vote

**1**answer

410 views

### Brieskorn's proof of a theorem by Milnor about the Milnor number

I am looking for a reference or short explanation of a proof by E. Brieskorn.
In his famous work "Singularities of complex hypersurfaces" Milnor proves that the (nowadays called) Milnor Number (in ...

**4**

votes

**1**answer

232 views

### Transversals to singular subvarieties

Say $\mathbb{C}^d \subset Y^{N-k} \subset \mathbb{C}^N$ are closed imbeddings of complex analytic subvarieties of the indicated dimension, $Y$ is not smooth. At a point $y \in Y$, a generic, ...