Computation of topological invariants for real projective surfaces with isolated singularities (original) (raw)
Related papers
C V ] 2 2 N ov 2 00 6 Topological Triviality of Families of Singular Surfaces
2006
We study the topological triviality of families of singular surfaces in C parametrized by A-finitely determined map germs. Finitely determined map germs f : (C, 0) → (C, 0) can be approximated by stable maps fs, and information on the topology of such approximations can be obtained in terms of data calculable from the original map germ f . In [15], D. Mond defines the 0-stable invariants, T (f), the number of triple points of fs, and C(f), the number of Whitney umbrellas of fs, and shows how to compute them in terms of f . These two invariants together with μ(D(f)), the Milnor number of the double point locus, form a complete set of invariants for A-simple germs ([15]). The following natural extension of the above result was formulated by Mond in [16]. Let ft : (C , 0) → (C, 0) be a one-parameter family of finitely determined map germs. Does the constancy of the invariants T (ft), C(ft) and μ(D(ft)) imply the topological triviality of the family? In this work we give a positive answ...
Rational real algebraic models of topological surfaces
Documenta Mathematica, 2007
Abstract. Comessatti proved that the set of all real points of a rational real algebraic surface is either a nonorientable surface, or diffeomorphic to the sphere or the torus. Conversely, it is well known that each of these surfaces admits at least one rational real algebraic model. ...
Isotopic triangulation of a real algebraic surface
2009
We present a new algorithm for computing the topology of a real algebraic surface S in a ball B, even in singular cases. We use algorithms for 2D and 3D algebraic curves and show how one can compute a topological complex equivalent to S, and even a simplicial complex isotopic to S by exploiting properties of the contour curve of S. The correctness proof of the algorithm is based on results from stratification theory. We construct an explicit Whitney stratification of S, by resultant computation. Using Thom's isotopy lemma, we show how to deduce the topology of S from a finite number of characteristic points on the surface. An analysis of the complexity of the algorithm and effectiveness issues conclude the paper.
Illustrating the classification of real cubic surfaces
Mathematics and Visualization, 2006
Knörrer and Miller classified the real projective cubic surfaces in 3 (¡ ) with respect to their topological type. For each of their 45 types containing only rational double points we give an affine equation, s.t. none of the singularities and none of the lines are at infinity. These equations were found using classical methods together with our new visualization tool surfex. This tool also enables us to give one image for each of the topological types showing all the singularities and lines.
This is a reniew article on the multiplication table associated to the complete intersection singularities of projection. We show how the logarithmic vector fields appear as coefficients to the Gauss-Manin system (Theorem 2.7). We examine further how the multiplication table on the Jacobian quotient module calculates the logarithmic vector fields tangent to the discnminant and the bifurcation set (Proposition 3. 3). As applications, we establtsh signature formulae for Euler characteristics of real hypersurfaces (Theorem 4.2) by means of these fields. Saito and James William Bruce [2] for the case of hypersurface singularities (i.e. k=1k=1k=1 ).
Proceedings of the American Mathematical Society
A famous configuration of 27 lines on a non-singular cubic surface in P 3 contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We study such six-line configurations in the case of real cubic surfaces from a topological viewpoint, as configurations of six disjoint lines in the real projective 3-space, and show that the condition that they lie on a cubic surface implies a very special property of homogeneity. This property distinguishes them in the list of 11 deformation types of configurations formed by six disjoint lines in RP 3. "Drawing at pleasure five lines a, b, c, d, e which meet a line F , then may any four of the five lines be intersected by another line besides F. Suppose that A, B, C, D, E are the other lines intersecting (b, c, d, e), (c, d, e, a), (d, e, a, b), (e, a, b, c) and (a, b, c, d) respectively. Then ... there will be a line f intersecting the five lines A, B, C, D, E." Ludwig Schläfli "An attempt to determine the twenty-seven lines upon a surface of the third order, and to divide such surfaces into species in reference to the reality of the lines upon the surface."
Computation of the topology of real algebraic space curves
Journal of Symbolic Computation, 2005
An algorithm for computing the topology of a real algebraic space curve C, implicitly defined as the intersection of two surfaces, is presented. Given C, the algorithm generates a space graph which is topologically equivalent to the real variety on the Euclidean space. The algorithm is based on the computation of the graphs of at most two projections of C. For this purpose, we introduce the notion of space general position for space curves, we show that any curve under the above conditions can always be linearly transformed to be in general position, and we present effective methods for checking whether space general position has been reached.
On the Topology of Real Algebraic Plane Curves
Mathematics in Computer Science, 2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given coordinate system even if the curve is not in generic position. Previous methods based on the cylindrical algebraic decomposition use sub-resultant sequences and computations with polynomials with algebraic coefficients. A novelty of our approach is to replace these tools by Gröbner basis computations and isolation with rational univariate representations. This has the advantage of avoiding computations with polynomials with algebraic coefficients, even in non-generic positions. Our algorithm isolates critical points in boxes and computes a decomposition of the plane by rectangular boxes. This decomposition also induces a new approach for computing an arrangement of polylines isotopic to the input curve. We also present an analysis of the complexity of our algorithm. An implementation of our algorithm demonstrates its efficiency, in particular on high-degree non-generic curves.
Two remarks on the topology of projective surfaces
Mathematische Annalen, 2004
We will prove two results about the topology of complex projective surfaces. The first result says that if the Shafarevich Conjecture has an affirmative answer in dimension two then the second homotopy group of a smooth projective surface is a torsion-free abelian group. The second result is that for any 2-dimensional function field K/C there is a normal projective simply-connected surface with function field K.