Advertisement

Secants, Bitangents, and Their Congruences

  • Kathlén Kohn
  • Bernt Ivar Utstøl NødlandEmail author
  • Paolo Tripoli
Chapter
Part of the Fields Institute Communications book series (FIC, volume 80)

Abstract

A congruence is a surface in the Grassmannian \(\mathop{\mathrm{Gr}}\nolimits (1, \mathbb{P}^{3})\) of lines in projective 3-space. To a space curve C, we associate the Chow hypersurface in \(\mathop{\mathrm{Gr}}\nolimits (1, \mathbb{P}^{3})\) consisting of all lines which intersect C. We compute the singular locus of this hypersurface, which contains the congruence of all secants to C. A surface S in \(\mathbb{P}^{3}\) defines the Hurwitz hypersurface in \(\mathop{\mathrm{Gr}}\nolimits (1, \mathbb{P}^{3})\) of all lines which are tangent to S. We show that its singular locus has two components for general enough S: the congruence of bitangents and the congruence of inflectional tangents. We give new proofs for the bidegrees of the secant, bitangent and inflectional congruences, using geometric techniques such as duality, polar loci and projections. We also study the singularities of these congruences.

MSC 2010 codes:

14M15 14H50 14J70 14N10 14N15 51N35 14C17 

Notes

Acknowledgements

This article was initiated during the Apprenticeship Weeks (22 August–2 September 2016), led by Bernd Sturmfels, as part of the Combinatorial Algebraic Geometry Semester at the Fields Institute. We thank Daniele Agostini, Enrique Arrondo, Peter Bürgisser, Diane Maclagan, Emilia Mezzetti, Ragni Piene, Jenia Tevelev, and the anonymous referees for helpful discussions, suggestions and hints. Kathlén Kohn was supported by a Fellowship from the Einstein Foundation Berlin, Bernt Ivar Utstøl Nødland was supported by NRC project 144013, and Paolo Tripoli was supported by the University of Warwick and by EPSRC grant EP/L505110/1.

References

  1. 1.
    Enrique Arrondo: Subvarieties of Grassmannians, Lecture Note Series, Dipartimento di Matematica Univ. Trento 10 (1996) www.mat.ucm.es/~arrondo/trento.pdf.
  2. 2.
    Enrique Arrondo, Marina Bertolini, and Cristina Turrini: A focus on focal surfaces, Asian J. Math. 5 (2001) 535–560.Google Scholar
  3. 3.
    Fabrizio Catanese: Cayley forms and self-dual varieties, Proc. Edinb. Math. Soc. (2) 57 (2014) 89–109.Google Scholar
  4. 4.
    Arthur Cayley: On a new analytical representation of curves in space, The Quarterly Journal of Pure and Applied Mathematics 3 (1860) 225–236.Google Scholar
  5. 5.
    Wei Liang Chow and Bartel L. van der Waerden: Zur algebraischen Geometrie. IX., Math. Ann. 113 (1937) 692–704.Google Scholar
  6. 6.
    John Dalbec and Bernd Sturmfels: Introduction to Chow forms, in Invariant methods in discrete and computational Geometry (Curaçao 1995), 37–58, Kluwer Acad. Publ., Dordrecht, 1995.Google Scholar
  7. 7.
    Igor Dolgachev: Classical algebraic geometry: a modern view, Cambridge University Press, Cambridge, 2012.Google Scholar
  8. 8.
    David Eisenbud and Joe Harris: 3264 and all that, Cambridge University Press, Cambridge, 2016.Google Scholar
  9. 9.
    Laura Escobar and Allen Knutson: The multidegree of the multi-image variety, in Combinatorial Algebraic Geometry,283–296, Fields Inst. Commun. 80, Fields Inst. Res. Math. Sci., 2017.Google Scholar
  10. 10.
    William Fulton: Intersection Theory, Second edition, A Series of Modern Surveys in Mathematics, Springer-Verlag, Berlin, 1998.Google Scholar
  11. 11.
    Israel M. Gelfand, Mikhail M. Kapranov, and Andrei V. Zelevinsky: Discriminants, resultants and multidimensional determinants, Mathematics: Theory & Applications. Birkhq̈user Boston, Inc., Boston, MA, 1994.Google Scholar
  12. 12.
    Phillip Griffiths and Joe Harris: Principles of algebraic geometry, Pure and Applied Mathematics, Wiley-Interscience, John Wiley & Sons, New York, 1978.Google Scholar
  13. 13.
    Joe Harris: Algebraic geometry, a first course, Graduate Texts in Mathematics 133, Springer-Verlag, New York, 1992.Google Scholar
  14. 14.
    Robin Hartshorne: Algebraic geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York-Heidelberg, 1977.Google Scholar
  15. 15.
    Audun Holme: The geometric and numerical properties of duality in projective algebraic geometry, Manuscripta Math. 61 (1988) 145–162.Google Scholar
  16. 16.
    Charles Minshall Jessop: A treatise on the line complex, Cambridge University Press, Cambridge, 1903.Google Scholar
  17. 17.
    Kent W. Johnson: Immersion and embedding of projective varieties, Acta Math. 140 (1978) 49–74.Google Scholar
  18. 18.
    Steven L. Kleiman: The transversality of a general translate, Compositio Math. 28 (1974) 287–297.Google Scholar
  19. 19.
    Kathlén Kohn: Coisotropic hypersurfaces in the Grassmannian, arXiv:1607.05932 [math.AG].Google Scholar
  20. 20.
    Ernst Kummer: Über die algebraischen Strahlensysteme, insbesondere über die der ersten und zweiten Ordnung, Abhandlungen der Königlichen Akademie der Wissenschaften zu Berlin (1866) 1–120Google Scholar
  21. 21.
    David Mumford: The Red Book of Varieties and Schemes, Lecture Notes in Math. 1358, Springer-Verlag, Berlin, 1988.Google Scholar
  22. 22.
    Sylvain Petitjean: The complexity and enumerative geometry of aspect graphs of smooth surfaces, in Algorithms in algebraic geometry and applications (Santander, 1994), 317–352, Progr. Math. 143, Birkhäuser, Basel, 1996.Google Scholar
  23. 23.
    Ragni Piene: Some formulas for a surface in \(\mathbb{P}^{3}\), in Algebraic geometry (Proc. Sympos., Univ. Tromsø, Tromsø, 1977), 196–235, Lecture Notes in Math. 687, Springer, Berlin, 1978.Google Scholar
  24. 24.
    Jean Ponce, Bernd Sturmfels, and Matthew Trager: Congruences and concurrent lines in multi-view geometry, Adv. in Appl. Math. 88 (2017) 62–91.Google Scholar
  25. 25.
    Ziv Ran: Surfaces of order 1 in Grassmannians, J. Reine Angew. Math. 368 (1986) 119–126.Google Scholar
  26. 26.
    John G. Semple and Leonard Roth: Introduction to Algebraic Geometry, Oxford, at the Clarendon Press, 1949.Google Scholar
  27. 27.
    Aron Simis, Bernd Ulrich, and Wolmer V. Vasconcelos: Tangent star cones, J. reine angew. Math. 483 (1997) 23–59.Google Scholar
  28. 28.
    Bernd Sturmfels: The Hurwitz form of a projective variety, J. Symbolic Comput. 79 (2017) 186–196.Google Scholar
  29. 29.
    John G.: Fitness, apprenticeship, and polynomials, in Combinatorial Algebraic Geometry,1–19, Fields Inst. Commun. 80, Fields Inst. Res. Math. Sci., 2017.Google Scholar
  30. 30.
    Zach Teitler: An informal introduction to computing with Chern classes (2004) works.bepress.com/zach_teitler/2/ Google Scholar
  31. 31.
    Evgueni A. Tevelev: Projective Duality and Homogeneous Spaces, Encyclopaedia of Mathematical Sciences 133. Springer-Verlag, Berlin, 2005.Google Scholar
  32. 32.
    Bartel L. van der Waerden: Zur algebraischen Geometrie II, Math. Ann. 108 (1933) 253–259.Google Scholar

Copyright information

© Springer Science+Business Media LLC 2017

Authors and Affiliations

  • Kathlén Kohn
    • 1
  • Bernt Ivar Utstøl Nødland
    • 2
    Email author
  • Paolo Tripoli
    • 3
  1. 1.Institute of MathematicsTechnische Universität BerlinBerlinGermany
  2. 2.Department of MathematicsUniversity of OsloOsloNorway
  3. 3.School of Mathematical SciencesUniversity of NottinghamNottinghamUK

Personalised recommendations