To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
The fundamental boundary value problem in the function theory of several complex variables is the ∂-Neumann problem. The L2existence theory on bounded pseudoconvex domains and the C∞ regularity of solutions up to the boundary on smooth, bounded, strongly pseudoconvex domains were proved in the 1960s. On the other hand, it was discovered quite recently that global regularity up to the boundary fails in some smooth, bounded, weakly pseudoconvex domains. We survey the global regularity theory of the ∂-Neumann problem in the setting of L2Sobolev spaces on bounded pseudoconvex domains, beginning with the classical results and continuing up to the frontiers of current research. We also briefly discuss the related global regularity theory of the Bergman projection.
1. Introduction
The ∂-Neumann problem is a natural example of a boundary-value problem with an elliptic operator but with non-coercive boundary conditions. It is also a prototype (in the case of finite-type domains) of a subelliptic boundary-value problem, in much the same way that the Dirichlet problem is the archetypal elliptic boundary-value problem. In this survey, we discuss global regularity of the ∂-Neumann problem in the L2-Sobolev spaces Ws(Ω) for all non-negative s and also in the space. For estimates in other function spaces, such as Holder spaces and Lp-Sobolev spaces, see [Beals et al. 1987; Berndtsson 1994; Chang et al. 1992; Cho 1995; Christ 1991; Fefferman 1995; Fefferman and Kohn 1988; Fefferman et al. 1990; Greiner and Stein 1977; Kerzman 1971; Krantz 1979; Lieb 1993; McNeal 1991; McNeal and Stein 1994; Nagel et al. 1989; Sträube 1995]; for questions of real analytic regularity, see, for example, [Chen 1988; Christ 1996b; Derridj and Tartakoff 1976; Komatsu 1976; Tartakoff 1978; 1980; Tolli 1996; Treves 1978] and [Christ 1999, Section 10] in this volume.
AS observed originally by C. Osgood, certain statements in value distribution theory bear a strong resemblance to certain statements in diophantine approximation, and their corollaries for holomorphic curves likewise resemble statements for integral and rational points on algebraic varieties. For example, if X is a compact Riemann surface of genus > 1, then there are no non-constant holomorphic maps f : ℂ → X; on the other hand, if X is a smooth projective curve of genus > 1 over a number field k, then it does not admit an infinite set of /c-rational points. Thus non-constant holomorphic maps correspond to infinite sets of k-rational points.
This article describes the above analogy, and describes the various extensions and generalizations that have been carried out (or at least conjectured) in recent years.
When looked at a certain way, certain statements in value distribution theory bear a strong resemblance to certain statements in diophantine approximation, and their corollaries for holomorphic curves likewise resemble statements for integral and rational points on algebraic varieties. The first observation in this direction is due to C. Osgood [1981]; subsequent work has been done by the author, S. Lang, P.-M. Wong, M. Ru, and others. To begin describing this analogy, we consider two questions. On the analytic side, let X be a connected Riemann surface. Then we ask:
QUESTION 1. Does there exist a non-constant holomorphic map f : ℂ → X
This article is an exposition of our algorithm for canonical resolution of singularities in characteristic zero (Invent. Math. 128 (1997), 207-302), with an essentially complete proof of the theorem in the hypersurface case. We define a local invariant for desingularization whose values are finite sequences that can be compared lexicographically. Our invariant takes only finitely many maximum values (at least locally), and we get an algorithm for canonical desingularization by successively blowing up its maximum loci. The invariant can be described by a local construction that provides equations for the centres of blowing up. Our construction is presented here in parallel with a worked example.
1. Introduction
Resolution of singularities has a long history that goes back to Newton in the case of plane curves. For higher-dimensional singular spaces, the problem was formulated toward the end of the last century, and it was solved in general, for algebraic varieties defined over fields of characteristic zero, by Hironaka in his famous paper [1964]. (That paper includes the case of real-analytic spaces; Hironaka's theorem for complex-analytic spaces is proved in [Hironaka 1974; Aroca et al. 1975; 1977].) But Hironaka's result is highly non-constructive. His proof is one of the longest and hardest in mathematics, and it seems fair to say that only a handful of mathematicians have fully understood it. We are not among them! Resolution of singularities is used in many areas of mathematics, but even certain aspects of the theorem (for example, canonicity: see 1.11 below) have remained unclear.
This paper surveys work in partial differential equations and several complex variables that revolves around subelliptic estimates in the ∂-Neumann problem. The paper begins with a discussion of the question of local regularity; one is given a bounded pseudoconvex domain with smooth boundary, and hopes to solve the inhomogeneous system of Cauchy- Riemann equation ∂u = α, where a is a differential form with square integrable coefficients and satisfying necessary compatibility conditions. Can one find a solution u that is smooth wherever αis smooth? According to a fundamental result of Kohn and Nirenberg, the answer is yes when there is a subelliptic estimate. The paper sketches the proof of this result, and goes on to discuss the history of various finite-type conditions on the boundary and their relationships to subelliptic estimates. This includes finite-type conditions involving iterated commutators of vector fields, subelliptic multipliers, finite type conditions measuring the order of contact of complex analytic varieties with the boundary, and Catlin's multitype. The paper also discusses additional topics such as nonpseudoconvex domains, Holder and Lpestimates for ∂, and finite-type conditions that arise when studying holomorphic extension, convexity, and the Bergman kernel function. The paper contains a few new examples and some new calculations on CR manifolds. The paper ends with a list of nine open problems.
On a polarized uniruled projective manifold we pick an irreducible component X of the Chow space whose generic members are free rational curves of minimal degree. The normalized Chow space of minimal rational curves marked at a generic point is nonsingular, and its strict transform under the tangent map gives a variety of minimal rational tangents, or VMRT. In this survey we present a systematic study of VMRT by means of techniques from differential geometry (distributions, G-structures), projective geometry (the Gauss map, tangency theorems), the deformation theory of (rational) curves, and complex analysis (Hartogs phenomenon, analytic continuation). We give applications to a variety of problems on uniruled projective manifolds, especially on irreducible Hermitian symmetric manifolds S of the compact type and more generally on rational homogeneous manifolds G/P of Picard number 1, including the deformation rigidity of S and the same for homogeneous contact manifolds of Picard number 1, the characterization of S of rank at least 2 among projective uniruled manifolds in terms of G-structures, solution of Lazarsfeld's Problem for finite holomorphic maps from G/P of Picard number 1 onto projective manifolds, local rigidity of finite holomorphic maps from a fixed projective manifold onto G/P of Picard number 1 other than ℙn , and a proof of the stability of tangent bundles of certain Fano manifolds.
Rational curves play a crucial role in the study of Fano manifolds. By Mori's theory, Fano manifolds are uniruled. We consider more generally uniruled projective manifolds. Fixing an ample line bundle and considering only components of the Chow space whose generic members are free rational curves, we introduce the notion of minimal rational curves by minimizing the degree of a generic member.
We give a systematic treatment of the quotient theory for a holomorphic action of a reductive group G = Kℂ on a not necessarily compact Kählerian space X. This is carried out via the complex geometry of Hamiltonian actions and in particular uses strong exhaustion properties of K-invariant plurisubharmonic potential functions.
The open subset X(μ) of momentum semistable points is covered by analytic Luna slice neighborhoods which are constructed along the Kempf- Ness set μ-1﹛0﹜. The analytic Hilbert quotient X (μ) → X(μ)//G is defined on these Stein neighborhoods by complex analytic invariant theory. If X is projective algebraic, then these quotients are those given by geometric invariant theory. The main results here appear in various contexts in the literature. How- ever, a number of proofs are new and we hope that the systematic treatment will provide the nonspecialist with basic background information as well as details of recent developments.
1. Introduction
As the title indicates, we focus here on a certain quotient construction for group actions on complex spaces. Our attention is primarily devoted to actions of (linear) reductive complex Lie groups, i.e., complex matrix groups which are complexifications G = Kℂof their maximal compact subgroups.
In this article, written at the end of 1996, we survey some of the most important results in Seiberg-Witten Theory which are directly related to Algebraic or Kählerian Geometry. We begin with an introduction to abelian Seiberg-Witten Theory, with special emphasis on the generalized Seiberg-Witten invariants, which take also into account 1-homology classes of the base manifold. The more delicate case of manifolds with b+ = 1 is discussed in detail; we present our universal wall-crossing formula which shows that, crossing a wall in the parameter space, produces jumps of the invariants which are of a purely topological nature.
Next we introduce nonabelian Seiberg-Witten equations associated with very general compact Lie groups, and we describe in detail some of the properties of the moduli spaces of PU(2)-monopoles. The latter play an important role in our approach to prove Witten's conjecture. Then we specialize to the case where the base manifold is a Kahler surface, and we present the complex geometric interpretation of the corresponding moduli spaces of monopoles. This interpretation is another instance of a Kobayashi-Hitchin correspondence, which is based on the analysis of various types of vortex equations. Finally we explain our strategy for a proof of Witten's conjecture in an abstract setting, using the algebraic geometric "coupling principle" and "master spaces" to relate the relevant correlation functions.
Introduction
In October 1994, E. Witten revolutionized the theory of 4-manifolds by introducing the now famous Seiberg-Witten invariants [Witten 1994]. These invariants are defined by counting gauge equivalence classes of solutions of the Seiberg-Witten monopole equations, a system of nonlinear PDE's which describe the absolute minima of a Yang-Mills-Higgs type functional with an abelian gauge group.
We investigate attractors for holomorphic maps from ℙ k→ ℙ k, emphasizing the case k = 2. The interest in attractors stems from the fact that when a map is subject to small random perturbations, the long-term dynamics of the resulting system live near the map's attractors. In the case k = 1, that is, the case of rational functions on the Riemann sphere, the attractors are either periodic orbits or the whole sphere. In higher dimensions, however, there are other possibilities, which we call nontrivial. In addition to giving some examples of nontrivial attractors, we prove some general results about such attractors inℙ 2, among them that a given map can have at most one nontrivial attractor K, that K is then connected, has pseudoconvex complement, and contains a nonconstant entire image of ℂ, and that an attractor for a map f is also an attractor for any iterate fn.
1. Introduction
We recall first some general notions from the theory of dynamical systems. See [Ruelle 1989] for background.
A type of evolution of graphs with maximum vertex degree at most d is introduced. This evolution can start from any initial graph whose set of vertices of degree less than d is independent. The main concern is the regularity of graphs generated by this graph process when the initial graph has no edges. By analysis of the solutions of systems of differential equations it is shown that the final graph of this evolution is asymptotically almost surely a d-regular graph (subject to the usual parity condition).
We prove that if the edge probability p(n) satisfies n−1/4+ε [les ] p(n) [les ] 3/4, where 0 < ε < 1/4 is a constant, then the choice number and the chromatic number of the random graph G(n, p) are almost surely asymptotically equal.
Two results dealing with the relation between the smallest eigenvalue of a graph and its bipartite subgraphs are obtained. The first result is that the smallest eigenvalue μ of any non-bipartite graph on n vertices with diameter D and maximum degree Δ satisfies μ [ges ] −Δ + 1/(D+1)n. This improves previous estimates and is tight up to a constant factor. The second result is the determination of the precise approximation guarantee of the MAX CUT algorithm of Goemans and Williamson for graphs G = (V, E) in which the size of the max cut is at least A[mid ]E[mid ], for all A between 0.845 and 1. This extends a result of Karloff.
The maximum expected length of an increasing subsequence which can be selected by a non-anticipating policy from a random permutation of 1, …, n is known to be asymptotic to √2n. We give a new proof of this fact and demonstrate a policy which achieves this value.
We prove the following conjecture of J. van den Berg and H. Kesten. For any events [Ascr] and [Bscr] in a product probability space, Prob([Ascr]□[Bscr]) [les ] Prob([Ascr])Prob([Bscr]), where [Ascr]□[Bscr] is the event that [Ascr] and [Bscr] occur ‘disjointly’.
The k-colouring problem is to colour a given k-colourable graph with k colours. This problem is known to be NP-hard even for fixed k [ges ] 3. The best known polynomial time approximation algorithms require nδ (for a positive constant δ depending on k) colours to colour an arbitrary k-colourable n-vertex graph. The situation is entirely different if we look at the average performance of an algorithm rather than its worst-case performance. It is well known that a k-colourable graph drawn from certain classes of distributions can be k-coloured almost surely in polynomial time.
In this paper, we present further results in this direction. We consider k-colourable graphs drawn from the random model in which each allowed edge is chosen independently with probability p(n) after initially partitioning the vertex set into k colour classes. We present polynomial time algorithms of two different types. The first type of algorithm always runs in polynomial time and succeeds almost surely. Algorithms of this type have been proposed before, but our algorithms have provably exponentially small failure probabilities. The second type of algorithm always succeeds and has polynomial running time on average. Such algorithms are more useful and more difficult to obtain than the first type of algorithms. Our algorithms work as long as p(n) [ges ] n−1+ε where ε is a constant greater than 1/4.
We generalize the notion of choice number from graphs to hypergraphs and estimate the sharp order of magnitude of the choice number of random hypergraphs. It turns out that the choice number and the chromatic number of a random hypergraph have the same order of magnitude, almost surely. Our result implies an earlier bound on the chromatic number of random hypergraphs, proved by Schmidt [23] using a different method.
Short-time existence and uniqueness results in Sobolev spaces are proved for Hele-Shaw flow with kinetic undercooling and for Stokes flow without surface tension. In both cases, the flow is driven by arbitrarily distributed sources and sinks in the interior of the liquid domain. The proofs are based on a general approach consisting of the reformulation of the problem as a Cauchy problem for a nonlinear, nonlocal evolution equation on the unit sphere, quasilinearization by equivariance, investigation of the linearization, and Galerkin approximations. In the situation discussed here, the linearized evolution operator is a first-order differential operator, and thus the evolution equation is of hyperbolic type. Finally, a brief survey of the properties of the evolution equations that arise from Hele-Shaw flow and Stokes flow with and without regularization is given.
We consider the two-dimensional problem of crystal growth in a forced flow. A dendrite is placed in a Hele-Shaw cell with insulating walls and grows due to undercooling. We neglect the surface energy in the Gibbs–Thomson relation. The problem is formulated in terms of analytic functions similarly to closely related work on the viscous fingering problem of Saffman and Taylor. We derive a solvability condition for the existence of a steady-state needle-like solidification front in the limit of small Peclet number, Pe = V∞l/a, where V∞ is the characteristic velocity of the melt, 2l is the channel width, and a is the thermal diffusivity of the liquid. The velocity of the crystallization front is directly proportional to the hydrodynamic velocity V∞ and undercooling, while the dendrite width ld does not depend upon the physical parameters, and indeed, ld = l.
Small surface tension is known to select a discrete family from the continuum of Saffman–Taylor finger solutions with zero surface tension. Here a method developed recently in Chapman et al. [2] is employed in which a naive perturbation expansion in powers of the surface tension parameter is optimally truncated to show exponentially small terms being switched on across Stokes lines. These terms are responsible for finger selection.
It is well known that, if p is prime, the multiplicative group (ℤ/pℤ)* of reduced residues is cyclic. A generator is called a primitive root; there are φ(p − 1) of them, where φ is Euler's function. Thus, (φ(p − 1)/(p−1) is the proportion of primitive roots modulo p in (ℤ/pℤ)*. Elliott has proved that φp − 1)/(p − 1) has a limiting distribution function [2], in the sense that