Topology of multiple log transforms of 4-manifolds

Given a 4-manifold X and an imbedding of T^{2} x B^2 into X, we describe an algorithm X --> X_{p,q} for drawing the handlebody of the 4-manifold obtained from X by (p,q)-logarithmic transforms along the parallel tori. By using this algorithm, we obtain a simple handle picture of the Dolgachev surface E(1)_{p,q}, from that we deduce that the exotic copy E(1)_{p,q} # 5(-CP^2) of E(1) # 5(-CP^2) differs from the original one by a codimension zero simply connected Stein submanifold M_{p,q}, which are therefore examples of infinitely many Stein manifolds that are exotic copies of each other (rel boundaries). Furthermore, by a similar method we produce infinitely many simply connected Stein submanifolds Z_{p} of E(1)_{p,2} # 2(-CP^2)$ with the same boundary and the second Betti number 2, which are (absolutely) exotic copies of each other; this provides an alternative proof of a recent theorem of the author and Yasui [AY4]. Also, by using the description of S^2 x S^2 as a union of two cusps glued along their boundaries, and by using this algorithm, we show that multiple log transforms along the tori in these cusps do not change smooth structure of S^2 x S^2.Comment: Updated, with 17 pages 21 figure

On complex surfaces diffeomorphic to rational surfaces

In this paper we prove that no complex surface of general type is diffeomorphic to a rational surface, thereby completing the smooth classification of rational surfaces and the proof of the Van de Ven conjecture on the smooth invariance of Kodaira dimension.Comment: 34 pages, AMS-Te

Numerical solution to the hermitian Yang-Mills equation on the Fermat quintic

We develop an iterative method for finding solutions to the hermitian Yang-Mills equation on stable holomorphic vector bundles, following ideas recently developed by Donaldson. As illustrations, we construct numerically the hermitian Einstein metrics on the tangent bundle and a rank three vector bundle on P^2. In addition, we find a hermitian Yang-Mills connection on a stable rank three vector bundle on the Fermat quintic.Comment: 25 pages, 2 figure

Wermer examples and currents

In this paper we give the first examples of positive closed currents in $\mathbb{C}^2$ with continuous potentials, vanishing self-intersection, and which are not laminar. More precisely, they are supported on sets "without analytic structure". The result is mostly interesting when the potential has regularity close to $C^2$, because laminarity is expected to hold in that case. We actually construct examples which are $C^{1,\alpha}$ for all $\alpha<1$.Comment: Minor modifications. Final version, to appear in GAF

Bergman Kernel from Path Integral

We rederive the expansion of the Bergman kernel on Kahler manifolds developed by Tian, Yau, Zelditch, Lu and Catlin, using path integral and perturbation theory, and generalize it to supersymmetric quantum mechanics. One physics interpretation of this result is as an expansion of the projector of wave functions on the lowest Landau level, in the special case that the magnetic field is proportional to the Kahler form. This is relevant for the quantum Hall effect in curved space, and for its higher dimensional generalizations. Other applications include the theory of coherent states, the study of balanced metrics, noncommutative field theory, and a conjecture on metrics in black hole backgrounds. We give a short overview of these various topics. From a conceptual point of view, this expansion is noteworthy as it is a geometric expansion, somewhat similar to the DeWitt-Seeley-Gilkey et al short time expansion for the heat kernel, but in this case describing the long time limit, without depending on supersymmetry.Comment: 27 page

Interactions of asbestos-activated macrophages with an experimental fibrosarcoma

Supernatants from in vivo asbestos-activated macrophages failed to show any cytostatic activity against a syngeneic fibrosarcoma cell line in vitro. UICC chrysotile-induced peritoneal exudate cells also failed to demonstrate any growth inhibitory effect on the same cells in Winn assays of tumor growth. Mixing UICC crocidolite with inoculated tumor cells resulted in a dose-dependent inhibition of tumor growth; this could, however, be explained by a direct cytostatic effect on the tumor cells of high doses of crocidolite, which was observed in vitro

Engineering a static verification tool for GPU kernels

We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts. © 2014 Springer International Publishing

Exotic Smooth Structures on Small 4-Manifolds

Let M be either CP^2#3CP^2bar or 3CP^2#5CP^2bar. We construct the first example of a simply-connected symplectic 4-manifold that is homeomorphic but not diffeomorphic to M.Comment: 11 page

Constructions of generalized complex structures in dimension four

Four-manifold theory is employed to study the existence of (twisted) generalized complex structures. It is shown that there exist (twisted) generalized complex structures that have more than one type change loci. In an example-driven fashion, (twisted) generalized complex structures are constructed on a myriad of four-manifolds, both simply and non-simply connected, which are neither complex nor symplectic

Experimental data on the single spin asymmetry and their interpretations by the chromo-magnetic string model

An attempt is made to interpret the various existing experimental data on the single spin asymmetries in inclusive pion production by the polarized proton and antiproton beams. As the basis of analysis the chromo-magnetic string model is used. A whole measured kinematic region is covered. The successes and fails of such approach are outlined. The possible improvements of model are discussed.Comment: 17 pages, 3 figure