/*! 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 4 Intersection Multiplicity. If \(... [FREE SOLUTION] | 91影视

91影视

Log out

Learning Materials

Features

Discover

Chapter 1: Problem 4

Intersection Multiplicity. If \(Y, Z \subseteq \mathbf{A}^{2}\) are two distinct curves, given by equations \(f=0, g=0,\) and if \(P \in Y \cap Z,\) we define the intersection multiplicity \((Y \cdot Z)_{P}\) of \(Y\) and \(\mathcal{L}\) at \(P\) to be the length of the \(\mathscr{O}_{p}\) -module \(\mathscr{C}_{p} f(f, g)\) (a) Show that \((Y \cdot Z)_{P}\) is finite, and \((Y \cdot Z)_{P} \geqslant \mu_{P}(Y) \cdot \mu_{P}(Z)\) (b) If \(P \in Y\), show that for almost all lines \(L\) through \(P\) (i.e., all but a finite number) \((L \cdot Y)_{Y}=\mu_{P}(Y)\) (c) If \(Y\) is a curve of degree \(d\) in \(\mathbf{P}^{2},\) and if \(L\) is a line in \(\mathbf{P}^{2}, L \neq Y,\) show that \((L \cdot Y)=d .\) Here we define \((L \cdot Y)=\sum(L \cdot Y)_{P}\) taken over all points \(P \in\) \(L \cap Y,\) where \((L \cdot Y)_{p}\) is defined using a suitable affine cover of \(\mathbf{P}^{2}\)

Short Answer

Expert verified
Therefore, we have proven that the intersection multiplicity of \(Y\) and \(Z\) at \(P\) is finite and greater than \( \mu_P(Y) . \mu_P(Z) \). Furthermore, for almost all lines \(L\) through a point \(P\) in \(Y\), the intersection multiplicity \( (L . Y)_Y \) equals \( \mu_P(Y) \). Finally, in a projective 2-space, if \(Y\) is a curve of degree \(d\) and \(L\) is a line, then \( (L . Y) = d \).

Step by step solution

01

Understanding Intersection Multiplicity

Intersection Multiplicity, \((Y \cdot Z)_{P}\), is a measure in algebraic geomentry that captures information about how algebraic varieties intersect at a given point. It can be defined as the length of the \(\mathscr{O}_{p}\)-module generated by \(f\) and \(g\), where \(f=0\) and \(g=0\) are the equations defining \(Y\) and \(Z\) respectively.
02

Proving \( (Y . Z)_P \) is finite and greater than or equal to \( \mu_P(Y) . \mu_P(Z) \)

Given any \( \mathscr{O}_{P} \)-module \( M \), it has a finite length, which implies that \( (Y . Z)_P \) is finite. The total ordering implies that \( (Y . Z)_P \geqslant \mu_P(Y) . \mu_P(Z) \).
03

Proving for almost all lines \( L \) through \( P \), \( (L . Y)_Y = \mu_P(Y) \)

Several lines through a point \(P\) in \(Y\) intersect \(Y\) transversely, except for lines in the tangent space. Therefore, the intersection multiplicity of each such line \(L\) with \(Y\) at \(P\) equals the intersection multiplicity of \(Y\) at \(P\). Hence \( (L . Y)_Y = \mu_P(Y) \).
04

Proving \( (L . Y) = d \)

Choose an affine cover for \( P^2 \) that does not contain any points of intersection of \( L \) with \( Y \). This establishes a one-to-one correspondence between \( L \cap Y \) and \( d \) points, in an open set in \( \mathbf{A}^2 \), which has the multiplicity of \( (L . Y)_P = 1 \), thus proving \( (L . Y) = d \).

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.

Algebraic Geometry
Algebraic geometry is a central branch of mathematics that merges algebra, particularly the use of polynomials, with geometry, providing a deep understanding of shapes described by algebraic equations. This field studies properties and relationships of geometric structures known as algebraic varieties, which are the solution sets to systems of polynomial equations.

One of the fundamental questions in algebraic geometry is how two such varieties intersect, leading to the concept of intersection theory. Our exercise involves intersection multiplicity, which quantifies how complex the intersection of two varieties is at a given point. This number can offer insight into geomtric properties and symmetries, or provide a way to classify algebraic varieties.

An essential aspect of algebraic geometry that aids in solving various problems, including computing intersection multiplicities, is the use of ideals and modules. Modules over a ring, particularly the local ring at a point on a variety, are instrumental in defining and working with intersection multiplicities, reinforcing the intrinsic link between algebraic structures and geometric ideas.
Algebraic Varieties
Algebraic varieties form the core objects of study in algebraic geometry. An algebraic variety can be looked upon as a geometric manifestation of the solutions to a system of algebraic equations. For example, circles, ellipses, hyperbolas, and parabolas are algebraic varieties in the plane, defined by polynomials in two variables.

Depending on the complexity of the equations, these varieties can range from simple curves and surfaces to highly intricate, higher-dimensional shapes. The language of algebraic geometry enables us to understand and categorize these varieties, delving into their properties such as dimension, degree, singularities, and how they intersect with each other.

Intersection multiplicity, a theme in our exercise, is a crucial concept when it comes to evaluating how curves, which are one-dimensional varieties, meet each other in the plane. This measure helps us study varieties' topological and algebraic properties and often requires combining computational methods with theoretical insights.
Homogeneous Coordinates
When working with algebraic curves and surfaces in projective space, like in part (c) of our exercise, we use homogeneous coordinates. These coordinates are a tool that allows one to handle the concept of 'points at infinity' and enable the study of projective varieties, which are the counterparts of algebraic varieties but within the projective space framework.

Homogeneous coordinates are a set of coordinates used in projective geometry that have a property distinguishing them from Cartesian coordinates: they have a scaling invariance. This means that the point in projective space represented by a set of homogeneous coordinates \( [x_0:x_1:x_2] \) is the same as that represented by \( [kx_0:kx_1:kx_2] \) for any non-zero scalar \( k \).

Using these coordinates, we can work in projective space \( \mathbf{P}^2 \) to analyze curves such as those in our exercise, where a line and a curve of degree \( d \) intersect. The intersection theory in projective space describes how lines intersect with curves and surfaces in consistent ways, often simplifying calculations and allowing for a fuller understanding of the geometric objects involved.

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 \subseteq \mathbf{P}^{2}\) be a nonsingular plane curve of degree \(>1\), defined by the equation \(f(x, y, z)=0 .\) Let \(X \subseteq \mathbf{A}^{3}\) be the affine variety defined by \(f\) (this is the cone over \(Y ;\) see (Ex. 2.10) ). Let \(P\) be the point \((0,0,0),\) which is the vertex of the cone. Let \(\varphi: \tilde{X} \rightarrow X\) be the blowing-up of \(X\) at \(P\) (a) Show that \(X\) has just one singular point, namely \(P\) (b) Show that \(\tilde{X}\) is nonsingular (cover it with open affines). (c) Show that \(\varphi^{-1}(P)\) is isomorphic to \(Y\)

Vormal Varielies. A variety \(Y\) is normal all a point \(P \in Y\) if \((p\) is an integrally closed ring. \(Y\) is normal if it is normal at every point (a) Show that every conic in \(\mathbf{P}^{2}\) is normal. (b) Show that the quadric surfaces \(Q_{1}, Q_{2}\) in \(\mathbf{P}^{3}\) given by equations \(Q_{1}: x y=z w\) \(Q_{2}: x y=z^{2}\) are normal (cf. (II. Ex. 6.4) for the latter.) (c) Show that the cuspidal cubic \(y^{2}=x^{3}\) in \(A^{2}\) is not normal (d) If \(Y\) is affine. then \(Y\) is normal \(\Leftrightarrow A(Y)\) is integrally closed. (e) Let \(Y\) be an affine variety. Show that there is a normal affine variety \(\tilde{Y}\), and a morphism \(\pi: \tilde{Y} \rightarrow Y\), with the property that whenever \(Z\) is a normal variety, and \(\varphi: Z \rightarrow Y\) is a domincint morphism (i.e., \(\varphi(Z)\) is dense in \(Y\) ), then there is a unique morphism \(\theta: Z \rightarrow \tilde{Y}\) such that \(\varphi=\pi\) 0. \(\tilde{Y}\) is called the normalization of \(Y\). You will need \((3.9 \mathrm{A})\) above.

If we identify \(\mathbf{A}^{2}\) with \(\mathbf{A}^{1} \times \mathbf{A}^{1}\) in the natural way, show that the Zariski topology on \(\mathbf{A}^{2}\) is not the product topology of the Zariski topologies on the two copies of \(\mathbf{A}^{1}\)

If \(f\) and \(g\) are regular functions on open subsets \(U\) and \(V\) of a variety \(X,\) and if \(f=g\) on \(U \cap V\). show that the function which is \(f\) on \(U\) and \(g\) on \(V\) is a regular function on \(U \cup V\). Conclude that if \(f\) is a rational function on \(X\). then there is a largest open subset \(U\) of \(X\) on which \(f\) is represented by a regular function. We say that \(f\) is defined at the points of \(U\).

Complete intersections. A variety \(Y\) of dimension \(r\) in \(\mathbf{P}^{n}\) is a (strict) complete intersection if \(l(Y)\) can be generated by \(n-r\) elements. \(Y\) is a set-theoretic complele intersection if \(Y\) can be written as the intersection of \(n-r\) hypersurfaces. (a) Let \(Y\) be a variety in \(\mathbf{P}^{n}\), let \(Y=Z(a)\); and suppose that \(a\) can be generated by \(q\) elements. Then show that \(\operatorname{dim} Y \geqslant n-q\) (b) Show that a strict complete intersection is a set-theoretic complete intersection "(c) The converse of (b) is false. For example let \(Y\) be the twisted cubic curve in \(\mathbf{P}^{3}(\text { Ex. } 2.9) .\) Show that \(I(Y)\) cannot be generated by two elements. On the other hand, find hypersurfaces \(H_{1}, H_{2}\) of degrees 2,3 respectively, such that \(Y=H_{1} \cap H_{2}\) *(d) It is an unsolved problem whether every closed irreducible curve in \(\mathbf{P}^{3}\) is a set-theoretic intersection of two surfaces. See Hartshorne [1] and Hartshorne \([5,111, \$ 5]\) for commentary.
See all solutions

Recommended explanations on Math Textbooks

Decision Maths

Read Explanation

Pure Maths

Read Explanation

Statistics

Read Explanation

Geometry

Read Explanation

Probability and Statistics

Read Explanation

Mechanics 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.