We study Nakai-Moishezon type question and Donaldson’s “tamed to compatible” question for almost complex structures on rational four manifolds. By extending Taubes’ subvarieties-currentform technique to J-nef genus 0 classes, we give affirmative answers of these two questions for all tamed almost complex structures on S^2 bundles over S^2 as well as for many geometrically interesting tamed almost complex structures on other rational four manifolds, including the del Pezzo ones.

No abstract uploaded!

We introduce and study the notion of singular hermitian metrics on holomorphic vector bundles, following Berndtsson and Păun. We define what it means for such a metric to be positively and negatively curved in the sense of Griffiths and investigate the assumptions needed in order to locally define the curvature Θ^{$h$}as a matrix of currents. We then proceed to show that such metrics can be regularised in such a way that the corresponding curvature tensors converge weakly to Θ^{$h$}. Finally we define what it means for$h$to be strictly negatively curved in the sense of Nakano and show that it is possible to regularise such metrics with a sequence of smooth, strictly Nakano negative metrics.

Given a hypersurface coamoeba of a Laurent polynomial$f$, it is an open problem to describe the structure of the set of connected components of its complement. In this paper we approach this problem by introducing the lopsided coamoeba. We show that the closed lopsided coamoeba comes naturally equipped with an order map, i.e. a map from the set of connected components of its complement to a translated lattice inside the zonotope of a Gale dual of the point configuration $\operatorname{supp}(f)$ . Under a natural assumption, this map is a bijection. Finally we use this map to obtain new results concerning coamoebas of polynomials of small codimension.

We prove a certain non-linear version of the Levi extension theorem for meromorphic functions. This means that the meromorphic function in question is supposed to be extendable along a sequence of complex curves, which are arbitrary, not necessarily straight lines. Moreover, these curves are not supposed to belong to any finite-dimensional analytic family. The conclusion of our theorem is that nevertheless the function in question meromorphically extends along an (infinite-dimensional) analytic family of complex curves and its domain of existence is a pinched domain filled in by this analytic family.

We discuss applications of an improvement on the Riemann mapping theorem which replaces the unit disc by another “double quadrature domain,” i.e., a domain that is a quadrature domain with respect to both area and boundary arc length measure. Unlike the classic Riemann mapping theorem, the improved theorem allows the original domain to be finitely connected, and if the original domain has nice boundary, the biholomorphic map can be taken to be close to the identity, and consequently, the double quadrature domain is close to the original domain. We explore some of the parallels between this new theorem and the classic theorem, and some of the similarities between the unit disc and the double quadrature domains that arise here. The new results shed light on the complexity of many of the objects of potential theory in multiply connected domains.

We will introduce a quantity which measures the singularity of a plurisubharmonic function$φ$relative to another plurisubharmonic function$ψ$, at a point$a$. We denote this quantity by$ν$_{$a$,$ψ$}($φ$). It can be seen as a generalization of the classical Lelong number in a natural way: if$ψ$=($n$−1)log| ⋅ −$a$|, where$n$is the dimension of the set where$φ$is defined, then$ν$_{$a$,$ψ$}($φ$) coincides with the classical Lelong number of$φ$at the point$a$. The main theorem of this article says that the upper level sets of our generalized Lelong number, i.e. the sets of the form {$z$:$ν$_{$z$,$ψ$}($φ$)≥$c$} where$c$>0, are in fact analytic sets, provided that the$weight$$ψ$satisfies some additional conditions.

We show that the symmetrized bidisc may be exhausted by strongly linearly convex domains. It shows in particular the existence of a strongly linearly convex domain that cannot be exhausted by domains biholomorphic to convex ones.

We use the known convergence of loop-erased random walk to radial SLE(2) to give a new proof that the scaling limit of loop-erased random walk excursion in the upper half-plane is chordal SLE(2). Our proof relies on a version of Wilson’s algorithm for weighted graphs which is used together with a Beurling-type estimate for random walk excursion. We also establish and use the convergence of the radial SLE path to the chordal SLE path as the bulk point tends to a boundary point. In the final section we sketch how to extend our results to more general simply connected domains.

We construct Coleff–Herrera products and Bochner–Martinelli type residue currents associated with a tuple$f$of weakly holomorphic functions, and show that these currents satisfy basic properties from the (strongly) holomorphic case. This include the transformation law, the Poincaré–Lelong formula and the equivalence of the Coleff–Herrera product and the Bochner–Martinelli type residue current associated with$f$when$f$defines a complete intersection.

For each closed, positive (1,1)-current$ω$on a complex manifold$X$and each$ω$-upper semicontinuous function$φ$on$X$we associate a disc functional and prove that its envelope is equal to the supremum of all$ω$-plurisubharmonic functions dominated by$φ$. This is done by reducing to the case where$ω$has a global potential. Then the result follows from Poletsky’s theorem, which is the special case$ω$=0. Applications of this result include a formula for the relative extremal function of an open set in$X$and, in some cases, a description of the$ω$-polynomial hull of a set.

Let$M$be a compact complex manifold. The corresponding Teichmüller space Teich is the space of all complex structures on$M$up to the action of the group $${{\rm Diff}_0(M)}$$ of isotopies. The mapping class group $${\Gamma:={\rm Diff}(M)/{{\rm Diff}_0(M)}}$$ acts on Teich in a natural way. An$ergodic complex structure$is a complex structure with a $${\Gamma}$$ -orbit dense in Teich. Let$M$be a complex torus of complex dimension $${\ge 2}$$ or a hyperkähler manifold with $${b_2 > 3}$$ . We prove that$M$is ergodic, unless$M$has maximal Picard rank (there are countably many such$M$). This is used to show that all hyperkähler manifolds are Kobayashi non-hyperbolic.

We show that Thurston’s skinning maps of Teichmüller space have finite fibers. The proof centers around a study of two subvarieties of the $${{\rm SL}_2(\mathbb{C})}$$ character variety of a surface—one associated with complex projective structures, and the other associated with a 3-manifold. Using the Morgan–Shalen compactification of the character variety and author’s results on holonomy limits of complex projective structures, we show that these subvarieties have only a discrete set of intersections.

We describe a natural decomposition of a normal complex surface singularity ($X$, 0) into its “thick” and “thin” parts. The former is essentially metrically conical, while the latter shrinks rapidly in thickness as it approaches the origin. The thin part is empty if and only if the singularity is metrically conical; the link of the singularity is then Seifert fibered. In general the thin part will not be empty, in which case it always carries essential topology. Our decomposition has some analogy with the Margulis thick-thin decomposition for a negatively curved manifold. However, the geometric behavior is very different; for example, often most of the topology of a normal surface singularity is concentrated in the thin parts.

We consider$Thurston maps$, i.e., branched covering maps$f:S$^{2}→$S$^{2}that are$post-critically finite$. In addition, we assume that$f$is$expanding$in a suitable sense. It is shown that each sufficiently high iterate$F$=$f$^{$n$}of$f$is$semi-conjugate$to$z$^{$d$}:$S$^{1}→$S$^{1}, where$d$= deg F. More precisely, for such an$F$we construct a$Peano curve γ$:$S$^{1}→$S$^{2}(onto), such that$F$∘$γ$($z$) =$γ$($z$^{$d$}) (for all$z$∈$S$^{1}).

We give a complete proof of the Bers–Sullivan–Thurston density conjecture. In the light of the ending lamination theorem, it suffices to prove that any collection of possible ending invariants is realized by some algebraic limit of geometrically finite hyperbolic manifolds. The ending invariants are either Riemann surfaces or filling laminations supporting Masur domain measured laminations and satisfying some mild additional conditions. With any set of ending invariants we associate a sequence of geometrically finite hyperbolic manifolds and prove that this sequence has a convergent subsequence. We derive the necessary compactness theorem combining the Rips machine with non-existence results for certain small actions on real trees of free products of surface groups and free groups. We prove then that the obtained algebraic limit has the desired conformal boundaries and the property that none of the filling laminations is realized by a pleated surface. In order to be able to apply the ending lamination theorem, we have to prove that this algebraic limit has the desired topological type and that these non-realized laminations are ending laminations. That this is the case is the main novel technical result of this paper. Loosely speaking, we show that a filling Masur domain lamination which is not realized is an ending lamination.

In the moduli space $$ \mathcal{M} $$ _{$g$}of genus-$g$Riemann surfaces, consider the locus $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ of Riemann surfaces whose Jacobians have real multiplication by the order $$ \mathcal{O} $$ in a totally real number field$F$of degree$g$. If$g$= 3, we compute the closure of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ in the Deligne–Mumford compactification of $$ \mathcal{M} $$ _{$g$}and the closure of the locus of eigenforms over $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ in the Deligne–Mumford compactification of the moduli space of holomorphic 1-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ . Boundary strata of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ are parameterized by configurations of elements of the field$F$satisfying a strong geometry of numbers type restriction.

Building on [BB1] we prove a general criterion for convergence of (possibly singular) Bergman measures towards pluripotential-theoretic equilibrium measures on complex manifolds. The criterion may be formulated in terms of the growth properties of the unit-balls of certain norms on holomorphic sections, or equivalently as an asymptotic minimization property for generalized Donaldson$L$-functionals. Our result settles in particular a well-known conjecture in pluripotential theory concerning the equidistribution of Fekete points and it gives the convergence of Bergman measures towards the equilibrium measure for Bernstein-Markov measures. Applications to interpolation of holomorphic sections are also discussed.

In this paper, we develop the foundations of the theory of quasiregular mappings in general metric measure spaces. In particular, nine definitions of quasiregularity for a discrete open mapping with locally bounded multiplicity are proved to be quantitatively equivalent when the metric measure spaces have locally bounded geometry. We also demonstrate that some, though not all, of these implications remain true under fairly general hypotheses. The major new tool appeared in our approach is a powerful factorization, termed the pullback factorization, of a quasiregular mapping into the composition of a 1-BLD mapping and a quasiconformal mapping in locally compact complete metric measure spaces. This factorization also brings fundamental new point of view of the theory of quasiregular mappings in Euclidean spaces, in particular, a branched counterpart of quasisymmetric mappings is introduced and is shown to be locally equivalent with quasiregular mappings, quantitatively. As applications of our new techniques, we answer some well-known open problems in this field and characterize BLD mappings in metric spaces with locally bounded geometry. In particular, a conjecture of Heinonen–Rickman is shown to be false and an open problem of Heinonen–Rickman gets solved affirmatively.

Assume that X and Y are locally compact and locally doubling metric spaces, which are also generalized n-manifolds, that X is locally linearly locally n-connected, and that Y has bounded turning. Let f : X → Y be a continuous, discrete and open mapping. Let B_f be the branch set of f , i.e. the set consisting of points in X at which f fails to be a local homeomorphism. In this paper, addressing Heinonen’s ICM 02 talk, we study the geometry of the branch set B_f of a quasiregular mapping between metric n-manifolds. In particular, we show that B_f ∩ {x ∈ X : H_f (x) < ∞} is countably porous, as is its image f(B_f) ∩ {x ∈ X :H_f(x) < ∞} . As a corollary, B_f ∩ {x ∈ X : H_f (x) < ∞} and its image are null sets with respect to any locally doubling measures on X and Y , respectively. Moreover, if either H_f (x) ≤ H or H_f *(x) ≤ H for all x ∈ X, then both B_f and f(B_f) are countably δ-porous, quantitatively, with a computable porosity constant. Both our methods and results are new even in the Euclidean space . Our methods are greatly inspired by the recent developments from quantitative topology and allow us to formulate our results even without the cohomology assumptions on the underlying metric spaces; our results give a general decomposition of the branch set of a discrete open mapping according to the control on the linear dilatation. When further metric and analytic assumptions are placed on X, Y , and f , our theorems generalize the well-known Bonk–Heinonen theorem and Sarvas’ theorem to a large class of metric spaces. Moreover, our results are optimal in terms of the underlying geometric structures. As a direct application, we obtain the important Väisälä’s inequality in greatest generality. Applying our main results to special cases, we solve a recent conjecture of Fassler et al., an open problem of Heinonen–Rickman, and an open question of Heinonen–Semmes.

No abstract uploaded!

No abstract uploaded!

Let $T(S)$ be the Teichmuller space over a hyperbolic Riemann surface $S$. A geodesic disk in $T(S)$ is defined the image of an isometric embedding of the Poincar\'e disk into $T(S)$. In this paper, it is shown that for any non-Strebel point $\tau\in T(S)\backslash\{[0]\}$, there are infinitely many geodesic disks containing the straight line $\{[t\mu]:\,t\in (-1/k,1/k)\}$ where $\mu$ is an extremal representative of $\tau$ with $\|\mu\|_\infty=k$. An infinitesimal version is also obtained.

In this paper, several versions of gluing theorems for quasiconformal mappings in the plane are obtained. The best possibility of gluing quasiconformal mappings is investigated. As an application, we provide a new short proof of the gluing theorem obtained by Jiang and Qi.

No abstract uploaded!