The singularity-theory tag has no wiki summary.

**3**

votes

**1**answer

90 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

**2**answers

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

**5**

votes

**2**answers

761 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

**1**answer

241 views

### Iterated Milnor fibrations and Thom's a_f condition

Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question:
Problem: Let ...

**2**

votes

**1**answer

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

**3**

votes

**2**answers

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

**2**

votes

**1**answer

189 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

140 views

### Analytic vector fields on surfaces which have infinite number of singularities

Let $X$ be an analytic vector field on a compact oriantable surface $S$ with volume form $\omega$. We denote the set of its singularities by $Z(X)$.
A local question
Is there an analytic vector ...

**1**

vote

**0**answers

285 views

### Presence of singular points in the trajectory of a double pendulum

Watching the trajectory of a double pendulum, I caught myself wondering if it would be possible to prove that the path the second pendulum makes contains "cusps" or singular points. Upon investigating ...

**6**

votes

**1**answer

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

**1**

vote

**0**answers

61 views

### Three- dimensional astroid and catastrophe maps

Is a three-dimensional astroid curve $(2\cos^3u,2\sin^3u,3\cos2u)$ a part of a bifurcation set of some catastrophe map?

**4**

votes

**1**answer

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

**1**

vote

**0**answers

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

**5**

votes

**1**answer

92 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

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

**0**

votes

**0**answers

13 views

### Discriminant set and Bifurcation set

the discriminant set of an n-dimensional versal unfolding of
an $A_k$ singularity, and the bifurcation set of an n -dimensional versal unfolding of an $A_{k+1}$, (potential type) singularity are ...

**1**

vote

**1**answer

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

**5**

votes

**2**answers

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

**2**

votes

**0**answers

106 views

### geometric irregularities in pde's

The following question is intended for a person more acquainted with the works of Yves Laurent.
see: http://archive.numdam.org/article/ASENS_1987_4_20_3_391_0.pdf (French)
...

**3**

votes

**1**answer

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

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

**2**

votes

**0**answers

72 views

### Lagrangean equations for the generating function of quadrangulations

Let $M(z)$ be the generating function of edge-rooted connected quadrangulations, with $z$ marking the number of edges. I derived the following Lagrangean equations for $M(z)$:
$$M(z) = ...

**8**

votes

**1**answer

348 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

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

**6**

votes

**3**answers

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

**4**

votes

**2**answers

214 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

**3**answers

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

**1**

vote

**1**answer

139 views

### Obstruction map for local singularities via tangent (Andre-Quillen) cohomology

Let $R$ be a local singularity (for example $R=\mathbb{C}[[x_1, \ldots , x_n]]/I$) ring over $\mathbb{C}$. Let $\mathbb{L}_{R}$ be a cotangent complex of $R$, then one can define tangent ...

**3**

votes

**1**answer

234 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

**0**answers

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

**2**

votes

**2**answers

793 views

### Explicit examples of resolution of (projective) 3-folds over k?

I'm looking for examples of explicit resolutions of (projective) 3-folds over a field k (char 0), with isolated singularities, or at least with smooth singular locus. I've looked in various books and ...

**3**

votes

**0**answers

160 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

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

**0**

votes

**0**answers

49 views

### Homology basis of minimal resolution

Let $S$ be a compact algebraic surface with du Val singularities and $T$ be the minimal resolution of it. Is it true that
$$
H_2(T,\mathbb{Z})/(\oplus_{i}\mathbb{Z}E_i)\cong H_2(S,\mathbb{Z}),
$$
...

**9**

votes

**1**answer

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

**5**

votes

**2**answers

1k 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?
...

**0**

votes

**1**answer

175 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

**1**answer

130 views

### local fundamental group of elliptic singularities

Is the local fundamental group of an elliptic singularity virtually solvable ? Here (the terminology is sometimes divergent) an elliptic singularity is a (germ of) normal surface $(X,x)$ such that $X$ ...

**4**

votes

**1**answer

206 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

**0**answers

101 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

**1**answer

162 views

### Understanding maps from M to R^n, for n>dim M

I am interested in "approximating" smooth maps from a compact smooth manifold $M$ of dim $m$ into $\mathbb R^n,$ for $n>m,$ by "nice" maps, with properties similar to those of Morse functions. Of ...

**6**

votes

**2**answers

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

**1**

vote

**0**answers

77 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

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

**2**

votes

**0**answers

156 views

### Stratification of a smooth map

So, this is an exercise. But from math.stackexchange I have been suggested to post this question here.
To find the Thom-Boardman stratification of the smooth map
...

**25**

votes

**0**answers

2k views

### Microlocal geometry - A theorem of Verdier

(1) In "Geometrie Microlocale", Verdier states the following theorem.
Theorem: Let $E$ be a vector space and $F$ a constructible complex on $E$.
Then for $\ell$ a linear form on $E$, we have a ...

**3**

votes

**2**answers

196 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

**0**answers

324 views

### Isolated singularities and tangent cones

Assume that I have an affine hypersurface $X =V(f)\subset \mathbb{C}^4$ of degree $d$ with an isolated singularity of multiplicity $m$ at the origin $o=(0,0,0,0)$. Let $$f:=f_m + f_{m+1}+ \cdots ...