Asymptotic approximation of harmonic maps to Teichmüller space
|
|
- Gwendolyn French
- 5 years ago
- Views:
Transcription
1 Asymptotic approximation of harmonic maps to Teichmüller space Georgios Daskalopoulos 1 Brown University daskal@math.brown.edu Chikako Mese Johns Hopkins University cmese@math.jhu.edu Last Revision: September 5, 013 Abstract This is the first in the series of papers that studies the behavior of harmonic maps into the metric completion T of Teichmüller space with respect to the Weil-Petersson metric. This current paper studies harmonic maps from a smooth n-dimensional Riemannian domain to a space modeling the normal space to the boundary strata of T. The main result is that the singular set of a harmonic map into two copies of the model space is n 1)- rectifiable. The importance of this result is that harmonic maps into the Teichmüller space at order 1 points are asymptotically approximated by the behavior of harmonic maps into two copies of the model space. This regularity result will be used in the sequels [DM1], [DMW] to study rigidity properties of Teichmüller space. 1 Introduction Consider the smooth Riemannian manifold H, g H ) where H = {ρ, φ) R : ρ > 0, φ R} is the right half-plane and the Riemannian metric g H is given in coordinates ρ, φ) by g H = dρ + ρ 6 dφ. 1 ported by research grant from the Simons Foundation ported by research grant NSF DMS
2 Denote by d H the distance function induced by the metric g H. The Riemannian manifold H, g H ) is incomplete; namely, the boundary {ρ = 0} is at a finite distance from any point P = ρ, φ) H. The metric completion H of H is obtained by adding the boundary {ρ = 0}. More precisely, identify {ρ = 0} as a single point P 0 and define H = H {P 0 }. The distance function d H is extended to H by setting d H P, P 0 ) = ρ for P = ρ, φ) H. The following facts are easy to check cf. [DW]): 1) The surface H, g H ) is geodesically convex. ) The complete metric space H, d) is an NPC space. 3) The space H, d) is not locally compact. Here, recall that NPC means non-positively curved in the sense of Alexandrov. We now let H, d) be the metric space constructed by taking two copies H + and H of H and identifying the point P 0. More precisely, H = H + H / where identifies the P 0 H + with P 0 H. The distance function d on H is defined by setting dp 1, P ) = d H P 1, P ) if P 1, P H ± and dp 1, P ) = ρ 1 + ρ if P 1 = ρ 1, φ 1 ) H + = H + \{P 0 } and P = ρ, φ ) H = H \{P 0 }. The metric space H, d) is an NPC space cf. [BH]). The current paper concerns harmonic maps into the metric space H, d). The motivation for understanding H comes from the study of certain rigidity properties of Teichmüller space which will be explored in the succeed articles. We now explain the relationship between Teichmüller space and H. Let T g,n denote the Teichmüller space of a genus g Riemann surfaces with n punctures and 3g 3 + n > 0 endowed with the Weil-Petersson metric and let T g,n denote its metric completion. It is well known that T g,n is a stratified space where the strata are themselves Teichmüller spaces, possibly of lower genus. The fundamental relation between T g,n and H is that metrically the normal space to the boundary strata of T g,n are products of H. More precisely, at a codimension m stratum, the Weil-Petersson metric is asymptotic to the product of the Weil-Petersson metric on the stratum and H m = H... H cf. [DW], [Wo], [Ya] and [DM3]). Note that in Weil-Petersson geometry, one considers the slightly different metric 4dr + r 6 dθ which is
3 clearly isometric to the one considered here via the change of coordinates ρ = r, φ = θ 8.) One of the difficulties of working with T g,n is that it is not locally compact. Specifically, a geodesic ball centered at a point on T g,n = T g,n \T g,n is not compact. This property is captured by the model space H at the point P 0. The non-compactness means that a tangent space T P0 H of H at P 0 which is isometric to the interval [0, )) does not properly reflect the geometry of H in the neighborhood of P 0. Indeed, the tangent map of a harmonic map at a point in the pre-image of P 0 does not map into T P0 H. Instead, the image of a tangent map can be embedded into a metric space constructed by joining a multiple copies of H at the boundary point P 0 cf. [W]). In particular, the image of a tangent map at an order 1 point is embedded in H. We show precisely how the local image of a harmonic map is reflected by the geometry of H in our follow-up paper [DM1]. This is the main reason for the interest in the behavior of harmonic maps into H, d). The main result of this paper is the following. Theorem 1 If u : Ω, g) H, d) is a harmonic map from an n- dimensional smooth Riemannian domain, then the set u 1 P 0 ) is n 1)- rectifiable. Theorem 1 is the first step in proving rigidity results for the Teichmüller space and the mapping class group. Indeed, as in all problems of geometric errigidity the basic problem is to show that the singular set of a harmonic map u : Ω T g,n sufficiently small so that one can apply Bochner techniques. First, it follows from [DM] that the set of singular points of a harmonic map u : Ω T g,n with order greater than 1 is of Hausdorff co-dimension at least. Second, if x 0 is a point of order 1 such that ux 0 ) maps into a top dimensional stratum of the boundary of T g,n, then u behaves asymptotically like a map into H, d). Thus harmonic maps into H, d) form an asymptotic local model for maps into T g,n near points of order 1. For a definition of the order we refer to the next section.) Harmonic maps Let Ω, g) be a smooth Riemannian domain and H be the NPC space defined in Section 1. For a map v : Ω, g) H, d), let v be the 3
4 energy density as defined in [KS1]. The energy of v in a subset Ω is E v [Ω ] = v dµ <. Ω The map v is said to be harmonic if it is energy minimizing in every bounded subset Ω of Ω with respect to all finite energy maps with the same trace cf. [KS1]). Let B R 0) = {x = x 1,..., x n ) R : x < R}, g a smooth Riemannian metric on B R 0) and u : B R 0), g) H be a harmonic map. In a neighborhood of x B R 0) {u ρ 0}, u maps into a smooth Riemannian manifold either H + or H ), and we can write u = u ρ, u φ ) in terms of coordinates ρ, φ). The local Lipschitz continuity of u cf. [KS1] Theorem.4.6) implies that, for every r 0, R), there exists a constant C dependent only on r and the total energy of u such that u ρ C and u 3 ρ u φ C in B r 0) {u ρ 0}. 1) Furthermore, in B r 0) {u ρ 0}, u satisfies the harmonic map equations u ρ u ρ = 3u 6 ρ u φ and u 6 ρ u φ = 6u 5 ρ u ρ u φ. ) Moreover, u satisfies the harmonic map equations ) weakly in B r 0). The harmonic map u : B R 0), g) H has the following important monotonicity formula. Define E u σ) := u dµ and I u σ) := d u, u0))dσ. B σ0) B σ0) There exists a constant c > 0 depending only on the C norm of the metric on g with c = 0 when g is the standard Euclidean metric) such that σ Ord u 0, σ) := e σ cσ Eu σ) I u is non-decreasing 3) σ) for any x B r 0) and σ > 0 sufficiently small. As a non-increasing limit of continuous functions, Ord u 0) := lim σ 0 Ord u 0, σ) 4
5 is an upper semicontinuous function and Ord u 0) 1. The value Ord u 0) is called the order of u at 0. See Section 1. of [GS] with [KS1] and [KS] to justify various technical steps.) A point 0 is called an order 1 point if Ord u 0) = 1 and a higher order point if Ord u 0) > 1. The homogeneous cordinates ρ, Φ) of H ± are defined by setting Φ = ρ 3 φ. It can be easily seen that the metric g H is invariant under the scaling ρ λρ, Φ λφ. Here, we remark that the scaling is also equivalently given by ρ λρ, φ λ φ. 4) Thus, the distance function of H is homogeneous of degree 1 under this scaling. More precisely, for P given by ρ, Φ) in homogeneous coordinates if P P 0 and λ 0, ), we denote by λp the point given by λρ, λφ) and λp 0 = P 0. Then dλp, λq) = λdp, Q). Furthermore, if γs) is an arclength parameterized geodesic, then s λ 1 γλs) is also an arclength parameterized geodesic. Lemma In homogeneous coordinates ρ, Φ), the metric is given by or equivalently g H = 1 + 9Φ ρ 3ρ 1 Φ 3ρ 1 Φ 1 g H = 1 + 9Φ ρ )dρ 3ρ 1 ΦdρdΦ 3ρ 1 ΦdΦdρ + dφ = dρ + 3Φρ 1 dρ dφ) Proof. Let ˆρ = ρ and write g H = aˆρˆρ dˆρ + aˆρφ dˆρdφ + a Φˆρ dφdˆρ + a ΦΦ dφ 5
6 and note that and Thus, ˆρ = ˆρ ρ ˆρ + φ ˆρ φ = ρ 3Φˆρ 4 φ Φ = ρ Φ ρ + φ Φ φ = ˆρ 3 φ. aˆρˆρ = g H ˆρ, ˆρ ) = 1 + 9Φ ρ, a ΦΦ = 1 and q.e.d. aˆρφ = 3ρ 1 Φ = a Φˆρ. Convention 3 For the rest of the paper, we apply the change of variables ρ, φ) ρ, φ) to obtain new coordinates for H. Furthermore, 0, φ) for any φ R is identified with the point P 0. Thus, for ρ, φ) H, ρ > 0 implies H +, ρ < 0 implies H and ρ = 0 implies ρ, φ) = P 0. Lemma 4 For P 1 = ρ 1, φ 1 ), P = ρ, φ ) H, ρ 1 ρ dp 1, P ) ρ 1 ρ + Φ 1 Φ where Φ 1 = ρ 3 1 φ 1 and Φ = ρ 3 φ. Proof. Let γ = γ ρ, γ φ ) : [0, 1] H be a geodesic from P 1 to P. Then ρ 1 ρ 1 0 γ ρ ds 1 0 γ gh ds = dp 1, P ). Next, note that since ρ, φ) ρ, φ φ 1 ) is an isometry, we can assume without the loss of generality that φ 1 = 0. Along the line Φ = ρ 3 φ = 0, the metric g H is given in coordinates ρ, Φ) by g H = Thus, setting αt) = 1 t)ρ 1 + tρ, 0), we have 1 0 α ρ gh dt = ρ 1 ρ 6
7 Furthermore, setting βt) = ρ, tφ ), we have β Φ gh = Φ. The join of the curves αt) with 0 t 1 and βt) with 0 t 1 connects P 1 to P. Thus, we obtain dp 1, P ) 1 1 α ρ gh dt + β Φ gh dt 0 0 = ρ 1 ρ + Φ. q.e.d. Definition 5 A smooth Riemannian metric g on B R 0) R n is said to be normalized if the standard Euclidean coordinates x 1,..., x n ) are normal coordinates of g. The metric g s for s 0, R] on B 1 0) is defined by g s x) = gsx). Given R 0, 1], a normalized metric g on B R 0) and a harmonic map u : B R 0), g) H, d), the homogeneous coordinates can be used to define blow up maps of u at 0. More precisely, we write u = u ρ, u Φ ) in coordinates ρ, Φ). For σ 0, R], define a harmonic map which will be referred to as a blow-up map) by setting u σ = u σρ, u σφ ) : B 1 0), g σ ) H, d) 5) u σρ x) = µ 1 σ)u ρ σx) and u σφ x) = µ 1 σ)u Φ σx) or equivalently, writing u σ = u σρ, u σφ ), u σρ x) = µ 1 σ)u ρ σx) and u σφ x) = µ σ)u φ σx) where µσ) = I u σ). 6) σn 1 7
8 The choice of the scaling constant µσ) implies that I uσ 1) = d u σ, P 0 )dσ = 1. 7) B 1 0) By the monotonicity property stated above, E uσ 1) Ord u 0) for σ > 0 sufficiently small. Thus, by [KS1] Theorem.4.6, {u σ } has a uniform modulus of continuity. In turn, this implies that given a sequence u σi with σ i 0, there exists a subsequence converging locally uniformly in the pullback sense to a map u : B 1 0) Y, d ) into an NPC space cf. [KS1] Proposition 3.7). In particular, du σi ), u σi )) d u ), u )) uniformly on compact sets. Following [GrSc], we can show that u is a homogeneous map of degree α = Ord u 0), i.e. du x), u 0)) = x α du x x, u0)) and the curve t u tx) is a geodesic in H for each x B 1 0). By [W], see also [DM] Section 4), u is piecewise linear, i.e. the distance function du, u 0)) is a linear function in each connected component of {x B 1 0) : u x) u 0)}. In particular, if 0 is an order 1 point, then the pullback distance function of u is equal to that of a linear function fx) = Ax 1 8) where A is a constant. Given a harmonic map u : Ω, g) H, d) from a smooth Riemannian domain and x Ω, define Ord u x) and a blow-up map u σ at x for σ > 0 sufficiently small by identifying x = 0 by normal coordinates. The set of higher order points hs the following property. S 0 u) = {x Ω : Ord u x) > 1} Theorem 6 [DM] Theorem ) If u : Ω, g) H, d) is a harmonic map from a smooth Riemannian domain, then the set of higher order points is of Hausdorff codimension at least ; i.e. dim H S 0 u)) n. Our main result Theorem 1) claims that the set u 1 P 0 ) is n 1)- rectifiable. Thus, by the virture of Theorem 6, we only need to consider the set of order 1 points. For order 1 points, we have the following. 8
9 Lemma 7 If u : Ω, g) H, d) is a harmonic map from a smooth Riemannian domain and x Ω such that ux) = P 0 and Ord u x) = 1, then there exists a sequence σ i 0, a rotation R : R n R n, a sequence of homogeneous degree 1 maps l σi : B 1 0) H defined by Ax 1, φ + σ i ) x 1 > 0 l σi x) = P 0 x 1 = 0 Ax 1, φ σ i ) x 1 < 0 for a constant A > 0 and sequences {φ + σ i }, {φ σ i } such that, for any r 0, 1), lim du σi R, l σi ) = 0 i B r0) where u σi are the blow up maps u at x. Proof. As mentioned above, after a rotation of the domain if necessary, we may assume that the sequence of blow up maps u σi converges locally uniformly in the pullback sense to a linear function fx) = Ax 1 as in 8). The assertion follows from applying [DM] Lemma 14 to B 1 ± 0) = {x B 10) : x 1 ) 0}. q.e.d. 9) 3 Essential Regularity A harmonic map between two C Riemannian manifolds is C whenever one assumes an NPC condition on the target. On the other hand, one of the difficulties in the application of harmonic maps into singular targets is that these maps lack the regularity of harmonic maps between smooth spaces. For a harmonic map into a generic NPC space, one can reasonably only expect local Lipschitz regularity. However, stronger regularity results can be obtained by assuming additional structure on the target space. This is the idea exploited in [GrSc]; indeed, if the target is an m-dimensional Euclidean building, then a harmonic map is regular in a neighborhood of an order 1 point. Moreover, a neighborhood of such a point is mapped into a flat, i.e. a closed convex subspace isometric to an m-dimensional Euclidean space. For the space H, the role of a flat is played by the following set: H [φ 0 ] = {ρ, φ) H : φ φ 0 } where φ 0 > 0. 9
10 Since s s, φ 0 ) and s s, φ 0 ) are geodesics, H [φ 0 ] is a closed convex set. The goal of this section is to show that H [φ 0 ] satisfies a property which is similar to being essentially regular in the sense of [GrSc] Section 5. More precisely, harmonic maps into H [φ 0 ] are regular in a sense given by Theorem 10 below. We remark that so far we are unable to prove that H [φ 0 ] is essentially regular in the strict sense of [GrSc]; in particular, we do not make any assertion about the regularity of v φ in this paper. However, the weaker notion that we prove in Theorem 10 is sufficient for our applications. For a harmonic map v : B R 0) H, define v Υ := v ρ 3 v5 ρv φ and v Φ := v 3 ρv φ. The harmonic map equations ) imply that in B R 0)\v 1 P 0 ), we have and v Υ = 45 v9 ρv φ v φ 30v 3 ρv φ v ρ 1v 4 ρv φ v ρ v φ 10) v Φ = 9v 7 ρv φ v φ + 6v ρ v φ v ρ. 11) Lemma 8 Let R [ 1, 1), E 0 > 0, A 0 > 0 and a normalized metric g on B R 0) cf. Definition 5) be given. Then there exists C > 0 such that if φ 0 > 0, s 0, 1],, ϑ 0, 1] and v : B ϑr 0), g s ) H [ φ 0 ] is a ϑ harmonic map with then and E v ϑ in E 0 and v ρ L B 15ϑR 0)) A 0 ϑ, vρ v 3 φ L B 15ϑR 0)) Cφ 0, v Υ L B 15ϑR 0)) Cϑ 1 φ 0. Proof. Throughout the proof, C will denote a generic constant dependent on only E 0, A 0 and g. The assumption on the bounds of v ρ and v φ imply that v Φ L B ϑr 0)) = v 3 ρv φ L B ϑr 0)) Cϑφ 0. 10
11 Furthermore, 1) and 11) imply v Φ L B ϑr 0)) Cϑ 1 φ 0. Next, note that v Υ and v Φ satisfy the equalities 10) and 11) weakly in B R 0). Thus, by elliptic regularity, for any α 0, 1) ) ϑ v Φ L B 15ϑR 0)) C ϑ v Φ L B ϑr 0)) + v Φ L B ϑr 0)) Cϑφ 0. 1) Since v Φ = v 3 ρv φ ) = v 3 ρ v φ + 3v ρv φ v ρ, we have v 3 ρ v φ 3 v ρv φ v ρ + v Φ. The assumption on the bounds of v ρ and v φ and 1) imply that first term on the right hand side above is bounded in B 15ϑR 0) by Cφ 0. By 1), the second term is also bounded by Cφ 0. Thus, we obtain first estimate of the lemma. Combining the first estimate, the assumption on the bounds of v ρ and v φ, 1) and 10), we obtain the second estimate of the lemma. q.e.d. Definition 9 We say that a map l = l ρ, l φ ) : B 1 0) H is an almost affine map if l ρ x) = a x + b for a R n and b R, i.e. l ρ is an affine function. Theorem 10 Let R [ 1, 1), E 0 > 0, A 0 > 0 and a normalized metric g on B R 0) cf. Definition 5) be given. There exist C 1 and α > 0 with the following property: For φ 0 > 0, σ 0, 1] ϑ 0, 1], if v = v ρ, v φ ) : B ϑr 0), g σ ) H [ φ 0 ϑ ] is a harmonic map with then E v ϑ n E 0 and v ρ L B 15ϑR 0)) ϑa 0, B rϑ 0) dv, ˆl) Cr 1+α B ϑr 0) dv, L) + Crϑφ 0, r 0, R ] where ˆl = ˆl ρ, ˆl φ ) : B 1 0) H is the almost affine map given by ˆlρ x) = v ρ 0) + v ρ 0) x, ˆlφ x) = v φ x) and L : B 1 0) H is any almost affine map. 11
12 Proof. Throughout the proof, let C be a generic constant that depends on E 0, A 0 and g. Since v Υ ˆl ρ = v ρ ˆl ρ 3 v5 ρv φ, we have v Υ ˆl ρ L B Rϑ 0)) v ρ ˆl ) ρ L B Rϑ 0)) Cϑ 5 φ0 = Cϑφ 0. Thus, elliptic regularity and the second estimate of Lemma 8 imply that ϑ 1+α [ v Υ ˆl ρ )] C α B 7ϑR 8 0)) Cϑ v Υ ˆl ρ ) L B 15ϑR Cϑφ 0 + C v ρ ˆl ρ L B 15ϑR 0)). Since v ρ 0) = ˆl ρ 0), we have B rϑ 0) ϑ 0)) + v Υ ˆl ρ L B 15ϑR 0))) v ρ ˆl ρ ) Crϑ) ϑ α α φ 0 + ϑ 1 α v ρ ˆl ρ L B 15ϑR 0)) Furthermore, since Cr φ α 0 + ϑ 1 v ρ ˆl ρ L B 15ϑR 0)) v Υ ˆl ρ ) = v ρ ˆl ρ ) 3vρv 5 φ v φ 15 v4 ρvφ v ρ, the first estimate of Lemma 8 and 1) imply v ρ ˆl ρ L B 15ϑR 0)) v Υ ˆl ρ L B 15ϑR 0)) ) ). 13) Cφ 0. 14) Combined with the mean value inequality, we therefore conclude that for r 0, R ] v ρ ˆl ρ rϑ B rϑ 0) rϑ B rϑ 0) B rϑ 0) rϑ Cr α v ρ ˆl ρ ) v Υ ˆl ρ ) + Cφ 0 ) by 14)) φ 0 + ϑ 1 v ρ ˆl ρ L B 15ϑR 0)) Cr 1+α v ρ ˆl ρ + Cr 1+α ϑφ 0 + Crϑφ 0 B Rϑ 0) ) ) + Cφ 0 by 13)) Cr 1+α v ρ ˆl ρ + Crϑφ 0. 15) B Rϑ 0) 1
13 We claim v ρ ˆl ρ C v ρ L ρ + ϑφ 0. ) B ϑr 0) B ϑr 0) Assuming ) is true, the above two inequalities imply v ρ ˆl ρ Cr 1+α v ρ L ρ + Crϑφ 0, r 0, R B ϑr 0) B ϑr 0) ]. Since v φ x) = ˆl φ x), this estimate and Lemma 4 imply the lemma. We are left to prove ). First, since ˆl ρ and L ρ are affine functions and ˆl ρ 0) = v ρ 0), we have for any s 0, R ] ˆl ρ L ρ B ϑr 0) B ϑr 0) = s 1 R ) ˆl ρ L ρ ) ˆl ρ 0) L ρ 0)) + ˆl ρ 0) L ρ 0) B ϑs 0) ) ˆl ρ L ρ ) ˆl ρ 0) L ρ 0)) + ˆl ρ 0) L ρ 0) = s 1 R ) ˆl ρ L ρ ) v ρ 0) L ρ 0)) + v ρ 0) L ρ 0) B ϑs 0) s 1 R ˆl ρ L ρ + s 1 R v ρ L ρ. B ϑs 0) B ϑr 0) Apply the triangle inequality and 15) to estimate the first term above by s 1 R ˆl ρ L ρ B ϑs 0) s 1 R v ρ L ρ + v ρ ˆl ρ B ϑs 0) B ϑs 0) s 1 R v ρ L ρ + CRs α v ρ ˆl ρ + CRϑφ 0 B ϑr 0) B ϑr 0) Combining the above two inequalities and noting R 1, we obtain B ϑr 0) ˆl ρ L ρ 3s 1 B ϑr 0) Triangle inequality along with 17) imply v ρ ˆl ρ B ϑr 0) v ρ L ρ + ˆl ρ L ρ B ϑr 0) B ϑr 0) ) v ρ L ρ +Cs α v ρ ˆl ρ +Cϑφ 0. 17) B ϑr 0) 1 + 3s 1 ) v ρ L ρ + Cs α v ρ ˆl ρ + Cϑφ 0. B ϑr 0) B ϑr 0) 13
14 Choose s R such that Csα 1 to obtain ). q.e.d. 4 First order approximation The goal of this section is to prove Theorem 15 below; i.e. we prove that if a harmonic map u into H is close to a homogeneous degree 1 map, then u ρ is approximately a linear function to first order. The main step of the proof of Theorem 15 is contained in Lemma 14. We start with a preliminary lemma. Lemma 11 Given ɛ 0 0, 1), D 0 0, ɛ 0 ), θ 0, 1] and i = 0, 1,,..., if Q = ρ, φ) satisfies dq, H [ θ i ɛ 0 ) 3 θ i D 0 i ]) θi D 0 i, then ρ θ i ɛ 0 or Q H [ θ i ) 3 ɛ 0 θ i D 0 i ]). Proof. On the contrary, pose there exists a point Q = ρ, φ) with ρ θ i ɛ 0, Q / H [ θ i ) 3 ɛ 0 θ i D 0 i ]) and dq, H [ θ i ɛ 0 Let γ = γ ρ, γ φ ) : [0, 1] H be a geodesic with γ0) = Q and γ1) H [ θ i ɛ 0 ) 3 θ i D 0 i ]) θi D 0 i. ) 3 θ i D 0 i 3 ] ) where γ1) is the point in H [ θ i 3 ɛ 0 θ i D 0 ] closest to Q. We first claim i 3 min γ ρt) θi ɛ 0 t [0,1]. 18) Indeed, assume on the contrary that γ ρ t 0 ) < θi ɛ 0 for some t 0 0, 1]. Then since γ ρ 0) θ i ɛ 0, we obtain θ i ɛ 0 < γ ρ t 0 ) γ ρ 0) 14
15 t0 0 dγ ρ t0 dt dt dγ 0 dt dt dq, H [ θ i ɛ 0 ) 3 θ i D 0 i ]) θi D 0 i. This contradicts the assumption that D 0 0, ɛ 0 ) and proves 18). In turn, 18) implies that θ i ) 3 ɛ 0 γ 3 ρt), t [0, 1]. 19) Therefore θ i ) 3 ɛ 0 φ θ i ɛ 0 which in turn implies ) 3 θ i D 0 i θ i ) 3 ɛ 1 0 dγ φ 0 dt t) dt 1 γρ 6 dγ φ 0 dt t) dt 1 dγ ρ 0 dt t) + γρ 6 dγ φ dt t) = lengthγ) = dq, πq)) θi D 0 i dt φ θ i ) 3 ɛ 0 θ i D 0 i. q.e.d. Lemma 1 Given A > 0, ɛ 0 > 0, D 0 0, ɛ 0 ), a normalized metric g on B 1 0) and i = 1,,..., if il : B θ i0) H [ θ i ɛ 0 ) 3 θ i D 0 i ] and u : B θ i0) H 15
16 satisfies and u ρ Ax 1 < θ i ɛ 0 0) B θ i0) du, i l) < θi D 0 B θ i0) i, 1) then there exists σ 0 > 0 such that for all σ 0, σ 0 ) V ol gσ x B θ i0) : ux) / H [ θ i ) 3 ɛ 0 θ i D 0 i ] < 4ɛ θin 0 A. Proof. By and assumption 1) and the fact that i lx) H [ ], ɛ 3 0 i 3 we have for x B θ i0) D 0 dux), H [ θ i ɛ 0 Thus, Lemma 11 implies that x B θ i0) : ux) / H [ Furthermore, assumption 0) implies ) 3 θ i D 0 i ]) du, i l) < θi D 0 B θ i0) i. θ i ) 3 ɛ 0 θ i D 0 i ] {x B θ i0) : u ρ x) θ i ɛ 0 }. u ρ x) θ i ɛ 0 Ax 1 Ax 1 u ρ x) + u ρ x) < θ i ɛ 0 in B θ i0). Hence {x B θ i0) : u ρ x) θ i ɛ 0 } {x B θ i0) : Ax 1 < θ i ɛ 0 }. Let σ 0 > 0 be such that for σ 0, σ 0 ), q.e.d. V ol gσ {x B θ i0) : Ax 1 < θ i ɛ 0 } θ in 4ɛ 0 A.
17 Lemma 13 If u 0, u 1 : B θ i0), g) H are harmonic functions, then d u 0, u 1 ) is a weakly subharmonic function; i.e. d u 0, u 1 ) ηdx 0 B θ i0) for any η C c B θ i0)) with η 0. Proof. Apply [KS1] Lemma.4. and use the minimizing property of u 0 and u 1 to obtain d u 0, u 1 ) ηdx Qη, η) B θ i0) where Qη, η) consists of integrable terms which are quadratic in η and η. Replace η by tη, divide by t and let t 0 to obtain the desired inequality. q.e.d. Lemma 14 Inductive step) Given E 0 > 0, A > 0, δ 0 > 0 and a normalized metric g on B 1 0), there exist σ 0 > 0, θ 0, 1 8 ), ɛ 0 > 0 and D 0 > 0 satisfying D 0 θ 1 < δ 0 ) with the following property: For any harmonic map u : B 1 0), g σ ) H with σ 0, σ 0 ], u0) = P 0, E u E 0, 3) an almost affine map cf. Definition 9) il : B θ i0) H [ and a constant i δ > 0 such that θ i ɛ 0 du, i l) < θ i D 0 B θ i 0) i B θ i 0) ) 3 θ i D 0 i ] i+1 u ρ Ax 1 < i δ < θ i k=0 4) D 0 k, 17
18 there exists an almost affine map i+1l : B θ i+10) H [ and a constant i+1 δ > 0 such that du, i+1 l) < θ i+1 D 0 B θ i+1 0) i+1 B θ i+1 0) θ i+1 ɛ 0 u ρ Ax 1 < i+1 δ := i δθ + θ i+1 D 0 ) 3 θ i+1 D 0 i+1 ] i+ < θi+1 i+ k=0 5) D 0 k. Proof. Let σ 0 > 0 be chosen smaller than the constant σ 0 that appears in Lemma 1 and such that if denote V ol to be the volume with respect to the standard Euclidean metric 15 V ols) V ol g σ S) 17 V ols) for any σ 0, σ 0 ) and any smooth subset S of B 1 0). Let and the constant c 0 1 be such that B 15r 0) A 0 = A 6) f c 0 r) i 1 B r0) fdσ gσ 7) for any r [0, 1], any σ 0, 1] and any weakly subharmonic function f : B 1 0) R. For R = 1, E 0 > 0, A 0 > 0 and the metric g given in the statement of the theorem, let C 1 and α > 0 be as in Theorem 10. 8) Let θ 0, min{ 1 8, σ 0, 1 A }) sufficiently small such that Cθ < 1, 9) Cθ α < 1 5, 30) and Cθ 3 < ) 18
19 Define Finally, we let ) A ɛ 0 := 13 θ < 1. 3) c 0 D 0 := min { ɛ C, A 4, δ } 0θ By the definition of D 0, inequality ) is satisfied and also 33) 4D 0 A. 34) By the definition of D 0, the assumption 0) of Lemma 1 is satisfied. Indeed, 4), the definition 3) of ɛ 0, the inequality θ 1 A and the definition of D 0 imply D 0 ɛ 0 and, combining this with 4), we obtain u ρ Ax 1 < θ i D 0 < θ i ɛ 0. B θ i 0) Additionally, assumption 1) of Lemma 1 is contained in 4). Thus, we conclude θ i ) 3 V ol gσ x B θ i0) : ɛ 0 θ i D 0 i u φ x) < 4ɛ θin 0 A, and there exists R [ 1, 7 8 ] with the property that θ i ) 3 V ol gσ x B ɛ 0 θ i D 0 θ i R0) : i u φ x) < θin 1) 4 ɛ 0 A. Let π : H H [ θ i ) 3 ɛ 0 θ i D 0 i ] be the closest point projection map into a closed convex set) and 35) v : B θ i R0), g σ ) H [ θ i ) 3 ɛ 0 θ i D 0 i ] be the harmonic map with prescribed boundary condition v Bθ i R 0) = π uθi BR 0). 36) 19
20 ) By the definition of π and the fact that i lx) H [ θ i 3 ɛ 0 θ i D 0 ] by i assumption, we conclude dux), vx)) du, i lx)), x B θ i R0). 37) ) Since u θi x) π ux) implies θ i 3 ɛ 0 θ i D 0 u i φ x), inequality 35) implies that V ol gθ i {x B θ i R0) : ux) vx)} < θ i 1 4 ɛ 0 A. 38) Furthermore, since u, v : B θ i R0), g σ ) H are harmonic maps, Lemma 13 asserts that d u, v) is a subharmonic function. 39) We therefore conclude B 15θ i R d u, v) 0) c 0 θ i R) n 1 d u, v)dσ gθ i by 7)) B θ i R 0) In other words, 4 ɛ 0 c 0 A 4 ɛ 0 c 0 A d u, v) by 38)) B θ i R 0) d u, i l) by 37)) B θ i R 0) 4 ɛ 0 c 0 A θi D 0 i by 4)) = θ i+ D 0 i+9 by 3)). 40) B 15θ i R 0) Combining 4) and 41), we obtain B θ i 0) dv, i l) B θ i 0) du, v) θ i+1 D 0. 41) i+4 du, v) + B θ i 0) du, i l) θ i D 0. 4) i 1 We will now check that we can apply Theorem 10. First, note that the Lipschitz continuity of u implies E u θ i ) θ in E 0. Since a projection into a convex set in an NPC space is distance non-increasing, we obtain E v 0
21 θ in E 0. Next, Lemma 4, 41), 4) and 34) imply that in B 15θ i R 0), we have v ρ v ρ u ρ + u ρ Ax 1 + Ax 1 θ i+1 D 0 i+4 +θi D 0 +θ i A θ i A = θ i A 0. Thus, with il = L, i+1 l = ˆl, ϑ = θ i, r = θ and R = 1 in Theorem 10, we have by the choice of the constants in 8) that B θ i+1 0) dv, i+1 l) Cθ 1+α B θ i 0) dv, i l) + Cθ i+1 ɛ0 ) ) 3 D 0 i. 43) Using 4) to estimate the first term on the right hand side of 43), we obtain dv, i+1 l) Cθ i+1 θ α D 0 B θ i+1 0) i 1 + D Cθi+1 0 ɛ 6 0 i 8 Combined with 41), we obtain Cθ i+1 θ α D 0 i 1 + θi+1 D 0 i+5 by 33)) < θ i+1 D 0 i+4 by 30)). du, i+1 l) du, v) + B θ i+1 0) B θ i+1 0) B θ i+1 0) dv, i+1 l) < θ i+1 D 0. 44) i+3 This implies the first inequality of 5). To see that i+1 l maps into ) H [ θ i+1 3 ɛ 0 θ i+1 D 0 ], note that i+1 i+1 l φ = v φ by definition cf. Theorem 10). Since θ 0, 1 8 ), i+1 l φ x) = v φ x) θ i ɛ 0 ) 3 θ i D 0 i θ i+1 ɛ 0 ) 3 θ i+1 D 0 i+1 We now proceed with proof of the second inequality of 5). Since i+1l ρ x) and Ax 1 are both affine functions and u0) = P 0, we have for 1.
22 every x B θ i0) ˆl ρ θx) Aθx 1 = 1 θ)ˆl ρ 0) + θˆl ρ x) Ax 1 ) 1 θ) ˆl ρ 0) + θ ˆl ρ x) Ax 1 1 θ) ˆl ρ 0) + θ ˆl ρ x) u ρ x) + θ u ρ x) Ax 1 1 θ)dˆl0), u0)) + θdˆlx), ux)) + θ u ρ x) Ax 1 < 1 θ)θ i+1 D 0 i+3 + θi+ D 0 i+3 + iδθ by 44) and 4)). 45) which implies that for x B θ i+10) i+1 l ρ x) Ax 1 = ˆl ρ θx) Aθx 1 < i δθ + θ i+1 D 0 i+. This is the second inequality of 5). q.e.d. Theorem 15 Let E 0 > 0, A > 0, δ 0 > 0 and a normalized metric g on B 1 0) be given. There exists σ 0 > 0 and D 0 > 0 such that if u : B 1 0), g σ ) H is a harmonic map that satisfies σ 0, σ 0 ], u0) = P 0, E u E 0, and then du, l) < D 0 where lx) = Ax 1, 0), 46) B 1 0) s 1 u ρ Ax 1 < δ 0. B s0) Proof. For E 0, A and δ 0 given in the statement of the theorem, let σ 0 > 0, θ 0, 1 8 ), ɛ 0 > 0 and D 0 > 0 be as in Lemma 14. By letting 0l = l and 0 δ = D 0, Lemma 4 implies du, 0 l) < D 0 B 1 0) B 1 0) u ρ Ax 1 < 0 δ < D 0. Apply Lemma 14 inductively to conclude that for all i = 0, 1,,..., i u ρ Ax 1 < i δ < θ i D 0 B θ i0) k < θi D 0. 47) k=0
23 For s 0, 1], let i be a nonnegative integer such that s θ i+1, θ i ]. Then u ρ Ax 1 u ρ Ax 1 D 0 θ i < D 0 θ 1 s. B s0) B θ i0) The assertion of the lemma now follows from ) of Lemma 14. q.e.d. With future application in mind cf. [DM1]), we state a following extention of Theorem 15 below. First, we note that φ is a Jacobi field generated by the one-parameter family of unit speed geodesics ρ γ c ρ) = ρ, c) and g H is g H = 1 0, 0 φ We now consider a family of Riemannian metrics G defined on R with the standard coordinates denoted by ϱ, ϕ) such that ) 1 0 g = 0 J ϱ, ϕ) G satisfies the following conditions: A1) Let H, g denote the Riemanian manifold R, g). For any c R, the curve ϱ γ c = ϱ, c) is a unit speed geodesic with respect to g. In particular, the subspace H, g [ φ 0 ϑ ] := {ϱ, ϕ) H, g : ϕ φ 0 ϑ } of H, g is totally geodesic. The norm of the Jacobi field Moreover, J ϱ, ϕ) = ϕ g. ϕ is inf J ϱ, ϕ) ϱ ) where the infimum is taken over {ϱ, ϕ) R : ϱ ϱ 0 }. A) Let R [ 1, 1), E 0 > 0, A 0 > 0 and a normalized metric g on B R 0) cf. Definition 5) be given. There exist C 1 and α > 0 such that for any g G, the assertion of Theorem 10 is valid with H, g replacing H and H, g [ φ 0 ] replacing H ϑ [ φ 0 ]. ϑ 3
24 Theorem Let E 0 > 0, A > 0, δ 0 > 0 and a normalized metric g on B 1 0) be given. There exists c > 0, σ 0 > 0 and D 0 > 0 with the following property. If σ 0, σ 0 ], g G and u : B 1 0), g σ ) H, g is a map satisfiying u0) = P 0, E u E 0, and du, l) < D 0 where lx) = Ax 1, 0) B 1 0) then For any σ 0, σ 0 ] and a harmonic map w : B 1 0), g σ ) H, there exists a constant C > 0 such that d u, w) C d u, w)dσ gσ + cσ 4, 49) B 15σR 0) B σr 0) s 1 u ρ Ax 1 < δ 0. B s0) Proof. The ingredients of the proof of the crucial Induction step cf. Lemma 14) are Theorem 10, Lemma 1 and Lemma 13. Assumptions A) replaces Theorem 10. To complete the proof of this lemma, we need to check that we can replace Lemma 1 and Lemma 13. First, we claim that 48) implies the assertion of Lemma 11 with ) H, g replacing H and H, g [ θ i 3 ɛ 0 θ i D 0 ] replacing H i [ θ i ɛ 0 Indeed, given a curve t [0, 1] γt) = γ ϱ t), γ ϕ t)) with γ ϱ t) θi ɛ 0, we have by 48) that θ i ) 3 ɛ 0 J γ ϱ t), γ ϕ t)) ) 3 θ i D 0 i ]. Replacing 19) in the proof of Lemma 11 with the above inequality, we can arrive at the conclusion of Lemma 11. This immediately implies Lemma 1. Next, we claim that inequality 49) replaces the harmonicity of u in the proof of Lemma 14. Indeed, applying inequality 49) with σ = θ i, we obtain B 15θ i R d u θi, w) = θ i+ D 0 0) i+9 + Oθi )θ 4i 4
25 instead of inequality 40) in the proof of Lemma 14. By 3) and 33), θ 4 = C 18 c 1 0 A 1 D0. Thus, by assuming that θ in addition to satisfying 9), 30) and 31)) is chosen such that { } A 1 1 θ < min C 18 c 1, 0 37, and we obtain by Therefore, Oθ i )θ 7 1, Oθ i )θ i θ i 7 Oθ i )θ 5 θ i 7 Oθ i )D 0 < D 0 i+9. B 15θ i R d u, w) < θ D 0 0) i+8. This in turn implies 41), and we can continue with the rest of the proof of Lemma 14. q.e.d. 5 Proof of the main theorem In this section, we prove Theorem 1. Lemma 17 Let g be a normalized metric defined on B R 0) cf. Definitio 5) and u : B R 0), g) H, d) be a harmonic map with Ord u 0) = 1 and u0) = P 0. Furthermore, let A > 0 be determined by the blow up sequence given in Lemma 7. For δ 0 > 0, there exist σ > 0 and a homogeneous degree 1 map l σ : B 1 0) H satisfying l σ 0) = P 0 and such that dl σ, P 0 ) = A B 1 0) s 1 u σρ l σρ < δ 0, s 0, 1) B s0) where u σ is a blow up map of u at 0 as defined in 5). 5
26 Proof. Apply Lemma 7 to assert that, after rotating the domain if necessary, there exists a subsequence σ i 0 such that where lim du σ i, l σi ) = 0 i Ax 1, φ + σ i ) x 1 > 0 l σi x) = P 0 x 1 = 0 Ax 1, φ σ i ) x 1 < 0. For each i, define an isometry ι σi : H H by setting ρ, φ φ + σ i ) if P = ρ, φ) with ρ > 0 ι σi P ) = P 0 if P = P 0 ρ, φ φ σ i ) if P = ρ, φ) with ρ < 0. 50) In particular, we then have l := ι σi l σi = Ax 1, 0) and lim dι σ i u σi, l) = 0. i Furthermore, by the normalization 7) and the fact that Ord u x 0 ) = 1, we have that lim σ i 0 Euσ i 1) = 1. For E 0 =, A > 0 contained in 50), δ 0 > 0 and g given in the statement of the lemma, let σ 0 > 0 and D 0 > 0 be as in Theorem 15. Fix σ i 0, σ 0 ] sufficiently small such that and let Since ι σ u σ satisfies dι σi u σi, l) < D 0 and E uσ i 1) < σ = σ i, and u = ι σi u σi = ι σ u σ. u0) = P 0, E u, the lemma follows immediately from Theorem 15. q.e.d. Lemma 18 If g is a normalized metric defined on B R 0) cf. Definition 5) and u : B R 0), g) H, d) is a harmonic map with Ord u 0) = 1 and u0) = P 0, then I u I u r) := lim 0. r 0 rn+1 6
27 Proof. The fact that the limit as r 0 of the ratio Iu r) exists r n+1 follows from [GrSc] also see [DM4]). Let A be as in Lemma 17. By choosing δ 0 0, A ) in Lemma 17 and applying the triangle inequality we obtain Therefore, As < l σρ u σρ l σρ < u σρ. B s0) B s0) B s0) 0 A lim 1 s 0 s u σρ. B s0) The assertion now follows from the fact that q.e.d. I u r) r n+1 = Iu σ) σ n 1 σ Iuσ σr) σr) n+1. Remark 19 As shown in [DM5], Lemma 18 implies a strong uniqueness statement of tangent maps of u. Let g be a normalized metric defined on B R 0) cf. Definition 5) and u : B R 0), g) H, d) be a harmonic map with u0) = P 0 and Ord u 0) = 1. By virtue of Lemma 18, there exists a constant λ > 0 such that λs µs) λ 1 s where µ is defined in 6). Thus, we will consider blowup maps of u at x 0 normalized by 1 t instead of µ 1 t). These maps u t x) := 1 utx) 51) t will be referred to as the re-normalized blow up maps. We now prove the following uniqueness statement. Theorem 0 If g is a normalized metric defined on B R 0) cf. Definition 5) and u : B R 0), g) H, d) is a harmonic map with Ord u 0) = 1 and u0) = P 0. Then there exists a rotation R : R n R n and a constant A such that for all x = x 1,..., x n ) B 1 0). lim u t ρ Rx) Ax 1 = 0 t 0 B 1 0) 7
28 Proof. By Lemma 17, given δ 0 > 0, there exist σ > 0 and a homogeneous degree 1 map l σ : B 1 0) H such that u σρ l σρ < δ 0 s, s 0, 1) B s0) where we can assume after applying a rotation of the domain if necessary) that Ax 1, φ + 0 ) x1 > 0 l σ x) = P 0 x 1 = 0 Ax 1, φ 0 ) x1 < 0. In particular, with we have u s σx) = 1 s u σsx) and l s σx) = 1 s l σsx) u s σρx) Ax 1 < δ 0, s 0, 1). B 1 0) The lemma now follows immediately since σ is fixed. q.e.d. Definition 1 For a harmonic map u : Ω, g) H from a Riemannian domain, let S 1 u) := {x B 1 0) : ux) = P 0 and Ord u x) = 1}. For x S 1 u), identify x = 0 via normal coordinates and let A x and R x be the constant A and the rotation R of Theorem 0. Let l x : B 1 0) H, l x = l R where lx) = A x x 1, 0). The l x is called the unique tangent map of u at x. Theorem For a harmonic map u : Ω, g) Y from a smooth Riemannian domain and x S 1 u), let l x be the unique tangent map of u at x. Then x l x is continuous on S 1 u) with the topology of uniform convergence on compact sets. Proof. By the definition of the re-normalized blow up maps in 51) and of the unique tangent map in Definition 1, lim du t x, l x ) = 0, r 0, 1). 5) t 0 B r0) 8
29 Fix x 0 S 1 u). By applying a rotation if necessary, we can assume without the loss of generality that l x0 x) = A x0 x 1. For a given r 0, 1) and D 0 > 0, 5) implies that we can fix t > 0 sufficiently small such that du t x 0, l x0 ) < D 0 B r0). The Lipschitz continuity of u implies that for x S 1 u) sufficiently close to x 0 depending on t), du t x, u t x 0 ) < D 0 B r0). Thus, triangle inequality and the above inequality imply du t x, l x0 ) < D 0 53) B r0) for x S 1 u) sufficiently close to x 0. Given δ 0 > 0, we choose D 0 > 0 as in Theorem 15 to conclude which immediately implies Letting s 0 above, we obtain Since l xφ = 0 = l x0 φ, this implies q.e.d. u t xρ l x0 ρ < δ 0 s B sr0) u t x) s ρ l x0 ρ < δ 0. B r0) l xρ l x0 ρ < δ 0. B r0) dl x, l x0 ) < δ 0. B r0) Proof of Theorem 1. The set S 0 u) of higher order points of Hausdorff codimension at least by Theorem 6. The set S 1 u) is C 1 by Theorem. q.e.d. 9
30 References [DM1] [DMW] [DM] [DM3] [DM4] [DM5] [DMV] [DW] [GrSc] G. Daskalopoulos and C. Mese. Harmonic maps into the model space for the Weil-Petersson Metric. Preprint. G. Daskalopoulos, C. Mese and R. Wentworth. Rigidities of Teichmüller space. In preparation. G. Daskalopoulos and C. Mese. High order singularites of maps into NPC Spaces. Preprint. G. Daskalopoulos and C. Mese. C 1 -Estimates for the Weil- Petersson metric. In preparation. G. Daskalopoulos and C. Mese. On the singular set of harmonic Maps into DM-Complexes. Preprint. G. Daskalopoulos and C. Mese. Monotonicity properties of harmonic maps into NPC spaces. J. Fixed Point Theory Appl ) 543. G. Daskalopoulos, C. Mese and A. Vdovina. Superrigidity of hyperbolic buildings. Geometric and Functional Analysis 1 011) G. Daskalopoulos and R. Wentworth. Classification of Weil- Petersson isometries. Amer. J. Math., 15 4): , 003. M. Gromov and R. Schoen. Harmonic maps into singular spaces and p-adic errigidity for lattices in groups of rank one. IHES Publ. Math ) 5-46 [BH] M. Bridson and A. Haefliger. Metric spaces of Non- Positive Curvature, Grundlehren der Mathematischen Wissenschaften, Vol 319, Springer-Verlag, Berlin [KS1] [KS] N. Korevaar and R. Schoen. Sobolev spaces and harmonic maps for metric space targets. Communications in Analysis and Geometry ), N. Korevaar and R. Schoen. Global existence theorem for harmonic maps to non-locally compact spaces. Communications in Analysis and Geometry ),
31 [W] [Wo] [Ya] R. Wentworth. Regularity of harmonic maps from surfaces to the Weil-Petersson completion of Teichmüller space. Unpublished Manuscript. S. Wolpert. Geometry of the Weil-Petersson completion of Teichmüller space. Surveys in Differential Geometry, VIII: Papers in Honor of Calabi, Lawson, Siu and Uhlenbeck, editor S. T. Yau, International Press, 003. S. Yamada. Weil-Petersson completion of Teichmüller spaces and mapping class group actions. Preprint,
On the Intrinsic Differentiability Theorem of Gromov-Schoen
On the Intrinsic Differentiability Theorem of Gromov-Schoen Georgios Daskalopoulos Brown University daskal@math.brown.edu Chikako Mese 2 Johns Hopkins University cmese@math.jhu.edu Abstract In this note,
More informationRigidity of Teichmüller Space
Rigidity of Teichmüller Space Georgios Daskalopoulos 1 Brown University daskal@math.brown.edu Chikako Mese Johns Hopkins University cmese@math.jhu.edu Abstract This is the third paper in the series ([DM1]
More informationSuperrigidity of Hyperbolic Buildings
Superrigidity of Hyperbolic Buildings Georgios Daskalopoulos Brown University daskal@math.brown.edu Chikako Mese 1 ohns Hopkins University cmese@math.jhu.edu and Alina Vdovina University of Newcastle Alina.Vdovina@newcastle.ac.uk
More informationThe Structure of Singular Spaces of Dimension 2
The Structure of Singular Spaces of Dimension 2 Chikako Mese Department of Mathematics Box 5657 Connecticut College 270 Mohegan Avenue New London, CT 06320 cmes@conncoll.edu Abstract: In this paper, we
More informationRegularity of harmonic maps from a flat complex
Regularity of harmonic maps from a flat complex Chikako Mese Abstract. We show that a harmonic map from an admissible flat simplicial complex into a metric space of non-positive curvature is Lipschitz
More informationFixed point and rigidity theorems for harmonic maps into NPC spaces
Fixed point and rigidity theorems for harmonic maps into NPC spaces Georgios Daskalopoulos 1 Brown University daskal@math.brown.edu Chikako Mese Johns Hopkins University cmese@math.jhu.edu Abstract We
More informationHarmonic maps between singular spaces I
Harmonic maps between singular spaces I Georgios Daskalopoulos 1 Brown University daskal@math.brown.edu Chikako Mese Johns Hopkins University cmese@math.jhu.edu Abstract We discuss regularity questions
More informationERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX
ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX JOHN LOFTIN, SHING-TUNG YAU, AND ERIC ZASLOW 1. Main result The purpose of this erratum is to correct an error in the proof of the main result
More informationSUPERRIGIDITY OF HYPERBOLIC BUILDINGS. Georgios Daskalopoulos, Chikako Mese and Alina Vdovina. 1 Introduction
Geom. Funct. Anal. Vol. 21 (2011) 905 919 DOI 10.1007/s00039-011-0124-9 Published online uly 22, 2011 2011 Springer Basel AG GAFA Geometric And Functional Analysis SUPERRIGIDITY OF HYPERBOLIC BUILDINGS
More informationIntrinsic Geometry. Andrejs Treibergs. Friday, March 7, 2008
Early Research Directions: Geometric Analysis II Intrinsic Geometry Andrejs Treibergs University of Utah Friday, March 7, 2008 2. References Part of a series of thee lectures on geometric analysis. 1 Curvature
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationGeometry of Moduli Space of Low Dimensional Manifolds
Geometry of Moduli Space of Low Dimensional Manifolds RIMS, Kyoto University January 7 10, 2018 Supported in part by JSPS Grant-in-aid for Scientific Research KAKENHI 17H01091 1 Monday, January 7 Understanding
More informationStrictly convex functions on complete Finsler manifolds
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 4, November 2016, pp. 623 627. DOI 10.1007/s12044-016-0307-2 Strictly convex functions on complete Finsler manifolds YOE ITOKAWA 1, KATSUHIRO SHIOHAMA
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationOn the exponential map on Riemannian polyhedra by Monica Alice Aprodu. Abstract
Bull. Math. Soc. Sci. Math. Roumanie Tome 60 (108) No. 3, 2017, 233 238 On the exponential map on Riemannian polyhedra by Monica Alice Aprodu Abstract We prove that Riemannian polyhedra admit explicit
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationResults from MathSciNet: Mathematical Reviews on the Web c Copyright American Mathematical Society 2000
2000k:53038 53C23 20F65 53C70 57M07 Bridson, Martin R. (4-OX); Haefliger, André (CH-GENV-SM) Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles
More informationICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber
Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian
More informationA NOTION OF NONPOSITIVE CURVATURE FOR GENERAL METRIC SPACES
A NOTION OF NONPOSITIVE CURVATURE FOR GENERAL METRIC SPACES MIROSLAV BAČÁK, BOBO HUA, JÜRGEN JOST, MARTIN KELL, AND ARMIN SCHIKORRA Abstract. We introduce a new definition of nonpositive curvature in metric
More informationG. DASKALOPOULOS, S. DOSTOGLOU, AND R. WENTWORTH
CHARACTER VARIETIES AND HARMONIC MAPS TO R-TREES G. DASKALOPOULOS, S. DOSTOGLOU, AND R. WENTWORTH Abstract. We show that the Korevaar-Schoen limit of the sequence of equivariant harmonic maps corresponding
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationENTROPY, WEIL-PETERSSON TRANSLATION DISTANCE AND GROMOV NORM FOR SURFACE AUTOMORPHISMS SADAYOSHI KOJIMA. ϕ WP = inf
ENTROPY, WEIL-PETERSSON TRANSLATION DISTANCE AND GROMOV NORM FOR SURFACE AUTOMORPHISMS SADAYOSHI KOJIMA Abstract. Thanks to a theorem of Brock on comparison of Weil-Petersson translation distances and
More informationVolume comparison theorems without Jacobi fields
Volume comparison theorems without Jacobi fields Dominique Bakry Laboratoire de Statistique et Probabilités Université Paul Sabatier 118 route de Narbonne 31062 Toulouse, FRANCE Zhongmin Qian Mathematical
More informationThe Plateau Problem in Alexandrov Spaces
The Plateau Problem in Alexandrov Spaces Chikako Mese 1 Johns Hopkins University cmese@math.jhu.edu Patrick R. Zulkowski Johns Hopkins University pzulkows@math.jhu.edu Abstract We study the Plateau Problem
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationGeneric Aubry sets on surfaces
Université de Nice - Sophia Antipolis & Institut Universitaire de France Nanjing University (June 10th, 2013) Setting Let M be a smooth compact manifold of dimension n 2 be fixed. Let H : T M R be a Hamiltonian
More informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More informationHarmonic maps from a simplicial complex and geometric rigidity
Harmonic maps from a simplicial complex and geometric rigidity Georgios Daskalopoulos 1 Brown University daskal@math.brown.edu Chikako Mese 2 Johns Hopkins University cmese@math.jhu.edu Abstract We study
More informationRICCI CURVATURE: SOME RECENT PROGRESS A PROGRESS AND OPEN QUESTIONS
RICCI CURVATURE: SOME RECENT PROGRESS AND OPEN QUESTIONS Courant Institute September 9, 2016 1 / 27 Introduction. We will survey some recent (and less recent) progress on Ricci curvature and mention some
More informationA LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS
A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS SLOBODAN N. SIMIĆ Abstract. Whereas subriemannian geometry usually deals with smooth horizontal distributions, partially hyperbolic
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationTHE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF
THE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF D. D. LONG and A. W. REID Abstract We prove that the fundamental group of the double of the figure-eight knot exterior admits
More informationALEXANDER LYTCHAK & VIKTOR SCHROEDER
AFFINE FUNCTIONS ON CAT (κ)-spaces ALEXANDER LYTCHAK & VIKTOR SCHROEDER Abstract. We describe affine functions on spaces with an upper curvature bound. 1. introduction A map f : X Y between geodesic metric
More informationThe harmonic map flow
Chapter 2 The harmonic map flow 2.1 Definition of the flow The harmonic map flow was introduced by Eells-Sampson in 1964; their work could be considered the start of the field of geometric flows. The flow
More informationPythagorean Property and Best Proximity Pair Theorems
isibang/ms/2013/32 November 25th, 2013 http://www.isibang.ac.in/ statmath/eprints Pythagorean Property and Best Proximity Pair Theorems Rafa Espínola, G. Sankara Raju Kosuru and P. Veeramani Indian Statistical
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationarxiv: v2 [math.dg] 30 Nov 2016
MIN-MAX THEORY FOR FREE BOUNDARY MINIMAL HYPERSURFACES I - REGULARITY THEORY arxiv:1611.02612v2 [math.dg] 30 Nov 2016 MARTIN MAN-CHUN LI AND XIN ZHOU Abstract. In 1960s, Almgren [2, 3] initiated a program
More informationGeneralized vector equilibrium problems on Hadamard manifolds
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 (2016), 1402 1409 Research Article Generalized vector equilibrium problems on Hadamard manifolds Shreyasi Jana a, Chandal Nahak a, Cristiana
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More informationStabilization of Control-Affine Systems by Local Approximations of Trajectories
Stabilization of Control-Affine Systems by Local Approximations of Trajectories Raik Suttner arxiv:1805.05991v2 [math.ds] 9 Jun 2018 We study convergence and stability properties of control-affine systems.
More informationMetric and comparison geometry
Surveys in Differential Geometry XI Metric and comparison geometry Jeff Cheeger and Karsten Grove The present volume surveys some of the important recent developments in metric geometry and comparison
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli March 10, 2014 Lessons Basics of optimal transport Definition of spaces with Ricci curvature bounded from below Analysis on spaces with Ricci
More informationA strong Schottky Lemma for nonpositively curved singular spaces
A strong Schottky Lemma for nonpositively curved singular spaces To John Stallings on his sixty-fifth birthday Roger C. Alperin, Benson Farb and Guennadi A. Noskov January 22, 2001 1 Introduction The classical
More information2 DASKALOPOULOS, DOSTOGLOU, AND WENTWORTH In this paper we produce an R-tree for any unbounded sequence of irreducible representations of the fundamen
CHARACTER VARIETIES AND HARMONIC MAPS TO R-TREES G. DASKALOPOULOS, S. DOSTOGLOU, AND R. WENTWORTH Abstract. We show that the Korevaar-Schoen limit of the sequence of equivariant harmonic maps corresponding
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More informationGENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS
GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS PALLAVI DANI 1. Introduction Let Γ be a finitely generated grou and let S be a finite set of generators for Γ. This determines a word metric on
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationAvailable online at J. Nonlinear Sci. Appl., 10 (2017), Research Article
Available online at www.isr-publications.com/jnsa J. Nonlinear Sci. Appl., 10 (2017), 2719 2726 Research Article Journal Homepage: www.tjnsa.com - www.isr-publications.com/jnsa An affirmative answer to
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationδ-hyperbolic SPACES SIDDHARTHA GADGIL
δ-hyperbolic SPACES SIDDHARTHA GADGIL Abstract. These are notes for the Chennai TMGT conference on δ-hyperbolic spaces corresponding to chapter III.H in the book of Bridson and Haefliger. When viewed from
More informationInequalities for the ADM-mass and capacity of asymptotically flat manifolds with minimal boundary
Inequalities for the ADM-mass and capacity of asymptotically flat manifolds with minimal boundary Fernando Schwartz Abstract. We present some recent developments involving inequalities for the ADM-mass
More informationBOUNDARY OF ANOSOV DYNAMICS AND EVOLUTION EQUATIONS FOR SURFACES
BOUNDARY OF ANOSOV DYNAMICS AND EVOLUTION EQUATIONS FOR SURFACES DAN JANE AND RAFAEL O. RUGGIERO Abstract. We show that a C compact surface of genus greater than one, without focal points and a finite
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationMonotone Point-to-Set Vector Fields
Monotone Point-to-Set Vector Fields J.X. da Cruz Neto, O.P.Ferreira and L.R. Lucambio Pérez Dedicated to Prof.Dr. Constantin UDRIŞTE on the occasion of his sixtieth birthday Abstract We introduce the concept
More informationFixed point and rigidity theorems for harmonic maps into NPC spaces
Geom Dedicata (009) 141:33 57 DOI 10.1007/s10711-008-934-1 ORIGINAL PAPER Fixed point and rigidity theorems for harmonic maps into NPC spaces Georgios Daskalopoulos Chikako Mese Received: April 008 / Accepted:
More informationarxiv: v1 [math.dg] 19 Jun 2017
LIMITING BEHAVIOR OF SEQUENCES OF PROPERLY EMBEDDED MINIMAL DISKS arxiv:1706.06186v1 [math.dg] 19 Jun 2017 DAVID HOFFMAN AND BRIAN WHITE Abstract. We develop a theory of minimal θ-graphs and characterize
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
More informationHamiltonian stationary cones and self-similar solutions in higher dimension
arxiv:080.0359v1 [math.dg] 4 Feb 008 Hamiltonian stationary cones and self-similar solutions in higher dimension Yng-Ing Lee* and Mu-Tao Wang** June 07, 007, last revised February 3, 008 *Department of
More informationComputers and Mathematics with Applications
Computers and Mathematics with Applications 64 (2012) 643 650 Contents lists available at SciVerse ScienceDirect Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa
More informationHARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS. Seick Kim
HARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS Seick Kim We consider second-order linear elliptic operators of nondivergence type which are intrinsically defined on Riemannian
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationLECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS
LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS 1. The Bishop-Gromov Volume Comparison Theorem Recall that the Riemannian volume density is defined, in an open chart, to be
More informationThe Minimal Element Theorem
The Minimal Element Theorem The CMC Dynamics Theorem deals with describing all of the periodic or repeated geometric behavior of a properly embedded CMC surface with bounded second fundamental form in
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationarxiv: v4 [math.dg] 18 Jun 2015
SMOOTHING 3-DIMENSIONAL POLYHEDRAL SPACES NINA LEBEDEVA, VLADIMIR MATVEEV, ANTON PETRUNIN, AND VSEVOLOD SHEVCHISHIN arxiv:1411.0307v4 [math.dg] 18 Jun 2015 Abstract. We show that 3-dimensional polyhedral
More informationANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 1,June 00, Pages 11 15 ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS YUNHI CHO AND HYUK KIM Abstract We can extend the
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationFUNDAMENTAL DOMAINS IN TEICHMÜLLER SPACE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 21, 1996, 151 166 FUNDAMENTAL DOMAINS IN TEICHMÜLLER SPACE John McCarthy and Athanase Papadopoulos Michigan State University, Mathematics Department
More informationExistence and Regularity of Stable Branched Minimal Hypersurfaces
Pure and Applied Mathematics Quarterly Volume 3, Number 2 (Special Issue: In honor of Leon Simon, Part 1 of 2 ) 569 594, 2007 Existence and Regularity of Stable Branched Minimal Hypersurfaces Neshan Wickramasekera
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationEXISTENCE THEORY FOR HARMONIC METRICS
EXISTENCE THEORY FOR HARMONIC METRICS These are the notes of a talk given by the author in Asheville at the workshop Higgs bundles and Harmonic maps in January 2015. It aims to sketch the proof of the
More informationHADAMARD FOLIATIONS OF H n. I
HADAMARD FOLIATIONS OF H n. I MACIEJ CZARNECKI Abstract. We introduce the notion of an Hadamard foliation as a foliation of Hadamard manifold which all leaves are Hadamard. We prove that a foliation of
More informationHouston Journal of Mathematics c 2009 University of Houston Volume 35, No. 1, 2009
Houston Journal of Mathematics c 2009 University of Houston Volume 35, No. 1, 2009 ON THE GEOMETRY OF SPHERES WITH POSITIVE CURVATURE MENG WU AND YUNHUI WU Communicated by David Bao Abstract. For an n-dimensional
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationHarmonic quasi-isometric maps II : negatively curved manifolds
Harmonic quasi-isometric maps II : negatively curved manifolds Yves Benoist & Dominique Hulin Abstract We prove that a quasi-isometric map, and more generally a coarse embedding, between pinched Hadamard
More informationNew York Journal of Mathematics. Natural maps between CAT(0) boundaries
New York Journal of Mathematics New York J. Math. 19 (2013) 13 22. Natural maps between CAT(0) boundaries Stephen M. Buckley and Kurt Falk Abstract. It is shown that certain natural maps between the ideal,
More informationOn the definitions of Sobolev and BV spaces into singular spaces and the trace problem
On the definitions of Sobolev and BV spaces into singular spaces and the trace problem David CHIRON Laboratoire J.A. DIEUDONNE, Université de Nice - Sophia Antipolis, Parc Valrose, 68 Nice Cedex 2, France
More informationQuasi-conformal minimal Lagrangian diffeomorphisms of the
Quasi-conformal minimal Lagrangian diffeomorphisms of the hyperbolic plane (joint work with J.M. Schlenker) January 21, 2010 Quasi-symmetric homeomorphism of a circle A homeomorphism φ : S 1 S 1 is quasi-symmetric
More informationAFFINE IMAGES OF RIEMANNIAN MANIFOLDS
AFFINE IMAGES OF RIEMANNIAN MANIFOLDS ALEXANDER LYTCHAK Abstract. We describe all affine maps from a Riemannian manifold to a metric space and all possible image spaces. 1. Introduction A map f : X Y between
More informationRiemannian geometry of surfaces
Riemannian geometry of surfaces In this note, we will learn how to make sense of the concepts of differential geometry on a surface M, which is not necessarily situated in R 3. This intrinsic approach
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationREGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS
C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian
More informationBounded domains which are universal for minimal surfaces
Bounded domains which are universal for minimal surfaces Francisco Martín William H. Meeks, III Nicolai Nadirashvili August 16, 2005 Abstract We construct open domains in R 3 which do not admit complete
More informationISOPERIMETRIC INEQUALITY FOR FLAT SURFACES
Proceedings of The Thirteenth International Workshop on Diff. Geom. 3(9) 3-9 ISOPERIMETRIC INEQUALITY FOR FLAT SURFACES JAIGYOUNG CHOE Korea Institute for Advanced Study, Seoul, 3-7, Korea e-mail : choe@kias.re.kr
More informationComplete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3.
Summary of the Thesis in Mathematics by Valentina Monaco Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3. Thesis Supervisor Prof. Massimiliano Pontecorvo 19 May, 2011 SUMMARY The
More informationSPHERES IN THE CURVE COMPLEX
SPHERES IN THE CURVE COMPLEX SPENCER DOWDALL, MOON DUCHIN, AND HOWARD MASUR 1. Introduction The curve graph (or curve complex) C(S) associated to a surface S of finite type is a locally infinite combinatorial
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More informationCUT LOCI AND DISTANCE FUNCTIONS
Math. J. Okayama Univ. 49 (2007), 65 92 CUT LOCI AND DISTANCE FUNCTIONS Jin-ichi ITOH and Takashi SAKAI 1. Introduction Let (M, g) be a compact Riemannian manifold and d(p, q) the distance between p, q
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationSmall cancellation theory and Burnside problem.
Small cancellation theory and Burnside problem. Rémi Coulon February 27, 2013 Abstract In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationSINGULARITIES OF LAGRANGIAN MEAN CURVATURE FLOW: MONOTONE CASE
SINGULARITIES OF LAGRANGIAN MEAN CURVATURE FLOW: MONOTONE CASE ANDRÉ NEVES Abstract. We study the formation of singularities for the mean curvature flow of monotone Lagrangians in C n. More precisely,
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationSobolev Mappings between Manifolds and Metric Spaces
Sobolev Mappings between Manifolds and Metric Spaces Piotr Haj lasz Abstract In connection with the theory of p-harmonic mappings, Eells and Lemaire raised a question about density of smooth mappings in
More informationDevoir 1. Valerio Proietti. November 5, 2014 EXERCISE 1. z f = g. supp g EXERCISE 2
GÉOMÉTRIE ANALITIQUE COMPLEXE UNIVERSITÉ PARIS-SUD Devoir Valerio Proietti November 5, 04 EXERCISE Thanks to Corollary 3.4 of [, p. ] we know that /πz is a fundamental solution of the operator z on C.
More informationBest approximations in normed vector spaces
Best approximations in normed vector spaces Mike de Vries 5699703 a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More information