Question

Let \(P_{1}, \ldots, P_{m} \in \mathbb{P}^{2}, r_{1}, \ldots, r_{m}\) nonnegative integers. Let \(V\left(d ; r_{1} P_{1}, \ldots, r_{m} P_{m}\right)\) be the projective space of curves \(F\) of degree \(d\) with \(m_{P_{i}}(F) \geq r_{i} .\) Suppose there is a curve \(C\) of degree \(n\) with ordinary multiple points \(P_{1}, \ldots, P_{m}\), and \(m_{P_{i}}(C)=r_{i}+1\) and suppose \(d \geq n-3\). Show that $$ \operatorname{dim} V\left(d ; r_{1} P_{1}, \ldots, r_{m} P_{m}\right)=\frac{d(d+3)}{2}-\sum \frac{\left(r_{i}+1\right) r_{i}}{2} $$ Compare with Theorem 1 of $$\$ 5.2$$.

Short answer

The expression for the dimension of \(V(d;r_1P_1,...,r_mP_m)\) when \(d \geq n-3\) is: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{d(d + 3)}{2} - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$

Step-by-step solution

Dimension of V(d; r_1P_1, ..., r_mP_m)

First, let's find the dimension of the projective space with curves F of degree d with multiplicities at points \(P_i\) of \(r_i\). For a curve \(F\) of degree \(d\), the number of coefficients of the curve is \(\binom{d+2}{2}\). Since we're dealing with projective space, we need to subtract 1 to account for the homogenization, which means that there are \(\binom{d+2}{2} - 1\) free parameters. Now, we are given the condition that the curve \(C\) has multiplicities \(m_{P_i}(C)=r_i+1\) at points \(P_i\). To obtain a curve \(F\) with multiplicities \(r_i\) at these points, we must satisfy multiciplicity conditions for each point \(P_i\). These conditions amount to \(\frac{(r_i+1)r_i}{2}\) independent conditions for each point \(P_i\), so we need to subtract the total number of conditions from the number of free parameters to find the dimension of the projective space. Thus, the dimension of \(V(d; r_1P_1, ... , r_mP_m)\) is: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \binom{d+2}{2} - 1 - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$

Comparing dimensions

Our goal is to show that: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{d(d + 3)}{2} - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ From Step 1, we have: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \binom{d+2}{2} - 1 - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ Now, let's simplify the binomial coefficient: $$ \binom{d+2}{2} = \frac{(d + 2)(d + 1)}{2} $$ Substitute this into our expression and rearrange: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{(d + 2)(d + 1)}{2} - 1 - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{d^2 + 3d + 2}{2} - 1 - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{d^2 + 3d + 1}{2} - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ From the above equation, it's clear that our expression matches the desired form: $$ \operatorname{dim} V(d; r_1P_1,\ldots,r_mP_m) = \frac{d(d + 3)}{2} - \sum\limits_{i=1}^m \frac{(r_i + 1)r_i}{2} $$ Hence, we have derived the given expression for the dimension, and our solution is complete.

Key concepts

Projective Space

Projective Space is a fundamental concept in algebraic geometry that extends the idea of Euclidean space. Instead of looking at vectors alone, projective space considers lines through the origin.

This is done by adding 'points at infinity' where parallel lines meet. This turns Euclidean concepts into a compact, elegant framework where problems are often easier to solve.

In projective space \(\mathbb{P}^2\), every point corresponds to a line through the origin in \(\mathbb{R}^3\).

• All lines intersect at exactly one point.
• Helps define curves without worrying about scale.
• Smoothly handles intersections and parallel lines by including points at infinity.

Understanding projective space is crucial to delving into algebraic curves as they naturally live in this nuanced, yet comprehensive environment.

Curve Multiplicities

When talking about algebraic curves, multiplicity refers to the number of times a given curve passes through a particular point. Think of it like the weight of a point on the curve.

Curve multiplicities provide information about how curves intersect with each other. If a curve passes through a point multiple times, this is an indication of complex intersection behavior.

For a point \(P_i\) and a curve \(F\), the multiplicity \(m_{P_i}(F)\) is essentially the degree to which the curve tangentially touches the point.

• A multiplicity of 1 means a simple intersection.
• Higher multiplicities imply tangency or repeated intersection at the point.

In exercises like the one above, finding the dimension of projective curves depends on these multiplicities, affecting how 'many' curves fit through points with given multiplicities.

Polynomial Coefficients

Polynomial coefficients are parameters that define a polynomial equation. In the context of curves, these coefficients are crucial because they describe the shape and position of the curve.

An algebraic curve of degree \(d\) can be described by a polynomial with \(\binom{d+2}{2}\) coefficients, not considering homogenization.

These coefficients are the unknowns you solve for to determine a specific curve. They are what change if you want to move or alter the curve's shape. Each coefficient is like a knob you can "tune" to alter the path the curve takes through space.

• Higher degree polynomials have more coefficients, and thus more flexibility.
• In projective space, these coefficients are one less due to the homogeneous nature of the space.

Understanding how to manipulate polynomial coefficients is key to working with curves.

Ordinary Multiple Points

Ordinary multiple points on a curve are points where the curve self-intersects or is tangent to itself. At such a point, the multiplicity is greater than one, illustrating a higher order of contact between the curve and the point.

These points are important because they describe singularities, places where the curve "doesn't behave nicely."

Ordinary multiple points help understand complex curve behaviors because they describe points of high importance and influence.

• A point on the curve where multiple branches meet.
• An indicator of the curve's geometry and symmetry.
• Impacts the curve's dimensionality and the solutions of related equations.

Recognizing and dealing with these points are critical for solving deeper problems in algebraic geometry, as they heavily influence both theoretical and computational approaches.