The singularity-theory tag has no usage guidance.

**27**

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

**9**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

298 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

**0**answers

159 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

328 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

451 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

**0**answers

69 views

### Toric Degenerations and Nearby Cycles

Suppose that $f: X \to \mathbb{A}^1$ is a toric degeneration in the sense of Nishinou-Siebert. In other words let X be a (possibly singular) toric variety equipped with a (not necessarily proper) ...

**6**

votes

**0**answers

91 views

### When is a smooth function locally equivalent to a truncation of its Taylor series?

Let $U \subset \mathbb{R}^n$ be an open set and let $f:U \rightarrow \mathbb{R}$ be a smooth proper function. For $p \in \mathbb{R}^n$ let
$$T_p(x_1,\ldots,x_n) = \sum_{i_1,\ldots,i_n=0}^{\infty} ...

**6**

votes

**0**answers

457 views

### An elementary question in singularities

The following problem came up in something I am working on. It has a really elementary statement but I couldn't crack it in a couple of hours of thinking about it. It isn't clear to me if I am being ...

**6**

votes

**0**answers

256 views

### Singularity structure of integrals of rational functions

Suppose I have a convergent integral of the form $\int_0^1dx_1\dots\int_0^1 dx_n \frac{P(x_i)}{Q(x_i)}$, where $P$ and $Q$ are polynomial functions of $n$ nonnegative real variables $x_i$. Let the ...

**5**

votes

**0**answers

90 views

### Gysin exact sequence for a singular subvariety

Let $k$ be an algebraically closed field (I'm interested in a characteristic $p>0$ specific example) and let $X$ be a (smooth if needed) algebraic variety.
Let $Y \subset X$ be a (possibly) ...

**5**

votes

**0**answers

110 views

### Framed singular knots

I've recently run across what one might (and I suspect people probably do) call framed singular knots, or maybe singular ribbon knots. Regardless of the name, what I mean is the following: Let $D$ be ...

**5**

votes

**0**answers

448 views

### Jacobian ideals reference

Suppose that $f : X \to V$ is a flat equidimensional (of dimension $h$) morphism of schemes of finite type and $V$ is excellent (or a variety) For this one can formulate something called the Jacobian ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

111 views

### $\mathbb{Q}$-factoriality of singularities

I would like to understand if a certain variety is $\mathbb{Q}$-factorial (i.e., if every Weil divisor $D$ has a multiple $mD$ that is Cartier). This property can be deduced by a local picture around ...

**4**

votes

**0**answers

114 views

### Real structure in the mixed Hodge structure associated to an isolated singularity

We know that a mixed Hodge structure on a complex vector space $H$ with an integral lattice $H_{\mathbb Z}$ consists of the weight filtration and the Hodge filtration. For an isolated hypersurface ...

**4**

votes

**0**answers

183 views

### $n$-Fold Framed Functions

Suppose that $M$ is a manifold. One can consider a suitably constructed space of generalized framed Morse functions on $M$, let's call it $\mathrm{Fun}^\mathrm{fr}(M)$. This space is known to be ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

136 views

### Implicit function theorem for singularities

I am looking for an implicit function theorem which holds also on singular spaces, at least if the singularities are "mild".
For example, let $0 = z^2 - x y + z w + w^2 + \epsilon w$ define a ...

**3**

votes

**0**answers

221 views

### Hypersurface with singularities

I heard once about one open problem. That was about existing a hypersurface of a small degree (5? or 6?) passing through some number (5? 6?) of 3-fold points and 2-fold lines (3 lines?).
It was said ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

171 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

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

**3**

votes

**0**answers

314 views

### Blowing up a projective surface

Let $X$ be a smooth degree $d$ ($d>5$) surface in $\mathbb{P}^3$. We now blow up $X$ at a point, embed it in some projective space, and and consider a projection of it into $\mathbb{P}^3$. The ...

**3**

votes

**0**answers

127 views

### Equivalence of Level Sets

Consider the zero level set of $f : \mathbb{R}^3 \to \mathbb{R}$, where $0$ is a regular value. Consider also the space of planes passing through the origin, i.e. $\mathbb{RP}^2$. For a fixed plane $P ...

**3**

votes

**0**answers

212 views

### Good covers on complex algebraic varieties with normal crossings singularities

Let $X$ be a topological space. A good cover on $X$ is an open cover such that all finite non-empty intersections are contractible. It is a theorem of Hironaka that (complex) algebraic sets admit ...

**3**

votes

**0**answers

528 views

### Sebastiani-Thom isomorphism for D-modules

Considering $f:X\to \mathbb{C}$, $g:X\to \mathbb{C}$ and $f\oplus g:(x,y)\mapsto f(x)+g(y)$.
The Sebastiani-Thom isomorphism is an isomorphism $\Phi_{f\oplus g}(M\boxtimes N) = \Phi_{f}(M) \otimes ...

**2**

votes

**0**answers

57 views

### quasi-ordinary singularities on a versal deformation?

Let $V$ be a variety over $\mathbb{C}$ and suppose $O$ is a singular point of $V$. Are there conditions on $(V,O)$ such that a versal deformation $W$ of $(V,O)$ has only quasi-ordinary singularities.
...

**2**

votes

**0**answers

307 views

### Weil Petersson metric on moduli space of Calabi Yau manifolds

Let $f:(X,D)\to Y$ be a holomorphic fibre space where $D$ is divisor with conic singularities and let fibres $(X_s,D_s)$ are log Calabi-Yau pair .i.e $K_X+D$ is nummerically trivial, then we have ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

204 views

### A strong form of implicit function theorem (what happens when the derivative is degenerate?)

(this can be considered as some ad)
Consider the system of equations $F(x,y)=0$. (Here $x$, $y$ are multi-variables. The equations are over a local ring. e.g. polynomial/analytic/formal/$C^\infty$ ...

**2**

votes

**0**answers

329 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

**0**answers

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

**2**

votes

**0**answers

84 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) = ...

**2**

votes

**0**answers

75 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

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

149 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)) $$
...

**2**

votes

**0**answers

135 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

**0**answers

73 views

### reference for weighted blow-up

Let $(0\in X)$ be a germ of a normal 3-fold with a singular point $0$
(over $\mathbb{C}$).
We think of $X$ as a small neighborhood of $0$ (for studying singularity).
If we can think $X$ as a ...

**1**

vote

**0**answers

61 views

### Is a variety a local complete intersection if it is locally a complement of to a smooth $N$-dimensional affine of $N-m$ affine subvarieties?

If an equidimensional variety $V$ of dimension $m$ is locally a set-theoretic complete intersection (i.e., it can be covered by open subvarieties of certain intersections of $N-n$ hypersurfaces in ...

**1**

vote

**0**answers

71 views

### If there exists an immersion, then does a neighbourhood of a singular rational curve contain a genuine cuspidal point?

Let $X$ be a compact complex surface and $u_1, u_2: \mathbb{P}^1 \longrightarrow X$ be rational curves that are not multiply covered that represents a class $\beta \in H_2(X, \mathbb{Z})$. Suppose ...

**1**

vote

**0**answers

79 views

### Is there any explicit result on the triangulated category of singularities of a curve?

This question is related to this MO question.
Let $X$ be a projective curve over a field $\mathbb{C}$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category ...

**1**

vote

**0**answers

74 views

### Global topological equivalence of Morse functions

Two Morse functions $f$ and $g$ are called topologicaly equivalent if there are diffeomorphism $h$ of the source and orientational-preserving diffeomorphism $k$ of the target such that $f=k\circ ...

**1**

vote

**0**answers

85 views

### How would you call a variety that is locally a complete intersection up to defect c?

Let $X$ be an equidimensional variety of dimension $n$ over a field that can be covered by open subvarieties of certain intersections of $N-n$ hypersurfaces in $P^N$ (for a large enough $N$; we ...

**1**

vote

**0**answers

62 views

### on reductive monoids which are gorenstein

Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group.
By Rittatore ...

**1**

vote

**0**answers

66 views

### Complexity of mappings (forms) in R. Thom's “Structural stability and morphogenesis”

In his "Structural stability and morphogenesis", R. Thom (especially in the chapter about dynamics of forms) among other things speculates about a notion of complexity of a "form" (mapping between ...