The singularity-theory tag has no usage guidance.

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

**28**

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

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

**26**

votes

**2**answers

1k views

### Limit of a series of singularities

The $A_\infty$ and $D_\infty$ plane curve singularities have defining equations $x^2=0$ and $x^2y=0$. These equations are "clearly" natural limiting cases of the equations for $A_n$ singularities $x^...

**25**

votes

**7**answers

4k views

### Examples of Mixed Hodge Structures

Does anyone know a user-friendly, example-laden introduction to mixed Hodge structures? I get from Wikipedia how to calculate for a punctured and pinched curve (http://en.wikipedia.org/wiki/...

**25**

votes

**1**answer

471 views

### Can you prove Givental's conjecture on wavefronts and the icosahedron?

In his remarkable book The Theory of Singularities and its Applications, Vladimir Arnol'd discussed a conjecture of A. B. Givental, which asserts that the symmetry group of the icosahedron is secretly ...

**18**

votes

**5**answers

2k views

### Is a 'generic' variety nonsingular? Or singular?

I'd like to know whether there's some coherent meaning of 'generic' for which one can say that a 'generic' variety over an algebraically closed field $K$, say, is nonsingular or singular. We could ...

**17**

votes

**1**answer

262 views

### Canonical scheme structure on the singular locus of a variety

I first asked this question on Math StackExchange but no answers were given.
Let $X$ be subvariety of affine space $\mathbb{A}_{k}^n$, where $k$ is a field, and suppose $X$ is given by equations
$$...

**13**

votes

**2**answers

3k views

### Elementary short exact sequence of sheaves

This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow A^2/\...

**13**

votes

**5**answers

791 views

### Comparing fundamental groups of a complex orbifolds and their resolutions.

Let $X$ be a complex manifold with quotient singularities, and let $\tilde X$ be its resolution (that exists, for example, by Hironaka). Then I am pretty sure that $\pi_1(X)\cong \pi_1(\tilde X)$.
...

**13**

votes

**1**answer

490 views

### Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that $$f(x_1,\dots,x_n)=-x_1^2-x_2^2-\dots-...

**12**

votes

**4**answers

1k views

### What formal properties should resolution of singularities have?

If I were going to propose a new construction as a "replacement for resolution of singularities", what properties would my replacement have to have? [I am going to do no such thing -- this is purely ...

**11**

votes

**4**answers

1k views

### Singular semi-Riemannian Geometry: usefulness and state of the art

My question has two parts, one concerning the state of the art of the subject, and the other the usefulness.
1. State of the art.
Can someone provide references reflecting the state of the art in ...

**11**

votes

**1**answer

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

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

**10**

votes

**2**answers

550 views

### Analytical formula for topological degree

At the first page of the following article http://arxiv.org/pdf/1004.1018v1.pdf [edit: the formula on the arXiv differs from the formula in the published paper, and the formula displayed below is the ...

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

**10**

votes

**1**answer

267 views

### Analogue of singularity theory in other categories

Whitney, Thom, Mather, Arnold and others develoved the singularity theory of smooth maps.
Does there exist any analogue of this theory in the category of TOP or PL (or Lipschitz) maps?
I mean notions ...

**10**

votes

**0**answers

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

**9**

votes

**2**answers

486 views

### Which weighted projective spaces (and their finite quotients) are local complete intersections?

Let $G$ be a finite subgroup of $\textrm{Gl}_{n+1}(k)$ (where $k$ is an algebraically closed field). My question is: do there exist examples of $G$ such that the corresponding quotient $P$ of $\mathbb{...

**9**

votes

**2**answers

987 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

**3**answers

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

**9**

votes

**1**answer

341 views

### Linearization instability and singular points of algebraic varieties

In a well known 1973 paper, Fischer and Marsden pointed out (with similar, contemporary remarks made in the physics literature by Brill and Deser) that the space of solutions of some non-linear ...

**9**

votes

**1**answer

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

**8**

votes

**2**answers

1k views

### “Arithmetic genus” of a plane curve singularity.

I believe that the following questions are very basic, but I don't know how to get a reference.
Consider a curve in the plane $C\in \mathbb C^2$ with a singularity at $0$ and suppose it is
...

**8**

votes

**2**answers

540 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 \mathbb{...

**8**

votes

**2**answers

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

**8**

votes

**3**answers

1k views

### Singularities of pairs

In the next days I have to give a talk in which I need to explain some of the usual singularities of pairs that one meets when dealing with the minimal model program: KLT, DLT and LC pairs.
In ...

**8**

votes

**1**answer

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

**8**

votes

**1**answer

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

**8**

votes

**1**answer

633 views

### Factoriality: local or global?

Let $X$ be an algebraic variety. I have read the following definitions:
$X$ is factorial if every Weil divisor on $X$ is Cartier.
$X$ is locally factorial if all its local rings are unique ...

**8**

votes

**2**answers

512 views

### Small neighborhoods of singularities on varieties

In Singular points of complex hypersurfaces, John Milnor proves the following theorem:
Let $x \in V$ be a point on a variety $V$ in $\mathbb{R}^n$ or $\mathbb{C}^n$. Assume $x$ is either a smooth ...

**8**

votes

**2**answers

355 views

### Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function
$$f\colon X \to Y $$
and assume that it is bijective at the level of $...

**8**

votes

**3**answers

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

**8**

votes

**1**answer

763 views

### Rational singularities for fibered surfaces

This question consists of two parts. I will try to be as short and clear as possible.
Let $S$ be a Dedekind scheme of characteristic zero. The main examples are $\mathbf{P}^1_k$, with $k$ a field of ...

**8**

votes

**1**answer

628 views

### Valuation of an ideal in a two-dimensional regular local ring

Let $f,g$ be two coprime elements in the ring $K[[x,y]]$, with $K$ a field.
What is the smallest integer $n$ such that the inclusion of ideals $$(x^n)\subset (f,g)$$ holds in $K[[x,y]]$? Can we ...

**8**

votes

**0**answers

356 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 S^...

**8**

votes

**0**answers

302 views

### Which presentations of (non)planar algebras give rise to knots?

Reidermeister's theorem states that the set of knots, modulo ambient isotopy, is isomorphic to the planar algebra generated by crossings, modulo Reidemeister moves. This planar algebra presentation is ...

**7**

votes

**1**answer

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

**7**

votes

**1**answer

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

**7**

votes

**1**answer

261 views

### Cohomology of tangent sheaf of a singular hypersurface

Let $X\subset\mathbb{P}^n$ be a hypersurface singular at finitely many points $p_i\in X$. We may assume that $X$ has ordinary singularities at the $p_i$'s.
Does there exists a formula, perhaps in ...

**7**

votes

**1**answer

442 views

### Simplified treatment of resolutions of complex analytic varieties?

According to the article of Hauser:
The Hironaka theorem on resolution of singularities http://www.ams.org/journals/bull/2003-40-03/S0273-0979-03-00982-0/home.html
The existence of resolution of ...

**7**

votes

**1**answer

553 views

### Factoriality vs $\mathbf{Q}$-factoriality for threefolds hypersurfaces with isolated singularities

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.
We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\...

**7**

votes

**0**answers

173 views

### Singularities of an analytic function over a non-archimedean field

What do we know about the types of singularities that a convergent power series over a non-archimedean field can have?
More specifically:
i) What types of essential singularities can occur?
ii) Are ...

**7**

votes

**0**answers

356 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ?...

**7**

votes

**0**answers

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

**6**

votes

**4**answers

1k views

### minimal resolution of singularities

What is the minimal resolution of singularities of the surface
$S^2(X^3+Y^3+Z^3)-3(S^2+T^2)XYZ=0$ which is a subset of $\mathbb{P}^1\times\mathbb{P}^2$
Please note that in this equation $[S:T]\in{\...

**6**

votes

**3**answers

932 views

### Is there an obvious way for showing singularities are quotient?

I'm stuck on a technicality concerning singularities.
Basically, I have to show that the singularities of a $\mathbf{certain}$ normal projective variety over $\mathbf{C}$ are rational. (I won't ...

**6**

votes

**2**answers

1k views

### Resolution of singularities

What is the relation between crepant resolutions and minimal resolutions? Are they the same thing?

**6**

votes

**1**answer

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