# Michael Beeson's Research

-->

## Branched Minimal Surfaces

Much of my work on minimal surfaces has involved branched minimal surfaces, i.e., minimal surfaces with branch points. This page is intended to provide pictures of branch points, without going deeply into the mathematical formulas, although the most elementary formulas will be mentioned here.

A branch point is a point where the surface is not parametrized in a one-to-one fashion. At that point, it doesn't meet the classical definition of a geometric surface, which requires that the surface look, in the vicinity of each point, like a curved disk. However, one is forced to consider branch points because the keep on arising in proofs as limits of surfaces without branch points. There are nice formulas that describe the appearance of branch points, so one can draw pictures of them and be assured that every branch point looks like one of these pictures. The pictures are described by two integers: the order and the index. Branch points can be interior branch points or boundary branch points. We will start with pictures of boundary branch points: [Note: in the Safari browser, if the pictures do not rotate after they have finished loading, use the back button and then click the link again. They should then start rotating immediately. Other browsers do not seem to have this problem.]

One important thing that is not obvious from the pictures is this: the unit normal extends continuously to the branch point. That means that all the sheets of the surface flatten out near the center and become horizontal. In my work I am mostly concerned with a very small neighborhood of the branch point. Then the picture is much flatter. Here is a picture that shows a smaller neighborhood of the order 2, index 1 branch point, in which you can see how the normal tends to vertical at the origin:

Order 2, Index 1, r=0.2

These are called boundary branch points because they could occur at the boundary of a surface. In these examples, you see only a neighborhood of the boundary, and the boundary in question is a straight line. The pictures show parts of the x, y, and z axes as well. The next picture shows an interior branch point. Essentially, the first picture above is half of this picture.

A branch point of order M and index k goes "around" M + 1 times while going "up and down" M + k + 1 times. When the branch point is on the boundary, only half of this surface is seen. The order of a boundary branch point must be even if the surface is to touch the boundary monotonically--with odd order, it would double back on itself. Thus order 2 is the simplest case. Index 0 would give a piece of a plane, so index 1 is the simplest three-dimensional case. Thus order 2, index 1 goes around (as an interior branch point) 3 times while going up and down 4 times; and as a boundary branch point, it goes around one and a half times while going up and down twice. An order 4, index 2 boundary branch point goes around two and a half times while going up and down three and a half times. These are the cases illustrated at the links above.

The surfaces illustrated have simple formulas using a complex variable z. Namely, if the surface is given by three functions X(z), Y(z), and Z(z), then we have

X+iY = zM + 1/(M+1)

Z = Re[ zM + k + 1/(M+ k1)]

Here Re means "the real part of". The first formula, which does not mention the real part explicitly, is just a way of saying that X and Y are the real and imaginary parts, respectively, of a constant times zm, so they are (up to a constant) rM+1 cos((M+1)θ) and rM+1 sin((M+1) θ), where r and θ are the polar coordinates of z. These formulas corroborate the English descriptions above using the phrase "goes around" so many times. The pictures above show the part of the surface defined over the disk |z| ≤ 0.6.

Here is a good problem for the beginner at this point: How many lines of intersection of the surface with itself will there be, in a branch point of order M and index k?

Any branch point must be given by formulas that start out like those above, but there may also be terms with higher powers of z. If M+1 exactly divides M+k+1 then to the first approximation, the surface will trace over itself exactly. (You will have noticed that if you tried to solve the exercise above.) If there is to be any separation of the different "sheets" of the surface, that must arise from higher-order terms in the formula for the surface. You can see that in the following picture, which shows a boundary branch point of order 2 and index 3, so M + 1 is 3 and M + k + 1 is 6. Notice that at first glance the surface appears to be like a distorted disk--but looking carefully, you can see from the coordinate markings on the surface that it actually does go around one and half times, with the last half time exactly overlapping the first half.

Order 2, Index 3 A false branch point

If the overlap is exact, as in this picture, the branch point is called a false branch point. But bear in mind that the picture could look almost like this, with the sheets being separated by a very tiny amount (that might not even be visible in a computer-graphic picture) due to a term in a high power of z. A branch point that is not false is called, naturally, a true branch point.

Here's one last, more complicated, picture:
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8240273594856262, "perplexity": 363.4788364758315}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-39/segments/1537267157569.48/warc/CC-MAIN-20180921210113-20180921230513-00307.warc.gz"}