\input amstex
\magnification 1200
\documentstyle{amsppt}
\NoBlackBoxes
%\vcorrection{-1cm}

%=========================================================
\topmatter
%-----
\title
                Link theory and new restrictions for M-curves of degree 9
\endtitle
%-----
\author
                S.Yu.~Orevkov
\endauthor
%-----
\address        Steklov Math. Inst., Russ.~Acad.~Sci.
                     Gubkina 8, Moscow, 117966, Russia
\endaddress
%-----
\thanks         Partially supported by Grants RFFI-96-01-01218 and
                RFFI-98-01-00794
\endthanks
%-----
\endtopmatter
%==================================================================

\def\Z {\bold Z }
\def\Q {\bold Q }
\def\C {\bold C }
\def\CP{\bold{CP}}
\def\R {\bold R }
\def\RP{\bold{RP}}
\def\d {\partial}
\def\<{\langle}
\def\>{\rangle}
\def\U{\sqcup }


All known restrictions on the topology of real algebraic 
curves in $\RP^2$ of odd degrees $\le9$ are obtained combining
B\'ezout theorem, Rokhlin's formula [1] for complex orientations
and Fiedler theorem [2] on interchanging of orientations.
In this way Viro [3] completed the
isotopic classification of real curves of degree 7.
Korchagin [4] systematically applied this method for $M$-curves
of degree 9 but it happened not to be enough.
An example of a new prohibition for 9th degree curves given by the
author in [5; (1.5.4)], was obtained essencially also by the same
method but using a new formula for complex orientations.

However, there are rather powerful methods to obtain restrictions 
for curves of even degrees based on construction of 2-cycles 
in the double covering of $\CP^2$ branched along the 
complexification of the curve (homological method). 
They can not be applied directly for odd degrees by 
the simple reason that the double covering does not exist.
To avoid this problem, one can consider coverings of higher degree.
In this way the inequality of Viro-Zvonilov was obtained [6].
Another way, proposed by the author in [5], is to consider
the Seifert form of certain link instead of
the intersection form on the double covering.
Then signature estimates take form of Murasugi-Tristram inaquality.

The aim of this note is to show that this method works for
projective curves of odd degrees. We did not apply
systematically this method to all the $M$-schemes
of degree 9 whose realizability is still unknown
(there are several hundreds of them).
The prohibition proven here is just the first example where we
found that the homological method works while other known
methods do not.

\proclaim{ Theorem 1 } There does not exist $M$-curves of degree 9
in $\RP^2$ with real schemes
\footnote{ See [7] for the definition of real and complex schemes.}
$$
    \< J \U \beta \U 1\<1\<\alpha\>\>\>
    \qquad\text{where $\alpha+\beta=26$,}            \eqno(1)
$$
$$
    \beta=0,1,2,3,4,5,6,8,10.                        \eqno(2)
$$
\endproclaim

The following two lemmas are not difficult and
we omit their proofs.

\proclaim{ Lemma 1 } If a complex scheme corresponding
to (1), (2) satisfies [5; (1.4A)] then
$|\alpha_+-\alpha_-|\ge 2$ where
$\alpha_+$ (resp. $\alpha_-$) is the number of positive
(resp. negative) ovals among the $\alpha$ the most inner ovals.
\endproclaim

\proclaim{ Lemma 2 } Let $P$ be a convex $n$-gon in $\RP^2$
whose vertices lye on a real cubic. If $n>6$ then for
all sides $[ab]$ of $P$, except maybe two, the points $a$ and $b$
are connected by a segment of the cubic not containing the other
vertices of $P$.
\endproclaim

\demo{ Proof of Theorem 1}
It follows from Lemma 1 and the orientation interchanging rule that
there exists a line through two outer empty
\footnote{ An oval is called {\it empty} if there are no other ovals 
            inside it.}
ovals $o_1$, $o_2$ separating some two of the inner empty ovals
$o_3$, $o_4$. Any conic through $o_1,...,o_4$ meets the 2
non-empty ovals in $\ge8$ points, hence, if it meets one more
empty oval, it can not meet the odd component $J$.
Therefore, all empty ovals lye around vertices of some convex
$26$-gon $Q$ non-intersecting $J$ (one vertex in each empty oval).
Denote by $Q_{inn}$ (resp. $Q_{out}$) the set of vertices of $Q$
lying in inner (resp. outer) empty ovals.
If the number of sides of $Q$ connecting $Q_{inn}$ with $Q_{out}$
were $>6$ then there would exist a convex octagon $P$ whose odd vertices
belong to $Q_{inn}$ and even ones belong to $Q_{out}$. Then,
by Lemma 2, a cubic through vertices of $P$ and one more
vertex of $Q$ would cut the curve in $\ge28$ points.
Thus, if one choose a point $p\in Q_{inn}$ connected to $Q_{out}$ by
an edge of $Q$ then, in the notation of [5, Sect.~3.5], the scheme of the
arrangement of the curve with respect to the pencil of lines
through $p$, has form
$$
   [\supset\!\!_7\,
           o_7^{\alpha_1-2}o_5^{\beta_1}
           o_7^{\alpha_2  }o_5^{\beta_2}
           o_7^{\alpha_3  }o_5^{\beta_3}
           \!\subset\!\!_2],
   \qquad\sum\alpha_i=\alpha, \;\; \sum\beta_i=\beta.
                                                        \eqno(3)
$$
Denote by $\sigma_1,\dots,\sigma_{m-1}$ the standard generators
of the braid group $B_m$. Put
$\pi_{k,l}=\sigma_k\dots\sigma_l$,
$\tau_{k,l}=\pi_{l,k-1}^{-1}\pi_{k,l+1}$ ($k>l$), and
$\Delta_m=\pi_{1,m-1}\pi_{1,m-2}\dots\pi_{1,1}$.
Applying to (3) the procedure described in [5; Sect.~3.5], we
obtain the braid
$$
    b=b_{\alpha_1,\beta_1,...,\alpha_3,\beta_3}=
    \sigma_7
    \Big(\prod_{i=1}^3
       \sigma_7^{-\alpha_i}\tau_{7,5}
       \sigma_5^{-\beta_i} \tau_{7,5}^{-1}
    \Big) \tau_{7,2}\Delta_9\, \in\, B_9.
                                                        \eqno(4)
$$
It is shown in [5] that a necessary condition for the realisability
of (3) is Murasugi-Tristram inequality which can be rewritten in
the form
$$
    n(\hat b) \ge |\sigma(\hat b)| + m - e(b)           \eqno(5)
$$
where $m=9$ is the degree, $e(b)=11$ is the sum of exponents of
$b$, and $\sigma(\hat b)$, $n(\hat b)$ are respectively the
signature and the nullity of the link $\hat b$ which is the
closure of the btaid $b$. According to [5; Sect.~2.6], we have
$\sigma(\hat b_{\alpha_1...\beta_3})
  =\sum\alpha_i+\sum\beta_i+\sigma(W)$ and
$\det\hat b=\det W$ where $W$ is a matrix which can be explicitely
written from the presentation (4), all whose entries are
constants independent of $\alpha_i$, $\beta_i$ except 6 diagonal
entries, equal to $\alpha_1,\dots,\beta_3$.
A computation shows that
$\det W=16(\Sigma\alpha_i+\Sigma\beta_i)$ and
$\sigma(\hat b_{26,0,...,0})=-5$.
Since $\det W\ne 0$ when the point $(\alpha_1,...,\beta_3)$ belongs
to the hyperplane $\sum\alpha_i+\sum\beta_i=26$, the signature
of the matrix $W$ is constant along this hyperplane. Hence,
$\sigma(\hat b)=-5$ for all $b$. The fact $\det W\ne 0$ means
$n(\hat b)=1$. This contradicts (5). The Theorem 1 is proven.
\enddemo

\proclaim{ Theorem 2 }
There does not exist $M$-curves of degree 9
in $\RP^2$ with the real schemes (1) for even $\beta$.
\endproclaim

\remark{ Remarks }
%
{\bf 1.}
    The scheme (1) with $\alpha=0,1$ is realizable; non-realizability
    of (1) for $\beta=0,1$ was already known (see [4]).

\noindent
{\bf 2.}    The complex schemes
$$
     \<J \U (\matrix{\beta+7\over 2}\endmatrix)_+ \U 
            (\matrix{\beta-7\over 2}\endmatrix)_- \U 1_\pm \< 
     1_\mp \<
            (\matrix{\alpha-1\over 2}\endmatrix)_+ \U 
            (\matrix{\alpha+1\over 2}\endmatrix)_- \>\>\>,        
$$
$$
     \<J \U (\matrix{\beta+12\over 2}\endmatrix)_+ 
         \U (\matrix{\beta-12\over 2}\endmatrix)_- \U 1_- 
     \< 1_- \<
             (\matrix{\alpha\over 2}\endmatrix)_+ 
          \U (\matrix{\alpha\over 2}\endmatrix)_- \>\>\>
\eqno (6)
$$
show that Lemma 1 is not true for values of $\beta$ not listed in Theorem 1.

\noindent
{\bf 3.} The only known to the author restriction for odd degrees
obtained by methods not mentioned in the introduction is the
prohibition of $M$-schemes $\<J \U 1\<\alpha\>\>$
proven by V.Kharlamov (unpublished) using real 
$\theta$-characteristics related to conic bundles.
%
\endremark

\demo{ Sketch of the proof of Theorem 2 }
The complex schemes (6) are the only ones for which the proof of
Theorem 1 fails. Choose again a pencil of lines through a point
in one of the ovals $\<\alpha\>$.
Using B\'ezout theorem for auxilary conics one can
show that all other ovals of $\<\alpha\>$ are not separated by 
lines of this pencil passing through the ovals $\<\beta\>$.
Thus, 
the schemes of the arrangement with respect to the pencil have form
$ [\supset\!\!_7 o_7^{\alpha-2} w_1 \dots w_h \!\subset\!\!_2] $ where
$w_i = o_5^{\beta_i} o_4^{\beta'_i}$, $\sum(\beta_i+\beta'_i)=\beta$ 
and $\beta_i,\beta'_i>0$.
The corresponding braids are
$$
   b=\sigma_7^{1-\alpha}\tau_{7,5}
   \big(\prod_{i=1}^h \sigma_5^{-\beta_i}\tau_{5,4}
                      \sigma_4^{-\beta'_i}\tau_{4,5}\big)
   \tau_{5,2}\Delta_9\,.
%   \qquad\beta_i,\beta'_i>0,\;\sum\beta_i=\beta
$$
Obviousely, $2h\le\beta-2$, and
it follows from (6) that $h\ge12$. For any given $h$
one can compute $\det\hat b$ as a polynomial in $\alpha$,
$\beta_i$, $\beta_i'$. If all the variables are $\ge1$ then it
does not vanish. Therefore, like in the proof of Theorem 1, one
can show that $\sigma(\hat b)$ is constant for each $h$.
Calculating $\sigma(\hat b)$ for $\beta_i=\beta'_i=1$, we
see that it equals $2h-7$. Since $n(\hat b)=1$ this contradicts (5).

The straight-forward computation of $\det\hat b$ for $h>20$
is so huge that it hardly can be performed even with a computer.
However, using additional topological arguments, one can compute
the signature in a simpler and more natural way. 
The details will be published in another paper.
\enddemo


\proclaim{ Theorem 3 }
There does not exist an $M$-curve of degree 7 with complex scheme
$\< J \U 10_+ \U 3_- \U 1_-\< 1_- \> \>$.
\endproclaim

\demo{ Proof }
The arrangement of the curve with respect to a pencile of lines
whose center is in the nest $1\<1\>$ has form
$[\supset\!\!_3 o_3^{\beta_0-1}w_1\dots w_h\subset\!\!_4]$
where $w_i=o_4^{\beta_{2i-1}} o_3^{\beta_{2i}}$, $\sum\beta_i=13$.
It follows from the orientations interchanging rule that $h\ge 3$.
Computations show that $e(b)=8$, $\sigma(\hat b)=-2h$, 
$n(\hat b)=1$. This contradicts (5) for $m=7$.
\enddemo



\Refs

\ref\no 1
\by V.A.~Rokhlin
\paper  Complex orientations of real algebraic curves
\jour   Funct. Anal. and Appl. \yr 1974\vol 8\issue 4\pages 71--75
\endref

\ref\no 2
\by     T.~Fiedler
\paper  Pencils of lines and the topology of real algebraic curves
\jour  Izv. AN SSSR, ser. mat. \vol 46 \yr 1982 \pages 853--863
\lang   Russian
\transl\nofrills English transl. in
\jour   Math. USSR-Izvestia \vol 21 \yr 1983 \pages 161--170
\endref

\ref\no 3
\by     O.Ya.~Viro
\paper  Plane real curves of degrees 7 and 8: new restrictions
\jour   Izv. AN SSSR, ser. mat. \vol 47 \yr 1983 \pages 1135--1150
\lang   Russian
\transl\nofrills English transl.
\jour   Math. USSR-Izvestia
\vol    23 \yr 1984
\pages  409--422
\endref

\ref\no 4
\by     A.B.~Korchagin
\paper  Construction of new M-curves of 9th degree
\jour   Lect. Notes. Math. \vol 1524 \yr 1991 
\pages  407--426
\endref

\ref\no 5
\by     S.Yu.~Orevkov
\paper        Link theory and oval arrangements of real
              algebraic curves \jour Topology \toappear
\endref


\ref\no 6
\by  O.Ya.~Viro, V.I.~Zvonilov
\paper  An inequality for the number of nonempty ovals of a curve
        of odd degree
\jour   St.Petersburg Math.~J. \vol 4 \yr 1993 \pages 539--548
\endref

  
\ref\no 7
\by  O.Ya.~Viro
\paper  Progress in the topology of real algebraic varieties over the last
        six years
\jour   Russian Math. Surveys \vol 41 \yr 1986 \pages 55--82
\endref

\endRefs




\enddocument

%========================================================================

		J U 7 U 1<1< 19 >>
		------------------

As we see in this paper, the complex scheme must be

J U 7_+ U 1_\pm< 1_\pm< 10_+ U 9_- >>

Hence, the x-code is

<<sm.m
w=Join[ {x8,-7},Table[o7,{17}], {o5,o4,o5,o4,o5,o4,o5, 2} ]
b=mb2[9,w]
f[9,b]
Sum[Sign[b[[i]]],{i,Length[b]}]
CycleProduct[9,b]
LinkingNumbers[9,b]
V=SeifertMatrix[9,b];
p=Factor[Det[V-t Transpose[V]]]
q=Factor[(p//.t->((u+I)/(u-I)))*(u-I)^62]
NRoots[q==0,u]
xxx=Function[th,N[(u//.Solve[(u+I)/(u-I)==t,u][[1]])//.t->Exp[ 2Pi I * th ]]]

	0.000	1/2	(0,0)
 0.141256		(1,1)
 			(2,0)
 0.176327	4/9	(1,1)
 	0.198	7/16	(0,0)
 0.355237		(1,1)
 	0.414	1/8	(2,0)
 0.57735	1/3	(1,1)
 	0.668	5/16	(0,0)
 0.793742		(1,1)
 	1.000	1/4	(2,0)
 1.19175	2/9	(1,1)
 	1.496	3/16	(0,0)
 1.29242		(1,1)
 	2.414	1/8	(2,0)
 2.74748	1/9	(1,1)
 	5.027	1/16	(0,0)
 6.27615	      (pm1,1)
		      (pm2,0)

%========================================================================

		J U 9 U 1<1< 17 >>
		------------------

w=Join[ {x8,-7},Table[o7,{15}], {o5,o5,o5,o4,o5,o4,o5,o4,o5, 2} ]
b=mb2[9,w]
f[9,b]
Sum[Sign[b[[i]]],{i,Length[b]}]
CycleProduct[9,b]
LinkingNumbers[9,b]
V=SeifertMatrix[9,b];
p=Factor[Det[V-t Transpose[V]]]
q=Factor[(p//.t->((u+I)/(u-I)))*(u-I)^62]
NRoots[q==0,u]
xxx=Function[th,N[(u//.Solve[(u+I)/(u-I)==t,u][[1]])//.t->Exp[ 2Pi I * th ]]]

	0.000	1/2	(0,0)
 0.0911973		(1,1)
			(2,0)
 0.176327	4/9	(1,1)
			(0,0)
 0.197489		(1,1)
	0.198	7/16	(2,0)
 0.230618		(1,1)
	0.324	2/5	(0,0)
 0.393415		(1,1)
	0.414	1/8	(2,0)
 0.57735	1/3	(1,1)
	0.668	5/16	(0,0)
 0.936582		(1,1)
			(2,0)
 1.19175	2/9	(1,1)
	1.376	1/5	(0,0)
 1.3821			(1,1)
	1.496	3/16	(2,0)
 1.73205	1/6
 1.73205	1/6
	2.414	1/8	(2,0)
 2.74748	1/9	(1,1)
	5.027	1/16	(0,0)
 6.20953	      (pm1,1)
		      (pm2,0)

