DOCSLIB.ORG

Math 145 Solution 5 Problem 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 145 Solution 5 Problem 1 Math 145 Solution 5 Problem 1. (Products of affine varieties.) Let X ⊂ An and Y ⊂ Am be affine algebraic sets. (i) Show that X × Y ⊂ An+m is also an affine algebraic set. Answer: (i) Let X ⊂ An and Y ⊂ Am be affine algebraic sets such that X = Z(f1; : : : ; fr);Y = Z(g1; : : : ; gs) where fi 2 k[X1;X2;:::;Xn] and gj 2 k[Y1;Y2;:::;Ym] : We regard fi and gj as polynomials in the variables X1;:::;Xn;Y1;:::;Ym: We claim that n+m X × Y = Z(f1; : : : ; fr; g1; : : : ; gs) ⊂ A : This will show that X × Y is an affine algebraic set. To prove the claim, observe that (x1; : : : ; xn; y1; : : : ; ym) 2 Z(f1; : : : ; fr; g1; : : : ; gs) , fi(x1; : : : ; xn) = 0 and gj(y1; : : : ; ym) = 0 for all i; j , (x1; : : : ; xn) 2 X and (y1; : : : ; ym) 2 Y , (x1; : : : ; xn; y1; : : : ; ym) 2 X × Y: Problem 2. (Intersections with hypersurfaces.) (i) Let H ⊂ Pn be a linear hyperplane in Pn (e.g. H is cut out by one linear homogeneous equation in Pn). Show that the quasiprojective algebraic set PnnH is isomorphic to An. (ii) Show that if X is a degree d hypersurface in Pn then PnnX admits a nonconstant morphism to an affine space. (In fact, its not much harder to show that PnnX is isomorphic to an affine variety). (ii) Conclude that if X is a hypersurface in Pn and Y ⊂ Pn is a projective variety which is not a point, then the intersection of X and Y is non-emtpy. (iv) If X is a degree d hypersurface in Pn and L is a line in Pn not contained in X, show that L and X intersect in at most d points. In fact, they intersect in exactly d points counted with multiplicity. 0 0 n Answer: (i) Write temporarily X0;:::;Xn for the coordinates on P . Assume that the hy- perplane H is cut out by the linear equation ( n ) X 0 H = aiXi = 0 : i=0 Without loss of generality, we may assume an 6= 0. Define n X 0 0 Xn = aiXi;Xi = Xi for 0 ≤ i ≤ n − 1: i=0 n Then it’s easy to see that Xi are new coordinates on P . Indeed, the change of coordi- nates matrix 0 1 0 ::: 0 0 1 B 0 1 ::: 0 0 C C = B C @ 0 0 ::: 1 0 A a0 a1 : : : an−1 an is invertible having determinant equal to an 6= 0. In the new coordinates, H is defined by Xn = 0 : 1 2 The map n n X0 Xn−1 π : P nH ! A ; [X0 : ::: : Xn] ! ;:::; Xn Xn n is well-defined because Xn 6= 0 on P nH. Let n n φ : A ! P nH; (Y1;:::;Yn) ! [Y1 : ::: : Yn : 1] Clearly π and φ are inverses, and therefore π is an isomorphism. (ii) Suppose X = Z(f) where X i0 in f = ai0i1:::in X0 ··· Xn = 0 : i0+···+in=d Let v be the d-fold Veronese embedding n N v : P ! P : It is easy to check that v is injective (this follows from the definitions, we need to consider quotients of the monomials od degree d.) N Let Y0;:::;YN be the coordinates on P . For points in the image of the Veronese embedding, Y0;:::;YN is a list of all degree d monomials i0 in X0 ··· Xn ; in some order. To fix notation, we write Yi0:::in for the coordinate corresponding to the i0 in monomial X0 ··· Xn : 0 N Let H be the hyperplane in P defined by the linear equation with coefficients ai0:::in e.g. X ai0:::in Yi0:::in = 0: Clearly, v(X) ⊂ H0: Then n N 0 N v : P n X ! P n H =∼ A ; where in the last equation we used (ii). Therefore, we obtained a non-constant (in fact injective) morphism from Pn n X and AN . (iii) Suppose the intersection of X and Y is empty, then n Y ⊂ P nX: Let n N v : P nX ! A be the morphism described in (ii) and πi be the projection map from N 1 πi : A ! A to the i-th coordinate. Then n 1 πi ◦ v : P nX ! A : 1 Hence πi ◦ v restricts to a morphism from Y ! A . Because Y is a projective variety, πi ◦ φ must be a constant. This is true for every i, therefore v is a constant morphism on Y . But since v is injective, it follows that Y is a point. 3 (iv) After a change of coordinates, we can assume that L is cut out by the equations X2 = ::: = Xn = 0 : Indeed, pick any two points p and q on L, change coordinates such that p and q become [1 : 0 : ::: : 0] and [0 : 1 : ::: : 0]. It is clear that the line L that p and q determine is given by X2 = ::: = Xn = 0. Recall that X i0 in f = ai0i1:::in X0 ··· Xn : i0+···+in=d Let X i0 i1 F (X0;X1) = f(X0;X1; 0;:::; 0) = ai0i10:::0X0 X1 : i0+i1=d Assuming x = [x0 : x1 : ··· : xn] 2 L \ X then x2 = ::: = xn = 0 and f(x) = 0. Therefore X i0 i1 F (x) = ai0i10:::0x0 x1 = 0 : i0+i1=d Note that if F =∼ 0 it follows that L ⊂ X; which is impossible. Therefore F is a non-zero homogenous polynomial of degree at most d. If ad0:::0 = 0, then F = x0G where G has degree d − 1. It follows by induction that G has at most d − 1 roots and thus F has at most d roots, namely the zeros of F and [0 : 1 : ::: : 0]): n Assume now ad0:::0 6= 0. If x1 = 0, this implies x0 = 0, which is not in P . Therefore we can assume x1 = 1 and x0 is a solution of X i0 ai0i10:::0X0 = 0 i0+i1=d This is a nonzero degree d polynomial, with at most d solutions. Therefore there are at most d points in the intersection L \ X. Problem 3. (Rational varieties.) Two projective varieties X and Y are birational if there are rational maps f : X / Y ; g : Y / X: which are rational inverses to each other. We say that X is rational if X is birational to Pn for some n. (i) Show that a birational isomorphism f : X / Y induces an isomorphism of the fields of rational functions f ? : K(Y ) ! K(X). The converse is also true but you don’t have to prove it. (ii) Show that Pn × Pm is rational, by constructing an explicit birational isomorphism with Pn+m. Show that if X and Y are rational, then X × Y is rational. Answer: (i) For h 2 K(Y ), define f ?(h) = h ◦ f: This is a rational function on X. This fact is explained for instance in the text, section 4:10. In the terminology used there, f is a dominant map. In short, the idea is as follows. We have seen that h is defined on an open set Dom(h) ⊂ Y . By assumption, f establishes 4 an isomorphism between nonempty open sets U and V in X and Y . Then f ?h is defined on the intersection f −1(V \ Dom(h)): To show this intersection is non-empty, we need to argue that the nonempty open sets V and Dom(h) intersect. But if they do not, the proper closed sets Y n V and Y n Dom(h) cover Y contradicting the fact that Y is irreducible. Therefore f ? : K(Y ) ! K(X) is a well defined field homomorphism. Similarly, the birational inverse morphism g : Y / X induces a field homomor- ? ? ? phism g : K(X) ! K(Y ). We claim that f and g are inverses. Indeed, for h1 2 K(Y ), h2 2 K(X), ∗ ∗ ∗ f g (h2) = f (h2 ◦ g) = h2 ◦ g ◦ f = h2 ◦ id = h2 ; ∗ ∗ ∗ g f (h1) = g (h1 ◦ f) = h1 ◦ f ◦ g = h1 ◦ id = h1 : Therefore K(X) =∼ K(Y ). n m (ii) Let U ⊂ P be the open set where the coordinate x0 6= 0. Similarly, let V ⊂ P be the n+m open set where the coordinate y0 6= 0; and let W be the open set in P where the first coordinate is non-zero Define φ : U × V ! Pn+m as x1 x2 xn y1 y2 yn [x0 : x1 : ::: : xn] × [y0 : y1 : ::: : ym] ! 1 : : : ::: : : : ;::: : : x0 x0 x0 y0 y0 y0 It is easy to check that φ establishes an isomorphism between U ×V and W , with inverse : W ! U × V; [1 : z1 : ::: : zn+m] ! [1 : z1 : ::: : zn] × [1 : zn+1 : ::: : zn+m]: Therefore φ and define birational isomorphisms between Pn × Pm and Pn+m. Finally, if X and Y are birational to Pn andPm, then X × Y is birational to Pn × Pm which in turn is birational to Pn+m. Therefore, X × Y is rational. Problem 4. (Quadrics are rational.) (i) Show that a non-singular irreducible quadric Q in P3 can be written in the form xy = zw after a suitable change of homogeneous coordinates. Combining this result with the Segre em- bedding, conclude that any quadric in P3 is isomorphic to P1 × P1, hence it is rational. (ii) In general, show that any non-singular irreducible quadric Q ⊂ Pn+1 is birational to Pn. Answer: (i) A homogeneous quadratic polynomial f(x; y; z; w) can be written as 2x3 6y 7 f = [x y z w] A 6 7 4z 5 w where A is a symmetric 4 × 4 matrix. Because A is symmetric, it can be diagonalized.
Load more

Recommended publications
  • Chapter 11. Three Dimensional Analytic Geometry and Vectors
    Chapter 11. Three dimensional analytic geometry and vectors. Section 11.5 Quadric surfaces. Curves in R2 : x2 y2 ellipse + =1 a2 b2 x2 y2 hyperbola − =1 a2 b2 parabola y = ax2 or x = by2 A quadric surface is the graph of a second degree equation in three variables. The most general such equation is Ax2 + By2 + Cz2 + Dxy + Exz + F yz + Gx + Hy + Iz + J =0, where A, B, C, ..., J are constants. By translation and rotation the equation can be brought into one of two standard forms Ax2 + By2 + Cz2 + J =0 or Ax2 + By2 + Iz =0 In order to sketch the graph of a quadric surface, it is useful to determine the curves of intersection of the surface with planes parallel to the coordinate planes. These curves are called traces of the surface. Ellipsoids The quadric surface with equation x2 y2 z2 + + =1 a2 b2 c2 is called an ellipsoid because all of its traces are ellipses. 2 1 x y 3 2 1 z ±1 ±2 ±3 ±1 ±2 The six intercepts of the ellipsoid are (±a, 0, 0), (0, ±b, 0), and (0, 0, ±c) and the ellipsoid lies in the box |x| ≤ a, |y| ≤ b, |z| ≤ c Since the ellipsoid involves only even powers of x, y, and z, the ellipsoid is symmetric with respect to each coordinate plane. Example 1. Find the traces of the surface 4x2 +9y2 + 36z2 = 36 1 in the planes x = k, y = k, and z = k. Identify the surface and sketch it. Hyperboloids Hyperboloid of one sheet. The quadric surface with equations x2 y2 z2 1.
    [Show full text]
  • Pencils of Quadrics
    Europ. J. Combinatorics (1988) 9, 255-270 Intersections in Projective Space II: Pencils of Quadrics A. A. BRUEN AND J. w. P. HIRSCHFELD A complete classification is given of pencils of quadrics in projective space of three dimensions over a finite field, where each pencil contains at least one non-singular quadric and where the base curve is not absolutely irreducible. This leads to interesting configurations in the space such as partitions by elliptic quadrics and by lines. 1. INTRODUCTION A pencil of quadrics in PG(3, q) is non-singular if it contains at least one non-singular quadric. The base of a pencil is a quartic curve and is reducible if over some extension of GF(q) it splits into more than one component: four lines, two lines and a conic, two conics, or a line and a twisted cubic. In order to contain no points or to contain some line over GF(q), the base is necessarily reducible. In the main part of this paper a classification is given of non-singular pencils ofquadrics in L = PG(3, q) with a reducible base. This leads to geometrically interesting configur­ ations obtained from elliptic and hyperbolic quadrics, such as spreads and partitions of L. The remaining part of the paper deals with the case when the base is not reducible and is therefore a rational or elliptic quartic. The number of points in the elliptic case is then governed by the Hasse formula. However, we are able to derive an interesting combi­ natorial relationship, valid also in higher dimensions, between the number of points in the base curve and the number in the base curve of a dual pencil.
    [Show full text]
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Arxiv:2006.16553V2 [Math.AG] 26 Jul 2020
    ON ULRICH BUNDLES ON PROJECTIVE BUNDLES ANDREAS HOCHENEGGER Abstract. In this article, the existence of Ulrich bundles on projective bundles P(E) → X is discussed. In the case, that the base variety X is a curve or surface, a close relationship between Ulrich bundles on X and those on P(E) is established for specific polarisations. This yields the existence of Ulrich bundles on a wide range of projective bundles over curves and some surfaces. 1. Introduction Given a smooth projective variety X, polarised by a very ample divisor A, let i: X ֒→ PN be the associated closed embedding. A locally free sheaf F on X is called Ulrich bundle (with respect to A) if and only if it satisfies one of the following conditions: • There is a linear resolution of F: ⊕bc ⊕bc−1 ⊕b0 0 → OPN (−c) → OPN (−c + 1) →···→OPN → i∗F → 0, where c is the codimension of X in PN . • The cohomology H•(X, F(−pA)) vanishes for 1 ≤ p ≤ dim(X). • For any finite linear projection π : X → Pdim(X), the locally free sheaf π∗F splits into a direct sum of OPdim(X) . Actually, by [18], these three conditions are equivalent. One guiding question about Ulrich bundles is whether a given variety admits an Ulrich bundle of low rank. The existence of such a locally free sheaf has surprisingly strong implications about the geometry of the variety, see the excellent surveys [6, 14]. Given a projective bundle π : P(E) → X, this article deals with the ques- tion, what is the relation between Ulrich bundles on the base X and those on P(E)? Note that answers to such a question depend much on the choice arXiv:2006.16553v3 [math.AG] 15 Aug 2021 of a very ample divisor.
    [Show full text]
  • A Brief Tour of Vector Calculus
    A BRIEF TOUR OF VECTOR CALCULUS A. HAVENS Contents 0 Prelude ii 1 Directional Derivatives, the Gradient and the Del Operator 1 1.1 Conceptual Review: Directional Derivatives and the Gradient........... 1 1.2 The Gradient as a Vector Field............................ 5 1.3 The Gradient Flow and Critical Points ....................... 10 1.4 The Del Operator and the Gradient in Other Coordinates*............ 17 1.5 Problems........................................ 21 2 Vector Fields in Low Dimensions 26 2 3 2.1 General Vector Fields in Domains of R and R . 26 2.2 Flows and Integral Curves .............................. 31 2.3 Conservative Vector Fields and Potentials...................... 32 2.4 Vector Fields from Frames*.............................. 37 2.5 Divergence, Curl, Jacobians, and the Laplacian................... 41 2.6 Parametrized Surfaces and Coordinate Vector Fields*............... 48 2.7 Tangent Vectors, Normal Vectors, and Orientations*................ 52 2.8 Problems........................................ 58 3 Line Integrals 66 3.1 Defining Scalar Line Integrals............................. 66 3.2 Line Integrals in Vector Fields ............................ 75 3.3 Work in a Force Field................................. 78 3.4 The Fundamental Theorem of Line Integrals .................... 79 3.5 Motion in Conservative Force Fields Conserves Energy .............. 81 3.6 Path Independence and Corollaries of the Fundamental Theorem......... 82 3.7 Green's Theorem.................................... 84 3.8 Problems........................................ 89 4 Surface Integrals, Flux, and Fundamental Theorems 93 4.1 Surface Integrals of Scalar Fields........................... 93 4.2 Flux........................................... 96 4.3 The Gradient, Divergence, and Curl Operators Via Limits* . 103 4.4 The Stokes-Kelvin Theorem..............................108 4.5 The Divergence Theorem ...............................112 4.6 Problems........................................114 List of Figures 117 i 11/14/19 Multivariate Calculus: Vector Calculus Havens 0.
    [Show full text]
  • Projective Varieties and Their Sheaves of Regular Functions
    Math 6130 Notes. Fall 2002. 4. Projective Varieties and their Sheaves of Regular Functions. These are the geometric objects associated to the graded domains: C[x0;x1; :::; xn]=P (for homogeneous primes P ) defining“global” complex algebraic geometry. Definition: (a) A subset V ⊆ CPn is algebraic if there is a homogeneous ideal I ⊂ C[x ;x ; :::; x ] for which V = V (I). 0 1 n p (b) A homogeneous ideal I ⊂ C[x0;x1; :::; xn]isradical if I = I. Proposition 4.1: (a) Every algebraic set V ⊆ CPn is the zero locus: V = fF1(x1; :::; xn)=F2(x1; :::; xn)=::: = Fm(x1; :::; xn)=0g of a finite set of homogeneous polynomials F1; :::; Fm 2 C[x0;x1; :::; xn]. (b) The maps V 7! I(V ) and I 7! V (I) ⊂ CPn give a bijection: n fnonempty alg sets V ⊆ CP g$fhomog radical ideals I ⊂hx0; :::; xnig (c) A topology on CPn, called the Zariski topology, results when: U ⊆ CPn is open , Z := CPn − U is an algebraic set (or empty) Proof: Note the similarity with Proposition 3.1. The proof is the same, except that Exercise 2.5 should be used in place of Corollary 1.4. Remark: As in x3, the bijection of (b) is \inclusion reversing," i.e. V1 ⊆ V2 , I(V1) ⊇ I(V2) and irreducibility and the features of the Zariski topology are the same. Example: A projective hypersurface is the zero locus: n n V (F )=f(a0 : a1 : ::: : an) 2 CP j F (a0 : a1 : ::: : an)=0}⊂CP whose irreducible components, as in x3, are obtained by factoring F , and the basic open sets of CPn are, as in x3, the complements of hypersurfaces.
    [Show full text]
  • 4 Jul 2018 Is Spacetime As Physical As Is Space?
    Is spacetime as physical as is space? Mayeul Arminjon Univ. Grenoble Alpes, CNRS, Grenoble INP, 3SR, F-38000 Grenoble, France Abstract Two questions are investigated by looking successively at classical me- chanics, special relativity, and relativistic gravity: first, how is space re- lated with spacetime? The proposed answer is that each given reference fluid, that is a congruence of reference trajectories, defines a physical space. The points of that space are formally defined to be the world lines of the congruence. That space can be endowed with a natural structure of 3-D differentiable manifold, thus giving rise to a simple notion of spatial tensor — namely, a tensor on the space manifold. The second question is: does the geometric structure of the spacetime determine the physics, in particular, does it determine its relativistic or preferred- frame character? We find that it does not, for different physics (either relativistic or not) may be defined on the same spacetime structure — and also, the same physics can be implemented on different spacetime structures. MSC: 70A05 [Mechanics of particles and systems: Axiomatics, founda- tions] 70B05 [Mechanics of particles and systems: Kinematics of a particle] 83A05 [Relativity and gravitational theory: Special relativity] 83D05 [Relativity and gravitational theory: Relativistic gravitational theories other than Einstein’s] Keywords: Affine space; classical mechanics; special relativity; relativis- arXiv:1807.01997v1 [gr-qc] 4 Jul 2018 tic gravity; reference fluid. 1 Introduction and Summary What is more “physical”: space or spacetime? Today, many physicists would vote for the second one. Whereas, still in 1905, spacetime was not a known concept. It has been since realized that, even in classical mechanics, space and time are coupled: already in the minimum sense that space does not exist 1 without time and vice-versa, and also through the Galileo transformation.
    [Show full text]
  • Affine and Euclidean Geometry Affine and Projective Geometry, E
    AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda CHAPTER II: AFFINE AND EUCLIDEAN GEOMETRY AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda 1. AFFINE SPACE 1.1 Definition of affine space A real affine space is a triple (A; V; φ) where A is a set of points, V is a real vector space and φ: A × A −! V is a map verifying: 1. 8P 2 A and 8u 2 V there exists a unique Q 2 A such that φ(P; Q) = u: 2. φ(P; Q) + φ(Q; R) = φ(P; R) for everyP; Q; R 2 A. Notation. We will write φ(P; Q) = PQ. The elements contained on the set A are called points of A and we will say that V is the vector space associated to the affine space (A; V; φ). We define the dimension of the affine space (A; V; φ) as dim A = dim V: AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda Examples 1. Every vector space V is an affine space with associated vector space V . Indeed, in the triple (A; V; φ), A =V and the map φ is given by φ: A × A −! V; φ(u; v) = v − u: 2. According to the previous example, (R2; R2; φ) is an affine space of dimension 2, (R3; R3; φ) is an affine space of dimension 3. In general (Rn; Rn; φ) is an affine space of dimension n. 1.1.1 Properties of affine spaces Let (A; V; φ) be a real affine space. The following statemens hold: 1.
    [Show full text]
  • The Riemann-Roch Theorem
    The Riemann-Roch Theorem by Carmen Anthony Bruni A project presented to the University of Waterloo in fulfillment of the project requirement for the degree of Master of Mathematics in Pure Mathematics Waterloo, Ontario, Canada, 2010 c Carmen Anthony Bruni 2010 Declaration I hereby declare that I am the sole author of this project. This is a true copy of the project, including any required final revisions, as accepted by my examiners. I understand that my project may be made electronically available to the public. ii Abstract In this paper, I present varied topics in algebraic geometry with a motivation towards the Riemann-Roch theorem. I start by introducing basic notions in algebraic geometry. Then I proceed to the topic of divisors, specifically Weil divisors, Cartier divisors and examples of both. Linear systems which are also associated with divisors are introduced in the next chapter. These systems are the primary motivation for the Riemann-Roch theorem. Next, I introduce sheaves, a mathematical object that encompasses a lot of the useful features of the ring of regular functions and generalizes it. Cohomology plays a crucial role in the final steps before the Riemann-Roch theorem which encompasses all the previously developed tools. I then finish by describing some of the applications of the Riemann-Roch theorem to other problems in algebraic geometry. iii Acknowledgements I would like to thank all the people who made this project possible. I would like to thank Professor David McKinnon for his support and help to make this project a reality. I would also like to thank all my friends who offered a hand with the creation of this project.
    [Show full text]
  • Quadric Surfaces
    Quadric Surfaces SUGGESTED REFERENCE MATERIAL: As you work through the problems listed below, you should reference Chapter 11.7 of the rec- ommended textbook (or the equivalent chapter in your alternative textbook/online resource) and your lecture notes. EXPECTED SKILLS: • Be able to compute & traces of quadic surfaces; in particular, be able to recognize the resulting conic sections in the given plane. • Given an equation for a quadric surface, be able to recognize the type of surface (and, in particular, its graph). PRACTICE PROBLEMS: For problems 1-9, use traces to identify and sketch the given surface in 3-space. 1. 4x2 + y2 + z2 = 4 Ellipsoid 1 2. −x2 − y2 + z2 = 1 Hyperboloid of 2 Sheets 3. 4x2 + 9y2 − 36z2 = 36 Hyperboloid of 1 Sheet 4. z = 4x2 + y2 Elliptic Paraboloid 2 5. z2 = x2 + y2 Circular Double Cone 6. x2 + y2 − z2 = 1 Hyperboloid of 1 Sheet 7. z = 4 − x2 − y2 Circular Paraboloid 3 8. 3x2 + 4y2 + 6z2 = 12 Ellipsoid 9. −4x2 − 9y2 + 36z2 = 36 Hyperboloid of 2 Sheets 10. Identify each of the following surfaces. (a) 16x2 + 4y2 + 4z2 − 64x + 8y + 16z = 0 After completing the square, we can rewrite the equation as: 16(x − 2)2 + 4(y + 1)2 + 4(z + 2)2 = 84 This is an ellipsoid which has been shifted. Specifically, it is now centered at (2; −1; −2). (b) −4x2 + y2 + 16z2 − 8x + 10y + 32z = 0 4 After completing the square, we can rewrite the equation as: −4(x − 1)2 + (y + 5)2 + 16(z + 1)2 = 37 This is a hyperboloid of 1 sheet which has been shifted.
    [Show full text]
  • Chapter II. Affine Spaces
    II.1. Spaces 1 Chapter II. Affine Spaces II.1. Spaces Note. In this section, we define an affine space on a set X of points and a vector space T . In particular, we use affine spaces to define a tangent space to X at point x. In Section VII.2 we define manifolds on affine spaces by mapping open sets of the manifold (taken as a Hausdorff topological space) into the affine space. Ultimately, we think of a manifold as pieces of the affine space which are “bent and pasted together” (like paper mache). We also consider subspaces of an affine space and translations of subspaces. We conclude with a discussion of coordinates and “charts” on an affine space. Definition II.1.01. An affine space with vector space T is a nonempty set X of points and a vector valued map d : X × X → T called a difference function, such that for all x, y, z ∈ X: (A i) d(x, y) + d(y, z) = d(x, z), (A ii) the restricted map dx = d|{x}×X : {x} × X → T defined as mapping (x, y) 7→ d(x, y) is a bijection. We denote both the set and the affine space as X. II.1. Spaces 2 Note. We want to think of a vector as an arrow between two points (the “head” and “tail” of the vector). So d(x, y) is the vector from point x to point y. Then we see that (A i) is just the usual “parallelogram property” of the addition of vectors.
    [Show full text]
  • 8. Grassmannians
    66 Andreas Gathmann 8. Grassmannians After having introduced (projective) varieties — the main objects of study in algebraic geometry — let us now take a break in our discussion of the general theory to construct an interesting and useful class of examples of projective varieties. The idea behind this construction is simple: since the definition of projective spaces as the sets of 1-dimensional linear subspaces of Kn turned out to be a very useful concept, let us now generalize this and consider instead the sets of k-dimensional linear subspaces of Kn for an arbitrary k = 0;:::;n. Definition 8.1 (Grassmannians). Let n 2 N>0, and let k 2 N with 0 ≤ k ≤ n. We denote by G(k;n) the set of all k-dimensional linear subspaces of Kn. It is called the Grassmannian of k-planes in Kn. Remark 8.2. By Example 6.12 (b) and Exercise 6.32 (a), the correspondence of Remark 6.17 shows that k-dimensional linear subspaces of Kn are in natural one-to-one correspondence with (k − 1)- n− dimensional linear subspaces of P 1. We can therefore consider G(k;n) alternatively as the set of such projective linear subspaces. As the dimensions k and n are reduced by 1 in this way, our Grassmannian G(k;n) of Definition 8.1 is sometimes written in the literature as G(k − 1;n − 1) instead. Of course, as in the case of projective spaces our goal must again be to make the Grassmannian G(k;n) into a variety — in fact, we will see that it is even a projective variety in a natural way.
    [Show full text]