A curve or set removed from the domain of a multivalued function so that the remaining domain admits a single-valued analytic branch; a branch cut prevents closed loops that produce nontrivial monodromy around branch points.

Principle

By excising paths connecting branch points (or connecting a branch point to infinity), one breaks the loops responsible for sheet permutation and thereby selects a consistent branch of a multivalued function on the cut domain.

Demonstration

For the principal branch of log(z) and sqrt(z) one commonly remove the negative real axis as a branch cut; this prevents encircling z = 0 and allows a single-valued continuous choice of argument on the slit plane.

Misapplication

Choosing a branch cut that intersects a region where continuity or analyticity is needed for a problem, or assuming the cut is intrinsic rather than a convenient choice, can introduce artificial discontinuities or obscure true analytic structure.

Consequence

Introducing a branch cut yields a single-valued branch on the cut domain but at the cost of a discontinuity across the cut; integral values and analytic continuation depend explicitly on the choice of cut or on moving to a covering surface.

Reversal

Without a branch cut the function remains multivalued on any domain containing loops around the branch point; the reversal is to accept a multi-sheeted domain (Riemann surface) rather than remove paths from the plane.

Boundary

A branch cut is an extrinsic device, not a property of the function alone; its location and shape are often arbitrary so long as they prevent encircling branch points, and it is not applicable to singularities that are poles or essential singularities in the same way.

Semantic Tension

Distinguish branch cut from branch point: the cut is a chosen removal in the domain to enforce single-valuedness, whereas the branch point is the intrinsic obstruction; also separate branch cuts from jump discontinuities which are directional one-sided limits in real variables.

Synthesis

A branch cut is a chosen slit in the domain that eliminates loops around branch points so a consistent single-valued analytic branch can be defined on the remaining region, trading multivaluedness for a controlled discontinuity.