/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Problem 2 Let \(C\) and \(D\) be curves on... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

Let \(C\) and \(D\) be curves on a surface \(X,\) meeting at a point \(P .\) Let \(\pi: \tilde{X} \rightarrow X\) be the monoidal transformation with center \(P .\) Show that \(\dot{C} . \tilde{D}=C . D-\mu_{P}(C) \cdot \mu_{P}(D)\) Conclude that \(C . D=\sum \mu_{P}(C) \cdot \mu_{P}(D),\) where the sum is taken over all intersection points of \(C\) and \(D\), including infinitely near intersection points.

Short Answer

Expert verified
The given relation \(\dot{C} . \tilde{D} = C . D - \mu_P(C) . \mu_P(D)\) implies that the interaction of curves \(C\) and \(D\) on surface \(X\) under the monoidal transformation \(\pi\) with center \(P\) can be expressed using the multiplicities of \(C\) and \(D\) at \(P\). By accumulating these values over all intersection points of \(C\) and \(D\), we find the total intersection product \(C . D\). It is noteworthy that this sum includes infinitely near intersection points, hence accounting for all possible intersection events.

Step by step solution

01

Understand Monoidal Transformation

A monoidal transformation with center \(P\) on a surface \(X\) modifies only the local behavior of the surface at the point \(P\). It maintains the simplicity of the point and merely changes its local parameters.
02

Define \(\mu_P(C)\) and \(\mu_P(D)\)

\(\mu_P(C)\) and \(\mu_P(D)\) represent the multiplicity of the curves \(C\) and \(D\) at the intersection point \(P\). In simpler terms, multiplicity shows the number of times a curve passes through an intersection point. The higher the multiplicity, the 'more times' a curve is intersecting the point.
03

Derive Equation for \(\dot{C}. \tilde{D}\)

Now, we symbolize the curves \(C\) and \(D\) on the transformed surface as \(\dot{C}\) and \(\tilde{D}\) respectively. Going by the transformation rules of intersection multiplicity under a standard monoidal transformation, we can write \(\dot{C} . \tilde{D} = C.D - \mu_P(C) . \mu_P(D)\)
04

Derive the relation for the sum of multiplicities

Taking the result from Step 3, sum over all intersections of the original curves \(C\) and \(D\), we find that: \(C.D=\sum \mu_P(C).\mu_P(D)\). This sum includes all points of intersection—even if they are 'infinitely near points', or points that are limit points of a sequence of distinct points of intersection.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Monoidal Transformation
In algebraic geometry, a monoidal transformation, also known as a blowup, is a fascinating tool for modifying a surface. Imagine you have a surface and precisely at a single point, denoted as \(P\), you want to alter how it behaves. A monoidal transformation changes the local geometry around this point without affecting the larger structure of the surface.
The process substitutes the point \(P\) with a new structure, often a curve, called the exceptional divisor. This transformation is very handy in resolving singularities or simplifying complex intersections on a surface. When applying a monoidal transformation, curves that initially intersect at a point \(P\) may no longer intersect on the transformed surface at that point, leading to simpler geometrical configurations.
Overall, monoidal transformations are versatile techniques in algebraic geometry, enhancing our capability to handle complex curves and intersections on surfaces.
Intersection Multiplicity
Intersection multiplicity is a measure of how many times two curves intersect each other at a given point. Consider two curves \(C\) and \(D\) intersecting at a point \(P\) on a surface. Here, the multiplicity tells you not just that they intersect, but provides an indication of how "strongly" they intersect.
  • The intersection multiplicity at a point \(P\) is denoted as \(\mu_P(C)\) for curve \(C\) and \(\mu_P(D)\) for curve \(D\).
  • If \(\mu_P(C)\) or \(\mu_P(D)\) is greater than 1, it implies the curves pass through point \(P\) multiple times, perhaps tangentially.
After a monoidal transformation, the intersection multiplicity can be reduced in a predictable way. You can calculate the new multiplicity by subtracting the product of the original multiplicities from the original count, as seen in \(\dot{C} . \tilde{D} = C.D - \mu_P(C) \cdot \mu_P(D)\). This helps in quantifying intersections' complexities even post-transformation.
Curves on Surfaces
Curves on surfaces play a crucial role in algebraic geometry by representing the loci of solutions to polynomial equations on that surface. Each curve is not just a line on the surface but a set of points meeting certain criteria defined by its equation. When discussing intersections of curves, it's paramount to consider where and how these curves meet on the surface.
Intersecting curves can form various angles or be tangent to each other, and these intersections carry significant importance. They can be analyzed using the concept of multiplicity, quantifying how curves pass through common points.
  • For any two curves \(C\) and \(D\) on the surface \(X\), intersection points occur where \(C\) and \(D\) meet.
  • 'Infinitely near points' refer to those that can be perceived as limits of sequences of intersection points, providing insights into complex intersection behaviors.
Understanding how curves interact on surfaces helps depict geometric transformations and relations in intricate detail, aiding in solving theoretical questions in algebraic geometry.

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

(a) If \(H\) is an ample divisor on the surface \(X\), and if \(D\) is any divisor, show that \\[ \left(D^{2}\right)\left(H^{2}\right) \leqslant(D . H)^{2} \\] (b) Now let \(X\) be a product of two curves \(X=C \times C^{\prime} .\) Let \(l=C \times p t,\) and \(m=\mathrm{pt} \times C^{\prime} .\) For any divisor \(D\) on \(X,\) let \(a=D . l, b=D . m .\) Then we say \(D\) has type \((a, b) .\) If \(D\) has type \((a, b),\) with \(a, b \in \mathbf{Z},\) show that \\[ D^{2} \leqslant 2 a b \\] and equality holds if and only if \(D \equiv b l+a m .\) [Hint: Show that \(H=l+m\) is ample, let \(E=l-m\), let \(D^{\prime}=\left(H^{2}\right)\left(E^{2}\right) D-\left(E^{2}\right)(D . H) H-\left(H^{2}\right)(D . E) E,\) and apply (1.9). This inequality is due to Castelnuovo and Severi. See Grothendieck \([2] .]\)

Prove the following theorem of Chern and Griffiths. Let \(X\) be a nonsingular surface of degree \(d\) in \(P_{c}^{n+1},\) which is not contained in any hyperplane. If \(d<2 n\), then \(p_{g}(X)=0 .\) If \(d=2 n,\) then either \(p_{\theta}(X)=0,\) or \(p_{g}(X)=1\) and \(X\) is a \(\mathrm{K} 3\) surface. \([\text {Hint}: \text { Cut } X\) with a hyperplane and use Clifford's theorem (IV, 5.4). For the last statement, use the Riemann-Roch theorem on \(X\) and the Kodaira vanishing theorem (III, 7.15).]

Let \(X\) be a ruled surface with invariant \(e\) over an elliptic curve \(C,\) and let b be a divisor on \(C\) (a) If \(\operatorname{deg} b \geqslant e+2,\) then there is a section \(D \sim C_{0}+b f\) such that \(|D|\) has no base points. (b) The linear system \(| C_{0}+\) b \(f |\) is very ample if and only if \(\operatorname{deg} b \geqslant e+3\) Note. The case \(e=-1\) will require special attention.

Let \(Y\) be an irreducible curve on a surface \(X,\) and suppose there is a morphism \(f: X \rightarrow X_{0}\) to a projective variety \(X_{0}\) of dimension \(2,\) such that \(f(Y)\) is a point \(P\) and \(f^{-1}(P)=Y .\) Then show that \(Y^{2}<0 .[\text { Hint: Let }|H|\) be a very ample (Cartier) divisor class on \(X_{0},\) let \(H_{0} \in|H|\) be a divisor containing \(P,\) and let \(H_{1} \in|H|\) be a divisor not containing \(\left.P . \text { Then consider } f^{*} H_{0}, f^{*} H_{1} \text { and } \hat{H}_{0}=f^{*}\left(H_{0}-P\right)^{-} .\right]\)

(a) If \(C\) is a curve of genus \(g\), show that the diagonal \(\Delta \subseteq C \times C\) has self-intersection \(\Delta^{2}=2-2 g .\) (Use the definition of \(\Omega_{C / k}\) in (II, \(\S 8\) ).) (b) Let \(l=C \times\) pt and \(m=\mathrm{pt} \times C .\) If \(g \geqslant 1,\) show that \(l, m,\) and \(\Delta\) are linearly independent in \(\mathrm{Num}(C \times C) .\) Thus \(\mathrm{Num}(C \times C)\) has rank \(\geqslant 3,\) and in particular, \(\operatorname{Pic}(C \times C) \neq p_{1}^{*}\) Pic \(C \oplus p_{2}^{*}\) Pic \(C .\) Cf. (III, Ex. 12.6 ), (IV, Ex. 4.10 ).

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.