The singularity-theory tag has no usage guidance.

**0**

votes

**0**answers

48 views

### Characterization of Singular locus

Let A be a complete regular local ring over a field k and B be a complete normal local ring over a field k. We assume that (Krull-dimension of A) > 1.
We consider the ring homomorphism f: A ---> B, ...

**8**

votes

**1**answer

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

**5**

votes

**0**answers

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

**6**

votes

**1**answer

192 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**0**

votes

**0**answers

40 views

### Singularities of the product of a $(\mathbb{C}^*)$-surface with $\mathbb{C}$

Recall that any normal $\mathbb{C}^*$-surface is Cohen-Macaulay
and there exists normal $\mathbb{C}^*$-surfaces whose
singularities are not rational.
Does anyone know an example of a normal ...

**1**

vote

**0**answers

77 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

**2**answers

195 views

### Cohen-Macaulayness of the direct image of the canonical sheaf

Let $Y$ be a normal projective variety and let $f:X\to Y$ be a desingularization. Define $\mathcal K_X=f_*\omega_X$, the Grauert--Riemenschneider canonical sheaf of $X$. It is independent of the ...

**7**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**1**answer

183 views

### Analytically but not algebraically smoothable singularity

Are there examples of algebraic singularities which may be smoothed analytically but not algebraically? It certainly seems possible, but if not, why? Are there conditions under which this becomes ...

**0**

votes

**2**answers

123 views

### Hochster-Roberts Theorem reciprocal

Given a Cohen-Macaulay ring $R$ over a field of characteristic zero and $G$
a reductive algebraic group acting on $R$, then the ring of ivanriants $R^G$
is also Cohen-Macaulay. This is known as ...

**8**

votes

**2**answers

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

**0**

votes

**0**answers

43 views

### normality of truncated arc space

Let $X=Spec(A)$, with $A$ a normal $k$-algebra of finite type, $k$ is a field.
For any integer $n$, let $X(k[t]/(t^{n}))$ the $n$-th truncated arc space, is it also normal?
Same question for ...

**2**

votes

**1**answer

181 views

### Is there a formula for the number of rational cuspidal curves in surfaces other than P^2?

Let $M$ be a two dimensional compact complex manifold and $A \in H_2(M, \mathbb{Z})$
a fixed homology class. Define a rational curve in $M$ to be $\textit{1-cuspidal}$ if the singularities of the ...

**3**

votes

**0**answers

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

**0**

votes

**0**answers

82 views

### How to understand/analyze vanishing cycles and fibers of 6 dimensional Lefschetz fibration?

Say you have a polynomial $f(x,y,z,m)=x^3+y^3+z^3+m^3$ where $x,y,z,m \in \mathbb{C}$. Consider the Lefschetz fibration from $\{f=\mu\} \cap \{ |m|\leq \delta \}$ to $m$ for suitably small $\mu$ and ...

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

**1**answer

109 views

### About 3-fold log canonical singularity

As far as I know, log canonical surface singularities were classified. How about higher dimensional case?
I especially want to know whether given 3-fold singularity is log canonical or not.
Let $f$ ...

**3**

votes

**0**answers

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

**0**

votes

**0**answers

168 views

### projective map from $\overline{\mathcal{M}}_{0,n}$

Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...

**6**

votes

**0**answers

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

**0**

votes

**0**answers

45 views

### Disturbing regular level submanifold of a smooth function

Let $a$ be a regular value of a smooth function on a closed manifold and $\{f=a\}$ a corresponding level submanifold. It is known that any such function can be approximated by a Morse function $g$. ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

80 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

**1**answer

197 views

### Number of singular fibers in families of hypersurfaces

Consider the projection map
$$\pi: X = V(t_0 f + t_1 gh) \to \mathbf P^1,$$
where $[t_0: t_1]$ are the homogeneous coordinates on $\mathbf P^1$, $f=f(x_0, \dots, x_n)$ is a homogeneous polynomial of ...

**0**

votes

**0**answers

110 views

### When can one find holomorphic sections vanishing at a point to a certain order?

Let $X$ be a compact complex manifold (say of dimension $2$) and $L \rightarrow X $ a holomorphic line bundle. Consider the following statements:
Statement $A_0$: Given any point $p\in X$, there ...

**0**

votes

**1**answer

176 views

### A condition on isolated singularity

Suppose $F: {\mathbb C}^N \to {\mathbb C}$ defines a singularity at the origin (for simplicity one can assume that $F$ is a quasi-homogeneous polynomial). Suppose it is nondegenerate, i.e., $dF(z) = ...

**4**

votes

**0**answers

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

**3**

votes

**1**answer

261 views

### Obtaining non-normal varieties by pushout

In his answer to this MO question, Karl Schwede claimed that every non-normal variety can be obtained by an appropriate pushout diagram, as sketched in that answer. This would give substance to the ...

**0**

votes

**0**answers

60 views

### Conifold singularities on the mirror quintic

It is well-known that conifold transitions go in the reversed direction under mirror symmetry. My question is, what is the mirror picture of a degeneration of the generic quintic CY3 to the one ...

**3**

votes

**2**answers

274 views

### How can one determine if a singularity is simple?

Let $f(z_1,z_2,\dots ,z_n)$ be an analytic function in $\mathbb{C}[[z_1,z_2,\dots ,z_n]]$ whose leading term defines an isolated singularity at the origin.
If we have the following types of ...

**0**

votes

**1**answer

232 views

### Discriminant of a polynomial in two variables

I want to compute the discriminant of the following polynomial
$$
F(X,Y)=X^mY^n+\sum_{i=0}^{m-1}\sum_{j=0}^{n-1}c_{ij}X^iY^j.
$$
Here the discriminate means the equation $D(c_{i,j})$ in the variables ...

**3**

votes

**1**answer

90 views

### Singularities induced by the toric ambient spaces

Let $\Delta \subset \mathbb{R}^4$ be a (reflexive) polytope and $X$ be the hypersurfacedefined by a generic section of the any-canonical bundle of the toric variety $\mathbb{P}_{\Delta}$. Are there ...

**0**

votes

**0**answers

74 views

### on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$
Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and ...

**4**

votes

**0**answers

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

**13**

votes

**1**answer

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

**0**

votes

**0**answers

124 views

### A question on a toric singularity

Recently I was told that the threefold singularity
$$
x^2+y^2+z^2+w^{2n}=0
$$
in $\mathbb{C}^4$ is a toric variety. How can I see this? What are the generators of the toric fan? Moreover, is it true ...

**6**

votes

**3**answers

314 views

### Contracting a rational curve in a Calabi-Yau threefold

Let $X$ be a Calabi-Yau threefold and $C \subset X$ be a rational curve with $N_{C/X}\cong \mathcal{O}\oplus \mathcal{O}(-2)$. Can one contract the curve $C$? Assuming the answer is yes, what kind of ...

**7**

votes

**0**answers

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

**5**

votes

**2**answers

451 views

### Singular points of algebraic varieties and parametrization by Puiseux series

Let $V\subset \mathbb{R}^n$ (or $\mathbb{C}^n$ if that makes anything easier) be an algebraic variety and $p\in V$ a possibly singular point. Let $U\subset V$ be a sufficiently small neighborhood of ...

**1**

vote

**0**answers

55 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

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

**2**

votes

**0**answers

171 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

**1**answer

292 views

### smooth quotient out of a singular variety?

If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth.
My ...

**6**

votes

**1**answer

264 views

### Picard group generated by effective divisors: counterexample?

Let $X$ be an integral variety defined over an algebraically closed field $k$ of characteristic 0 with finitely generated Picard group $Pic(X)$ and such that $k[X]^\times=k^\times$ (i.e. the only ...

**5**

votes

**1**answer

300 views

### A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric.
Fix an arbitrary point $p\in X$. Let ...

**4**

votes

**1**answer

140 views

### Castelnuovo's rationality criterion on singular surfaces?

Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...

**2**

votes

**0**answers

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

**4**

votes

**2**answers

324 views

### Varieties with big anti-canonical divisor

I recently heard about the following problem:
Let $X$ be a projective variety with klt singularities and such that $-K_X$ is big. Is $X$ a Mori Dream Space ?
Now, $-K_X$ big if and only if $-K_X ...

**1**

vote

**1**answer

101 views

### Complement of bifurcation variety

I am reading a seminal paper of Arnold "Normal forms of functions near degenerate critical points, the Weyl group of $A_k$, $D_k$, $E_k$ and lagrangian singularities".
Let $f\colon \mathbb{C}^n\to ...