Counting realizations of Laman graphs on the sphere
Matteo Gallet, Georg Grasegger, Josef Schicho

TL;DR
This paper introduces an algorithm to count the number of ways a Laman graph can be realized on a sphere, using algebraic geometry tools related to moduli spaces of stable curves.
Contribution
It provides a novel algorithm leveraging moduli space theory and Chow ring descriptions to count Laman graph realizations on the sphere.
Findings
Algorithm computes realizations for general angles
Utilizes moduli space of stable curves
Connects graph realizations with algebraic geometry
Abstract
We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space.
| n | Graph(s) | #realizations | |
|---|---|---|---|
| 5 | 8 | 8|8|8 | |
| 6 | 32 | 24 | |
| 7 | 64 | 48|48|48| | |
| 56|48 | |||
| 8 | 192 | 136|128 | |
| 9 | 576 | 320 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Counting realizations of Laman graphs on the sphere
Matteo Gallet*∗,∘,⋄*
,
Georg Grasegger*∗,▷*
and
Josef Schicho*∗,∘*
International School for Advanced Studies/Scuola Internazionale Superiore di Studi Avanzati (ISAS/SISSA), Via Bonomea 265, 34136 Trieste, Italy
Research Institute for Symbolic Computation (RISC), Johannes Kepler University
Johann Radon Institute for Computation and Applied Mathematics (RICAM), Austrian Academy of Sciences
Abstract.
We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space.
∗ Supported by the Austrian Science Fund (FWF): W1214-N15, Project DK9.
∘ Supported by the Austrian Science Fund (FWF): P31061.
⋄ Supported by the Austrian Science Fund (FWF): Erwin Schrödinger Fellowship J4253.
▷ Supported by the Austrian Science Fund (FWF): P31888.
1. Introduction
Maybe the most important open problem in rigidity theory is the characterization and study of rigid structures in three dimensional space. On the other side, planar structures are reasonably well-understood, in the sense that, for example, we have a characterization of graphs that are generically minimally rigid in the plane. These are the graphs that, once a general assignment for the edge lengths is prescribed, admit only finitely many ways of realizing them in the plane respecting the assignment, if we consider equivalent realizations that differ by an isometry. Pollaczek-Geiringer [Pol27] and Laman [Lam70] described these graphs in terms of their combinatorics, and so they also go under the name of Laman graphs. In [CGG*+*18], using ideas from tropical geometry, the authors provide a recursive algorithm that computes the number of realizations of a Laman graph for a general assignment of edge lengths, up to plane isometries, if one allows complex coordinates for the points of the realization. It has been proven by Eftekhari et al. [EJN*+*19] that Laman graphs are generically minimally rigid also when we consider realizations on the sphere, so as before one can ask in how many different ways one can realize a Laman graph on the sphere. In this paper, we provide a recursive algorithm that computes this number (again, under the assumption that complex coordinates for the points are allowed) based on a completely different technique from the one used in the planar case. We hope that, although we still work on a surface, moving from the plane to the sphere could be a first step towards determining the number of realizations for generically minimally rigid graphs in three dimensions. For a related work on this topic, discussing real realizations of graphs on the sphere (in addition to the plane and the space), see the recent paper by Bartzos et al. [BELT18]. Among other things, the latter paper proves that for some graphs one can achieve all possible complex realizations via real instances.
Our result. The main result of this paper is an algorithm that computes the number of realizations of a Laman graph on the (complex) sphere, up to the action of the group (recall that the real analogue of this group, , is the group of isometries of the real sphere). The key idea is to interpret realizations on the sphere up to as elements of a moduli space, the so-called moduli space of rational curves with marked points, where each point of the realization corresponds to two marked points. In this interpretation, assigning the distance between two points on the sphere corresponds to prescribing the cross-ratio of the related marked points. By using the properties of the moduli space, in particular the description of its Chow ring and the geometry of some of its divisors, we compute the cardinality of those elements for which the cross-ratios of the points corresponding to the edges of a Laman graph are assigned; this provides the answer to our original problem. Remarkably, we have been informed by Gaiane Panina that the moduli space of rational curves with marked points appears also in investigations of flexible polygons, see [NP18].
Structure of the paper. Section 2 describes the problem we want to address in this paper. Section 3 provides the translation from realizations of a graph on the sphere to points of a moduli space of points on the projective line. Section 4 describes, following [Kee92], the moduli space of points on the projective line, and its compactification as moduli space of stable curves of genus zero with marked points; in particular, we recall the description by Keel of the Chow rings of the latter, which plays a key role in the algorithm. Section 5 describes the algorithm. Section 6 reports some computational data obtained using the algorithm.
Acknowledgments. We thank the Erwin Schrödinger Institute (ESI) of the University of Vienna for the hospitality during the workshop “Rigidity and Flexibility of Geometric Structures”, when this project started. We thank Anthony Nixon for providing us with useful references concerning rigidity of graphs on the sphere. We thank Jan Legerský for helpful discussions on the topic of this paper.
2. Realizations of graphs
A Laman graph is a graph such that and for every subgraph . Geiringer [Pol27] and Laman [Lam70] proved that these graphs are generically infinitesimally rigid in the plane. This means the following. A realization of is a tuple of points in the plane indexed by the vertices of . By applying a Euclidean isometry, we can always suppose that one of the points is the origin of the plane, and another one lies on the -axis. The set of all possible realizations satisfying the previous two requirements is then given by \{O\}\times\mathbb{A}^{1}_{\mathbb{R}}\times\bigl{(}\mathbb{A}^{2}_{\mathbb{R}})^{n-2}, where is the number of vertices. We can now consider the function that computes, for every edge , the distance of the corresponding points in a realization. In this way we get a map:
[TABLE]
Notice that the map is a smooth map (better, an algebraic one) between smooth manifolds (better, algebraic varieties) of the same dimension. Laman proved that, if we pick a general point of the domain (namely, if we remove a finite number of “bad” subvarieties from the domain), then the Jacobian of at is invertible, i.e., the map is an isomorphism locally around . Notice that the fibers of , namely the sets for some , are the sets of realizations of where the distances between points, whose corresponding vertices are connected by an edge, are prescribed by . We give a name to these sets:
Definition 2.1**.**
Let be a Laman graph and let . A realization of compatible with is a function such that
[TABLE]
When a fiber of is finite—namely when the number of realizations of compatible with given edge lengths is finite—one may be interested in counting its cardinality, namely the number of ways of realizing a Laman graph with a specified assignment of edge lengths; however, over the real numbers, the cardinality of such fibers may depend on the point in the codomain. Since the result of Laman proves also that the map is dominant, if we pass to the complex numbers we have that, for a general element in the codomain, the fiber is finite and its cardinality does not depend on the point. In recent years, there has been some interest in providing lower and upper bounds for this number (see [BS04, ST10, ETV13, GKT18, JO19, BELT18]), and in [CGG*+*18] the authors provide an iterative formula to compute it, based on tropical geometry. A fully tropical proof of Laman theorem has recently been provided in [BK18].
One can consider the notion of being generically infinitesimally rigid also on the sphere. In [EJN*+*19] it is proven that, also on the sphere, the class of generically infinitesimally rigid graphs coincides with the class of Laman graphs. On the sphere, the distance between two points can be taken to be the angle they form (viewed from the origin of the sphere). In this paper we adopt a slightly different definition, which involves the cosine of that angle, because it fits better in the algebraic framework we are going to use. Adopting this definition has no impact as the matter of computing the number of realizations of a graph is concerned. The advantage of this choice is that it provides an algebraic function, which hence allows extensions of fields (in particular, from the real to the complex numbers).
Definition 2.2**.**
Given two points , we define their spherical distance as
[TABLE]
where . In particular, if and are antipodal, their spherical distance is .
In this context, we can repeat the same considerations as before: given a configuration on the sphere of a Laman graph , we can always suppose, by applying rotations, that one of the points is and another lies on a great circle through . We then pass to the complex setting and have that, as in the plane, if is a Laman graph, then the map
[TABLE]
is dominant and its fibers over general points are finite and of constant cardinality. Here, we denoted by the set , namely the complexification of the sphere, and similarly for the circle . As we remarked, since the function describing the spherical distance is algebraic, we can apply it also to pairs of complex points in . Notice that in the real setting we consider realizations of the graph up to rotations, namely elements of ; when we pass to the complex numbers, we consider realizations up to , where
[TABLE]
In this paper, the elements of will also be (improperly) referred as rotations, or isometries of .
This is the main goal of our paper:
Goal. Compute the cardinality of a general fiber of the map . In other words, compute the number of realizations of a Laman graph on the sphere compatible with a general assignment of spherical distances for its edges, up to .
We are going to achieve this goal by interpreting realizations up to as collections of points on the projective complex line , up to the action of , namely the group of automorphisms of . These objects can be interpreted as points in a moduli space, and the explicit description of the intersection theory on that moduli space provides the answer to our question.
3. Realizations on the sphere as points on a moduli space
The aim of this section is to show how we can interpret a realization of a graph on the sphere, up to sphere isometries, as a point of the moduli space of stable curves of genus zero with marked points. This provides the theoretical background on which the algorithm presented in Section 5 is based.
We would like to express the spherical distance between two points in as the cross-ratio of four points in . To do so, we associate to each point in two points in via the following construction.
Definition 3.1**.**
Let
[TABLE]
be the projective closure of in . Let be the intersection of with the plane at infinity . The conic is called the absolute conic. Since is a smooth quadric in there are exactly two families of lines on ; we denote them by and . Every point is contained in exactly one line of and exactly one line of . The union of these two lines can be obtained by intersecting with the tangent plane of at . We define the left and the right lifts of as the intersections of and with , respectively. We denote them by and , respectively.
Remark 3.2**.**
Notice that the absolute conic is a rational curve. This means that, given four points on (for example, the left and right lifts of two points in ), we can speak about their cross-ratio.
Lemma 3.3**.**
Let . Let be the left and right lifts of , and be the left and right lifts of . Then
[TABLE]
where stands for cross-ratio.
Proof.
Recall that isometries of are projective automorphisms of leaving the absolute conic invariant. Hence applying an isometry to and corresponds to applying an automorphism of to their lifts, so the cross-ratio of the latter does not change. Hence we can suppose that and , where . With this choice, we have
[TABLE]
A direct computation shows that, since the tangent planes at and have equations and , respectively:
[TABLE]
In order to compute the cross-ratio, we take an isomorphism between and , for example the one given by the projection of from the point to the line . The projections of the previous four points are
[TABLE]
Their cross-ratio is
[TABLE]
A direct computation then proves the statement. ∎
Proposition 3.4**.**
Let and be two -tuples of points in . Denote by and the left and right lifts of and , respectively, for all . Then and differ by an isometry of if and only if and differ by an element of .
Proof.
Every isometry of is a projective automorphism of leaving the absolute conic invariant. This means that every isometry of determines an automorphism of . In this way we get a map
[TABLE]
which is a homomorphism of Lie groups. Our statement is proven if we can show that this is an isomorphism. Suppose that we have an isometry of that induces the identity on . Then the corresponding projective automorphism of fixes the whole plane at infinity, and also the center of : the only element in satisfying these requirements is the identity. Hence, the homomorphism is injective. Since the two Lie groups have the same dimension and are both connected, then the homomorphism is also surjective. This concludes the proof. ∎
Remark 3.5**.**
Notice that, in general, it is not true that distinct points on determine -tuples of distinct points on the absolute conic via the lift operation. In fact, this fails precisely when two points on belong to the same line. If with and , then and belong to the same line when, considered as points in , they are orthogonal with respect to the quadratic form determined by the equation of , namely if:
[TABLE]
Hence, if we suppose that is a realization of a Laman graph compatible with a general assignment of spherical distances for its edges, then determines a -tuple of distinct points on the absolute conic .
The combination of Lemma 3.3, Proposition 3.4, and Remark 3.5 shows that, instead of considering -tuples that are realizations of a Laman graph compatible with a general assignment of spherical distances for its edges, up to the action of , we can consider -tuples of points on for which some cross-ratios are assigned, up to the action of . The latter are elements of a so-called moduli space of curves of genus zero with marked points. In the next section we describe this object and its properties concerning intersection theory. Afterwards, we come back to our original problem and cast it into this theoretical framework.
4. The moduli space of stable curves of genus zero with marked points
In this section we describe for the reader’s convenience the well-known moduli space of stable curves of genus zero with marked points and its Chow ring, following [Kee92]. No new results are presented in this section.
Let us start by recalling a basic and fundamental result in projective geometry: every triple of distinct points , , and in can be mapped to the triple , , and via a unique automorphism of , namely an element of . Hence, any triple of distinct points in is projectively equivalent to any other one, namely there always exists an automorphism mapping one to the other. If we consider a -tuple of distinct points , , , , then there is a unique element that takes it to the -tuple , , , and : the number is called the cross-ratio of the tuple . Two -tuples of distinct points are then projectively equivalent if and only if their cross-ratios are the same. Hence, each equivalence class of -tuples of distinct points modulo is represented by its cross-ratio, namely by an element in , or equivalently in . We then say that is the moduli space of -tuples of distinct points in .
We can consider, for every , the space of equivalence classes of -tuples of distinct points under the action of : each such equivalence class is uniquely determined by an element in the quasi-projective variety
[TABLE]
This space is called the moduli space of -tuples of distinct points in , and is denoted by . One may notice that this space is not compact under the Euclidean topology (in more algebro-geometric terms, it is not complete), and this may be a problem when dealing with enumerative questions, as the one we address in this work. Because of this, researchers focused on finding compactifications of these moduli spaces. A possible smooth compactification of the space , denoted , was constructed by Knudsen [Knu83] (see [Mum65, Mum77, Gie82] for a more general account on the topic). This construction introduces a boundary for , constituted of particular curves, called stable curves, which are essentially reducible curves whose irreducible components are rational curves, intersecting in nodes. More precisely, we have:
Definition 4.1** ([Kee92, Introduction]).**
A stable curve of genus zero with marked points is a reduced, possibly reducible, curve with at worst node singularities, together with distinct marked points on it such that:
the points lie on the smooth locus of ;
each irreducible component of is isomorphic to , and altogether all irreducible components form a tree;
for each irreducible component of , the sum of the numbers of singular points and of marked points on that component is at least .
The geometry of is rich and well-studied: we refer to [Kee92, Introduction], [Kap93], and [KV07, Chapter 1] for a discussion.
As we are going to see in Section 5, our algorithm relies on the understanding of how subvarieties of intersect each other. This piece of information is encoded in the so-called Chow ring, which is a standard object in intersection theory. For its definition and properties we refer to the introduction [Ful84], or to the standard book [Ful98].
For the reader’s convenience, we briefly provide in Theorem 4.4 the description by Keel of the Chow ring of . First, we need to introduce some particular divisors that Keel calls “vital”.
Definition 4.2** ([Kee92, Introduction]).**
Let be a partition of where and . We define the divisor in to be the divisor whose general point is a stable curve with two irreducible components such that the marked points labeled by lie on one component, while the marked points labeled by lie on the other component.
Proposition 4.3** (Knudsen, [Kee92, Introduction and Fact ]).**
Any divisor as in Definition 4.2 is smooth and it is isomorphic to the product ; in the previous isomorphism, the point of intersection of the two components of a general stable curve in counts as an extra marked point in each of the two factors of the product.
Theorem 4.4** ([Kee92, Introduction and Theorem ]).**
The Chow ring of admits the following description:
[TABLE]
where the equivalence is given by the relations:
,
for any four distinct elements we have
[TABLE]
* unless one of the following holds:*
[TABLE]
Moreover, the three sums in Equation ( ‣ ‣ 4.4) are the pullbacks of the respective divisors , , and under the map
[TABLE]
Here, the map is the map that forgets all the marked points except for the ones labeled by , , , and .
5. The algorithm
At the end of Section 2 we understood that realizations on the sphere up to can be considered as elements of a moduli space. In particular, configurations of points on the complex sphere up to correspond to configurations of points on a rational curve up to , i.e., elements in the moduli space of rational curves with marked points. Moreover, assigning angles between two points on a sphere corresponds to assigning the cross-ratio of the -tuple constituted of the left and right lifts of those two points. The elements of the moduli space, for which the cross-ratio of marked points is prescribed, are fibers of the map
[TABLE]
that forgets all but the considered marked points (see Theorem 4.4). Hence, the elements of the moduli space we are interested in, namely the ones for which the cross-ratios are specified for the -tuples arising from edges of a graph, are fibers of products of these maps. We give a name to these maps:
Definition 5.1**.**
Let be a graph, and suppose that . We define the morphism
[TABLE]
whose components are the maps forgetting all but marked points and defined in Theorem 4.4. The choice for the indices reflects the labeling of the marked points on the rational curves by , putting first the points corresponding to left lifts, and then the points corresponding to right lifts of points on the sphere. The translation we operated in Section 2 tells us that is a dominant morphism between smooth varieties of the same dimension, so its general fibers are constituted of finitely many points.
Remark 5.2**.**
For any Laman graph with vertices, the image of the boundary of under is a proper subvariety of . This means that a general fiber of will not intersect the boundary, and so it is constituted of classes of rational curves with distinct marked points. Each of such rational curves is then isomorphic to the absolute conic , and the marked points determine a realization of on the sphere. Moreover, when is a Laman graph, a general fiber of is a complete intersection in and it is constituted by reduced points.
The discussion so far proves the following theorem.
Theorem 5.3**.**
Given a Laman graph , then the number of realizations of in for a general assignment of spherical distances for its edges, up to , equals the cardinality of a general fiber of the map as in Definition 5.1.
In the light of Theorem 5.3, our goal becomes, given a Laman graph , to compute the cardinality of a general fiber of .
Remark 5.4**.**
Let us focus on how the class in the Chow ring of a fiber of looks like. Since the codomain of is a product, we can express a fiber as the intersection of the fibers of the maps to each component of the product. In other words, if we fix and we denote by the composition of with the projection to the factor , then we have that
[TABLE]
It follows then, using the notation of Theorem 4.4, that the class of in the Chow ring of is given by
[TABLE]
Since a general fiber of is a reduced complete intersection in when is a Laman graph, its cardinality is the degree of its Chow class. Hence we get:
Proposition 5.5**.**
Given a Laman graph with , the number of realizations of in for a general assignment of spherical distances for its edges, up to , equals
[TABLE]
Algorithm CountRealizations computes the degree in Proposition 5.5 using the description of vital divisors provided by Proposition 4.3 and the relations in the Chow ring stated in Theorem 4.4. In fact, if we fix an edge of a Laman graph , then the class we want to compute is
[TABLE]
For every such that and , the product can be computed by restricting to and using the isomorphism . We show that both the restrictions of to and to have the same structure of the initial class we wanted to compute, and this determines a recursive procedure to solve our task.
To clarify the recursive procedure, let us start by noticing that the class
[TABLE]
from Proposition 5.5 is a particular instance of a more general construction. The construction works as follows: we start from a set , and a set of -tuples of distinct elements of . Then we form the following class in the Chow ring of :
[TABLE]
Notice that if we set and Q_{0}:=\mbox{{(a,b,a+n,b+n),\colon,{a,b}\in E}}, then the class from Equation (2) equals . In this perspective, also the class from Equation (1) can be seen as a particular case of a general construction: what we do here is to select some , with , and to define the class
[TABLE]
so that we get the factorization
[TABLE]
With this notation, the class equals , where .
We show now that we can set up an iterative procedure for the computation of the degree of classes of type . Notice that, taking into account Equation (4), this can be achieved once we are able to compute the degree of a product . We then fix with and we select a pair such that and . If there exists such that , then the restriction of to is zero by [Kee92, Fact 2]. Otherwise, the restriction of to is the product of two classes and . Recall, in fact, that the Chow ring of is the tensor product of the Chow rings of and by [Kee92, Theorem 2]. Analyzing the isomorphism making into a product (see [Kee92, Fact 2] and [Knu83, Theorem 3.7]), one sees that the two classes and admit the following description. For , define the sets:
[TABLE]
Notice that, by definition, all tuples in have exactly one element in . Define to be set obtained by substituting in all -tuples of their element in by the new symbol . Analogously, define . Then the classes and are
[TABLE]
where the are divisors in the appropriate moduli spaces, namely for they are divisors in , while for they are divisors in .
Hence, in the notation of Equation (3), if we set
[TABLE]
we have
[TABLE]
Therefore, the degree of a class can be computed by fixing an element , , and using Equation (4), thus obtaining the formula
[TABLE]
where it is intended that a summand is zero if the corresponding set is not empty. This allows one to set up a recursive procedure for the computation of the degree of a class —so in particular of the class of a fiber of . The recursion stops if we reach one of these situations:
The set is not empty: in this case we can skip the contribution given by this class, since its degree is zero.
The set is composed of four elements, and consists of a single tuple: in this case the degree of the class is .
The cardinality of is different from or the cardinality of is different from : in this case either or is zero, and so this contribution can be skipped.
The discussion so far proves the correctness of Algorithm CountRealizations. Termination is implied by the fact that the size of the sets always decreases and therefore, the base cases are reached.
6. Computed Data
Using Algorithm CountRealizations we computed the number of realizations on the sphere of all Laman graphs with up to vertices. Table 1 lists those graphs that have the maximal number of realizations on the sphere within the class of graphs with the same number of vertices.
Remark 6.1**.**
The paper [BELT18] shows that the number of real spherical realizations matches the number of complex ones for some graphs in Table 1 (all graphs with and vertices, and one of the graphs with 8 vertices).
Note that up till 8 vertices the graph with maximal Laman number (i.e., number of realizations in the plane) is also in the list of graphs with maximal number of realizations on the sphere. However, the graph with maximal Laman number with 9 vertices is different from the one with maximal number of realizations on the sphere. The latter has a very particular structure (see last row of Table 1).
Our recursive algorithm gives a significant improvement over the naive approach, which is to determine the number of solutions via a Gröbner basis computation. Furthermore, the Gröbner basis approach needs randomly fixed edge lengths where CountRealizations computes the numbers symbolically. For a graph with 9 vertices and maximal number of realizations (see Table 1) our algorithm needs 5.66s in Mathematica and 3.57s in Python. The Gröbner basis computation needed 5850s in Mathematica and 27s in Maple.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[BELT 18] Evangelos Bartzos, Ioannis Z. Emiris, Jan Legerský, and Elias Tsigaridas, On the maximal number of real embeddings of minimally rigid graphs in ℝ 2 superscript ℝ 2 \mathbb{R}^{2} , ℝ 3 superscript ℝ 3 \mathbb{R}^{3} and S 2 superscript 𝑆 2 S^{2} , Available at https://arxiv.org/abs/1811.12800 .
- 2[BK 18] Daniel I. Bernstein and Robert Krone, The tropical Cayley-Menger variety , Available at https://arxiv.org/abs/1812.09370 .
- 3[BS 04] Ciprian Borcea and Ileana Streinu, The number of embeddings of minimally rigid graphs , Discrete & Computational Geometry 31 (2004), 287–303.
- 4[CGG + 18] Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, and Josef Schicho, The number of realizations of a Laman graph , SIAM Journal on Applied Algebra and Geometry 2 (2018), no. 1, 94–125.
- 5[EJN + 19] Yaser Eftekhari, Bill Jackson, Anthony Nixon, Bernd Schulze, Shin-ichi Tanigawa, and Walter Whiteley, Point-hyperplane frameworks, slider joints, and rigidity preserving transformations , Journal of Combinatorial Theory, Series B 135 (2019), 48–74.
- 6[ETV 13] Ioannis Z. Emiris, Elias P. Tsigaridas, and Antonios Varvitsiotis, Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs , Distance Geometry: Theory, Methods, and Applications, pp. 23–45, Springer New York, New York, NY, 2013.
- 7[Ful 84] William Fulton, Introduction to intersection theory in algebraic geometry , CBMS Regional Conference Series in Mathematics, vol. 54, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1984. MR 735435
- 8[Ful 98] by same author, Intersection theory , second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998. MR 1644323
