1. Introduction
The topology of complex algebraic surfaces is one of the central branches of modern algebraic geometry. We classify algebraic surfaces by developing invariants which differentiate between them in the moduli space of surfaces.
We embed an algebraic surface X in a projective space. Projecting X onto the projective plane, we obtain the branch curve S of the surface (the ramifications of the projection) which we study by degenerating X into a union of planes X0. The braid monodromy technique [1,2] gives us the braid monodromy factorization of S, it is an invariant which distinguishes between connected components of the moduli space. Applying the van Kampen Theorem [3] we obtain the fundamental group G of the complement of S. This group is a discrete and important invariant of the surface. For example, pairs of surfaces already exist which have the same Chern numbers and non-isomorphic Gs, see [4].
The group G leads us to other groups such as the Coxeter and Artin groups. Moreover, by projecting G onto the symmetric group Sn, we obtain the fundamental group of the Galois cover of X. This group is the kernel of the projection and it is an important invariant of X. Surfaces which were already investigated are Hirzebruch surfaces, a self product of the projective line and its product with a complex torus, toric varieties and some K3 surfaces [5-12].
Having obtained the braid monodromy factorization of the curve S and the fundamental group G, we proceed in two approaches, one based on algebra, the other one based on knot theory.
2. Algebra
We work with Coxeter and Artin groups. These groups turned out to be invariants of the surface as well. We consider a dual diagram T of the Dynkin diagram which has a natural map onto the Coxeter group Sn or Bn or Dn. This idea was first introduced in [13], and further developed in [14]. We denote these Coxeter groups by C (T). The group C (T) has a quotient CY (T), which is a special type of the generalized Coxeter groups defined in [15]. These groups arise in the computation of certain invariants of surfaces [16]. We proved that CY (T) is isomorphic to a group AH;t;n ⋊ H ,where n is the number of the vertices in T, t is the number of the cycles in T and H Є {Sn;Bn;Dn}. For each such H, there is an Artin group A(H) such that H ≃ A(H) =≪ S12S22S32,.,.,.,.,.Sn2≫ Artin groups associated with finite Coxeter groups have a topological interpretation [17].
3. Knot Theory
Knots and links are an alternative model of the braids in the braid monodromy factorization. We investigate the singularities appearing in the branch curve by finding these models and fixing new invariants for surfaces.
The closure of a braid is a knot, which is the topological embedding of a circle into the three-sphere, or a link, which is several embedded circles. A knot diagram is a plane embedding of a knot onto the plane together with over and under-crossing information. Two diagrams represent the same link if there is a sequence of moves taking one to the other. It is this combinatorial insight that allows one to neglect the smooth topological structure. As knots and links are often difficult to present rigorously, the description in terms of braid is often convenient for calculations. The very large undertaking of a census of invariants for relatively small knots and links has begun; however, there is still much data missing for links with more than just a few components. The fundamental problem in the knot theory is to distinguish between different knots; a possible solution lies in the construction of algebraic invariants, i.e. the knot group, the fundamental group of the complement of the knot in the three-sphere or the Alexander polynomial.
In recent years categorification of this and other knot polynomials has been constructed, i.e. knot Floer homology has been developed out of the Heegaard Floer homology of three-manifolds. Categorification has finally allowed us to answer the question of distinguishing at least the unknot (the trivial knot). Summarizing briefly the goals of the research and the applied methods, the research project combines methods from geometry, group theory, low dimensional topology, knot theory and computational methods to attack the problem of classification of surfaces. In an algebraic point of view, in [14] and [18] we developed signed diagrams, which enable us to describe quotients of some Coxeter and Artin groups as a semi direct product of a group whose invariants are the number of edges and the number of cycles of the diagram, with one of the classical Coxeter or Artin groups. We develop structures necessary to generalize these results to wider classes of Coxeter and Artin groups. In a point of view of knots, we try to characterize the braids in the braid monodromy factorization by way of local intersection points in the algebraic surfaces and categorize its building blocks; we try to give a complete list for higher multiple intersection points, and expect to obtain new local orderings in deformations of surfaces to answer various questions in algebraic geometry.
Competing Interests
The author declare that there is no competing interests regarding the publication of this article.