05prop:bis3pts\] Let $C$ be a nondegenerate smooth irreducible curve in ${\mathbb{P}}^3$. If $L$ is a line that intersects the curve $C$ in three or more distinct points, then the line $L$ corresponds to a singular point in $\operatorname{Sec}(C)$.

The symmetric square $C^{(2)}$ is the quotient of $C \times C$ by the action of the symmetric group $\mathfrak{S}_2$, so points in this projective variety are unordered pairs of points on $C$; see [@05harris pp. 126–127]. The map $\varpi \colon C^{(2)} \to \operatorname{Sec}(C)$, defined by sending $\{x,y\}$ to the line spanned by the points $x$ and $y$ if $x \neq y$ or to the tangent line $T_x(C)$ if $x = y$, is a birational morphism. Since $|L \cap C| \geq 3$, the fibre $\varpi^{-1}(L)$ is a finite set containing more than one element. Hence, $\varpi^{-1}(L)$ is not connected and the Zariski Connectedness Theorem [@05mumford Sect. III.9.V] proves that $\operatorname{Sec}(C)$ is singular at $L$.

\[05lem:skewsym\] If $f \in {\mathbb{C}}[\![z,w]\!]$ satisfies $f(z,w)=-f(w,z)$, then the linear form $z-w$ divides the power series $f$.

We write the formal power series $f$ as a sum of homogeneous polynomials $f = \sum_{i \in {\mathbb{N}}} f_i$. Since we have $f(z,w) + f(w,z) = 0$, it follows that, in each degree $i$, we have $f_i(z,w) + f_i(w,z) = 0$. In particular, we see that $f_i(w, w) = 0$. If we consider $f_i(w,z)$ as a polynomial in the variable $z$ with coefficients in ${\mathbb{C}}[w]$, it follows that $w$ is a root of $f_i$. Thus, we conclude that $z-w$ divides $f_i$ for all $i
05prop: bis3pts\ ] Let $ C$ be a nondegenerate smooth irreducible curve in $ { \mathbb{P}}^3$. If $ L$ is a line that intersect the curvature $ C$ in three or more distinct points, then the course $ L$ corresponds to a curious point in $ \operatorname{Sec}(C)$. 

 The symmetric square $ C^{(2)}$ is the quotient of $ C \times C$ by the military action of the symmetric group $ \mathfrak{S}_2 $, so points in this projective assortment are unordered pairs of points on $ C$; experience [ @05harris pp.   126–127 ]. The map $ \varpi \colon C^{(2) } \to \operatorname{Sec}(C)$, defined by send $ \{x, y\}$ to the lineage spanned by the points $ x$ and $ y$ if $ x \neq y$ or to the tangent line $ T_x(C)$ if $ x = y$, is a birational morphism. Since $ |L \cap C| \geq 3 $, the fibre $ \varpi^{-1}(L)$ is a finite set incorporate more than one element. Hence, $ \varpi^{-1}(L)$ is not connected and the Zariski Connectedness Theorem   [ @05mumford Sect.   III.9.V ] prove that $ \operatorname{Sec}(C)$ is singular at $ L$. 

 \[05lem: skewsym\ ] If $ f \in { \mathbb{C}}[\![z, w]\!]$ satisfies $ f(z, w)=-f(w, z)$, then the linear form $ z - w$ divide the power series $ f$. 

 We write the formal power series $ f$ as a kernel of homogeneous polynomials $ f = \sum_{i \in { \mathbb{N } } } f_i$. Since we have $ f(z, w) + f(w, z) = 0 $, it follows that, in each degree $ i$, we have $ f_i(z, w) + f_i(w, z) = 0$. In particular, we see that $ f_i(w, w) = 0$. If we consider $ f_i(w, z)$ as a polynomial in the variable $ z$ with coefficients in $ { \mathbb{C}}[w]$, it follows that $ w$ is a root of $ f_i$. Thus, we conclude that $ z - w$ divides $ f_i$ for all $ i
05proo:bis3pts\] Let $C$ be a nondenenerate smooth nereducmble cudve in ${\mxthbb{P}}^3$. If $L$ is a line that iiterwects the curve $C$ in three ur more dpstinct piintw, then the line $L$ correspkkds tm a singular polnt in $\operdtorname{Sec}(C)$.

Tha rylmetric square $C^{(2)}$ is the quotient of $C \timex F$ by the actiog of ehe ajmnetric group $\mathfrak{S}_2$, so poihts in uhis projective vatiety are unordered pairs lf plints on $C$; see [@05hargis pp. 126–127]. The nap $\dqrpi \colon C^{(2)} \to \operatorname{Sec}(C)$, dgfined by sending $\{x,y\}$ to the line spanued by the kojnhv $x$ and $y$ ih $x \nez y$ or to thc tangett line $T_x(C)$ if $x = y$, ix a bieational morphism. Sinre $|L \cap C| \geq 3$, the sibre $\var[i^{-1}(M)$ is a finite set cintaiting mord thxn knx emement. Heice, $\varpi^{-1}(L)$ js not connwcted and the Zarisli Bpnnectedness Theorqm [@05iumford Sect. III.9.V] proves that $\operatornake{Ssc}(C)$ is singular at $L$.

\[05lem:wkewsym\] If $f \in {\mathbh{C}}[\![z,w]\!]$ satiffies $f(z,w)=-f(w,z)$, then the linear form $z-w$ divides the [ower rerncf $d$.

Wf write the formal power series $f$ as a sum of gokoneneous polynomicls $f = \sum_{i \in {\mstjbn{G}}} f_i$. Since we have $y(a,w) + f(w,z) = 0$, it follows that, ig eacy degree $y$, we have $f_i(z,w) + f_i(w,z) = 0$. In partixular, we see rhat $f_i(w, w) = 0$. If we consider $f_n(w,z)$ as a pokynomial in the variablz $z$ wifh coefficifnts in ${\mzghbb{C}}[w]$, it followr tmat $w$ is a root of $f_i$. Thus, we conclude thac $z-w$ divkdes $f_i$ fow all $i
05prop:bis3pts\] Let $C$ be a nondegenerate smooth in If $L$ a line that three more distinct points, the line $L$ to a singular point in $\operatorname{Sec}(C)$. symmetric square $C^{(2)}$ is the quotient of $C \times C$ by the action the symmetric group $\mathfrak{S}_2$, so points in this projective variety are unordered pairs points $C$; [@05harris 126–127]. The map $\varpi \colon C^{(2)} \to \operatorname{Sec}(C)$, defined by sending $\{x,y\}$ to the line spanned the points $x$ and $y$ if $x \neq or to the tangent $T_x(C)$ if $x = y$, a morphism. Since \cap \geq the fibre $\varpi^{-1}(L)$ a finite set containing more than one element. Hence, $\varpi^{-1}(L)$ is not connected and the Zariski Connectedness [@05mumford Sect. that $\operatorname{Sec}(C)$ singular $L$. If $f \in $f(z,w)=-f(w,z)$, then the linear form $z-w$ series $f$. We write the formal power series as a of homogeneous polynomials $f = \sum_{i {\mathbb{N}}} f_i$. Since we have $f(z,w) + f(w,z) 0$, it follows that, in each degree $i$, we have $f_i(z,w) + f_i(w,z) = 0$. we see that $f_i(w, = 0$. If consider as polynomial the variable with coefficients in ${\mathbb{C}}[w]$, it follows that $w$ is a root $f_i$. Thus, we conclude that $z-w$ divides $f_i$ for all
05prop:bis3pts\] Let $C$ be a nondegenErate smootH irreDucIblE cUrve In ${\maThbb{P}}^3$. If $L$ is a linE That Intersects the curve $C$ in tHree oR mORe diSTiNct poInts, theN ThE LIne $l$ cOrResPoNDs To a siNguLar poinT in $\operatoRnaMe{sec}(C)$.

The symmeTRiC square $C^{(2)}$ is The Quotient of $C \tImeS C$ by thE aCtiON of thE syMmetrIc grouP $\MathfrAk{S}_2$, so poinTs IN this pROjectivE VArIety Are unordered pairs OF pOInts on $C$; see [@05harrIs pp. 126–127]. ThE mAP $\vARPi \cOloN C^{(2)} \to \operatOrName{SEC}(C)$, definED bY SENdiNG $\{x,y\}$ to the line sPanned by the POinTs $x$ and $Y$ iF $x \nEQ y$ or to The taNgENt lIne $T_x(C)$ if $x = y$, iS a biRational mOrphisM. since $|L \cAP C| \geq 3$, thE fibre $\VarPi^{-1}(L)$ Is a fINiTe Set CoNTaiNInG moRE thAn one eleMeNt. hence, $\VarpI^{-1}(l)$ IS Not cOnnEcteD and tHe Zariski ConnEctEdneSS ThEorem [@05MumfoRd SeCt. iII.9.V] pRoves tHat $\opErAtorname{Sec}(C)$ is sInguLar at $L$.

\[05lem:SkeWsYm\] IF $f \In {\matHBb{C}}[\![z,w]\!]$ sAtiSfiEs $f(z,w)=-f(w,Z)$, then thE LinEaR FORm $Z-w$ divides the power sErIES $f$.

we write tHe formAL pOwER series $f$ As A suM of hOMOgeneOus pOLyNomials $f = \Sum_{i \in {\MAtHbB{N}}} f_i$. SinCe We have $F(z,W) + f(w,Z) = 0$, it FolloWS thaT, in eacH degree $i$, We havE $F_i(z,w) + f_i(w,z) = 0$. In partICular, we see thaT $F_i(W, W) = 0$. if WE conSidEr $f_i(w,z)$ as a poLynoMIal iN the VArIabLE $z$ witH coefFiCIeNTs in ${\mathbb{C}}[w]$, it folloWs That $w$ iS a rooT of $f_i$. Thus, we coNclude that $Z-W$ DIvides $f_i$ For aLL $i
05prop:bis3pts\] Let $C$ b e a nondeg enera tesmo ot h ir redu cible curve in ${\m athbb{P}}^3$. If $L$ i s a l in e  tha t  i nters ects th e  c u r ve$C $inth r ee  or m ore  distin ct points,  th en  the line $L $  c orresponds  to  a singularpoi nt in$\ ope r atorn ame {Sec} (C)$.The sy mmetric s qu a re $C^ { (2)}$ i s th e qu otient of $C \tim e sC $ by the actio n of t he sy m m etr icgroup $\ma th frak{ S }_2$, s o  p o i n tsi n this projec tive variet y  ar e unor de red pairsof po in t s o n $C$; see[@05 harris pp . 126– 1 27]. Th e  map $\ varpi\co lon  C^{ ( 2) }\to  \ o per a to rna m e{S ec}(C)$,  d ef inedby s e n d i ng $ \{x ,y\} $ tothe line span ned  byt hepoint s $x$  and  $ y$ if  $x \n eq y$  o r to the tangen t li ne $T_x(C )$if  $x  =  y$,i s a bi rat ion al morp hism. S i nce  $ | L \c ap C| \geq 3$, the  f i b re  $\varpi ^{-1}( L )$  i s  a finit eset  con t a ining  mor e  t han oneelemen t .He nce, $\ va rpi^{- 1} (L) $ i s not conn ectedand theZaris k i Connectednes s  Theorem [@05 m um f o rd Sect . I II.9.V] pro vest hat$\op e ra tor n ame{S ec}(C )$ is singular at $L$.

\ [0 5lem:s kewsy m\] If $f \in  {\mathbb{ C } } [\![z,w] \!]$ sa t isfies $f(z,w) =-f(w ,z)$, then the line ar fo rm $z-w$  dividest h e powerser ies  $f $.W ewrite the for m a l po we r serie s $ f$ as a  su m o f h omo ge neous pol ynomials  $ f=\s um_ {i \i n  {\mathb b{ N}} }f_i $. Si n ce wehave$f(z ,w )+  f( w,z) =0 $, i t fo ll ow s th at,  i n eac h de g ree  $i$, w e have $f _i( z ,w)+f_ i(w,z)= 0$. In part ic ular, we s ee  th at $f_ i ( w, w) =0$. If we consider $f_i ( w,z)$ a s a  poly nomi al in the  va riable  $z $  withcoeffi cient sin$ { \math b b {C }}[ w] $, it foll o w s t hat $ w$  isa rootof $f_i$. Thus, we con clude that $z -w$  div i d es  $f _ i$ for  a l l $ i 
05prop:bis3pts\] Let_$C$ be_a nondegenerate smooth irreducible_curve in_${\mathbb{P}}^3$._If $L$_is_a line that_intersects the curve_$C$ in three or_more distinct points,_then_the line $L$ corresponds to a singular point in $\operatorname{Sec}(C)$.

The symmetric square $C^{(2)}$ is_the_quotient of_$C_\times_C$ by the action of_the symmetric group $\mathfrak{S}_2$, so_points in_this projective variety are unordered pairs of points_on_$C$; see [@05harris_pp. 126–127]. The map $\varpi \colon C^{(2)} \to \operatorname{Sec}(C)$, defined_by sending $\{x,y\}$ to the line_spanned by the_points_$x$_and $y$ if $x_\neq y$ or to the tangent_line $T_x(C)$ if $x = y$,_is a birational morphism. Since $|L \cap_C| \geq 3$, the fibre $\varpi^{-1}(L)$_is a finite set containing_more than_one element. Hence, $\varpi^{-1}(L)$ is_not connected and_the Zariski_Connectedness Theorem [@05mumford Sect. III.9.V]_proves that $\operatorname{Sec}(C)$ is singular at_$L$.

\[05lem:skewsym\] If $f_\in {\mathbb{C}}[\![z,w]\!]$ satisfies $f(z,w)=-f(w,z)$, then the_linear_form $z-w$ divides_the_power_series $f$.

We_write the formal_power_series $f$_as_a sum of homogeneous polynomials $f_=_\sum_{i \in {\mathbb{N}}} f_i$. Since we have_$f(z,w) + f(w,z) =_0$,_it follows that, in_each degree $i$, we have_$f_i(z,w) + f_i(w,z) = 0$. In_particular, we_see that_$f_i(w, w) = 0$. If we consider $f_i(w,z)$ as a polynomial_in the variable $z$ with coefficients_in ${\mathbb{C}}[w]$, it follows_that $w$_is_a root of_$f_i$._Thus, we_conclude that $z-w$ divides $f_i$ for all_$i