Let intertwine two Loewner chains, with driver , and set , , . Expanding the conjugacy equation at the driver gives ; the Itô formula gives the displayed diffusion. For a real exponent , the drift of is . At , cancels both terms and yields the SLE eight-thirds restriction martingale.
For a Loewner chain with half-plane capacity , scale invariance means has the original law for every . Its mapping-out maps are and its Loewner driving function is . This follows by differentiating the Chordal Loewner equation. Brownian scaling gives this property for Schramm–Loewner evolution.
Suppose a capacity-parameterized Loewner chain lies in a domain on which is a conformal map. For its image chain set . Then the image Loewner driving function is and
The derivative is real by the Schwarz reflection principle. Cancellation of the pole in the differentiated conjugacy identity proves the squared-derivative rule.
For conjugated Loewner chains, and . The image capacity speed is . Differentiating this identity gives . The removable singularity at the driver has value .
Crosscut 2026-10-05
A crosscut of a planar domain is a simple open arc inside the domain whose two endpoints are distinct boundary points, interpreted as prime ends when necessary. In a simply connected domain it divides the domain into two components. In the half-plane, a bounded crosscut joining two real points separates the intervening real interval from infinity; a Loewner chain completing that crosscut swallows this interval.
Driving-function reconstruction for a chordal Loewner chain Created 2026-10-06 Updated 2026-10-14
The domains of a capacity-parametrized Loewner chain determine their hydrodynamically normalized mapping-out functions of compact H-hulls. At a surviving point, the Chordal Loewner equation gives . For a continuous driver and , the left derivative uses only the hull past. High points , , survive up to any fixed finite time for sufficiently large , making this a countable local reconstruction of the driver and its past filtration.
Let be the inverse image-capacity clock. Part (a) and the quadratic variation of a stochastic integral give
The Dambis-Dubins-Schwarz theorem, or the Lévy characterization of Brownian motion, now shows that is standard Brownian motion up to the terminal image time. If that terminal clock is finite, it can be extended by a fresh Brownian continuation; this does not assert anything about the subsequent image trace. The initial value is zero because .
Differentiating the image Loewner chain with respect to its own half-plane capacity time gives
Thus, until its first hit of , the reparametrized image has the ordinary chordal SLE law from to infinity. This follows from the uniqueness of the Chordal Loewner equation for a given continuous driver; the continuous Loewner trace is recovered from the inverse-map limit. Localization can be removed by exhausting times strictly before this boundary contact. The terminal event is defined from the trace itself, so equality of the stopped trace laws follows as well.
On the other hand, the definition of Conformal invariance of SLE says that the full unparameterized image has the law of chordal from to , namely the law of . Its stopping event at is exactly the image of the original stopping event at . Therefore the same stopped image has both laws: ordinary from to infinity stopped at , and from to stopped at . We conclude
The statement does not identify with in their original clocks. It is target-change locality of SLE6, derived from the zero drift and capacity time change rather than assumed as a theorem.
A compact H-hull is a bounded set that is closed relative to the complex upper half-plane and whose complement is a simply connected domain. Its Euclidean closure is compact in ; “compact” here does not require separation from the real axis. One may equivalently describe the closed hull in , with its real-boundary convention understood. Its mapping-out function is the unique conformal map to with hydrodynamic normalization at infinity.
Use the capacity convention . A chordal Schramm–Loewner evolution from to infinity is the hull family of the Chordal Loewner equation
where is a real standard Brownian motion and . The points with interior-point swallowing time for a Loewner chain at most constitute . For each , maps conformally onto and has expansion . The case is the deterministic vertical-slit chain.
First identify the relevant transformed Loewner driving functions directly. For , define
Differentiation gives . Its initial value is , its domain is , and its expansion is . Thus its driving function is , by uniqueness of the differential equation and of the hydrodynamically normalized map. Brownian scaling proves
This is capacity-parametrized scale invariance of a Loewner chain.
For a fixed time , map the future remaining domains by . The corresponding hulls are specified without any boundary-image ambiguity by
Their mapping-out functions are
At this is the identity. Differentiating at a point in its domain yields
The Laurent series is . Hence the transformed Loewner driver is exactly , with the original capacity clock unchanged. This proves the composition rule for chordal Loewner driving functions, rather than assuming an identification of transforms.
The Brownian motion increments after are independent of its past and have the original law. Since past hulls are measurable functions of the past Loewner driver, conditionally on the past, the centered mapped future is an independent copy of the original chain. This is the domain Markov property of a chordal Loewner chain. At an almost surely finite stopping time it follows likewise from the Strong Markov property.
For the converse, a precise class is essential: take capacity-parametrized Loewner chains generated by a continuous real Loewner driving function , with , and require the two displayed hull properties, including independence from the entire hull past in the domain Markov property. Within this class they characterize , for some .
To see why the hull assertions determine the Loewner driver assertions, the hull domains determine their normalized maps uniquely. For any surviving point,
The left time derivative suffices for , since is continuous. A sufficiently high point survives up to any given finite time, so points , , suffice to reconstruct the Loewner driver locally and measurably from the hull past. Thus the driving-function reconstruction for a chordal Loewner chain identifies the two past filtrations and makes the preceding scale and composition computations reversible.
The domain Markov property therefore gives stationary independent increments for . Its continuity makes it a continuous Lévy process. Its classification gives : in the Lévy–Khintchine formula continuity removes the jump measure, leaving characteristic function . Driver scaling would turn the drift into , so invariance for every forces . The diffusion coefficient is unchanged. This proves the scale-and-domain-Markov characterization of SLE with its regularity and parametrization hypotheses stated explicitly.
A family of compact H-hulls is non-decreasing when
This permits equal hulls at different times. A Loewner chain with strictly increasing half-plane capacity has strict inclusion for . Usually its initial compact H-hull is .
Work with a locally growing Loewner chain started at , with and the half-plane-capacity parameterization . The Conformal Markov property of SLE combines invariance under conformal changes of the marked domain with restarting after an initial hull has been removed.
In the half-plane this means, first, that has the same law as for every . Second, conditionally on , the future hulls mapped by ,
with the usual hull closure, have the original law and are independent of . Their capacity is by the half-plane-capacity composition rule. One may require the same restarting property at finite stopping times.
Equivalently, the driver has the scaling law and conditional increment law
The conformal invariance clause matters: the restarting property alone would also allow a Brownian driver with deterministic drift.
The scaling rule for the Chordal Loewner equation shows that , because . To identify the shape, rather than infer it from scaling alone, construct the inverse map explicitly. Put
Then , , and . Define
using logarithms whose arguments lie in on . Its Laurent series is , so it has the inverse hydrodynamic normalization at infinity.
On the real interval , the first factor has argument and the second has argument zero. The image therefore lies on one straight ray. Its modulus increases from zero to a maximum at , and then decreases to zero. The complementary real intervals map to the negative and positive real axes. The argument principle, or the usual conformal slit-map construction, shows that maps conformally onto the half-plane minus that segment; the interval traverses its two sides.
The boundary walk has winding number one around every point of the half-plane off the segment: the two traversals of the slit cancel, leaving the real boundary and a large semicircle. The argument principle therefore gives exactly one preimage of each such point.
It remains to check that this is the correct Loewner chain. For ,
Together with , this gives
the inverse form of the Chordal Loewner equation. Uniqueness therefore identifies its slit with . Its endpoint is , where lies in . This proves that the square-root Loewner driving function generates a straight slit and that
a straight ray from the boundary point to infinity.
The Conformal Markov property of SLE states that, conditional on the hull , the image under of the future hull has the same law as the original hull and is independent of the past.
For a Loewner chain with continuous driver , this property says that is independent of the past and has the same distribution as . Thus has stationary increments and independent increments. Every continuous process with those properties is a Brownian motion with drift, so . Conformal scale invariance gives
which forces . Writing yields
For a continuous real driving function , solve the Chordal Loewner equation
up to the first time at which tends to zero. The generated hulls are
They form an increasing Loewner chain of compact H-hulls, satisfy , and is the mapping-out function of .
It is enough by Scaling invariance of SLE and reflection in the imaginary axis to treat . Take . The drift
tends to as . Choose and such that for . Before reaches ,
The infinite-horizon crossing probability for Brownian motion with negative drift shows that this process has a finite running maximum almost surely, so
Order preservation for the Loewner flow gives . On , one has while remains positive, so and in particular . Hence
If the trace itself hit the fixed boundary point , then would be the right endpoint of the swallowed interval and for every . Its probability is therefore zero. Scaling and reflection prove that SLE does not hit a fixed nonzero boundary point for every .
For Schramm–Loewner evolution in , the Scaling invariance of SLE states that, for every ,
has the same law as . The scaled Loewner driving function is . Since , the Brownian scaling identity proves the claim.
The Conformal Markov property of SLE states that, conditionally on the hull through time , the future hull mapped by is an independent in . More precisely,
has driving function . The stationary increments and independent increments of Brownian motion show that is independent of and has the same law as . The deterministic correspondence between continuous drivers and Loewner chains completes the proof.
Set . For chordal Schramm–Loewner evolution, the centered image of a real boundary point, divided by , follows the Boundary-point Bessel flow for SLE; changing to matches the sign convention in the question. Thus and are the times at which the marked boundary points and are swallowed, or equivalently disconnected from infinity, by the Loewner chain.
Consequently
It is the event that the negative marked point is swallowed before the positive marked point.
The trace of is simple for , has self-intersections without being space-filling for , and is space-filling for . The thresholds arise from the Boundary-point Bessel flow for SLE and estimates for the Loewner chain near its driving point.
Prime end Created 2026-10-05 Updated 2026-10-06
A prime end describes an approach to the boundary of a simply connected domain through a nested sequence of crosscuts. A conformal map induces a correspondence between prime ends, even when the Euclidean boundary does not have a continuous one-to-one parametrization. This is the natural boundary interpretation of the endpoints and growing tip of a Loewner chain.
Scale-and-domain-Markov characterization of SLE Created 2026-10-06 Updated 2026-10-07
Among Loewner chains with capacity , continuous real driver and initial driver zero, scale invariance and the centered domain Markov property of a chordal Loewner chain characterize Schramm–Loewner evolution with some . Driving-function reconstruction for a chordal Loewner chain turns the hull properties into stationary independent increments and Brownian scaling for the driver. The continuous Lévy process classification then gives , and scaling eliminates . Regularity and parametrization are essential hypotheses of this characterization.
Schramm–Loewner evolution Created 2026-09-24 Updated 2026-10-03
Chordal Schramm–Loewner evolution in the complex upper half-plane from to is the random Loewner chain driven by , where is standard Brownian motion and .