/*! 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 6 (a) If \(C\) is a curve of genus... [FREE SOLUTION] | 91影视

91影视

Log out

Learning Materials

Features

Discover

Chapter 5: Problem 6

(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 ).

Short Answer

Expert verified
The self-intersection of the diagonal \(\Delta\) of \(C \times C\) is \(2 - 2g\). For\(g \geqslant 1\), the elements \(l\), \(m\), \(\Delta\) are linearly independent in \(\mathrm{Num}(C \times C)\), implying its rank is at least 3. Hence, \(\operatorname{Pic}(C \times C) \neq p_{1}^{*}\) Pic \(C \oplus p_{2}^{*}\) Pic \(C\).

Step by step solution

01

Determination of self-intersection

For the first part, we have to determine the self-intersection of the diagonal. Since the self-intersection of the diagonal \( \Delta \) of \( C \times C \) can be determined by \(\Delta . \Delta = \Delta^2\), we seek to show it equals \( 2 - 2g \). This claim can be proven using the arithmetic genus formula and the fact that \( \Delta \) is a copy of \( C \). Thus, \( \Delta^2 = \chi(\mathcal{O}_C) - 1 = 2 - 2g\) as per the definition given in (II, \(\S 8\)).
02

Analyzing Linear Independence of \(l\), \(m\), \(\Delta\)

Moving to the second part, we analyze \(l\), \(m\), \(\Delta\). Here \(l = C \times \text{pt}\), \(m = \text{pt} \times C\) and \(\Delta\) is the diagonal. By showing that their intersection numbers are pairwise non-zero, we can ascertain their linear independence in \(\mathrm{Num}(C \times C)\), provided \(g \geqslant 1\). Note that \(l.\Delta = m.\Delta = g\) and \(l.m = 1\). Since \(g \geqslant 1\), neither of these products is zero, implying \(l\), \(m\), \(\Delta\) are linearly independent in \(\mathrm{Num}(C \times C)\). Thus, the rank of \(\mathrm{Num}(C \times C)\) is \( \geqslant 3\).
03

Drawing Conclusion on \(\operatorname{Pic}(C \times C)\)

As a consequence of the linear independence of \(l\), \(m\), \(\Delta\), it can be established that \(\operatorname{Pic}(C \times C) \neq p_{1}^{*}\) Pic \(C \oplus p_{2}^{*}\) Pic \(C\). This follows from the calculation of the intersection products in Step 2 and by using the references given in the problem statement (III, Ex. 12.6), (IV, Ex. 4.10).

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.

Self-intersection
In algebraic geometry, self-intersection is an important concept that deals with the way a curve intersects with itself. For a curve \( C \) on a surface like \( C \times C \), the self-intersection of a diagonal \( \Delta \) refers to the way it intersects itself when considered on that surface. To find the self-intersection number \( \Delta^2 \), we use tools from the theory of divisors.
  • The concept can be connected to the arithmetic genus formula, which provides a way to compute the self-intersection using properties like the genus \( g \) of the curve.
  • For instance, using the arithmetic genus, \( \Delta^2 = 2 - 2g \). Here, \( \Delta \) is seen as a copy of the curve \( C \) within \( C \times C \).
  • This calculation is supported by the mathematical structures that are part of algebraic geometry, revealing properties like the curve's genus \( g \) showing up in the formula.
Thus, understanding self-intersection helps in analyzing the deeper properties of algebraic surfaces and their constituent curves.
Linear Independence
Linear independence is a fundamental concept in both linear algebra and algebraic geometry, where it indicates a set of elements that do not overlap in a certain additive sense. In this exercise, we see linear independence come into play when dealing with elements \( l \), \( m \), and \( \Delta \) in the Num(C \times C) group.
  • Elements \( l = C \times \text{pt} \) and \( m = \text{pt} \times C \) represent horizontal and vertical copies of the curve, while \( \Delta \) represents the diagonal.
  • To determine their independence, one checks their intersection numbers: \( l.\Delta = g \), \( m.\Delta = g \), and \( l.m = 1 \).
  • Here, \( g \ge 1 \) ensures these intersection numbers are nonzero, thereby establishing that \( l \), \( m \), \( \Delta \) are linearly independent.
This shows why the rank of \( \mathrm{Num}(C \times C) \) is at least 3, adding to our understanding of the interaction and independent nature of these geometric objects.
Picard group
The Picard group, denoted as \( \text{Pic}(X) \) for a variety or scheme \( X \), is the group of line bundles on \( X \), or equivalently, the group of divisors modulo linear equivalence. It plays a vital role in algebraic geometry as it helps classify vector bundles and sheaves over a given space.
  • The exercise highlights that \( \text{Pic}(C \times C) \) is not merely the direct sum of the Picard groups \( p_{1}^* \text{Pic} C \) and \( p_{2}^* \text{Pic} C \).
  • Given the rank condition \( \geqslant 3 \) from the linear independence of \( l, m, \Delta \), it showcases the complexity and richness of \( ext{Pic}(C \times C) \) beyond simple constructs.
  • This discovery implies intertwining relations between algebraic curves that are beyond mere products.
Ultimately, exploring the Picard group in this context reveals deeper algebraic structures and relationships that highlight the intricacy and beauty of 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

Let \(Y \cong \mathbf{P}^{1}\) be a curve in a surface \(X,\) with \(Y^{2}<0 .\) Show that \(Y\) is contractible \((5.7 .2)\) to a point on a projective variety \(X_{0}\) (in general singular).

If \(C\) is an irreducible non-singular curve of degree \(d\) on the cubic surface, and if the genus \(g > 0\), then $$g \geqslant\left\\{\begin{array}{ll} \frac{1}{2}(d-6) & \text { if } d \text { is even } d \geqslant 8, \\ \frac{1}{2}(d-5) & \text { if } d \text { is odd }, d \geqslant 13, \end{array}\right.$$ and this minimum value of \(g>0\) is achieved for each \(d\) in the range given.

Show that the following two singularities have the same multiplicity, and the same configuration of infinitely near singular points with the same multiplicities, hence the same \(\delta_{P},\) but are not equivalent. (a) \(x^{4}-x y^{4}=0\) (b) \(x^{4}-x^{2} y^{3}-x^{2} y^{5}+y^{8}=0\).

Generalize (4.5) as follows: given 13 points \(P_{1}, \ldots, P_{13}\) in the plane, there are three additional determined points \(P_{14}, P_{15}, P_{16},\) such that all quartic curves through \(P_{1}, \ldots, P_{13}\) also pass through \(P_{14}, P_{15}, P_{16} .\) What hypotheses are necessary on \(P_{1}, \ldots, P_{13}\) for this to be true?

Let \(C\) be a curve of genus \(g\), and let \(X\) be the ruled surface \(C \times \mathbf{P}^{1}\). We consider the question, for what integers \(s \in \mathbf{Z}\) does there exist a section \(D\) of \(X\) with \(D^{2}=>?\) First show that \(s\) is always an even integer, say \(s=2 r\) (a) Show that \(r=0\) and any \(r \geqslant g+1\) are always possible. Cf. (IV, Ex. 6.8 ). (b) If \(g=3,\) show that \(r=1\) is not possible, and just one of the two values \(r=2,3\) is possible, depending on whether \(C\) is hyperelliptic or not.
See all solutions

Recommended explanations on Math Textbooks

Calculus

Read Explanation

Mechanics Maths

Read Explanation

Probability and Statistics

Read Explanation

Theoretical and Mathematical Physics

Read Explanation

Discrete Mathematics

Read Explanation

Decision Maths

Read Explanation
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.