On the Intrinsic Differentiability Theorem of Gromov-Schoen
|
|
- Philippa Chase
- 5 years ago
- Views:
Transcription
1 On the Intrinsic Differentiability Theorem of Gromov-Schoen Georgios Daskalopoulos Brown University Chikako Mese 2 Johns Hopkins University cmese@math.jhu.edu Abstract In this note, we generalize the key technical result of Gromov and Schoen [GS] Theorem 5. which states that a harmonic map from a smooth Riemannian domain to an F -connected complex can be well approximated near a point of order one by a homogeneous degree one map. The generalization provided here is necessary in order to estimate the codimension of the singular set of energy minimizing maps into a general class of Riemannian complexes and to prove superrigidity for targets (for example, hyperbolic buildings) that are not covered by the work of Gromov and Schoen. Introduction In their pioneering work, Gromov and Schoen [GS] developed the theory of harmonic maps when the target space is a non-positively curved Riemannian simplicial complex. This theory was substantially expanded in the subsequent papers of Korevaar and Schoen [KS] [KS2] to include general non-positively curved metric space targets. The main application of the harmonic map theory of Gromov and Schoen is to establish rank one superrigidity for representations into p-adic groups. The Archimedean rank one superigidity was previously established by Corlette [C] who used harmonic supported by research grant NSF DMS supported by research grant NSF DMS
2 map theory together with a new Bochner formula to prove the result. The proof of Gromov-Schoen s non-archimedean superrigidity theorem involves a delicate analysis of the local behavior of harmonic maps from smooth Riemannian manifolds into Euclidean buildings. In particular, they show that a harmonic map from a smooth Riemannian domain to a k-dimensional NPC (non-positively curved) F-connected complex locally maps into a Euclidean space outside a set of codimension at least 2. Here, a k-dimensional F- connected complex is a locally finite Riemannian complex such that any two adjacent simplices are contained in a k-flat, by which we mean a totally geodesic subcomplex isometric to a region in R k. In [DM] and [DM2], we consider a more general class of NPC complexes that are not necessarily Euclidean. Such complexes can have arbitrary Riemannian metrics but we assume that they are DM-connected in the sense that any two adjacent simplices are contained in a DM, an image of a differentiable Riemannian manifold isometrically embedded in Y. One of the technical points needed in the analysis of [DM] and [DM2] is a generalization of [GS] Theorem 5. and the purpose of this note is to provide such a generalization. The main ideas are all due to Gromov-Schoen. Our contribution consists of two observations. First, we replace the essential regularity assumption of the complex with an assumption of essential regularity of the tangent cone. More importantly, we loosen the assumption of closeness from C 0 -close to L -close and still draw the same conclusion. 2 Definitions A metric space (Y, d) is called an NPC space if (i) the space (Y, d) is a length space. That is, for any two points P and Q in Y, there exists a rectifiable curve c so that the length of c is equal to d(p, Q). We call such distance realizing curve a geodesic and (ii) for any three points P, R, Q Y, let c : [0, l] Y be the arclength parameterization of a geodesic from Q to R and let Q t = c(tl) for t [0, ]. Then d 2 (P, Q t ) ( t)d 2 (P, Q) + td 2 (P, R) t( t)d 2 (Q, R). Throughout this note, we will additionally assume that Y is locally compact and a Riemannian complex which we now define. Let E d be an affine space. A convex, bounded, piecewise linear polyhedron S with interior in 2
3 some E i E d is called a cell. We will use the notation S i to indicate the dimension of S. A complex Y in E d is a finite collection F = {S} of cells satisfying the following properties: (i) the boundary S of S i F is a union of T j F with j < i (called the faces of S) and (ii) if T j, S i F with j < i and S i T j, then T j S i. For example a simplicial complex is a cell complex whose cells are all simplices. We will denote by Y (i) the i-dimensional skeleton of Y, i.e. the union of all cells S j where j i. A complex Y is called k-dimensional or simply a k-complex if Y (k+) = but Y (k). Additionally, if each cell S of Y is equipped with a smooth Riemannian metric g S such that the component functions of g S extend smoothly all the way to the boundary of S and whenever S is a face of S then the restriction g S to S is equal to g S, then Y is called a Riemannian complex. We will furthermore assume that S is totally geodesic in S for any S and any of its faces S. We now review the notion of energy minimizing or harmonic maps in the singular context. Let Y be an NPC space. A map u : Ω Y is said to be an L 2 -map (or u L 2 (Ω, Y )) if there exists P Y such that Ω d 2 (u(x), P )dµ <. For u L 2 (Ω, Y ), we define the energy density u 2 as in [GS] (if Y is a locally compact Riemannian complex) or more generally for arbitrary NPC spaces as in [KS]. We set E(u) = X u 2 dµ and call a map u of Sobolev class W,2 (Ω, Y ) if E(u) <. If u W,2 (Ω, Y ), then there exists a well-defined notion of a trace of u, denoted T r(u), which is an element of L 2 ( Ω, Y ). Two maps u, v W,2 (Ω, Y ) have the same trace (i.e. T r(u) = T r(v)) if and only if d(u, v) W,2 0 (Ω). For details we refer to [KS]. A map u : Ω Y is said to be energy minimizing or harmonic if it is energy minimizing among all W,2 -maps with the same trace. The main regularity result of [GS] and [KS] is that harmonic maps are locally Lipschitz continuous. The key to Lipschitz regularity is the order function that we shall briefly review. Let u : Ω Y be a harmonic map. By Section.2 of [GS], given x Ω there exists a constant c > 0 depending only on the 3
4 C 2 norm of the metric on Ω such that σ Ord u (x, σ) := e cσ2 σ E x(σ) I x (σ) is non-decreasing for any x Ω. In the above E x (σ) := u 2 dµ and I x (σ) := B σ(x) As a non-increasing limit of continuous functions, B σ(x) Ord u (x) := lim σ 0 Ord u (x, σ) d 2 (u, u(x))dσ(x). is an upper semicontinuous function. By following the proof of Theorem 2.3 in [GS], we see that Ord u (x) (this is equivalent to the Lipschitz property of u). The value Ord u (x) is called the order of u at x. Before we proceed with the main Theorem 5, we recall some more terminology from [GS]. Definition Let T be an NPC space. A map l : B r0 (0) R n T is said to be intrinsically homogeneous of degree α if d(l(tx), l(0)) = t α d(l(x), l(0)) for t (0, ], x B r0 (0) and the curve t l(tx) is a constant speed parameterization of a geodesic. The number α is the degree of the map. Definition 2 Let T be an NPC space and T 0 be a subspace of T. We say that an instrically homogeneous degree map l 0 : B r0 (0) T is effectively contained in T 0 if l 0 (B r0 (0)) T 0 and for all P T 0 sufficiently close to P = l 0 (0), there exists an intrinsically homogeneous map l P : B r0 (0) R n T 0 of degree satisfying the following conditions: (a) l P (0) = P, (b) sup Br0 (x 0 ) d(l P, l 0 ) 0 uniformly as P P and (c) for any ɛ > 0, there exists δ = δ(ɛ) > 0 such that Vol{x B σ (0) : B T δσ(l P (x)) T 0 } < ɛσ n, σ (0, r 0 2 ]. 4
5 Note that Definition 2 is inspired by the definition of effectively contained in [GS]. However, even when T is an F -connected complex, our definition is slightly weaker than the one given in [GS]. Definition 3 Let Ω a smooth Riemannian domain and T 0 an NPC space. A map v : B r (0) R n T 0 is instrinsically differentiable if there exist ρ 0 > 0, c > 0 and β (0, ] and an intrinsically homogeneous degree map ˆl : Bρ0 (0) T 0 such that sup d(v, ˆl) cσ +β inf sup d(v, L), σ (0, ρ 0 B σ(0) L B ρ 02 (0) 2 ], where the infimum is taken over all intrinsically homogeneous maps L of degree. The constants c, ρ 0, and β may depend only on T 0 and the total energy of the map u. Definition 4 An NPC space T 0 is called essentially regular if for any harmonic map u : Ω Y with u(ω) T 0, the restriction of u to any compact subset of Ω is intrinsically differentiable. 3 Main Theorem Theorem 5 (Main theorem) Let Y be locally compact Riemannian complex and assume Y 0 is a totally geodesic subcomplex of Y. Fix P Y 0 and assume that T P Y 0 is essentially regular for P Y 0 close to P. Let l 0 : B r0 (0) R n T P Y be an instrinsically homogeneous degree map effectively contained in T P Y 0 and l 0 (0) = O P, the origin of T P Y. Let Ω be a smooth Riemannian domain, u : Ω Y a harmonic map, Ω 0 a compactly contained subset of Ω, x 0 Ω 0 such that u(x 0 ) = P and u is of order at x 0. Then there exist σ 0 > 0 and δ 0 > 0 such that if d(exp σ n (x), l 0 (x)) dµ < δ 0, σ (0, σ 0 ) B σ(0) then u(b σ (x 0 )) Y 0 for some σ > 0. The constants σ 0 and δ 0 depend only on Ω 0, Ω, Y, Y 0 and the total energy E u of u. 5
6 Before we proceed with the proof of Theorem 5, we prove the following two lemmas. Lemma 6 Suppose T is an NPC space and T 0 a totally geodesic subspace of T. Let ũ : R n T and define θ u(x) to be the point at a distance θ d(ũ(0), ũ(θx)) from ũ(0) such that the unique geodesic from ũ(0) to θ u(x) contains the point ũ(θx). Let l : R n T 0 be an instrisically homogeneous map of degree with l(0) = ũ(0). Assume the constants c >, β > 0, θ (0, 4 ), δ > 0 and ɛ > 0 satisfy the following conditions: (i) for all ρ [ 3, ], there exists a map v : B 4 ρ(0) R n T 0 with v = Π Bρ(0) T 0 ũ where Π Bρ(0) T 0 : T T 0 is the projection map such that sup d( θi u, v) c d( θi u, v). B 2 (0) 8 B ρ(0) (ii) For the map v : R n T 0 defined in (i), there exists an intrinsically homogeneous degree map ˆl : R n T 0 such that sup d(v, ˆl) cθ +β inf sup d(v, L) B θ (0) L B 2 (0) where the infimum is taken over all instrinsically homogeneous maps L of degree. (iii) The constants c, θ, δ and ɛ satisfy cθ β < 4, () cɛ θ + c 2 ɛ θ β < 4 (2) and V ol{x B σ (0) : B T δ σ(l(x)) T 0 } < ɛ σ n. (3) Let i l : R n T 0 be instrisically homogeneous maps of degree and iδ < ɛ δ, (4) 6
7 then we have the following implication: sup d( θi u, i l) =: D i B (0) d( θi u, θi l)dµ < i δ implies that there exists an instrinsically homogeneous degree map i+ l : T 0 so that D i+ := sup d( θi+ u, i+ l) < 2 D i (5) d( θi+ u, θi+ l)dµ < i+ δ := 2θ D i V 0 + i δ where V 0 is the volume of. Proof. We first give the proof of the first inequality of (5). The inequality of (3) with σ = θ i implies V ol{x : B T δ ( θi l(x)) T 0 } < ɛ. Since δ V ol{x : d( θi u(x), θi l(x)) > δ } inequality (4) implies Additionally, d( θi u, θi l)dµ < i δ, V ol{x : d( θi u(x), θi l(x)) > δ } < i δ δ < ɛ. V ol{x : θ i u(x) / T 0 } V ol{x : B T δ ( θi l(x)) T 0 } < 2ɛ, +V ol{x : d( θi u(x), θi l(x)) > δ } and thus there exists ρ [3/4, ] such that V ol{x B ρ (0) : θ i u(x) / T 0 } < 8ɛ. 7
8 Therefore, if Π T0 : T T 0 is the nearest point projection, then V ol{x B ρ (0) : θ i u(x) Π T0 θi u(x)} < 8ɛ. Let v : B ρ (0) T 0 be as given in (i). The fact that Π T0 is the nearest point projection and the above inequality imply that d( θi u, v)dσ = d( θi u, Π T0 θi u)dσ B ρ(0) and thus the inequality of (i) implies B ρ(0) 8ɛ sup d( θi u, Π T0 θi u) B ρ(0) 8ɛ sup d( θi u, i l) = 8ɛ D i, sup d( θi u, v) < cɛ D i. B 2 (0) By (ii), there exists a homogeneous degree harmonic map ˆl : T 0 so that sup d(v, ˆl) cθ +β sup d(v, i l). B θ (0) B 2 (0) The above two inequalities combine to give sup d( θi u, ˆl) sup d( θi u, v) + sup d(v, ˆl) B θ (0) B θ (0) B θ (0) < cɛ D i + cθ +β sup d(v, i l) B 2 (0) cɛ D i + cθ +β < cɛ D i + cθ +β (cɛ D i + D i ) = (cɛ + c 2 ɛ θ +β + cθ +β )D i. sup d(v, θi u) + sup d( θi u, i l) B 2 (0) B 2 (0) By () and (2), we have that (cɛ θ + c 2 ɛ θ β + cθ β ) < 2. Thus, if i+l : T 0 is defined by i+ l(x) = θˆl(x), then D i+ = sup d( θi+ u, i+ l) < 2 D i. 8
9 This completes the proof of the first inequality of (5). We now prove the second inequality of (5). Since θi l(0) = θi u(0), we have d( θi l(0), i l(0)) d( θi u(0), i l(0)) D i. Using the fact that θ i Y is NPC, for any x B (x), we obtain Thus, d( θi l(θx), i l(θx)) ( θ)d( θi l(0), i l(0)) + θd( θi l(x), i l(x)). which implies d( θi l(θx), i l(θx)) dµ ( θ)d i V 0 + θ ( θ)d i V 0 + θ ( θ)d i V 0 + θ( i δ + D i V 0 ) D i V 0 + θ i δ, d( θi l(x), i l(x)) dµ d( θi u(θx), θi l(θx)) dµ d( θi u(θx), i l(θx)) dµ + 2D i V 0 + θ i δ. d( θi l(x), θi u(x)) + d( θi u(x), i l(x)) dµ d( θi l(θx), i l(θx)) dµ Therefore, d( θi+ u(x), θi+ l(x)) dµ 2θ D i V 0 + i δ. This proves the second inequality of (5) and complete the proof. q.e.d. Lemma 7 Let Y be an NPC space, Ω be a smooth Riemannian domain, and Ω 0 a compactly contained subset of Ω. There exist σ > 0 and c > 0 9
10 depending only on Ω 0, Ω and Y such that if u : Ω Y is a harmonic map with only points of order in Ω 0, u(x 0 ) = P and E u C, then sup x B 2 (0) d(û(x), ˆv(x)) c d(û(x), ˆv(x)) dσ + r (6) for any x B σ (0) T x0 Ω R n, r (0, σ ] and any harmonic map ˆv : R n T P Y 0 with E ˆv C. In the above, we define û : R n T P Y 0 by setting û(x) = exp (x + rx). Proof. If the assertion of the lemma is not true, then there exist x 0i Ω 0, x i T x0i Ω R n with x i 0, r i 0, c i and harmonic 2 maps u i : Ω Y and i v : R n T P Y 0 such that sup x B 2 (0) d( i u, i v) c i d( i u, i v) dσ + where i u(x) = r i exp P u i exp x0i (x i + r i x). Here, we use the notation P to represent the point in T r P Y at a distance d(o r P, P ) such that the unique geodesic from O P to P contains the point P. Because of the uniform r bound on the energy and the smoothness of the metrics, the sequences i u, i v converge uniformly on every compact subset to harmonic maps u : B 2 (0) R n T P Y and v : R n T P Y 0. Thus, there exists c > 0 such that sup d(u, v ) c d(u, v ) dσ, x B 2 (0) B ρ(0) and this contradicts the fact that d( i u, i v) converge uniformly to d(u, v ). q.e.d. Proof of Theorem 5. For δ 0 > 0 and σ 0 > 0 to be chosen later, assume d(exp (x), l 0 (x)) dµ < δ 0. σ n 0 B σ0 (0) Since x B σ 0 2 (0) implies B σ 0 2 (x ) B σ0 (0), we have that B σ 0 2 (x ) d(exp (x), l 0 (x)) dµ < δ 0 σ n 0. 0
11 In particular, there exists r 0 [ σ 0 4, σ 0 2 ] such that d(exp (x), l 0 (x)) dµ < 4 δ 0 σ0 n = 4δ 0 σ0 n. σ 0 B r0 (x ) Therefore, we have and d(exp (x + r 0 x)), l 0 (x + r 0 x)) dµ d(exp (x), l 0 (x)) dµ = r n 0 r n 0 < δ 0 σ n 0 r n 0 B r0 (x ) B σ 0 2 (x ) = 4 n δ 0 d(exp (x), l 0 (x)) dµ d(exp (x + r 0 x)), l 0 (x + r 0 x))) dµ = r0 n d(exp (x), l 0 (x)) dµ B r0 (x ) σ0 n < 4δ 0 r0 n = 4 n δ 0. Let x B σ 0 2 (0) T x0 Ω be such that P := exp (x ) T P Y 0 and let û : T P Y be defined by setting Define l : T P Y 0 by setting û(x) = exp (x + r 0 x). l (x) = l P (r 0 x) where l P is as in Definition 2 with T = T P Y, T 0 = T P Y 0 and P = O P. Thus, û(0) = P = l P (0) by property (a) of Definition 2. Furthermore, by property (b) of Definition 2, if x is sufficiently close to 0 then d(û, l ) dµ < 4 n δ 0 and d(û, l ) dσ < 4 n δ 0.
12 Let Π TP Y 0 : T P Y T P Y 0 be the nearest point projection and ˆv : T P Y 0 be a harmonic map with ˆv = Π TP Y 0 û on. By (6), we have sup d(û, ˆv) c d(û, ˆv)dΣ + r 0 B 2 (0) = c d(û, T P Y 0 )dσ + r 0 c d(û, l )dσ + r 0 < 4 n c δ 0 + r 0. Without the loss of generality, we can assume r 0 < 4 n c δ 0 and hence sup d(û, ˆv) 2 4 n c δ 0. B 2 (0) Since T P Y 0 is essentially regular, there exist constants ρ 0 (0, ), ĉ > 0, β (0, ] and a homogeneous degree harmonic map ˆl : B ρ0 (x 0 ) T P Y 0 such that sup d(ˆv, ˆl) ĉr +β, r (0, ρ 0 B σ(0) 2 ]. Thus, for r (0, ρ 0 ] to be chosen later, we have 2 sup d(û, ˆl) sup d(û, ˆv) + sup d(ˆv, ˆl) < 2 4 n c δ 0 + ĉr +β. B r(0) B 2 (0) B r(0) Define ũ, l, 0 l : T P Y by setting ũ(x) = r û(rx), l(x) = r l (rx) and 0 l(x) = r ˆl(rx). Here, as before we use the notation P to represent the point in T r P Y at a distance d(o r P, P ) such that the unique geodesic from O P to P contains r the point P. Then and d(ũ, l) dµ = d(û, l )dµ < 4n δ 0 r n+ B r(0) r n+ sup d(ũ, 0 l) = r sup d(û, ˆl) < 2 4n c δ 0 + ĉr β. B r(0) r 2
13 With P = u(exp x0 (x )) Y 0, let c > and β > 0 (7) be constants such that for any harmonic map v exists a linear map ˆl : T P Y 0 such that : T P Y 0, there sup d(v, ˆl) c B r(0) 8 r+β inf sup d(v, L), r (0, L B 2 (0) 2 ) (8) The constants c > and β > 0 can be chosen independently of x sufficiently close to 0. Fix θ (0, 4 ) and ɛ satisfying cθ β < 4, and cɛ θ + c 2 ɛ θ β < 4. (9) By property (c) of Definition 2, we can now choose δ > 0 such that V ol{x B σ (0) : B T P Y δ σ (l(x)) T P Y 0 } < ɛ σ n. (0) This shows assumption (iii) of Lemma 6 is satisfied. We need the following claim to verify that assumptions (i) and (ii) are also satisfied. Claim With ũ(x) = r exp (x + r 0 rx) as defined above, set ϑ u(x) to be the point at a distance ϑ d(ũ(0), ũ(ϑx)) from ũ(0) such that the unique geodesic from ũ(0) to ϑ u(x) contains the point ũ(ϑx). There exists σ > 0 such that for any x T x0 Ω with x < σ, there exists r 0 > 0 such that for any r (0, r 0 ), we have the following: For every ϑ (0, ) and ρ [ 3, ], there exist 4 v : B ρ (0) T P Y 0 with v Bρ(0) = Π T P Y 0 ϑ u Bρ(0) and a linear map such that ˆl : Bρ (0) T P Y 0 sup d( ϑ u, v) c d( ϑ u, v)dσ () B 2 (0) 8 B ρ(0) 3
14 and sup d(v, ˆl) cθ +β inf sup d(v, L) (2) B θ (0) L B 2 (0) where the infimum is taken over all instrinsically homogeneous maps L of degree. Proof of Claim. For r > 0 and x T x0 Ω as in the assumption of the claim, fix ϑ (0, ) and ρ [ 3 4, ]. Set R = r 0rϑ and x = exp x0 (x ). Let w : B ρr (x ) Ω Y 0 be a harmonic map. Since d(u, w) is subharmonic, we can assume without the loss of generality that c > 0 defined in (7) is such that sup d(u, w) c d(u, w)dσ. (3) B R2 (x ) 64 B ρr (x ) For P = u(x ) as before, define ˆv : B ρ (0) T x Ω R n T P Y by ˆv(x) = rϑ exp P w exp x (Rx). If x is close to 0, then there exist maps Ψ : T x0 Ω T x Ω and Φ : T P Y Φ(T P Y ) T P Y which are close to isometries. Define v : B ρ (0) T x0 Ω R n T P Y by v(x) = Φ ˆv Ψ(x). If we assume that r > 0 is small and x is close to 0, then for x B ρr (x ) 2 d( ϑ u( x ), v( x )) R R 2. d(u(x), w(x)) rϑ Lastly choose w to have the appropriate boundary value on B ρr (x ) to ensure v = Π Bρ(0) T P Y 0 ϑ u Bρ(0). Thus (3) implies (). Next we prove (2). Choose σ > 0 sufficiently small such that Ψ and Φ are close to isometries. Fix x T x0 Ω such that x < σ. Suppose there exist r i 0, ϑ i (0, ) and ρ i [ 3, ] such that with u 4 i = ϑ i u, w i = w, ˆv i = ˆv and v i = v where r, ϑ, ρ are replaced by r i, ϑ i, ρ i and sup d(v i, l i ) cθ +β inf sup d(v, L) B θ (0) L B 2 (0) 4
15 for any instrinsically homogeneous degree map l i. Using the fact that Ψ and Φ are almost isometries, we have sup d(ˆv i, ˆl i ) c B θ (0) 2 θ+β inf sup d(v, L) L B 2 (0) for any instrinsically homogeneous degree map ˆl i and i sufficiently large. The modulus of continuity of the harmonic maps w i is uniformly bounded by that of u and hence so the modulus of continuity of v i is also uniformly bounded. Thus, by Arzela-Ascoli, there is a subsequence of v i that converges uniformly to a harmonic map v : B 3 (0) T P 4 Y. By the uniform convergence, we have sup d(v, ˆl) c B θ (0) 4 θ+β inf sup d(v, L) L B 2 (0) for any instrinsically homogeneous degree map ˆl. This contradicts (8) and proves the claim. The inequalities (9), (0), () and (2) show that for x T x0 Ω sufficiently close to 0 and r > 0 sufficiently small, the assumptions (i), (ii) and (iii) of Lemma 6 are satisfied with T = T P Y and T 0 = T P Y 0. Furthermore, we can require that ɛ σ n < 8 V ol(b σ(x )) (4) and V ol{x B σ (0) : B Y δ σ(l P (x)) T P Y 0 } < 8 V ol(b σ(0)). (5) Finally, we choose r > 0 and δ 0 > 0 sufficiently small such that ( 2 4 2θ n ) c δ 0 + ĉr β V 0 < ɛ δ r 4 and If we let (6) 4 n δ 0 r n+ < ɛ δ 2. (7) 0δ := 4n δ 0 r n+ and D 0 := sup d(ũ, 0 l) < 2 4n c δ 0 + ĉr β, r 5
16 we can write D 0 = sup d(ũ, 0 l) d(ũ, l) dµ < 0 δ < ɛ δ. Applying Lemma 6 with i = 0, we see that there exists essentially homogeneous degree map l : θ Y so that D := sup d θ ( θ u, l) < 2 D 0 d θ ( θ u, θ l) dµ < δ = 2θ D 0 V δ. By (6) and (7), we have 2θ D 0 V 0 < 2θ ( 2 4 n c δ 0 r ) + ĉr β V 0 < ɛ δ 4 and which then imply Assuming 0δ < ɛ δ 2, δ < ɛ δ 2 n= 2 n. D i < D 0 2, and iδ < ɛ i δ and proceeding inductively, Lemma 6 implies that for any i = 0,, 2,..., i+ n= 2 n D i+ := sup d θ i+( θi+ u, i+ l) < 2 D i d θ i+( θi+ u, θi+ l) dµ < i+ δ < 2θ D i V 0 + i δ. We can then conclude D i+ < 2 (i+) D 0 6
17 and i+δ < 2θ D 0 2 V i 0 + i δ ɛ δ 4 < ɛ δ 2 + ɛ δ i+2 i+ n= 2 n = ɛ δ 2 + iδ i i+2 i= 2 n < ɛ δ. This completes the induction and we have shown d( θi u, θi l) dµ < ɛ δ, i = 0,, On the hand, d( θi u, θi l) dµ = θ i(n+) B θ i(0) = r n θ i(n+) d(ũ, l) dµ B rθ i(0) = r n 0 r n θ i(n+) Therefore, B rr0 θ i (x ) d(û(x), l (x)) dµ B rr0 θ i (x ) d(exp (x), l P (x x ))) dµ. d(exp (x), l P (x x ))) dµ < ɛ δ r n+ 0 r n+ θ i(n+). For σ (0, rr 0 ], choose an integer i so that σ (θ i+ rr 0, θ i rr 0 ] to conclude d(exp (x), l P (x x ))) dµ < ɛ δ σ n+. and B σ(x ) V ol{x B σ (x ) : d(exp (x), l P (x x )) > σδ } d(exp P u exp σδ x0 (x), l P (x x )) dµ B σ(x ) < ɛ δ σ n+ σδ < ɛ σ n. 7
18 The above inequality combined with (4) and (5) implies that for x sufficiently close to 0, V ol{x B σ (x ) : exp (x) / T P Y 0 } V ol{x B σ (x ) : d(exp (x), l P (x x )) > σδ } +V ol{x B σ (x ) : Bδ Y σ(l P (x x )) Y 0 } ɛ σ n + V ol{x B σ (0) : B Y δ σ(l P (x)) Y 0 } < 4 V ol(b σ(x )). (8) Now assume that for σ > 0 arbitrarily small, u(b σ (x 0 )) Y 0. Then exp (B σ (0)) T P Y 0 and we can find a ball B exp x 0 u exp P (T P Y \T P Y 0 ) B σ (x 0 ) such that at least one point x in B such that exp (x ) T P Y 0. By the choice of x, we have for every r > 0 sufficiently small, close to half of B r (x ) is mapped by exp into the closure of T P Y \T P Y 0. If σ > 0 is sufficiently small (which implies x close 0), this contradicts (8). This shows that for some σ > 0, we have u(b σ (0)) Y 0. q.e.d. References [C] K. Corlette. Archimedean superrigidity and hyperbolic geometry. Ann. of Math. 35 (992) [DM] G. Daskalopoulos and C. Mese. On the singular set of harmonic maps into DM-complexes. Submitted for publication. [DM2] G. Daskalopoulos, C. Mese and A. Vdovina. Superrigidity of hyperbolic buildings. Submitted for publication. [GS] [KS] M. Gromov and R. Schoen. Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one. Publ. Math. IHES 76 (992) N. Korevaar and R. Schoen. Sobolev spaces and harmonic maps into metric space targets. Comm. Anal. Geom. (993)
19 [KS2] N. Korevaar and R. Schoen. Global existence theorem for harmonic maps to non-locally compact spaces. Comm. Anal. Geom. 5 (997)
Superrigidity 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 informationAsymptotic approximation of harmonic maps to Teichmüller space
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
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 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 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 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 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 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 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 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 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 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 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 informationPogorelov Klingenberg theorem for manifolds homeomorphic to R n (translated from [4])
Pogorelov Klingenberg theorem for manifolds homeomorphic to R n (translated from [4]) Vladimir Sharafutdinov January 2006, Seattle 1 Introduction The paper is devoted to the proof of the following Theorem
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
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 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 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 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 information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
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 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 informationarxiv: v1 [math.fa] 26 Jan 2017
WEAK APPROXIMATION BY BOUNDED SOBOLEV MAPS WITH VALUES INTO COMPLETE MANIFOLDS PIERRE BOUSQUET, AUGUSTO C. PONCE, AND JEAN VAN SCHAFTINGEN arxiv:1701.07627v1 [math.fa] 26 Jan 2017 Abstract. We have recently
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 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 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 informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationVOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE
VOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE KRISTOPHER TAPP Abstract. The volume growth of an open manifold of nonnegative sectional curvature is proven to be bounded above by the difference between
More informationON THE STATIC METRIC EXTENSION PROBLEM
ON THE STATIC METRIC EXTENSION PROBLEM STEFAN CZIMEK Abstract. The subject of this Master thesis under the guidance of M. Eichmair is the following theorem of J. Corvino and R. Schoen [5]: Minimal mass
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 informationMathematisches Forschungsinstitut Oberwolfach. Mathematical Aspects of General Relativity
Mathematisches Forschungsinstitut Oberwolfach Report No. 37/2012 DOI: 10.4171/OWR/2012/37 Mathematical Aspects of General Relativity Organised by Mihalis Dafermos, Cambridge UK Jim Isenberg, Eugene Hans
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationCAPACITIES ON METRIC SPACES
[June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
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 informationThe Symmetric Space for SL n (R)
The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n
More informationSOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds
SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds DAMIEN BOULOC Abstract. This paper contains some more results on the topology of a nondegenerate action of R n on a compact connected
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
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 informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
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 information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
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 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 informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
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 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 informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
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 informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
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 informationPOINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO
POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger
More informationHARMONIC MAPS FROM A SIMPLICIAL COMPLEX AND GEOMETRIC RIGIDITY. Georgios Daskalopoulos & Chikako Mese. Abstract
. differential geometry 78 (2008 269-293 HARMONIC MAPS FROM A SIMPLICIAL COMPLEX AND GEOMETRIC RIGIDITY Georgios Daskalopoulos & Chikako Mese Abstract We study harmonic maps from an admissible flat simplicial
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
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 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 information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More informationUniqueness theorems for harmonic maps into metric spaces
Uniqueness theorems for harmonic maps into metric spaces Chikako Mese Abstract. Recent developments extend much of the known theory of classical harmonic maps between smooth Riemannian manifolds to the
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 informationLiquid crystal flows in two dimensions
Liquid crystal flows in two dimensions Fanghua Lin Junyu Lin Changyou Wang Abstract The paper is concerned with a simplified hydrodynamic equation, proposed by Ericksen and Leslie, modeling the flow of
More informationTHE SKOROKHOD OBLIQUE REFLECTION PROBLEM IN A CONVEX POLYHEDRON
GEORGIAN MATHEMATICAL JOURNAL: Vol. 3, No. 2, 1996, 153-176 THE SKOROKHOD OBLIQUE REFLECTION PROBLEM IN A CONVEX POLYHEDRON M. SHASHIASHVILI Abstract. The Skorokhod oblique reflection problem is studied
More informationAppendix B Convex analysis
This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationRose-Hulman Undergraduate Mathematics Journal
Rose-Hulman Undergraduate Mathematics Journal Volume 17 Issue 1 Article 5 Reversing A Doodle Bryan A. Curtis Metropolitan State University of Denver Follow this and additional works at: http://scholar.rose-hulman.edu/rhumj
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
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 informationHarmonic maps from a Riemannian polyhedron
Harmonic maps from a Riemannian polyhedron Chikako Mese Department of Mathematics Johns Hopkins University cmese@math.jhu.edu Research partially supported by grant NSF DMS-0450083. 1 Introduction In this
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 informationA Simple Proof of the Generalized Cauchy s Theorem
A Simple Proof of the Generalized Cauchy s Theorem Mojtaba Mahzoon, Hamed Razavi Abstract The Cauchy s theorem for balance laws is proved in a general context using a simpler and more natural method in
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 informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
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 informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationUltralimits and fixed-point properties, after Gromov
Ultralimits and fixed-point properties, after Gromov Yves Stalder Université Blaise Pascal Geneva, August 26, 2008 Yves Stalder (Université Blaise Pascal) Ultralimits and fixed-point properties Geneva,
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 informationarxiv: v1 [math.dg] 4 Sep 2009
SOME ESTIMATES OF WANG-YAU QUASILOCAL ENERGY arxiv:0909.0880v1 [math.dg] 4 Sep 2009 PENGZI MIAO 1, LUEN-FAI TAM 2 AND NAQING XIE 3 Abstract. Given a spacelike 2-surface in a spacetime N and a constant
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationGlobal unbounded solutions of the Fujita equation in the intermediate range
Global unbounded solutions of the Fujita equation in the intermediate range Peter Poláčik School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA Eiji Yanagida Department of Mathematics,
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 informationImmersions with local Lipschitz representation
ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG FAKULTÄT FÜR MATHEMATIK UND PHYSIK Immersions with local Lipschitz representation Dissertation zur Erlangung des Doktorgrades der Fakultät für Mathematik und Physik
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 informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationNOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM
NOTES ON KLEINER S PROOF OF GROMOV S POLYNOMIAL GROWTH THEOREM ROMAN SAUER Abstract. We present and explain Kleiner s new proof of Gromov s polynomial growth [Kle07] theorem which avoids the use of Montgomery-Zippin
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
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 informationOn m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry
On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationthe neumann-cheeger constant of the jungle gym
the neumann-cheeger constant of the jungle gym Itai Benjamini Isaac Chavel Edgar A. Feldman Our jungle gyms are dimensional differentiable manifolds M, with preferred Riemannian metrics, associated to
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationTwo-dimensional multiple-valued Dirichlet minimizing functions
Two-dimensional multiple-valued Dirichlet minimizing functions Wei Zhu July 6, 2007 Abstract We give some remarks on two-dimensional multiple-valued Dirichlet minimizing functions, including frequency,
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
More information