The singularity-theory tag has no usage guidance.

**0**

votes

**1**answer

112 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

**2**answers

382 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

**1**answer

202 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

**2**answers

217 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

**1**answer

92 views

### On solution of a recursion with rectangular matrices

Greetings to members here.
The question is how to calculate the solution $S(k)$ of the following recursive equation
$$J(k)S(k+1)J^{T}(k)=A(k)S(k)A^{T}(k)+R(k)$$
where $J$ and $A$ are rectangular not ...

**1**

vote

**0**answers

89 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

**2**answers

805 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

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

**2**

votes

**2**answers

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

**1**

vote

**2**answers

273 views

### Producing $(-2)$ curves on a smooth surface

We know that blowing up a point on a surface produces a $(-1)$ curve. Is there any such standard techniques to produce $(-2)$ curves in a smooth surface?

**8**

votes

**1**answer

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

**1**

vote

**0**answers

82 views

### Smoothing of a hyperquotient singularity

Let $f$ be a polynomial in $k$ complex variables, and suppose the affine variety $V$ given by $f = 0$ has an isolated singularity at the origin, but is otherwise smooth. Now assume that some cyclic ...

**3**

votes

**0**answers

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

**8**

votes

**1**answer

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

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

**5**

votes

**0**answers

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

**6**

votes

**1**answer

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

**3**

votes

**1**answer

160 views

### Counting nodal singularities on a surface

How many lines in $\mathbf{P}^5$ passing through a fixed point $p$ meet in at least two points a fixed smooth surface $S$ given by the intersection of three quadrics?
Or equivalently, calling $T$ the ...

**0**

votes

**1**answer

454 views

### Does the closure of a smooth algebraic always define a homology class?

Let $X\subset \mathbb{C} \mathbb{P}^{N}$ be a smooth,
algebraic (locally closed) complex
submanifold of $\mathbb{C} \mathbb{P}^N$
of complex dimension $k$. More concretely, $X$ is of the
...

**0**

votes

**1**answer

85 views

### Question regarding closure of sets defined by the vanishing of holomorphic functions

Consider the following subsets of $\mathbb{C}^n$ given by
$$ X := \{x \in \mathbb{C}^n: f(x) =0, ~~g(x) \neq 0 \} $$
$$ Y := \{ x \in \mathbb{C}^n: f(x) =0, ~~g(x) =0, ~~h(x) \neq 0 \} $$
where $f, ...

**4**

votes

**0**answers

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

**3**

votes

**1**answer

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

**1**

vote

**1**answer

363 views

### Doubt about normality and rational singularities

In M. Reid Canonical 3-folds I found this proposition:
If $\phi:Y\rightarrow X$ is a proper morphism with both $X$ an $Y$ normal and such that $f$ is étale in codimension 1 then
1) if $X$ has ...

**2**

votes

**1**answer

390 views

### Applications of Slope Stability

Ross and Thomas developed slope-stability of $(X,L)$ where $X$ is an $L$-polarised variety and $L$ is an ample line bundle, as an obstruction to K-stability of $(X,L)$.
DISCLAIMER: (Forgive me if I ...

**2**

votes

**2**answers

373 views

### KLT singularities are quotient in codimension 2

I have read that if a variety $X$ has KLT singularities, then it has quotient singularities in codimension 2.
Do you know a proof (or where can I find a proof) of this?

**2**

votes

**1**answer

382 views

### Asymptotics on implicit function

We consider the asymptotics of the coefficients of generating function $y(x)$,
which is defined by the implicit function $y= F(x,y)$.
Let $F(x,y)$ be a rational function in $x$ and $y$, such that ...

**5**

votes

**1**answer

239 views

### Measuring contact between algebraic varieties

I have two regular surfaces in three space, both of which are given by an equation. I would like to measure the contact between the two surfaces using only their equations. Usually, one would find a ...

**2**

votes

**1**answer

305 views

### T^i functors are isomorphic for analytically isomorphic isolated singular points

I've been having trouble proving the following:
Let $B$ and $B'$ be local rings, essentially of finite type over $k$, having isolated singularities at the closed points. Suppose that they are ...

**1**

vote

**1**answer

170 views

### Adding singular equations to a smoothing of a hypersurface singularity

Let $f \in \mathbb{C}[x,y,z]$ be a polynomial which defines an isolated singularity $0 \in D:= (f=0) \subset \mathbb{C}^3$.
Assume that $\mathcal{D}:= (f+tx =0) \subset \mathbb{C}^3 \times ...

**2**

votes

**1**answer

499 views

### General position argument

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$
polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$.
Define $\mathcal{A}$ to be ...

**3**

votes

**0**answers

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

**2**

votes

**2**answers

279 views

### Does a generic curve inside the space of curves with a node at a specific point have only finitely many nodes?

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$
polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$.
Define $\mathcal{A}$ to be ...

**1**

vote

**0**answers

312 views

### Explicit Computations of Dynkin Diagrams of Isolated Singularities

Let $f$ be a complex polynomial with an isolated singularity at the origin. Take a Morse deformation $\tilde{f}$, and consider the braid group action on the set of distinguished bases of vanishing ...

**3**

votes

**0**answers

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

**1**

vote

**1**answer

413 views

### triple point singularity

Assume a complex surface $X$ admits a fibration structure over $\mathbb{CP}^1$ with some singular fiberes. Are there explicit examples of such surfaces with triple point singularity?

**3**

votes

**1**answer

305 views

**45**

votes

**2**answers

2k 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

305 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

568 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

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

**4**

votes

**0**answers

232 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

**0**answers

150 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

615 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

660 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

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

**11**

votes

**1**answer

437 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

704 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

180 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

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

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