Irrational connected sums and the topology of algebraic surfaces

Author:
Richard Mandelbaum

Journal:
Trans. Amer. Math. Soc. **247** (1979), 137-156

MSC:
Primary 57R15; Secondary 14J99

DOI:
https://doi.org/10.1090/S0002-9947-1979-0517689-2

MathSciNet review:
517689

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Suppose *W* is an irreducible nonsingular projective algebraic 3-fold and *V* a nonsingular hypersurface section of *W*. Denote by ${V_m}$ a nonsingular element of $\left | {mV} \right |$. Let ${V_1}$, ${V_m}$, ${V_{m + 1}}$ be generic elements of $\left | V \right |$, $\left | {mV} \right |$, $\left | {(m + 1)V} \right |$ respectively such that they have normal crossing in *W*. Let ${S_{1m}} = {V_1} \cap {V_m}$ and $C = {V_1} \cap {V_m} \cap {V_{m + 1}}$. Then ${S_{1m}}$ is a nonsingular curve of genus ${g_m}$ and *C* is a collection of $N = m\left ( {m + 1} \right )V_1^3$ points on ${S_{1m}}$. By [**MM2**] we find that $( \ast ) {V_{m + 1}}$ is diffeomorphic to $\overline {{V_m} - T({S_{1m}})} { \cup _\eta } \overline {{V_1}’ - T({S_{1m}}’)}$, where $T\left ( {{S_{1m}}} \right )$ is a tubular neighborhood of ${S_{1m}}$ in ${V_m}$, ${V_1}’$ is ${V_1}$ blown up along *C*, ${S_{1m}}’$ is the strict image of ${S_{1m}}$ in ${V_1}’$, $T({S_{1m}}’)$ is a tubular neighborhood of ${S_{1m}}’$ in ${V_1}’$ and $\eta : \partial T\left ( {{S_{1m}}} \right ) \to \partial T({S_m}’)$ is a bundle diffeomorphism. Now ${V_1}’$ is well known to be diffeomorphic to ${V_1} \# N\left ( { - C{P^2}} \right )$ (the connected sum of ${V_1}$ and *N* copies of $C{P^2}$ with opposite orientation from the usual). Thus in order to be able to inductively reduce questions about the structure of ${V_m}$ to ones about ${V_1}$ we must simplify the “irrational sum” $( \ast )$ above. The general question we can ask is then the following: Suppose ${M_1}$ and ${M_2}$ are compact smooth 4-manifolds and *K* is a connected *q*-complex embedded in ${M_i}$. Let ${T_i}$ be a regular neighborhood of *K* in ${M_i}$ and let $\eta : \partial {T_1} \to \partial {T_2}$ be a diffeomorphism: Set $V = \overline {{M_1} - {T_1}} \cup \overline {{M_2} - {T_2}}$. How can the topology of *V* be described more simply in terms of those of ${M_1}$ and ${M_2}$. In this paper we show how surgery can be used to simplify the structure of *V* in the case $q = 1, 2$ and indicate some applications to the topology of algebraic surfaces.

- Robert C. Gunning and Hugo Rossi,
*Analytic functions of several complex variables*, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1965. MR**0180696** - Robin Hartshorne,
*Ample subvarieties of algebraic varieties*, Lecture Notes in Mathematics, Vol. 156, Springer-Verlag, Berlin-New York, 1970. Notes written in collaboration with C. Musili. MR**0282977** - J. F. P. Hudson,
*Piecewise linear topology*, W. A. Benjamin, Inc., New York-Amsterdam, 1969. University of Chicago Lecture Notes prepared with the assistance of J. L. Shaneson and J. Lees. MR**0248844** - Michel A. Kervaire and John W. Milnor,
*Groups of homotopy spheres. I*, Ann. of Math. (2)**77**(1963), 504–537. MR**148075**, DOI https://doi.org/10.1090/S0273-0979-2015-01504-1 - R. Mandelbaum and B. Moishezon,
*On the topological structure of non-singular algebraic surfaces in $CP^{3}$*, Topology**15**(1976), no. 1, 23–40. MR**405458**, DOI https://doi.org/10.1016/0040-9383%2876%2990047-1
---, - Barry Mazur,
*Differential topology from the point of view of simple homotopy theory*, Inst. Hautes Études Sci. Publ. Math.**15**(1963), 93. MR**161342** - John Milnor,
*On simply connected $4$-manifolds*, Symposium internacional de topología algebraica International symposi um on algebraic topology, Universidad Nacional Autónoma de México and UNESCO, Mexico City, 1958, pp. 122–128. MR**0103472**
C. P. Rourke and B. J. Sanderson, - I. R. Shafarevich,
*Basic algebraic geometry*, Springer-Verlag, New York-Heidelberg, 1974. Translated from the Russian by K. A. Hirsch; Die Grundlehren der mathematischen Wissenschaften, Band 213. MR**0366917**
N. E. Steenrod, - C. T. C. Wall,
*Diffeomorphisms of $4$-manifolds*, J. London Math. Soc.**39**(1964), 131–140. MR**163323**, DOI https://doi.org/10.1112/jlms/s1-39.1.131 - C. T. C. Wall,
*On simply-connected $4$-manifolds*, J. London Math. Soc.**39**(1964), 141–149. MR**163324**, DOI https://doi.org/10.1112/jlms/s1-39.1.141 - John J. Wavrik,
*Deformations of Banach [branched] coverings of complex manifolds*, Amer. J. Math.**90**(1968), 926–960. MR**233384**, DOI https://doi.org/10.2307/2373491

*On the topology of algebraic surfaces*, Trans. Amer. Math. Soc. (to appear).

*Piecewise linear topology*, Springer-Verlag, Berlin, 1974.

*Topology of fiber bundles*, Princeton Univ. Press, Princeton, N. J., 1951.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
57R15,
14J99

Retrieve articles in all journals with MSC: 57R15, 14J99

Additional Information

Article copyright:
© Copyright 1979
American Mathematical Society