SAGA winter school Rational cuspidal plane curves Torgunn Karoline Moe Auron, France

advertisement
SAGA winter school
Auron, France
March 2010
Rational cuspidal plane curves
Torgunn Karoline Moe
Centre of Mathematics for Applications
University of Oslo, Norway
Torgunn Karoline Moe
Cuspidal curves
Introduction
Rational cuspidal plane curves
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
• How many and what kind of cusps can a rational
cuspidal plane curve have?
Torgunn Karoline Moe
Cuspidal curves
Introduction
Overview
Background
Cuspidal curves
• Background
Projections
• Rational cuspidal plane curves of degree 3 and 4
• Constructions
• Cremona transformations
• Projections
Conjecture
• Rational cuspidal plane curves with many cusps
Real cusps
• The real perspective
Cremona
References
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
Background
• The projective plane P2 over the complex numbers C
with coordinates (x : y : z).
• A curve in P2 given by V(F ), where F ∈ C[x, y , z].
• A point a = (a0 : a1 : a2 ) on a curve V(F ) is called
singular if it is in the zero set of all the partial
derivatives of F ,
• a ∈ V(Fx , Fy , Fz ).
• A curve can only have a finite number of singular
points.
• Every singular point p has one or more tangent
line(s).
• For p = (0 : 0 : 1) singular,
F (x, y , 1) = fm (x, y ) + fm+1 (x, y ) + . . . + fd (x, y ).
• The tangent line(s) of C at p is given by the zero
set(s) of each reduced linear factor of fm (x, y ).
Torgunn Karoline Moe
Cuspidal curves
Examples of singularities on curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The
nodal
cubic
V(zx 2 − zy 2 − x 3 )
The cuspidal cubic
V(zy 2 − x 3 )
• How and why are these different?
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Invariants of singular points
• Branches – the number of times the curve passes
through the point.
• A singularity with more than one branch is called a
multiple point.
• A singularity with only one branch is called a cusp.
Cremona
Projections
Conjecture
Real cusps
References
• Multiplicity – the intersection multiplicity of a
general line and the curve at the point.
• Is equal to the m in fm (x, y ) for p = (0 : 0 : 1).
• Tangent intersection – the intersection multiplicity of
the tangent line and the curve at the point.
• Can investigate the inside of a singularity by blowing
it up, if necessary, several times.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
Blowing up the cuspidal cubic
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
Torgunn Karoline Moe
Cuspidal curves
Introduction
The multiplicity sequence of a cusp
Background
• Let mi denote the multiplicity of the remaining
Cuspidal curves
singularity after i blowing-ups.
• For a cusp we have the multiplicity sequence m
Cremona
Projections
• m = (m, m1 , . . . , ms ).
• m≥m1 ≥ . . . ≥ms .
• For every i there is a k ≥ 0 such that
Conjecture
mi−1
Real cusps
mi−1
References
= mi + . . . + mi+k ,
where mi =mi+1 = . . . =mi+k−1 .
= k · mi + mi+k .
Torgunn Karoline Moe
Rational cuspidal plane curves
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
• A curve is called cuspidal if all its singularities are
cusps.
• A (cuspidal) curve of degree d is rational ⇐⇒ the
genus formula holds.
(d − 1)(d − 2)
=
2
X
singular points
X mi (mi − 1)
(
).
2
i
• How many and what kind of cusps can a rational
cuspidal curve have?
• By the genus formula, the cuspidal cubic is the only
Real cusps
References
rational cuspidal curve of degree 3.
• A rational cuspidal plane curve of degree d must also
satisfy
• Bézout: mp + mq ≤ d.
• Matsuoka–Sakai: d < 3 · m,
where m is the highest multiplicity of the cusps.
Torgunn Karoline Moe
Rational cuspidal curves of degree 4
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
(2), (2), (2)
(22 ), (2)
Projections
Conjecture
Real cusps
References
(3)
(23 )
Torgunn Karoline Moe
Cuspidal curves
Cremona transformations
• Birational maps ψ,
S
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
.
ψ : P2
∪
C
&
99K
7−→
P2
∪
C0
• ψ : (x : y : z) 7−→ (G0 : G1 : G2 ),
• G0 , G1 , G2 homogeneous polynomials in x, y , z of
the same degree n.
• Linearly independent and without common factors.
• V(G0 , G1 , G2 ) consists of n2 − 1 points.
• A linear transformation is a Cremona transformation.
• A curve C = V(F ) is mapped to a total transform,
whose defining polynomial consists of
• linear factors,
• the defining polynomial of the strict transform C 0 .
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
• A general Cremona transformation involves blowing
up points and contracting lines.
• Resolves a singularity on C by blowing it up.
• Creates a cusp on C 0 by contracting a tangent line
of C that only intersects it in one point p.
• The multiplicity of the cusp p 0 on C 0 equals the
intersection multiplicity of the tangent and C in p.
• Note that we can create other singularities by
contracting other lines.
Torgunn Karoline Moe
Cuspidal curves
A quadratic Cremona transformation
Introduction
Background
Cuspidal curves
• Blows up three points p, q, r .
• Contracts three lines.
• Note that the points and the lines do not have to be
in P2 .
Cremona
• The strict transform C 0 has degree d 0 ,
Projections
d 0 = 2 · d − mp − mq − mr .
• There are essentially three different quadratic
Cremona transformations:
Conjecture
Real cusps
References
• ψ3 : (x : y : z) 7−→ (yz : xz : xy ).
• ψ2 : (x : y : z) −
7 → (xy : z 2 : yz).
• ψ1 : (x : y : z) 7−→ (y 2 − xz : yz : z 2 ).
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The cuspidal cubic – [(2)]
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The cuspidal cubic – [(2)]
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The cuspidal cubic – [(2)]
Torgunn Karoline Moe
Cuspidal curves
The cuspidal cubic – [(2)]
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
V(x 2 − 2xy + y 2 + xz + yz) 7−→ V(y 2 z − 2xyz + x 2 z + xy 2 + x 2 y )
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The tricuspidal quartic – [(2), (2), (2)]
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The tricuspidal quartic – [(2), (2), (2)]
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The tricuspidal quartic – [(2), (2), (2)]
Torgunn Karoline Moe
Cuspidal curves
The tricuspidal quartic – [(2), (2), (2)]
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
V(x 2 + y 2 + z 2 − 2xy − 2xz − 2yz) 7−→ V(y 2 z 2 + x 2 z 2 + x 2 y 2 − 2xyz 2 − 2xy 2 z − 2x 2 yz)
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
The power of Cremona transformations
• It is possible to construct the other curves of degree
4 in similar ways.
• Choosing the points and lines of the transformation
Projections
and the orientation of the curve C is sometimes
complicated.
Conjecture
• [Fenske, Flenner & Zaidenberg (1996-1999)] used
Real cusps
References
Cremona transformations to construct infinite series
of cuspidal curves from cuspidal curves of low degree.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
Projections
φV : Pn 99K P2
∪
∪
C −
7 → C0
• C curve in Pn .
• V a linear subspace in Pn of dimension (n − 3), called the
centre of projection.
• C 0 the image of C in P2 .
Torgunn Karoline Moe
Cuspidal curves
A special curve and some of its properties
• The curve Cn in Pn given by
Introduction
Background
Cuspidal curves
Cremona
Projections
(s n : s n−1 t : . . . : st n−1 : t n ).
is called the rational normal curve of degree n.
• This is a smooth curve, and all points have the same
properties.
• For each pair (s : t) corresponding to a point on Cn ,
Conjecture
the curve has a unique tangent line given by the
linear span of
Real cusps
References
ns n−1 (n − 1)s n−2 t . . .
t n−1
0
.
0
s n−1
. . . (n − 1)st n−2 nt n−1
• The union of all the tangents is a surface called the
tangent developable T of Cn .
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
• Two points on Cn define a unique line in Pn .
Cuspidal curves
• Such a line is called a secant line.
Cremona
• The union of all the secant lines is a threefold called
Projections
Conjecture
Real cusps
References
the secant variety S of Cn .
• The tangent developable is contained in the secant
variety.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
Cuspidal projections
• A rational cuspidal plane curve C 0 of degree n can
be constructed from Cn using a suitable centre of
projection V :
• V can not intersect the curve Cn .
• That would reduce the degree of C 0 .
• V must intersect the tangent developable T .
• Get one cusp on C 0 for every intersection point of
V and T .
• V can not intersect the secant variety S outside T .
• That would give other singularities.
• We use Cn and the kernel of V written on matrix
form to find the parametrization of C 0 .
• The defining polynomial of C 0 can be found by
eliminating s and t.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
The cuspidal cubic
• C3 = (s 3 : s 2 t : st 2 : t 3 ).
• The centre of projection V is a point on the tangent
developable.
• Can choose V = (0 : 1 : 0 : 0).
• Parametrization – C 0 = (s 3 : st 2 : t 3 ).
• Defining equation – C 0 = V(y 3 − xz 2 ).
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
The tricuspidal quartic
• C4 = (s 4 : s 3 t : s 2 t 2 : st 3 : t 4 ).
• The centre of projection V is a line which intersects
Cuspidal curves
Cremona
Projections
Conjecture
Real cusps
References
the tangent developable in three points.
• V can be found using the appropriate conditions.
V =
2 1 0 0 0
.
0 0 0 1 2
• C 0 = (s 3 t − 12 s 4 : s 2 t 2 : t 4 − 2st 3 ).
• C 0 = V(8xy 3 − 3y 4 + 12xy 2 z − 4y 3 z + 4x 2 z 2 ).
Torgunn Karoline Moe
Cuspidal curves
Introduction
Rational cuspidal curves of degree 5
Background
# Cusps
Cuspidal curves
1
Cremona
Projections
2
Conjecture
3
Real cusps
4
References
Curve
C1
C2
C3
C4
C5
C6
C7
C8
Cuspidal configuration
(4)
(26 )
(3, 2), (22 )
(3), (23 )
(24 ), (22 )
(3), (22 ), (2)
(22 ), (22 ), (22 )
(23 ), (2), (2), (2)
# Curves
3 – ABC
1
2 – AB
1
1
1
1
1
Torgunn Karoline Moe
Cuspidal curves
Conjecture
Introduction
• There is only one rational cuspidal plane curve with
Background
more than three cusps – the curve of degree 5 with
cuspidal configuration [(23 ), (2), (2), (2)].
• [Piontkowski (2007)] The only tricuspidal curves are
Cuspidal curves
• [Fenske, Flenner & Zaidenberg (1996-1999)]
Cremona
Series
I
II
III
Projections
Conjecture
m̄p
(d − 2)
(d − 3, 2a )
(d − 4, 3a )
m̄q
(2a )
(3a )
(4a , 22 )
m̄r
(2d−2−a )
(2)
(2)
For d
d ≥4
d ≥5
d ≥7
• The curve of degree 5 with cuspidal configuration
[(22 ), (22 ), (22 )].
Real cusps
References
d
d
2a + 3
3a + 4
Result
• [Tono (2005)] A rational cuspidal curve has ≤ 8
cusps.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Background
Cuspidal curves
Cremona
Can all cusps be given real coordinates?
• By the conjecture, a rational cuspidal curve will
never have more than four cusps.
• A linear transformation can move three cusps to real
coordinates.
Projections
Conjecture
Real cusps
References
• There is only one curve left to consider,
[(23 ), (2), (2), (2)].
Torgunn Karoline Moe
Cuspidal curves
• For real cuspidal curves, we have a modified
Introduction
Background
Cuspidal curves
Klein–Schuh equality involving the curve C , its cusps
and its dual curve C ∗ .
d−
X
real cusps on C
Cremona
Projections
Conjecture
Real cusps
References
(m − 1) = d ∗ −
X
real cusps on
(m∗ − 1)
C∗
• The dual of [(23 ), (2), (2), (2)] is the quartic [(23 )].
• Assuming the quintic is a real curve, and assuming
its cusps have real coordinates leads to a
contradiction of Klein–Schuh.
• Can the defining polynomial of [(23 ), (2), (2), (2)]
have complex coefficients while the cusps have real
coordinates?
Torgunn Karoline Moe
Cuspidal curves
Introduction
References
T. Fenske
Rational cuspidal plane curves of type (d, d − 4) with
χ(ΘV hDi) ≤ 0.
Background
Cuspidal curves
Cremona
Projections
Conjecture
H. Flenner, M. Zaidenberg
On a class of rational cuspidal plane curves.
H. Flenner, M. Zaidenberg
Rational cuspidal plane curves of type (d, d − 3).
M. Namba.
Geometry of projective algebraic curves.
Real cusps
References
J. Piontkowski.
On the Number of the Cusps of Rational Cuspidal
Plane Curves.
K. Tono
On the number of the cusps of cuspidal plane curves.
Download