Is this finite surjective flat morphism of 2 dimensional schemes a local complete intersection - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T08:45:14Z http://mathoverflow.net/feeds/question/40939 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40939/is-this-finite-surjective-flat-morphism-of-2-dimensional-schemes-a-local-complete Is this finite surjective flat morphism of 2 dimensional schemes a local complete intersection Ariyan Javanpeykar 2010-10-03T15:53:07Z 2010-10-04T12:55:07Z <p>Let $X$ be a regular integral noetherian scheme of dimension 2 and let $D$ be a simple normal crossings divisor in $X$. </p> <p>EDIT: Let $U = X-D$.</p> <p>Consider a finite etale morphism $V\longrightarrow U$ with $V$ connected. Let $\pi:Y\longrightarrow X$ be the normalization of $X$ in the function field of $V$. So $Y$ is a $2$-dimensional normal noetherian scheme and $\pi$ is finite.</p> <p>One can show that $\pi$ is surjective, flat and that $Y$ is CM.</p> <p>Q: Is $\pi$ a local complete intersection?</p> http://mathoverflow.net/questions/40939/is-this-finite-surjective-flat-morphism-of-2-dimensional-schemes-a-local-complete/40996#40996 Answer by Francesco Polizzi for Is this finite surjective flat morphism of 2 dimensional schemes a local complete intersection Francesco Polizzi 2010-10-04T08:57:20Z 2010-10-04T12:31:10Z <p>I think the answer is in general <strong>no</strong>, because of the following example.</p> <p>Take $10$ lines in $\mathbb{P}^2$ all passing through a point $p$, and let $D$ be their union. There exist a covering $Y \to \mathbb{P}^2$ of degree $5$ branched on $D$, and $p$ is the only point of total ramification. The only singularity of $Y$ is the unique preimage $v$ of $p$.</p> <p>In order to understand the singularity of $Y$ at $v$, let us consider the blow-up $\widehat{\mathbb{P}}$ of $\mathbb{P}^2$ at the point $p$; we obtain an exceptional curve $E$, and by the Riemann-Hurwitz formula we see that the preimage of $E$ in the induced cover $\widehat{Y} \to \widehat{\mathbb{P}}$ is an elliptic curve with self-intersection $(-5)$.</p> <p>From this we recognize that $Y$ is nothing but the elliptic normal cone in $\mathbb{P}^5$ (that is, the cone over the elliptic normal curve of degree $5$ in $\mathbb{P}^4$) and $f \colon Y \to \mathbb{P}^2$ is a general projection to $\mathbb{P}^2$. </p> <p>Now, Saito (Einfach-elliptische Singularitaten, 1974) proved that the singularity at the vertex of an elliptic normal cone (a so-called simple elliptic singularity) is a complete intersection if and only if the degree of the cone is $\leq 4$.</p> <p>In this case the degree is $5$, so $Y$ is not a local complete intersection.</p> <p>All the stuff about the covering obviously works in any characteristic (well, maybe different from $5$), but I think Saito's result requires the ground field to be $\mathbb{C}$, so I do not know whether this works also in the case of positive characteristic.</p> <p><strong>EDIT</strong> As pointed out by Angelo, in this example $D$ is not simple normal crossing, so it does not really answer the question. Anyway, let me try to give another example which works with normal crossing $D$.</p> <p>Take the product $X=E \times F$ of two elliptic curves, and consider the divisor $D=E_1+E_2+F_1+F_2$, where the notation is obvious. Now $D$ has only nodal singularities, so it is simple normal crossing. Moreover, by using Pardini's construction explained in "Abelian covers of algebraic varieties", it is possible to construct a $\mathbb{Z}_3$-cover $Y \to X$ whose singularities are </p> <ul> <li>two rational double points of type $A_2$ and</li> <li>two points of type $1/3(1,1)$</li> </ul> <p>(these singularities obviously lie over the four singular points of $D$).</p> <p>The points of type $1/3(1,1)$ are locally analitycally a cone over a twisted cubic curve in $\mathbb{P}^3$, so they are not complete intersection singularities. </p> http://mathoverflow.net/questions/40939/is-this-finite-surjective-flat-morphism-of-2-dimensional-schemes-a-local-complete/41014#41014 Answer by Tony Scholl for Is this finite surjective flat morphism of 2 dimensional schemes a local complete intersection Tony Scholl 2010-10-04T12:55:07Z 2010-10-04T12:55:07Z <p>Let $k$ be a field of characteristic prime to $n$ and $\zeta\in k$ a primitive $n$-th root of unity. Let $a\in \mathbb{Z}$ and let $Y$ be the quotient of $\mathop{\rm{Spec}}k[u,v]$ by the automorphism $(u,v)\mapsto (\zeta u,\zeta^a v)$. </p> <p>Then $Y$ is a tame cyclic cover of $X=\mathop{\rm{Spec}}k[u^n,v^n]$ etale away from <code>$D=\{uv=0\}$</code>. Typically $Y$ is not an lci. For example, if $(n,a)=(3,1)$ then $$Y=\mathop{\rm{Spec}} k[u^3,v^3,uv^2,u^2v]=\mathop{\rm{Spec}}k[x,y,z,t]/(xy-zt,xz-t^2,yt-z^2).$$ If you allow wild ramification I suspect you can produce an example in which $D$ is even a smooth divisor.</p>