The tag has no wiki summary.

learn more… | top users | synonyms

25
votes
0answers
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
0answers
216 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
0answers
272 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
0answers
232 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 ...
7
votes
0answers
425 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
0answers
435 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
0answers
238 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
0answers
317 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
0answers
269 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
0answers
194 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
0answers
159 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
0answers
101 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
0answers
55 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
0answers
270 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
0answers
324 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
0answers
116 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
0answers
393 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
0answers
105 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
0answers
72 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
0answers
58 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
0answers
156 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
0answers
126 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
0answers
138 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
0answers
113 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
0answers
285 views

Presence of singular points in the trajectory of a double pendulum

Watching the trajectory of a double pendulum, I caught myself wondering if it would be possible to prove that the path the second pendulum makes contains "cusps" or singular points. Upon investigating ...
1
vote
0answers
61 views

Three- dimensional astroid and catastrophe maps

Is a three-dimensional astroid curve $(2\cos^3u,2\sin^3u,3\cos2u)$ a part of a bifurcation set of some catastrophe map?
1
vote
0answers
184 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 ...
1
vote
0answers
77 views

cotangent complex for finite flat morphism and different ideal

Let a ring $A$, $F=A[X_{1},\dots X_{n}]$ and $B:= F/J$. We suppose that we have a finite flat lci morphism $f:Spec(B)\rightarrow Spec(A)$. To mesure the singularities of this map, Gabber-Ramero ...
1
vote
0answers
81 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 ...
1
vote
0answers
73 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 ...
1
vote
0answers
218 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 ...
1
vote
0answers
180 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 ...
1
vote
0answers
159 views

When does the smoothing of projectivized tangent cone lift to a deformation of a space?

Let $(X,0)\subset(\mathbb{C}^N,0)$ be the (formal) germ of a singular space (isolated singularity). Let $\mathbb{P}T_{(X,0)}\subset\mathbb{P}^{N-1}$ be its projectivized tangent cone (considered as a ...
0
votes
0answers
13 views

Discriminant set and Bifurcation set

the discriminant set of an n-dimensional versal unfolding of an $A_k$ singularity, and the bifurcation set of an n -dimensional versal unfolding of an $A_{k+1}$, (potential type) singularity are ...
0
votes
0answers
113 views

Action on C[[X,Y]]/f(X,Y) giving complete intersection quotients

Let $R \colon\!= {\Bbb C}[[X,Y]]/(f(X,Y))$ be a complete local ring of Krull-dimension $1$. Assume that we have an action of $\Bbb Z$ on $R$ such that fixed elements by $\Bbb Z$ in $R$ are only ...
0
votes
0answers
48 views

Homology basis of minimal resolution

Let $S$ be a compact algebraic surface with du Val singularities and $T$ be the minimal resolution of it. Is it true that $$ H_2(T,\mathbb{Z})/(\oplus_{i}\mathbb{Z}E_i)\cong H_2(S,\mathbb{Z}), $$ ...
0
votes
0answers
53 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 ...
0
votes
0answers
92 views

Singularity links of quotients

Hi there, I have a question concerning the quotient $\mathbb{C}^3/\mu_p$ where $\mu_p=\{\zeta\in \mathbb{C}^3|\zeta^p=1\}$ acts on $\mathbb{C}^3$ via $\zeta(x,y,z)=(\zeta^{-1}x,\zeta^{-p}y,\zeta z)$. ...