Related papers: The Kirby torus trick for surfaces

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…

The simplest version of the Spin-polynomial invariants of the underlying differentiable structures of algebraic surfaces were considered and the simplest arguments were used in order to distinguish the underlying smooth structures of…

We classify compact surfaces with torsion-free affine connections for which every geodesic is a simple closed curve. In the process, we obtain completely new proofs of all the major results concerning the Riemannian case. In contrast to…

In this manuscript we prove that if two cuspidal plane curves have equivalent braid monodromy factorizations, then they are smoothly isotopic in the plane. As a consequence of this and the Chisini conjecture, we obtain that if two…

The controlled end and h-cobrodism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems.

Cerf and Palais independently proved a remarkable result about extending diffeomorphisms defined on smooth balls in a manifold to global diffeomorphisms of the manifold onto itself. We explain Palais' argument and show how to extend it to…

Topologically, a compact Riemann surface $X$ of genus $g$ is a $g$-holed torus (a sphere with $g$ handles). This paper is an introduction to the theory of compact Riemann surfaces and algebraic curves. It presents the basic ideas and…

The main result of the present paper is the proof of the Strange Duality for elliptic surfaces -- a duality between global sections of determinantal line bundles on moduli spaces of stable sheaves on a fixed elliptic surface. For this, we…

The Separatrix Theorem of C. Camacho and P. Sad guarantees the existence of invariant curve (separatrix) passing through the singularity of germ of holomorphic foliation on complex surface, when the surface underlying the foliation is…

We study the arc complex of a surface with marked points in the interior and on the boundary. We prove that the isomorphism type of the arc complex determines the topology of the underlying surface, and that in all but a few cases every…

We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie…

We prove a localization theorem for exotic diffeomorphisms, showing that every diffeomorphism of a compact simply-connected 4-manifold that is isotopic to the identity after stabilizing with one copy of $S^2 \times S^2$, is smoothly…

In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…

We use the square peg problem for smooth curves to prove a generalized table Theorem for real valued functions on Riemannian surfaces with odd Euler characteristic. We then use this result to prove the table conjecture for even functions on…

We prove that, if two germs of plane curves $(C,0)$ and $(C',0)$ with at least one singular branch are equivalent by a (real) smooth diffeomorphism, then $C$ is complex isomorphic to $C'$ or to $\overline{C'}$. A similar result was shown by…

We provide an algorithm for constructing a Kirby diagram of a 4-dimensional open book given a Heegaard diagram of the page. As an application, we show that an open book constructed with arbitrary page and trivial monodromy is diffeomorphic…

It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…

This paper develops a discrete theory of real Riemann surfaces based on quadrilateral cellular decompositions (quad-graphs) and a linear discretization of the Cauchy-Riemann equations. We construct a discrete analogue of an antiholomorphic…

As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from…