CMA seminar An easy introduction to and Algebraic Geometry

advertisement
CMA seminar
University of Oslo
11.March 2010
An easy introduction to
Algebraic Geometry
and
Rational Cuspidal Plane Curves
Torgunn Karoline Moe
CMA/MATH
University of Oslo
Torgunn Karoline Moe
Cuspidal curves
Introduction
The most interesting objects in the world
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
• How many and what kind of cusps can a rational
cuspidal plane curve have?
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
This happens today
• Basic algebraic geometry
• Plane algebraic curves
• Singularity theory
• Rational cuspidal plane curves
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
Algebraic geometry in a nutshell
• The study of geometric objects using algebraic
methods.
• Can find new and surprising properties of both the
objects and the methods.
• Main tool: commutative algebra.
• Rings
• Ideals
• Main objects: varieties.
• Curves
• Surfaces
Torgunn Karoline Moe
Cuspidal curves
The worlds we work within
Introduction
• Algebraically closed fields – C.
Algebraic
geometry
• Affine spaces of dimension n – Cn ,
Algebraic
curves
• Projective spaces of dimension n – PnC ,
Singularity
theory
Cuspidal curves
References
(x1 , . . . , xn ).
(x0 : . . . : xn ).
•
Pn
can be constructed using Cn+1 , identifying points
in the affine space lying on the same line through the
origin.
Pn ∼
= (Cn+1 r {(0, . . . , 0)})/ ∼,
(a0 : . . . : an )∼(λa0 : . . . : λan ), ∀ λ ∈ C∗ .
Torgunn Karoline Moe
Cuspidal curves
Introduction
The objects we work with
• An algebraic set in Cn is the zero set V of a finite
set of polynomials in the ring C[x1 , . . . , xn ].
Algebraic
geometry
• An algebraic set in Pn is the zero set V of a finite set
Algebraic
curves
• In our worlds open sets are complements of algebraic
Singularity
theory
• An affine variety is a closed subset of Cn which can
Cuspidal curves
• A projective variety is an irreducible closed subset of
References
of homogeneous polynomials in C[x0 , . . . , xn ].
sets.
not be decomposed into smaller, closed subsets.
Pn .
• An algebraic set in a space of dimension n defined by
a single irreducible (homogeneous) polynomial is a
hypersurface – a variety of dimension n − 1.
Torgunn Karoline Moe
Cuspidal curves
Let’s get it all down to earth
• The projective plane P2 has coordinates (x : y : z).
• One irreducible homogeneous polynomial F (x, y , z)
Introduction
defines V(F ) – a curve in P2 .
Algebraic
geometry
• The degree of the curve is the degree of the
Algebraic
curves
• Letting z = 1, the polynomial f (x, y ) = F (x, y , 1)
Singularity
theory
Cuspidal curves
polynomial.
will define a curve V(f (x, y )) in a space isomorphic
to C2 .
• Letting y = 1, we get the curve V(f (x, z)) in
another affine plane.
• Letting x = 1, we get V(f (y , z)).
References
• These three affine curves constitute the projective
curve V(F ).
• Technically, we have covered P2 by three open affine
sets isomorphic to C2 ,
P2 r V(z),
P2 r V(y ),
P2 r V(x).
Torgunn Karoline Moe
Cuspidal curves
A typical conic I - V(x 2 + y 2 − z 2 )
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
z =1
y =1
x =1
Cuspidal curves
References
• Remember that this is just the real picture - the
complex world hides its secrets.
Torgunn Karoline Moe
Cuspidal curves
Introduction
A typical conic II - V(x 2 + y 2 +(z − 1)2 )
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
• All conic curves in P2 (circles, ellipses, hyperbolas
and parabolas) are equivalent when we work over C.
Torgunn Karoline Moe
Cuspidal curves
Introduction
The nodal cubic - V(zx 2 − zy 2 − x 3 )
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
• This curve has one obviously interesting point in
References
(0 : 0 : 1).
Torgunn Karoline Moe
Cuspidal curves
The cuspidal cubic - V(zy 2 − x 3 )
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
• This curve also has an interesting point in (0 : 0 : 1),
but it is different from the point in the previous
example.
Torgunn Karoline Moe
Cuspidal curves
Let’s compare
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
The nodal cubic
The cuspidal cubic
References
• How and why are these interesting and different -
even over C?
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Some more theory I
• A point a = (a0 : a1 : a2 ) on a curve V(F ) is called
Algebraic
curves
singular if it is in the zero set of all the partial
derivatives of F ,
V(Fx (a), Fy (a), Fz (a)).
Singularity
theory
• A curve can only have a finite number of singular
Cuspidal curves
• The other points on the curve are called smooth.
References
points.
Torgunn Karoline Moe
Cuspidal curves
Some more theory II
Introduction
Algebraic
geometry
Algebraic
curves
• Every smooth point a on a curve has a uniqe tangent
line given by
V(Fx (a)x + Fy (a)y + Fz (a)z).
• Every singular point p has one or more tangent
line(s).
• For p = (0 : 0 : 1) singular,
Singularity
theory
Cuspidal curves
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 ).
References
• A tangent line is special because it touches the curve
at the given point a bit more than other lines.
Torgunn Karoline Moe
Cuspidal curves
More about the interesting points
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
• Unbelieveably many different kinds of singularities.
• Can classify singularities using invariants:
• Branches – counting 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.
• Multiplicity – the amount of intersection between 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.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
Multiplicity 2
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Detonating the algebraic bomb
• Can investigate the inside of a singularity by blowing
it up.
• Replace the singularitiy with a projective line.
• In an affine neighbourhood of the singularity, look at
Algebraic
curves
all the lines through the point.
• Lift each line to a height corresponding to the slope
Singularity
theory
of the line.
• Observe that the curve is practically unchanged
Cuspidal curves
References
outside the singularity.
• Close the curve and get a new curve.
• Look at the point(s) of the new curve corresponding
to the blown up singularity.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
Blowing up the cuspidal cubic
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
•
Yes, the blown up space is strange and funny. And it doesn’t really
look like that. But don’t worry.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Useful properties of a cusp
• When a cusp is blown up, we have only one point
Algebraic
geometry
corresponding to the singularitiy.
• This point might still be singular.
Algebraic
curves
Singularity
theory
Cuspidal curves
References
• Then we blow up again.
• Let mi denote the multiplicity of the remaining
singularity after i blowing-ups.
• For a cusp we define the multiplicity sequence m
• m = (m, m1 , . . . , ms ).
• Have m ≥ m1 ≥ . . . ≥ ms .
• There are more restrictions here.
Torgunn Karoline Moe
Cuspidal curves
Let’s go back to start
• How many and what kind of cusps can a rational
cuspidal curve have?
Introduction
Algebraic
geometry
Algebraic
curves
• A curve is called cuspidal if all its singular points are
cusps.
• A curve of degree d is rational ⇐⇒
(d − 1)(d − 2)
=
2
X
singular points
X mi (mi − 1)
(
).
2
i
Singularity
theory
• A rational curve can be given by a parametrization.
Cuspidal curves
• By the formula, the cuspidal cubic is the only
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
Algebraic
geometry
Algebraic
curves
(2), (2), (2)
(22 ), (2)
Singularity
theory
Cuspidal curves
References
(3)
(23 )
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Rational cuspidal curves of degree 5
# Cusps
1
Algebraic
curves
2
Singularity
theory
3
Cuspidal curves
References
4
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 [Piontkowski (2007)]
Introduction
• There is only one rational cuspidal plane curve with
Algebraic
geometry
more than three cusps – the curve of degree 5 with
cuspidal configuration [(23 ), (2), (2), (2)].
• The only tricuspidal curves are
Algebraic
curves
• [Fenske, Flenner & Zaidenberg (1996-1999)]
Singularity
theory
Cuspidal curves
References
Series
I
II
III
d
d
2a + 3
3a + 4
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 )].
Result [Tono (2005)]
• A rational cuspidal curve has ≤ 8 cusps.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
A world of opportunities for me
• Use Cremona transformations to give new
restrictions.
• Construct cuspidal curves by projecting a rational
smooth curve in Pn .
• There is a connection between the number of cusps
and the centre of projection that is used.
• This is linked to the tangents of the smooth curve in
Pn .
• Try to interpret the problem in other worlds; i.e.
toric geometry or tropical geometry.
Torgunn Karoline Moe
Cuspidal curves
Introduction
Algebraic
geometry
Algebraic
curves
Singularity
theory
Cuspidal curves
References
Useful literature
T. Fenske
Rational cuspidal plane curves of type (d, d − 4) with
χ(ΘV hDi) ≤ 0.
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).
R. Hartshorne
Algebraic Geometry.
M. Namba.
Geometry of projective algebraic curves.
J. Piontkowski.
On the Number of the Cusps of Rational Cuspidal
Plane Curves.
I hope there’s more cake!
Download