Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
554 questions
1
vote
1
answer
93
views
Existence of meromorphic 2-forms over normal surface singularities
Let $(X,o)$ be an isolated normal surface singularity. Denote by $U:=X\backslash \{o\}$. I am looking for conditions on $(X,o)$ under which there exists a holomorphic section $\omega \in H^0(U, \Omega^...
- 2,032
11
votes
1
answer
2k
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 ...
- 23.4k
4
votes
1
answer
330
views
example of quintics with 5 ordinary triple point
I know we can bound the triple point on quintics in cp^3 by 5. But how to write down quintics with 5 ordinary triple point (here are simple elliptic singularity)explicitly?
- 623
4
votes
0
answers
169
views
Can the rank of harmonic maps decrease far from the boundary?
Let $\mathbb D^n$ be the closed unit ball in $\mathbb R^n$. Let $f:\mathbb D^n \to \mathbb{R}^n$ be a real-analytic orientation preserving immersion, and let $\omega:\mathbb D^n \to \mathbb{R}^n$ be ...
- 6,741
3
votes
0
answers
168
views
Is there an affine embedding X for every normal singularity, so that Pic(X)=0?
More formal: Let a normal algebraic singularity be given by a local ring $R$ of finite type. Is there always an affine variety $X$ with a point $x$, so that
$\widehat{\mathcal{O}}_{X,x} \cong \...
- 161
1
vote
2
answers
222
views
Can we extend a logarithmic form to some appropriate compactification?
Given some simple normal crossings divisor $D$ on a complex manifold $X$, which is not assumed to be compact. Given a form $\omega\in H^0(X,\Omega_X^1(\log D))$, when is it possible to find a ...
- 2,788
2
votes
0
answers
361
views
Irreducible surface singularity that is not a local set-theoretical complete intersection
I have been looking for a criterion for the germ of an irreducible complex surface singularity $(X,x)$ to be a set-theoretical complete intersection.
A germ $(X,x)$ of an isolated complex singularity ...
- 1,409
4
votes
2
answers
737
views
Whitney Conditions vs Equisingularity
In studying singular spaces, it is often important to pick an appropriate stratification which encodes the singularity structure. One class of such stratifications are called "Whitney stratifications" ...
- 1,073
4
votes
2
answers
1k
views
Kähler forms arising as the curvature form of a singular metric on a line bundle
The Fubini-Study metric on complex projective space $\mathbb{P}^n$ is a smooth metric $h = e^{-\phi}$ on the line bundle $\mathcal{O}(1)$ and it is a standard calculation to check that its curvature ...
- 582
1
vote
1
answer
182
views
Slow and fast forming singularities of the mean curvature flow
Let $M \times [0, T) \to \mathbb{R}^{n+1}$ be a mean curvature flow and let $T$ be a singular time. Let $A$ denote the second fundamental form.
We have a type I singularity if
$$
\max_{p \in M} |A(p,...
- 823
6
votes
3
answers
625
views
What strict resolutions of singularities are needed?
Suppose we have a collection, $S$, of singularities types and consider a resolution of singularities (this is: a proper birrational morphism $Y\rightarrow X$ such that Y only contains singularities of ...
- 807
2
votes
0
answers
78
views
Log Kodaira dimension of Briekorn varities
Is there any formula or estimate of the log-Kodaira dimension of the Brieskorn variety $V_{a_0,\ldots,a_n}:=\{x_0^{a_0}+\ldots + x_n^{a_n}=1\}$ for $2\le a_0\le \ldots \le a_n$.
In particular, I ...
- 707
2
votes
0
answers
55
views
Approximate a one-form with nowhere vanishing one-forms having bounded Laplacians
This is a follow-up question of this one.
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk (endowed with some smooth Riemannian metric), and let $\sigma \in \Omega^1(\mathbb{D}^2)$ be a ...
- 6,741
4
votes
0
answers
112
views
On the milnor number of analytic germ map
If $f:(\mathbb{C}^n,0) \to (\mathbb{C},0)$ is an analytic germ with an isolated singularity, then the Milnor number of $f$, denoted by $\mu(f)$ can be defined as $\dim_{\mathbb{C}} \mathcal{O}_n/\text{...
- 558
3
votes
1
answer
736
views
semi-log canonial singularities is an open condition?
Let $f:X\to \mathbb \Delta$ be family of projective varities which fibers are smooth, we know central fiber can be singular and may not be mild. Kollar introduced semi-log-canonical singularities to ...
- 135
3
votes
3
answers
681
views
on the relative conductor of curve singularity and quotient of ideals
Let $R$ be the local ring of a complex curve singularity. (Can assume the singularity planar, the ring locally analytic or formal.) Let $\bar{R}$ be the normalization, let $R\subset R'\subset \bar{R}$ ...
- 2,232
6
votes
1
answer
2k
views
Resolution of singularities, nature of
Hironaka's theorem guarantees an existence of resolution of singularities in characteristic 0. If I am not wrong, it also guarantees (or at least some other result does), that if the resolution is a ...
- 113
1
vote
0
answers
30
views
Stratification which makes the defining functions isotrivial
Let $0\in X\subset\mathbb{C}^N$ be a germ of complex space and $0\in Z\subset X$ be a closed analytic subset (globally) defined by holomorphic functions $f_1,\dots,f_r$. Is there a complex analytic ...
- 1,102
4
votes
1
answer
321
views
Singularities of the union of two smooth curves
I am looking for a reference that describes what are the possible singularities of a curve $C=C_1 \cup C_2$ which is the union of two smooth irreducible curves $C_1,\,C_2$ on a smooth surface.
Doing ...
- 486
1
vote
2
answers
2k
views
On minimal resolution of singularities and the type of singularities
Let $Y$ be a normal projective surface, let $X$ be a smooth projective surface and let $\pi:Y\longrightarrow X$ be a finite morphism. Why are all singularities of $Y$ cyclic quotient singularities? ...
- 163
5
votes
1
answer
1k
views
Are rational surface singularities $\mathbb{Q}$-Gorenstein?
I know that, in general, rational singularities are not necessarily $\mathbb{Q}$-Gorenstein. So I ask:
is there any positive result in this direction known for surfaces?
- 159
6
votes
2
answers
203
views
Asymptotic behavior of the ratio between the largest two singular values of product of i.i.d. random complex matrices
Let $A_n$ be the matrix product of $n$ i.i.d. N-by-N random complex matrices. The matrix distribution is not fixed and can be tuned to suit specific solution if needed, as long as it's not too "...
- 63
7
votes
0
answers
506
views
A general definition of an equisingular family of singular varieties?
This question is about the existence of a definition. I'm far from being an expert in the field in question I apologize in advance for any inaccuracies or stupid and wrong assumptions.
Let $X$ be a ...
- 7,799
5
votes
2
answers
516
views
Tame ramification of (mild) curve singularities.
Suppose that $C$ and $D$ are curves of finite type over an algebraically closed field $k$ (we make some of these hypotheses for simplicity). We view these as pointed curves with singularities $c \in ...
- 20.5k
2
votes
1
answer
399
views
resolution for the du Val's $(A_3)$-singularity
For the $A_m$-singularity, it can be viewed as the singular part of $\mathbb{C}^2/\mathbb{Z}_m$. The action of $\mathbb{Z}_m$ on $\mathbb{C}^2$ is defined as following
$$
\bar{1} \cdot (z,w) = (z e^{\...
- 167
2
votes
0
answers
674
views
Small contractions as blow ups
To improve my chances of getting answers/ comments I post my mathstackexchange question https://math.stackexchange.com/q/2808852/42548 also here.
I am trying to learn a bit about birational morphisms:...
- 121
3
votes
1
answer
257
views
Bertini-type theorem for reducible schemes
Let $X \subset \mathbb{P}^n$ be a reducible, projective subscheme. Assume that $X$ is reduced (meaning that every local ring is reduced i.e., does not contain nilpotent element). Denote by $S_d$ the ...
- 2,032
9
votes
2
answers
873
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 $...
- 2,384
3
votes
0
answers
77
views
How can I find the integral orthogonal group of a given symmetric positive definite form?
I wonder how one can study the integral orthogonal group of a given (symmetric, positive definite) bilinear form like the one described by the following matrix:
$$M=\begin{bmatrix}
x_1 &...
- 362
3
votes
1
answer
145
views
Connections between eigenvectors after matrix multiplication
Suppose we have an M$\times$N complex matrix $H$ and its singular value decomposition $H=U\Lambda V^*$ and an N$\times$N covariance matrix $R_s$ with its eigendecomposition $R_s = U_s\Lambda_sU_s^*$. ...
- 33
4
votes
0
answers
116
views
Bertini-type theorem for strict transform
Let $(X,o)$ be an isolated, normal singularity of dimension at least $3$. Let $\pi: \widetilde{X} \to X$ be a resolution of singularity of $X$. Is it true that for a general hypersurface $H \subset X$ ...
- 2,323
2
votes
1
answer
559
views
quotient singularities
Let $X$ be a relaively compact projective variety and has only quotient singularities then for any n-form $\Omega$ , $$\int_{X_{reg}}\Omega\wedge \bar \Omega$$ is bounded? what about the converse
- 99
13
votes
1
answer
3k
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 ...
- 884
6
votes
1
answer
756
views
What tools can I use to compute the cohomology of the fibers of a Lefschetz Pencil?
I'm learning about Lefschetz pencils and vanishing cycles and have looked at a few sources:
http://www.math.purdue.edu/~dvb/preprints/sheaves.pdf
http://www3.nd.edu/~lnicolae/Morse2nd.pdf
Voisin's ...
- 1,716
4
votes
1
answer
226
views
Is the factorial cDV-singularity $T_1^2 + T_2^3 + T_3^4T_4$ any quotient of any affine space by any group?
the reason for my question is the following:
the two-dimensional canonical singularities are the ADE-singularities, which all are quotients of either affine space or another ADE-singularity by finite ...
- 161
4
votes
0
answers
168
views
Can nonflat deformations of singularities always produce Cohen-Macaulay rings?
To make the question in the title precise, let me phrase it like this. Consider a complete local ring
$$ A := \mathbb{C}[[x_1, \dotsc, x_n]]/(f_1, \dotsc, f_m) $$
and, for definiteness, assume that $...
- 2,663
2
votes
1
answer
89
views
Smoothings of isolated non-irreducible surface singularities
Let $(X,0)$ be a normal surface singularity. Suppose that it does not admit a smoothing.
Is it possible that there exists an isolated surface singularity $(Y,0)$ reduced near $0$ which is not ...
- 83
1
vote
0
answers
64
views
Real (non-complex) Du Val singularities for quartics of high global Milnor number
I posted this in MathStackexchange and was advised to come here. As I am only looking for examples, I didn't feel MathOverflow was necessary.
I am looking for examples of specific quartic projective ...
- 111
6
votes
1
answer
2k
views
Stratification of complex algebraic varieties
Let $V$ be a complex quasi-projective variety, we know from H. Whitney's and B Teissier works on stratifications of algebraic varieties that $V$ has an intrinsic stratification
$$X_0\subset X_2\...
- 9,870
8
votes
2
answers
1k
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 $...
- 21.6k
5
votes
0
answers
83
views
Cohomology of the space of generic immersion maps of surface into 3-space
In "Local Invariants of Mappings of Oriented Surfaces Into 3-Space", V.Goryunov classified singular maps of surface into 3-space and considered their resolution and local invariants.
It is natural ...
- 171
1
vote
0
answers
74
views
Removability of the isolated singularity of real analytic mappings with nondegenerate Jacobian
Let $B^n=\{x\in \mathbf{R}^n: |x|<1\}$$(n>2)$. Consider real analytic mappings $f_1:B^n\setminus \{0\}\to B^n$, $f_2:B^n\setminus \{0\}\to \mathbf{R}^n$ and $f_3: B^n\setminus \{0\}\to S^n$ ...
- 89
6
votes
1
answer
522
views
Complexifying a real-analytic singularity
This is probably a well-known issue, but I could not find a clear discussion in the literature, and I think others could find it useful.
Consider a real-analytic function germ $f:(\mathbb R^2,0) \...
- 211
12
votes
0
answers
340
views
Homology of Gersten complex for singular schemes
It is one of the important facts in K-theory/motivic cohomology that the Gersten-type complexes (for Quillen K-theory, Milnor K-theory or more generally Rost's cycle modules) are exact for smooth ...
- 17.4k
2
votes
0
answers
180
views
Pushforward of structure sheaf on quotient surface singularity
Let $f:\mathbb{C}^2 \to \mathbb{C}^2/G$ be a quotient surface singularity. What properties should $G$ have such that the pushforward $f_*\mathcal{O}_{\mathbb{C}^2}$, of the structure sheaf $\mathcal{O}...
- 1,593
1
vote
0
answers
93
views
partially simultaneous resolution of singularity
Let X be a projective manifold and let $D=\sum_{i=1}^{m}a_iD_i\in |mL|$ be an effective divisor on $X$ with SNC support. Let $f:X\to Y$ be a surjective morphism over a projective manifold $Y$. Write $...
- 527
1
vote
1
answer
295
views
A question about explicit computations of discrepancies
The following is an explicit computation of discrepancies appeared in the book "Birational Geometry of Algebraic Varieties" (Page 126-127) in order to show certain type singularities are not Du Val. ...
- 3,472
2
votes
1
answer
470
views
Resolution of "nice" and zero-dimensional singularities on a surface
Assume I have a singular algebraic surface $X$ over an algebraically closed field (characteristic zero if you want) which is singular in a finite set of points. I am looking for a condition as to the ...
- 4,902
4
votes
1
answer
505
views
Lefschetz hyperplane section theorem for intersection homology
Let $X$ be a smooth, projective variety and $Y \subset X$ be a hyperplane section (possibly singular) of $X$. Suppose that the dimension of $X$ is $n$. Is it true that for any $k<n-1$, the induced ...
- 2,323
0
votes
0
answers
82
views
Bijective restriction of the normalization morphism
Let $X$ be an integral separated scheme of finite type over $\mathbb{C}$. Consider the normalization morphism $f:X'\rightarrow X$. Can we always find an affine open $U\subset X'$ such that $f|_U:U\...
