hyperplane sections of isolated hypersurface singularities. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T23:00:31Z http://mathoverflow.net/feeds/question/78772 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78772/hyperplane-sections-of-isolated-hypersurface-singularities hyperplane sections of isolated hypersurface singularities. pmath 2011-10-21T15:33:58Z 2011-11-01T15:47:01Z <p>Given an isolated singularity $p$ in a hypersurface $Y$ of dimension $n$ (let say a surface in $\mathbb{P}^3$). I can intersect $Y$ with a hyperplane $H$ passing through $p$ such that it induces a singularity in a lower dimension. For example, if we start with a surface $Y$, we obtain a plane singularity on $H$. </p> <p>I want to use the singularities in the hyperplanes for classifying(?) the original singularity in the hypersurface. Using homeomorphism for defining an equivalence relation. There is a finite number of singularities types that I can obtained in the hyperplanes, and one of those types will be "generic". </p> <p>I want to believe that those hyperplane singularities + some "vicinity" data is enough for characterizing the original singularity. However, I cannot find related work, or theorems to start with. I appreciate any help or references.</p> <p>Thanks</p> http://mathoverflow.net/questions/78772/hyperplane-sections-of-isolated-hypersurface-singularities/78776#78776 Answer by Sándor Kovács for hyperplane sections of isolated hypersurface singularities. Sándor Kovács 2011-10-21T16:01:35Z 2011-11-01T15:47:01Z <p>This is a good strategy and it does work for many types of singularities. In fact, many times you don't even need "vicinity" data if your singularity is isolated. (In other words, being isolated is the "vicinity" data). If you do not assume that the singularities are isolated, then you need to assume something about $X\setminus H$.</p> <blockquote> <blockquote> <p><strong>Typical theorem</strong></p> <p>Let $X\subseteq \mathbb P^N$ be a quasi-projective variety and let $H\subseteq X$ be a hyperplane section and assume that $H$ only has singularities of type $\mathfrak T$. Then $X$ only has singularities of type $\mathfrak T$ along $H$. In particular, if in addition $X\setminus H$ only has singularities of type $\mathfrak T$, then so does $X$.</p> </blockquote> </blockquote> <p>Obviously, whether or not the above theorem is in fact true depends on your choice of $\mathfrak T$. It is known in many cases and conjectured in others.</p> <p>If singularities of type $\mathfrak T$ satisfy the general inverse of the above, that is if the </p> <blockquote> <blockquote> <p><strong>General hyperplane section theorem</strong></p> <p>Let $X\subseteq \mathbb P^N$ be a quasi-projective variety and let $H\subseteq X$ be a <strong>general</strong> hyperplane section and assume that $X$ only has singularities of type $\mathfrak T$. Then $H$ only has singularities of type $\mathfrak T$.</p> </blockquote> </blockquote> <p>holds, then the two theorems together imply that small deformations of varieties with singularities of type $\mathfrak T$ still have singularities of type $\mathfrak T$.</p> <p>In other words, a possible way to find the statement you are looking for is to look for papers that claim that certain singularity types are invariant under small deformations.</p> <p>Here is a list of singularities for which both of these theorems hold:</p> <ul> <li><p><em>smooth</em> (Sketch of proof): being smooth means that the local ring is regular. If a ring mod a regular element is regular, then so is the ring.</p></li> <li><p><em>Cohen-Macaulay</em> : basically by the definition of CM</p></li> <li><p><em>Gorenstein</em> : Gor = CM + $\omega$ is a line bundle. CM follows from above and line bundle from the fact that if the restriction of a coherent sheaf to a hypersurface is a line bundle, then so is the original sheaf.</p></li> <li><p><em>rational</em> : This is a result of Elkik (Inventiones, cca. 1978)</p></li> <li><p><em>klt,dlt,lc,etc</em> : this is essentially inversion of adjunction</p></li> <li><p><em>Du Bois</em> : this is a result of Kovács-Schwede (available on arXiv.org)</p></li> </ul> <blockquote> <blockquote> <p><strong>Remark</strong></p> <p>In fact, there is a tendency toward $X$ having better singularities than $H$ does. Namely it is sometimes true that (for example) </p> <p>If $H$ only has singularities of type $\mathfrak T$ and $X\setminus H$ is smooth, then $X$ only has singularities of type $\mathfrak T^+$ for some class of singularities that is <em>milder</em> than $\mathfrak T$.</p> </blockquote> </blockquote> <p>An example for this is Karl Schwede's theorem (Thm.5.1 in <em>A simple characterization of Du Bois singularities</em>, Compositio Math. 143 (2007) 813–828) that says exactly this with $\mathfrak T$ being "Du Bois" and $\mathfrak T^+$ being "rational. </p>