Abstract
We study the topology of the affine real variety given by the intersection with the unit sphere of the zero set in \({\mathbb R}^n\) of a pair of quadratic forms. We give a complete topological description of this variety in the generic case: when non-empty, it is always diffeomorphic to either the unit tangent bundle of a sphere, the product of two or three spheres, or the connected sum of an odd number of manifolds, each of them a product of two spheres. With this we complete the partial description given in (López de Medrano, 1989). Starting with the cases described in that article and other elementary ones, the proofs are based on the study of three geometric operations that give new of these varieties from simpler ones. For each operation, the topology of the new variety can be described, under appropriate conditions, from that of the old one. The global structure of the proof consists in an elaborate partial ordering of all the cases, in such a way that at each step those conditions are satisfied.
Similar content being viewed by others
Notes
As well as a list of many fields where these varieties appear as interesting examples.
These operations can be defined for intersections of any number \(k\) homogeneous quadrics and the unit sphere, but are only used in this article for \(k=2\) (a and b) and \(k=1\) (c).
It can be shown that any simple polytope can be realized as the associated polytope of an intersection of diagonal quadrics, in general more than two, but here the construction will be explicit.
This idea was used in [3] to find the topology of some intersections of more than two quadrics.
See Sect. 2 for the definition of \(d_i\). Observe that when \(s=0,\ell =1\), \(Y\) is not even homotopy equivalent to the connected sum in the theorem, but it does have the same homology groups.
Sometimes this sum is called the complexity of the space.
This theorem formalizes an idea already used in [6].
References
Bosio, F., Meersseman, L.: Real quadrics in \(\mathbb{C}^n\), complex manifolds and convex polytopes. Acta Math. 197(1), 53–127 (2006)
Chaperon, M.: Géométrie différentielle et singularités de systèmes dynamiques. Astérisque vol. 138–139, p 439. Soc. Mathémat. de France (1986)
Gitler, S., López de Medrano, S.: Intersections of quadrics, moment-angle manifolds and connected sums. Geom. Topol. 17, 1497–1534 (2013). http://www.msp.warwick.ac.uk/gt/2013/17-03/p034.xhtml. doi:10.2140/gt.2013.17.1497
Gómez Gutiérrez, V., López de Medrano, S.: Surfaces as complete intersections. In: Riemann and Klein surfaces, automorphisms, symmetries and moduli spaces. Contemporary Mathematics, vol. 629, pp. 171–180 (2014). doi:10.1090/conm/629/12584
Hosokawa, F., Kawauchi, A.: Proposal for unknotted surfaces in four-spaces. Osaka J. Math. 16, 233–248 (1979)
López de Medrano, S.: The topology of the intersection of quadrics in \(\mathbb{R}^{n}\), in Algebraic topology (Arcata Ca, 1986). In: Lecture Notes in Mathematics, vol. 1370, pp. 280–292. Springer, New York (1989)
López de Medrano, S.: Singularities of real homogeneous quadratic mappings. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 108(1), 95–112 (2014). doi:10.1007/s13398-012-0102-6
Wall, C.T.C.: Stability, pencils and polytopes. Bull. Lond. Math. Soc. 12, 401–421 (1980)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Fico González Acuña on his 70th birthday.
Rights and permissions
About this article
Cite this article
Gómez Gutiérrez, V., López de Medrano, S. Topology of the intersections of quadrics II. Bol. Soc. Mat. Mex. 20, 237–255 (2014). https://doi.org/10.1007/s40590-014-0038-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40590-014-0038-2
Keywords
- Topology of real algebraic varieties
- Intersections of quadrics
- Geometric topology
- Connected sums
- Open books
- Branched coverings