1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %% Discrete surfaces of constant mean curvature
3: %% F Burstall, U Hertrich-Jeromin, W Rossman, S Santos
4: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: %% 10pt.tex
7: %%
8: %% fonts (only use scaled standard fonts)
9: %%
10: \font\bfBig = cmbx10 scaled 1440 % main title
11: \font\bfbig = cmbx10 scaled 1200 % section title
12: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
13: \font\threerm = cmr10 scaled 300 % three fonts (for annotations)
14: \font\tworm = cmr7 scaled 300
15: \font\threeit = cmmi10 scaled 300
16: \font\twoit = cmmi7 scaled 300
17: \font\threesy = cmsy10 scaled 300
18: \font\twosy = cmsy7 scaled 300
19:
20: \def\threepoint{%
21: \textfont0=\threerm \scriptfont0=\tworm \def\rm{\fam0\threerm}%
22: \textfont1=\threeit \scriptfont1=\twoit%
23: \textfont2=\threesy \scriptfont2=\twosy%
24: \rm}
25: \def\tiny{\threepoint\baselineskip=3.6pt}%
26: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
27: \font\eightrm = cmr10 scaled 800 % small fonts (for footnotes etc)
28: \font\sixrm = cmr7 scaled 850
29: \font\fiverm = cmr5
30: \font\eightbf = cmbx10 scaled 800
31: \font\sixbf = cmbx7 scaled 850
32: \font\fivebf = cmbx5
33: \font\eightit = cmti10 scaled 800
34:
35: \font\eighti = cmmi10 scaled 800
36: \font\sixi = cmmi7 scaled 850
37: \font\fivei = cmmi5
38: \font\eightsy = cmsy10 scaled 800
39: \font\sixsy = cmsy7 scaled 850
40: \font\fivesy = cmsy5
41: \font\eightsl = cmsl10 scaled 800
42: \font\eighttt = cmtt10 scaled 800
43:
44: \font\fivefk = eufm5 % fraktur
45: \font\sixfk = eufm7 scaled 850
46: \font\sevenfk = eufm7
47: \font\eightfk = eufm10 scaled 800
48: \font\tenfk = eufm10
49:
50: \newfam\fkfam
51: \textfont\fkfam=\tenfk \scriptfont\fkfam=\sevenfk
52: \scriptscriptfont\fkfam=\fivefk
53: %\def\fk{\fam\fkfam\tenfk}%
54: \def\fk{\fam\fkfam}% % only in math mode
55:
56: \font\fivebbm = bbmsl10 scaled 500 % blackboard math, better than AMS
57: \font\sixbbm = bbmsl10 scaled 600
58: \font\sevenbbm = bbmsl10 scaled 700
59: \font\eightbbm = bbmsl10 scaled 800
60: \font\tenbbm = bbmsl10
61:
62: %\font\fivebbm = cmbx5 % blackboard math, standard alternative
63: %\font\sixbbm = cmbx7 scaled 850
64: %\font\sevenbbm = cmbx7
65: %\font\eightbbm = cmbx10 scaled 800
66: %\font\tenbbm = cmbx10
67: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
68: \newfam\bbmfam
69: \textfont\bbmfam=\tenbbm \scriptfont\bbmfam=\sevenbbm
70: \scriptscriptfont\bbmfam=\fivebbm
71: \def\bm{\fam\bbmfam}% % only in math mode
72: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
73: \def\eightpoint{%
74: \textfont0=\eightrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm
75: \def\rm{\fam0\eightrm}%
76: \textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei
77: \def\oldstyle{\fam1\eighti}%
78: \textfont2=\eightsy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy
79: \textfont\itfam=\eightit \def\it{\fam\itfam\eightit}%
80: \textfont\slfam=\eightsl \def\sl{\fam\slfam\eightsl}%
81: \textfont\ttfam=\eighttt \def\tt{\fam\ttfam\eighttt}%
82: \textfont\bffam=\eightbf \scriptfont\bffam=\sixbf
83: \scriptscriptfont\bffam=\fivebf \def\bf{\fam\bffam\eightbf}%
84: % \textfont\fkfam=\eightfk \scriptfont\fkfam=\sixfk
85: % \scriptscriptfont\fkfam=\fivefk
86: %% \def\fk{\fam\fkfam\eightfk}%
87: \textfont\bbmfam=\eightbbm \scriptfont\bbmfam=\sixbbm
88: \scriptscriptfont\bbmfam=\fivebbm
89: % \def\bm{\fam\bbmfam\eightbbm}%
90: \rm}
91: \skewchar\eighti='177\skewchar\sixi='177
92: \skewchar\eightsy='60\skewchar\sixsy='60
93: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
94: \def\small{\eightpoint\baselineskip=9.6pt}%
95: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
96: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
97: %% macros.tex
98: %%
99: %% provides core settings and macros
100: %%
101: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
102: %% dimensions
103: \parskip=1ex minus .3ex \parindent=0pt % paragraph settings
104: \hoffset=0pt \voffset=0pt % normal offsets (1in from device boundaries)
105: \hsize=149mm \vsize=245mm % 1 column on A4 (works with cdvi)
106: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
107: %% \ifundef{name}...\else...\fi - check for control sequence
108: \def\ifundef#1{\expandafter\ifx\csname#1\endcsname\relax}
109: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
110: %% \ifpdftex...\else...\fi - check for pdf(la)tex run
111: \newif\ifpdftex \ifundef{pdfoutput}\pdftexfalse\else\pdftextrue\fi
112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
113: %% paper dimensions (used by columns.tex)
114: \newdimen\paperwd \newdimen\paperht
115: \paperwd=210mm \paperht=297mm % A4
116: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
117: %% driver specific (paper) settings
118: \ifpdftex
119: \pdfoutput=1\pdfcompresslevel=9\pdfadjustspacing=1
120: \pdfpagewidth=\the\paperwd
121: \pdfpageheight=\the\paperht
122: \else
123: \special{papersize=\the\paperwd,\the\paperht}
124: \fi
125: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
126: %% \today - show pretty date
127: \def\today{\number\day\space\ifcase\month\or
128: January\or February\or March\or April\or May\or June\or
129: July\or August\or September\or October\or November\or December\fi
130: \space\number\year}
131: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
132: \catcode`@=11
133: %% \usefont[font scaled ????] - switch to named font
134: \def\usefont[#1]{\font\tmp@fnt = #1\relax\tmp@fnt}
135: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
136: %% line numbers
137: \newif\iflinenums \linenumstrue \message{linenumstrue}
138: \newcount\lineno \lineno=1
139: %% compute line numbers
140: \def\par{\ifvmode\relax\else\endgraf\global\advance\lineno by \prevgraf\fi}
141: %% show line numbers
142: \def\showlineno{\iflinenums%
143: \llap{{\usefont[cmti5]\the\lineno\enspace}\hglue\parindent}\fi\ignorespaces}
144: %% activate showing line numbers (TeX counts display math as 3 lines)
145: \everypar={\showlineno}
146: \everydisplay={\global\advance\lineno by -2}
147: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
148: %% \htag[name]{text} - insert a named tag
149: %% \href[name]{text} - reference to the named tag
150: %% \showtagtrue - show tag and ref names
151: \newif\ifshowtag \showtagtrue \message{showtagtrue}
152: %%
153: \def\htag[#1]#2{%
154: \ifshowtag\smash{\lower 6pt\rlap{\usefont[cmr5]label (#1)}}%
155: \immediate\write99{htag l.\the\inputlineno: #1 -> #2}\fi
156: \ifpdftex\pdfdest name {#1} xyz\relax#2\else
157: \special{html:<a name="#1">}#2\special{html:</a>}\fi}
158: \def\href[#1]#2{\leavevmode\ifpdftex
159: \pdfstartlink attr {/Border [0 0 0]} goto name {#1}\relax#2\pdfendlink
160: \else\special{html:<a href="#1">}#2\special{html:</a>}\fi
161: \ifshowtag\smash{\lower 6pt\rlap{\usefont[cmr5][#1]}}%
162: \immediate\write99{href l.\the\inputlineno: #1 -> #2}\fi}
163: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
164: %% \hX title. - level X heading "title" (X = 0,1,2,3,...)
165: %% \headnoX - returns current header X number
166: %% \title={text} - the title, set by level 0 heading
167: %% \author={text} - for level 0 heading (the title)
168: \newtoks\title \title={}
169: \newtoks\author \author={(Udo Hertrich-Jeromin, \today)}
170: %%
171: \newcount\h@noA \h@noA=0 \newcount\h@noB \h@noB=0 \newcount\h@noC \h@noC=0
172: %%
173: \def\headno#1{\ifcase#1\relax\or\the\h@noA\or\the\h@noB\or\the\h@noC\fi}
174: \outer\def\h#1 #2.{%
175: \ifcase#1 \relax
176: \or \global\advance\h@noA by 1 \global\h@noB=0 \global\h@noC=0
177: \global\equano=0
178: \or \global\advance\h@noB by 1 \global\h@noC=0
179: \or \global\advance\h@noC by 1
180: \fi
181: \ifcase#1 % level 0 (main title):
182: \ifpdftex\pdfinfo{/Title (#2) /Author (\the\author)}\fi
183: \centerline{\usefont[cmbx10 scaled 1440]#2}
184: \centerline{\usefont[cmr7]\the\author}\vskip 1ex plus .5ex
185: \or% level 1:
186: \goodbreak\vskip 3ex\noindent
187: \usefont[cmbx10 scaled 1200]\headno1.~#2
188: \vglue 1ex
189: \or% level 2:
190: \goodbreak\vskip 2ex\noindent
191: \usefont[cmbx10 scaled 1000]\headno1.\headno2.~\ignorespaces#2
192: \vglue 1ex
193: \or% level 3:
194: \goodbreak\vskip 2ex\noindent
195: \underbar{\bf\headno1.\headno2.\headno3.~\ignorespaces#2.}%
196: \enspace\ignorespaces
197: \or
198: \errmessage{unknown header level}
199: \or
200: \errmessage{unknown header level}
201: \or
202: \errmessage{unknown header level}
203: \or
204: \errmessage{unknown header level}
205: \or
206: \errmessage{unknown header level}
207: \or
208: \errmessage{unknown header level}
209: \or
210: \errmessage{unknown header level}
211: \or% level 11:
212: \goodbreak\vskip 3ex\noindent
213: \usefont[cmbx10 scaled 1200]#2
214: \vglue 1ex
215: \else\errmessage{unknown header level}
216: \fi\rm}
217: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
218: %% \eqno{name} - equip equations with numbered labels (orig: plaineqno)
219: %% \reqn{name} - reference equation
220: \let\plaineqno\eqno
221: \newcount\equano \equano=0
222: \newdimen\eqn@skip
223: \newbox\eqn@box
224: %% make label
225: \def\eqn@no{(\headno1.\the\equano)}
226: \def\eqno#1{%
227: \global\advance\equano by 1
228: \ifinner
229: \htag[eqn.#1]{\rm\eqn@no}%
230: \else
231: \plaineqno{\htag[eqn.#1]{\rm\eqn@no)}}%
232: \fi
233: \ifundef{EQN@#1}%
234: \expandafter\xdef\csname EQN@#1\endcsname{\eqn@no}%
235: \else
236: \errmessage{duplicated equation label}%
237: \fi}
238: %% refer to named eqn
239: \def\reqn#1{\href[eqn.#1]{{\csname EQN@#1\endcsname}}}
240: %\newwrite\LBL \immediate\openout\LBL=\jobname.lbl
241: %\def\reqn#1{%
242: % \immediate\write\LBL{reqn{#1}/\csname EQN@#1\endcsname/}%
243: % \href[eqn.#1]{{\csname EQN@#1\endcsname}}}
244: %% new display format (\eqno is also used as a delimiter here!)
245: \def\eqn@lineno{%
246: {\advance\lineno by \prevgraf\usefont[cmti5]\the\lineno\enspace}%
247: \global\advance\lineno by -2}
248: \def\eqn@extract#1\eqno#2\eqno#3\relax{\setbox\eqn@box=\hbox{$#1$}%
249: \eqn@skip=.5\displaywidth\relax\advance\eqn@skip by -.5\wd\eqn@box%
250: \def\eqn@label{#2}}
251: \def\equadisplay#1$${%
252: \eqn@extract#1\eqno\eqno\relax
253: %% fixed left indent:
254: % \hbox to \displaywidth{\iflinenums\llap{\eqn@lineno\hglue\displayindent}\fi
255: % \hglue 2em\unhbox\eqn@box\hfil
256: % \ifx\eqn@label\empty\else\eqno{\eqn@label}\fi}%
257: %% centered:
258: \iflinenums
259: \llap{\eqn@lineno\hglue\displayindent\hglue\eqn@skip}%
260: \fi
261: % eqn labels left:
262: %\rlap{\hglue-\eqn@skip\rlap{\ifx\eqn@label\empty\else\eqno{\eqn@label}\fi}}%
263: \hbox{\unhbox\eqn@box}%
264: % eqn labels right:
265: \rlap{\hglue\eqn@skip\llap{\ifx\eqn@label\empty\else\eqno{\eqn@label}\fi}}%
266: $$}
267: %% activate:
268: \everydisplay={\equadisplay}
269: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
270: %% \item[#1,#2]{mark} - formats the following paragraph and puts
271: %% mark left of the first line. #1 is the indentation of the
272: %% first line, #2 is the indentation of the remaining lines.
273: %% - If only one indentation is given, then all lines are indented
274: %% by the same amount.
275: %% - If no indentation is given, \parindent is used.
276: %%
277: %% Remarks:
278: %% using \item@exec(#1)(#1,,)[...] is a trick to check whether
279: %% #1 contains a comma (if not then #1=#2; else #2 is the first
280: %% argument, #3 the second, and #4 contains any rest and is discarded).
281: %%
282: \def\item@exec(#1)(#2,#3,#4)#5{{\parindent=#2\relax\par\leavevmode}%
283: \def\argA{#1}\relax\def\argB{#2}\relax%
284: \ifx\argA\argB\hangindent=#2\else\hangindent=#3\fi\hangafter=1%
285: \llap{#5\enspace}\ignorespaces}%
286: %%
287: \def\item@optA[#1]#2{\item@exec(#1)(#1,,){#2}}%
288: \def\item@optB#1{\item@optA[20pt]{#1}}%
289: \def\item@opt{%
290: \ifx\item@char[\let\item@cmd\item@optA\relax\else%
291: \let\item@cmd\item@optB\fi\relax\item@cmd}%
292: \def\item{\futurelet\item@char\item@opt}
293: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
294: %% \footnote{text} - typeset numbered footnote (orig: \plainfootnote)
295: %% -> texbytopic p.101, TeXbook pp.363 (plain.tex) & 416 (manmac.tex)
296: %% using altered manmac version
297: \let\plainfootnote\footnote
298: %\newdimen\footno@sk \footno@sk=3pt
299: %\newcount\foot@no \foot@no=96 %%%%%%%%%%%%%%%%%%%%%%%%%% letter markers
300: \newcount\foot@no \foot@no=0
301: %%
302: \def\footnote{\global\advance\foot@no by 1
303: \edef\@sf{\spacefactor\the\spacefactor}%
304: \unskip{\raise.4\baselineskip\hbox{% the footnote marker:
305: % \usefont[cmr7]\char\number\foot@no)}}\@sf %%%%%%%% letter markers
306: \usefont[cmr7]\number\foot@no)}}\@sf
307: \insert\footins\bgroup\everydisplay={}\everypar={}\let\par\endgraf
308: \parindent=16pt \parskip=0pt \leftskip=0pt \rightskip=0pt
309: \splittopskip=10pt plus 1pt minus 1pt \floatingpenalty=20000
310: \ifundef{small}\else
311: \abovedisplayskip=6pt \abovedisplayshortskip=-4pt
312: \belowdisplayskip=4pt \belowdisplayshortskip=4pt
313: \small\fi
314: \smallskip
315: % \textindent{\char\number\foot@no)}% %%%%%%%%%%%%%% letter markers
316: \textindent{\number\foot@no)}%
317: \bgroup\aftergroup\@foot\let\next}
318: %\def\@foot{\strut\egroup}
319: \def\@foot{\egroup}
320: \skip\footins=12pt plus 2pt minus 4pt
321: \dimen\footins=.5\vsize
322: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
323: %% \comment text\endcomment - put comments in the text
324: \newif\ifshowcomment \showcommentfalse
325: %%
326: \long\def\comment#1\endcomment{%
327: \ifshowcomment{\linenumsfalse\everypar={}\let\par\endgraf
328: \vskip 2ex\hrule\item[0pt]{$\hookrightarrow$}#1\vskip 1ex\hrule}\fi}
329: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
330: \catcode`@=12
331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
332: %% maths symbols - read in fonts before macros!
333: %% \N, \Z, \Q, \R, \C, \H, etc
334: %%
335: \ifundef{bm}\let\bm\bf\fi
336: \ifundef{fk}\let\fk\bf\fi
337:
338: \def\N{{\bm N}}
339: \def\Z{{\bm Z}}
340: \def\Q{{\bm Q}}
341: \def\R{{\bm R}}
342: \def\C{{\bm C}}
343: \def\H{{\bm H}}
344: \def\HP{{\bm HP}}
345: \def\RP{{\bm R}\!{\sl P}}
346:
347: \def\fff{{\rm I}}
348: \def\sff{{\rm I\!I}}
349:
350: \def\sh#1{\mathop{\rm sh}_{#1}}
351: \def\ch#1{\mathop{\rm ch}_{#1}}
352: \def\sg{\mathop{\rm sg}}
353: \def\cg{\mathop{\rm cg}}
354: \def\che{\mathop{\rm ch}_\varepsilon}
355: \def\she{\mathop{\rm sh}_\varepsilon}
356: \def\chk{\mathop{\rm ch}_\kappa}
357: \def\shk{\mathop{\rm sh}_\kappa}
358: \def\am{\mathop{\rm am}}
359: \def\sn{\mathop{\rm sn}}
360: \def\cn{\mathop{\rm cn}}
361: \def\dn{\mathop{\rm dn}}
362:
363: \def\Re{\mathop{\rm Re}}
364: \def\Im{\mathop{\rm Im}}
365: \def\End{{\sl End}}
366: \def\Hom{{\sl Hom}}
367: \def\PGl{{\bm P}{\sl Gl}}
368: \def\O{{\sl O}}
369: \def\Mob{{\sl M\!\ddot ob}}
370: \def\mob{{\fk m}\ddot{\fk o}{\fk b}}
371:
372: \def\dom{\mathop{\rm dom}}
373: \def\grad{\mathop{\rm grad}}
374: \def\span{\mathop{\rm span}}
375:
376: \def\mink#1{\left({#1\atop1}\,{-#1^2\atop-#1\hfill}\right)}
377: %% end of macro.tex
378: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
379: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
380: %% psfile.tex (Udo Hertrich-Jeromin, Thu Jan 29 21:30:51 GMT 2004)
381: %%
382: %% \psfile(wd x ht + llx - lly @ scale){filename (w/o .ps)}
383: %% \checkfile{filename} \iffile...\else...\fi
384: %%
385: \catcode`?=11
386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
387: %% check whether a file is present:
388: %% \checkfile{filename}, \iffile...\else...\fi
389: \newif\iffile \filefalse
390: \newread\check?file
391: \def\checkfile#1{\immediate\openin\check?file=#1\relax%
392: \ifeof\check?file\message{file #1 does not exist.}\filefalse%
393: \else\filetrue\fi\immediate\closein\check?file}
394: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
395: \newcount\?llx \newcount\?lly \newcount\?urx \newcount\?ury \newcount\?rwi
396: \newcount\?PDFxsize \newcount\?PDFysize
397: \newcount\?PDFscale \newcount\?PDFres \?PDFres=288
398: \newwrite\?PStoPDF \immediate\openout\?PStoPDF=\jobname.ps2pdf
399: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
400: \def\make?PStoPDF(#1x#2+#3-#4@#5)#6{%
401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
402: %% prepare .ps file with suitably scaled and translated figure:
403: \immediate\write\?PStoPDF{echo "#5 #5 scale" > #6.pstopdf.tmp}%
404: \immediate\write\?PStoPDF{echo ".01 .01 scale" >> #6.pstopdf.tmp}%
405: \immediate\write\?PStoPDF{echo "#3 neg #4 neg translate" >> #6.pstopdf.tmp}%
406: \immediate\write\?PStoPDF{cat #6.ps >> #6.pstopdf.tmp}%
407: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
408: %% produce .pdf file:
409: \immediate\write\?PStoPDF{gs -sDEVICE=pdfwrite -sOutputFile=#6.pdf
410: -g#1x#2 -r\the\?PDFres\space -dBATCH -dNOPAUSE #6.pstopdf.tmp -c quit}%
411: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
412: %% commands to generate .gif files:
413: \immediate\write\?PStoPDF{gs -sDEVICE=ppmraw -sOutputFile=#6.ppm
414: -g#1x#2 -r\the\?PDFres\space -dBATCH -dNOPAUSE #6.pstopdf.tmp -c quit}%
415: \immediate\write\?PStoPDF{ppmquant 256 #6.ppm
416: | ppmtogif -transparent \#fff
417: > #6.gif}%
418: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
419: %% cleanup:
420: \immediate\write\?PStoPDF{rm -f #6.pstopdf.tmp #6.ppm #6A.ppm}}
421: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
422: %% \psfile(wd x ht + llx - lly @ scale){`basename psfile ps`}
423: %% for older versions of pdftex: use \pdfimage, not \pdfximage
424: \def\psfile(#1x#2+#3-#4@#5)#6{%
425: \unskip\vbox to #2pt{\vss\hbox to #1pt{\?llx=#3\relax\?lly=#4\relax%
426: \?urx=#1\multiply\?urx by 100 \divide\?urx by #5\advance\?urx by \?llx%
427: \?ury=#2\multiply\?ury by 100 \divide\?ury by #5\advance\?ury by \?lly%
428: \?rwi=#1\multiply\?rwi by 10%
429: \ifpdftex
430: \checkfile{#6.pdf}%
431: \iffile\pdfximage width #1pt height #2pt {#6.pdf}%
432: \pdfrefximage\pdflastximage%
433: \else\?PDFscale=#5%
434: \?PDFxsize=\?urx \advance\?PDFxsize by -\?llx%
435: \?PDFysize=\?ury \advance\?PDFysize by -\?lly%
436: \multiply\?PDFxsize by \?PDFscale \divide\?PDFxsize by 100%
437: \multiply\?PDFxsize by \?PDFres \divide\?PDFxsize by 72%
438: \multiply\?PDFysize by \?PDFscale \divide\?PDFysize by 100%
439: \multiply\?PDFysize by \?PDFres \divide\?PDFysize by 72%
440: \make?PStoPDF(%
441: \the\?PDFxsize x\the\?PDFysize+\the\?llx-\the\?lly%
442: @\the\?PDFscale){#6}%
443: \message{...check \jobname.ps2pdf}
444: \fi
445: \else
446: \special{PSfile="#6.ps"
447: llx=\the\?llx\space lly=\the\?lly\space
448: urx=\the\?urx\space ury=\the\?ury\space
449: rwi=\the\?rwi\space clip}%
450: \fi\hfil}}}%
451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
452: \catcode`?=12
453: %% end of psfile.tex
454: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
455: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
456:
457: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
458: %% some more settings:
459: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
460: \showcommentfalse
461: \linenumsfalse
462: \showtagfalse
463: \headline={{\usefont[cmu10 scaled 800]%
464: discrete cmc surfaces \hfil\today~-~\the\time\hfil arXiv version }}
465: %\headline={\hfil}
466: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
467: \def\pcq{P}
468: \def\define#1{{\sl #1\/}}
469: \long\def\proof#1\endproof{\vskip 2ex\noindent{\it Proof.}\enspace
470: #1\hfill\llap{$\triangleleft$}\vskip 2ex}
471: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
472:
473: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
474: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
475:
476: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
477: %% beginning of text
478: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
479: \author={(Fran Burstall, Udo Hertrich-Jeromin, Wayne Rossman \&
480: Susana Santos; \today)}
481: \title={Discrete surfaces of constant mean curvature}
482: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
483: \h0 Discrete surfaces of constant mean curvature.
484: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
485: \vskip 2em
486: \hbox to \hsize{\hfil\vbox{\hsize=0.8\hsize{\small{\bf Abstract.}\enspace
487: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
488: We propose a unified definition for discrete analogues of constant mean
489: curvature surfaces in spaces of constant curvature as a special case
490: of discrete special isothermic nets.
491: B\"acklund transformations and Lawson's correspondence are discussed.
492: It is shown that the definition generalizes previous definitions
493: and a construction for discrete cmc surfaces of revolution in
494: space forms is provided.
495: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
496: \par}}\hfil}
497: \vskip 1em
498: \hbox to \hsize{\hfil\vbox{\hsize=0.8\hsize{\small{\bf MSC 2000.}\enspace
499: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
500: {\it 53A10\/}, {\it 53C42\/}, 53A30, 52C26, 37K35, 37K25
501: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
502: \par}}\hfil}
503: \vskip 1em
504:
505: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
506: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
507: \h1 Introduction.
508: Discrete surfaces of constant mean curvature (discrete ``cmc surfaces'')
509: have been studied in recent years from a variety of different points of
510: view.
511: Two essentially antithetic approaches, one from variational principles
512: and the other from integrable systems, lead to substantially different
513: definitions:
514: normally, for example, discrete soap films and bubbles,
515: i.e., ``discrete variationally cmc surfaces'',
516: are triangulated whereas the definition of
517: ``integrable discrete cmc surfaces''
518: makes use of special coordinates and,
519: therefore, leads to ``discrete cmc {\it nets\/}'',
520: i.e., quadrilateral surfaces.
521: Even in cases where it is sensible to compare the two approaches,
522: such as that of a discrete catenoid in Euclidean space, it turns out
523: that different notions are obtained:
524: each approach leads to a different class of discrete surfaces that
525: can be viewed as analogues of the smooth catenoid.
526:
527: The present paper is concerned with the integrable systems
528: approach to discrete cmc surfaces.
529:
530: A key feature of this approach is its compatibility with the
531: transformation theory of the (smooth) surface class under
532: consideration:
533: for a given class of surface, not only is a similar transformation
534: theory sought for the discrete case but a discrete surface in the class
535: should be created by repeated (B\"acklund-Darboux-)transformations of the
536: smooth class; or, otherwise said, every $2$-dimensional subnet of a
537: multidimensional net created by repeated transformation of a discrete
538: surface in the class should itself be a discrete net of the class.
539: This is what has recently been coined ``multidimensional consistency'',
540: see the very clear and essential description of integrable discretization
541: in \href[ref.bosu06a]{[6]}.
542:
543: A key idea in the definition of integrable discrete cmc surfaces
544: has been to consider them as special discrete isothermic nets:
545: that is, to discretize a (conformal) curvature line net on a smooth
546: cmc surface --- recall that smooth surfaces of constant mean curvature
547: (in any space form) are isothermic, i.e., allow a parametrization
548: by conformal curvature line parameters.
549: This has been the pioneering idea in \href[ref.bopi96]{[3]},
550: where the authors introduced the notion of
551: {\it discrete minimal surfaces in Euclidean space\/}
552: alongside the notion of discrete isothermic surfaces
553: and their Christoffel transformation\footnote{Note the
554: parallel with Christoffel's original paper \href[ref.ch67]{[12]},
555: where his transformation is introduced --- motivated by an
556: observation about minimal surfaces.}.
557: Subsequently, the notion of
558: {\it discrete surfaces of constant mean curvature in Euclidean space\/}
559: has been introduced alongside a notion of a Darboux transformation
560: for discrete isothermic nets in \href[ref.jehopi99]{[16]},
561: see also \href[ref.bopi99]{[4]},
562: and the notion of
563: {\it discrete horospherical surfaces in hyperbolic space\/}
564: --- as an analogue of smooth cmc $1$ surfaces ---
565: has been introduced alongside a notion of a Calapso transformation
566: for discrete isothermic nets in \href[ref.je00]{[17]}.
567: In all three cases the constant mean curvature surfaces can be
568: characterized as isothermic surfaces with a special behaviour of
569: their transformations, as we will discuss below.
570:
571: Note that for all three classes of surfaces $H^2+\kappa\geq0$, where $H$
572: is the mean curvature of the surface and $\kappa$ is the ambient curvature.
573: It is straightforward to use the Calapso transformation for discrete
574: isothermic nets to extend this family of definitions to discrete
575: analogues of any constant mean curvature surfaces with
576: $$
577: H^2+\kappa \geq 0.
578: $$
579: Here, the key observation is that, for smooth constant mean curvature
580: surfaces in space forms, the Calapso transformation becomes a conformal
581: variant of the Lawson correspondence and that Bianchi permutability
582: can then be used to carry over the characterization of cmc surfaces
583: in Euclidean space to other space forms.
584: However, these ideas turn out to be useless for surfaces with
585: $$
586: H^2+\kappa < 0
587: $$
588: as, for example, for minimal surfaces in hyperbolic space.
589:
590: For discrete isothermic surfaces in Euclidean space, a construction of
591: a mean curvature function or rather a ``mean curvature sphere congruence''
592: was given in \href[ref.bopi99]{[4]} and shown to be constant for discrete
593: minimal or constant mean curvature surfaces\footnote{In the minimal case
594: the reverse is in fact also true as shown in \href[ref.bopi96]{[3]}.}.
595: Note that this mean curvature function is defined at the {\it vertices\/}
596: of a discrete isothermic net.
597: Very recently, new ideas from \href[ref.sch07]{[22]} have led to substantial
598: progress in this direction:
599: a new definition of discrete cmc surfaces in Euclidean space relies on the
600: requirement that a mean curvature function --- defined via Steiner's formula
601: on the {\it faces\/} of a discrete (isothermic) net --- be constant,
602: see also \href[ref.boetal07]{[8]}.
603: This definition is equivalent to the one via isothermic transformations,
604: see \href[ref.bo07talk]{[9]}.
605:
606: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
607: \vskip 3ex\hbox to \hsize{\hfil\vbox{\hsize=300pt
608: \hbox to \hsize{\psfile(300x233+115-50@70){babo}}\vglue 2ex
609: \hbox to \hsize{\hfil{\small
610: \htag[fig.babo]{{\bf Fig.~1.}}\enspace Discrete minimal net in $H^3$
611: }\hfil}}\hfil}\vskip 2ex
612: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
613:
614: Our mission in the present paper will be to add another definition
615: of discrete cmc surfaces to the list.
616: However, the aim is not just to promote mathematical pluralism:
617: our definition provides a uniform definition of discrete cmc nets in
618: all space forms alike --- in particular, we also capture the previously
619: inaccessible case of
620: $$
621: H^2+\kappa < 0.
622: $$
623: In fact, we define the much wider class\footnote{In contrast to the generic
624: terminology of ``special discrete isothermic nets'' used earlier our
625: ``discrete special isothermic surface'' will be a technical term.}
626: of ``discrete special isothermic surfaces'' based on
627: \href[ref.buca07]{[11]} and \href[ref.sa07]{[21, Def.~2.18]},
628: see \href[def.special]{Def.~3.12};
629: these come equipped with a ``type number'' $N\in\N$
630: --- discrete cmc nets in space forms will be the $N=1$ case.
631: Hence our definition does not only provide a generalization in
632: allowing any ambient space form and value of the mean curvature,
633: but also in discussing a wider class of discrete isothermic nets
634: --- and we expect it to inaugurate a new direction of research
635: in the field.
636:
637: We shall start our investigation with a short discussion of discrete
638: isothermic surfaces and their transformations --- not only to remind
639: the reader of some facts and to fix notations but also to introduce our
640: perspective on discrete isothermic nets via loops of flat connections,
641: which will be central to all that follows, see \href[thm.dic]{Lemma~2.5}.
642: This will set the scene for the central section of this paper:
643: we shall investigate the properties of polynomial loops of parallel sections,
644: called ``polynomial conserved quantities'', and relations to the geometry
645: of the underlying isothermic net.
646: Excluding some degenerate cases we will arrive at the notion of
647: ``discrete special isothermic nets of type $N$'' in a natural way.
648: It turns out that the Darboux transformation for discrete isothermic
649: nets behaves nicely on these special isothermic nets, which gives
650: rise to a ``B\"acklund transformation'' for special isothermic nets;
651: in particular, we will prove a Bianchi permutability theorem that
652: establishes ``3D-consistency'' for special isothermic nets.
653: Hence our discrete special isothermic nets satisfy the two fundamental
654: discretization principles of the ``discrete Erlanger programme''
655: of \href[ref.bosu06a]{[6]}:
656: \item{$\bullet$} {\it Transformation group principle\/}
657: --- this is built into our construction as we are working in conformal
658: geometry which is the natural symmetry group for special isothermic
659: (smooth) surfaces and (discrete) nets alike,
660: see \href[ref.sa07]{[21, Sect.~2.2.3]};
661: \item{$\bullet$} {\it Consistency principle\/}
662: --- which is established by our Bianchi permutability theorem for the
663: B\"acklund transformation, see \href[thm.BBperm]{Thm.~4.7}.
664:
665: Certain (very) special B\"acklund transforms of a special isothermic net,
666: its ``complementary nets'', will provide the basis for establishing the
667: relation of our approach with the previous approaches to discrete cmc
668: surfaces via their transformations as discrete isothermic surfaces
669: in \href[ref.bopi96]{[3]}, \href[ref.jehopi99]{[16]},
670: \href[ref.bopi99]{[4]} and \href[ref.je00]{[17]},
671: as discussed above.
672: Moreover, we obtain a characterization for discrete cmc surfaces
673: in space forms, i.e., special isothermic nets of type $1$, with
674: $$
675: H^2+\kappa \geq 0
676: $$
677: via complementary nets --- as one may have expected; and
678: the lack of their existence when
679: $$
680: H^2+\kappa < 0
681: $$
682: provides one possible explanation why the aforementioned approach
683: to define discrete cmc nets in space forms was doomed to failure
684: in this case.
685: In the same context we also obtain characterizations of type $2$
686: special isothermic nets, which discretize the classical ``special
687: isothermic surfaces'' of Darboux \href[ref.da99]{[13]} and Bianchi
688: \href[ref.bi04]{[2]}, see also \href[ref.ei23]{[14,~\S\S84--86]}.
689:
690: In the final section we arrive at the main subject of this paper:
691: we give a definition of discrete cmc surfaces in space forms as
692: special isothermic nets of type $1$.
693: Clearly, the rich theory developed in the more general case of
694: special isothermic nets descends to a similarly rich theory for
695: discrete cmc nets in space forms --- in particular, we have the
696: discrete analogues of the Lawson correspondence and the B\"acklund
697: transformation and our discretization satisfies the two discretization
698: principles above for an ``integrable discretization''.
699: Note that we consider M\"obius geometry as the natural ambient
700: geometry for constant mean curvature surfaces in space forms as
701: these arise in ``Lawson families'' of cmc surfaces with different
702: ambient curvatures:
703: the confinement to a space form subgeometry appears as a symmetry
704: breaking phenomenon initiated by part of the geometric data attached
705: to a special isothermic net and, in particular, a discrete cmc net.
706:
707: Despite the obvious merits of our definition we make a great effort
708: to convince the reader of its value by providing detailed analysis
709: of how the aforementioned previous approaches tie in with our
710: definition.
711: However, we do not conceal its problems:
712: we provide an example of a single discrete isothermic net which is a
713: cmc net in a whole family of different space forms\footnote{This net
714: is not spherical but it ``looks'' close to a ``wrinkled'' sphere
715: --- note that, in a smooth world, spheres are the only surfaces
716: that have constant mean curvature in different space forms.};
717: even though this seems to be a rather singular example we can, at
718: the moment, only speculate about how to obviate this anomaly.
719: On the positive side, we provide a method to construct discrete cmc
720: nets of revolution for any prescribed mean curvature $H$ and ambient
721: curvature $\kappa$.
722: In particular, we show how to explicitely construct discrete analogues of
723: smooth constant mean curvature surfaces that were previously unavailable:
724: for example, we construct (see \href[fig.babo]{Fig.~1}) the discrete
725: analogue of a ``hyperbolic catenoid'', that is, a minimal surface of
726: revolution in hyperbolic space, see \href[ref.babo93]{[1]}.
727:
728:
729: \vskip 2\parskip{\it Acknowledgements.\/}
730: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
731: \def\emph{\usefont[cmcsc10]}
732: It is our pleasure to thank our colleagues
733: {\emph A.~Bobenko},
734: {\emph T.~Hoffmann},
735: {\emph U.~Pinkall},
736: {\emph W.~Schief}
737: and
738: {\emph Y.~Suris}
739: for many interesting and helpful discussions about the subject.
740:
741: We also gratefully acknowledge financial support for exchange visits
742: of the second and third authors to Japan and the UK, respectively,
743: from the
744: {\emph Daiwa Anglo-Japanese Foundation}
745: and the
746: {\emph Japanese Ministry of Education}.
747:
748: The surface graphics in Figures \href[fig.babo]{1} \& \href[fig.s3torus]{2}
749: were produced using {\emph Mathematica}.
750:
751:
752: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
753: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
754: \h1 Discrete isothermic nets.
755: We consider discrete nets $f:\Z^2\supset M\to S^3$ in the (conformal)
756: $3$-sphere, where $$
757: M = \{(m,n)\in\Z^2\,|\,m_1\leq m\leq m_2,n_1\leq n\leq n_2\}
758: $$
759: is a rectangular grid\footnote{It should be straightforward to generalize our
760: results to discrete nets defined on quad-graphs, making it possible to consider
761: discrete isothermic nets with ``umbilics'', cf.~\href[ref.ho00]{[19]}.}:
762:
763: \proclaim\htag[def.din]{Def.~2.1}.
764: Such a net will be called a \define{discrete isothermic net} if
765: there is a (real) function $a$ on the edges of $M$, that is, a map
766: $(ij)\mapsto a_{ij}\in\R$ with $a_{ji}=a_{ij}$ for all edges $(ij)$, so
767: that
768: \item{\rm(i)}
769: $a$ has equal values on opposite edges of elementary quadrilaterals
770: $$
771: (ijkl) = ((m,n)(m+1,n)(m+1,n+1)(m,n+1)),
772: $$
773: i.e., $a_{(m,n)(m+1,n)}=a_{(m,n+1),(m+1,n+1)}$ and correspondingly
774: for ``vertical'' edges;
775: \item{\rm(ii)}
776: the cross ratios\footnote{Note that the cross ratio of four points
777: in $S^3$ is (up to complex conjugation) a conformal invariant. For a
778: detailed discussion see \href[ref.imdg]{[18,~Sects.~4.9,~6.5 and \S7.5.14]}.}
779: $q_{ijkl}=[f_i;f_j;f_k;f_l]$ on faces factorize as
780: $$
781: q_{ijkl} = {a_{ij}\over a_{il}}
782: $$
783: into two functions of one variable.
784:
785: Thus we employ the ``wide definition'' of discrete isothermic nets
786: \href[ref.bopi99]{[4]}, see also \href[ref.imdg]{[18,~\S5.7.2]},
787: which discretizes isothermic nets parametrized by curvature line coordinates
788: (not necessarily conformally): as all cross ratios are real, the four vertices
789: of any face of the net are concircular, so that a discrete isothermic net
790: qualifies as a discrete curvature line net or \define{discrete principal net}.
791: Note that the smallest domain of a discrete net where ``discrete isothermic''
792: imposes a condition is a $3\times3$-grid, $m_2-m_1=n_2-n_1=2$;
793: there the definition can be reformulated as a cross ratio $1$ condition
794: on four cross ratios: $$
795: {q_{(m,n-1)(m+1,n-1)(m+1,n)(m,n)}\over q_{(m,n)(m+1,n)(m+1,n+1)(m,n+1)}}
796: {q_{(m-1,n)(m,n)(m,n+1)(m-1,n+1)}\over q_{(m-1,n-1)(m,n-1)(m,n)(m-1,n)}}
797: = 1;
798: $$
799: a cross ratio function, satisfying this condition on all $3\times3$-grids
800: in $M$, determines the function $a$ uniquely up to a non-zero factor.
801:
802: As a mild regularity assumption, discretizing the notion of an immersed
803: surface parametrized by curvature lines, we will usually add the requirement
804: that any three of the four vertices of a face uniquely determine the circle
805: of the four vertices, i.e., that any three vertices are in ``general
806: position''.
807:
808: Throughout the paper we will use the following notations:
809: if $g$ is a map defined on the vertices of a rectangular grid $M$,
810: then we let
811: $$
812: dg_{ij} := g_j-g_i
813: \quad{\rm and}\quad
814: g_{ij} := {1\over2}(g_i+g_j);
815: \eqno differential$$
816: note that $(ij)\mapsto g_{ij}$ defines a function on the edges of $M$
817: whereas $(ij)\mapsto dg_{ij}$ defines a $1$-form,
818: that is, $dg_{ij}+dg_{ji}=0$.
819: With these notations a Leibniz rule holds:
820: $$
821: d(g\cdot h)_{ij} = g_{ij}\cdot dh_{ij} + dg_{ij}\cdot h_{ij},
822: \eqno Leibniz$$
823: where ``$\cdot$'' denotes any product on the target space of $g$ and $h$.
824:
825:
826: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
827: \h2 The projective approach and Moutard lifts.
828: As we are considering nets in the {\it conformal\/} $3$-sphere it will
829: be helpful to consider $$
830: S^3 \cong L^4/\R \subset \RP^4,
831: \quad{\rm where}\quad L^4 = \{Y\in\R^{4,1}\,|\,|Y|^2=0\},
832: $$
833: as a quadric in projective $4$-space.
834: Recall (from \href[ref.imdg]{[18]} for example) that $2$-spheres are,
835: in this model, described by Minkowski $4$-spaces in $\R^{4,1}$ and
836: circles by Minkowski $3$-spaces or, equivalently, by their (spacelike)
837: orthogonal complements, and that incidence translates into a subspace
838: relation or as orthogonality, respectively.
839: For example, four points $p_n\in S^3$, $n=1,\dots,4$, generically lie
840: on a unique $2$-sphere $S\subset S^3$ which can be described as
841: $$
842: S \cong \span\{P_1,\dots,P_4\} \subset \R^{4,1},
843: $$
844: where $P_n\in L^4$ with $\R P_n=p_n\in S^3\cong L^4/\R$ --- their
845: (complex) cross ratio\footnote{Note that $\det(\langle P_i,P_j\rangle)<0$
846: so that $\sqrt{\det(\langle P_i,P_j\rangle)}\in i\R$.
847: Using the Clifford algebra of $\R^{4,1}$, a Clifford algebra valued cross
848: ratio can be defined whose ``imaginary'' part encodes the $2$-sphere of
849: the four points \href[ref.imdg]{[18,~Sect.~6.5]}.}
850: is given by
851: $$
852: q = [p_1;p_2;p_3;p_4]
853: = {\langle P_1,P_2\rangle\langle P_3,P_4\rangle
854: - \langle P_1,P_3\rangle\langle P_2,P_4\rangle
855: + \langle P_1,P_4\rangle\langle P_2,P_3\rangle
856: \pm \sqrt{\det(\langle P_i,P_j\rangle)_{i,j=1,\dots4}}
857: \over2\langle P_1,P_4\rangle\langle P_2,P_3\rangle};
858: \eqno ProjCrossRatio$$
859: the cross ratio becomes real exactly when the $P_n$ become linearly
860: dependent, i.e., when they span a $3$-dimensional Minkowski subspace
861: and the four points $p_n$ are concircular.
862: In this case the (real) cross ratio uniquely determines the relative
863: position of the four points on the circle: given three of the points,
864: say $p_1$, $p_2$ and $p_4$, and a real cross ratio $q$ the fourth
865: point $p_3=\Gamma^q_{p_2,p_4}(p_1)$, where
866: $$
867: \Gamma^q_{p,p'}(X) := X + {1\over\langle P,P'\rangle}\{
868: (q-1)\,\langle X,P'\rangle P + ({1\over q}-1)\,\langle X,P\rangle P'\},
869: \eqno CrossRatioTrafo$$
870: as is easily verified from \reqn{ProjCrossRatio};
871: note that $\Gamma^q_{p,p'}\in \O(4,1)$ descends to a M\"obius transformation of
872: $S^3$ and does not depend on the choice of representatives $P,P'\in L^4$
873: of $p,p'\in S^3$.
874: Also note that
875: $$
876: \RP^1 \cong \R\cup\{\infty\} \ni q \mapsto \Gamma^q_{p,p'}(p'') \in S^3
877: $$
878: yields a $1$-to-$1$ parametrization of the circle through three distinct
879: points $p,p',p''\in S^3$ in terms of the cross ratio, so that
880: $\Gamma^0_{p,p'}(p'')=p'$, $\Gamma^1_{p,p'}(p'')=p''$ and
881: $\Gamma^\infty_{p,p'}(p'')=p$.
882:
883: Now suppose that $f:M\to S^3$ is an isothermic net and fix a cross ratio
884: factorizing function $a$.
885: We wish to show that there is a lift $F$ of $f$ with $$
886: \langle F_i,F_j\rangle = a_{ij}
887: \eqno MoutardCond$$
888: on every edge $(ij)$ of $M$.
889: To this end we have to show that this scaling is compatible on any
890: quadrilateral: thus let $(ijkl)$ denote an elementary quadrilateral and
891: choose a light cone lift $F_i\in L^4$ of $f_i$; then we normalize lifts
892: $F_j,F_l\in L^4$ of $f_j$ and $f_l$ so that $\langle F_i,F_j\rangle=a_{ij}$
893: and $\langle F_i,F_l\rangle=a_{il}$.
894: Now we choose the lift $$
895: F_k := \Gamma^{a_{ij}\over a_{il}}_{f_j,f_l}(F_i)
896: = F_i + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}(F_j-F_l)
897: \eqno MoutardEqn$$
898: of $f_k$
899: and readily verify that $\langle F_j,F_k\rangle=a_{il}=a_{jk}$ and
900: $\langle F_l,F_k\rangle=a_{ij}=a_{kl}$.
901:
902: Note that this lift $F$ of $f$ satisfies the discrete version
903: \reqn{MoutardEqn} of a Moutard equation.
904:
905: Conversely, if a light cone lift $F$ of a discrete surface satisfies
906: a Moutard equation, $F_k-F_i\parallel F_j-F_l$ on all faces, then
907: it is isothermic, see \href[ref.bosu06]{[7,~Def.~9]}.
908: Namely, taking scalar products we learn that
909: $$
910: \left.
911: \matrix{ F_k+F_i\perp F_j-F_l \cr F_k-F_i \perp F_j+F_l \cr}
912: \right\}\quad\Rightarrow\quad\left\{
913: \matrix{ \langle F_j,F_k\rangle = \langle F_i,F_l\rangle \cr
914: \langle F_k,F_l\rangle = \langle F_i,F_j\rangle \cr}
915: \right.
916: $$
917: and hence
918: $$
919: \langle F_i,F_k\rangle\langle F_j,F_l\rangle
920: = \langle F_i,F_j-F_l\rangle\langle F_k-F_i,F_l\rangle
921: = (\langle F_i,F_j\rangle-\langle F_i,F_l\rangle)^2
922: $$
923: so that \reqn{ProjCrossRatio} gives
924: $$
925: [f_i;f_j;f_k;f_l] = {\langle F_i,F_j\rangle\over\langle F_i,F_l\rangle}.
926: $$
927:
928: From \reqn{MoutardEqn} it is also straightforward to see that any diagonal
929: vertex star of a discrete isothermic net is cospherical: if $i_{(m,n)}$,
930: $m,n\in\{-1,0,1\}$, denote the vertices of a $3\times3$-grid then
931: the discrete Moutard equation \reqn{MoutardEqn} shows that the four
932: diagonals $F_{i_{(m,n)}}-F_{p_{(0,0)}}$, $m,n\in\{\pm1\}$, are linearly
933: dependent so that $$
934: \dim\span\{
935: F_{i_{(0,0)}},F_{i_{(1,1)}},F_{i_{(-1,1)}},F_{i_{(-1,-1)}},F_{i_{(1,-1)}}
936: \} \leq 4
937: $$
938: and the five points lie on a $2$-sphere.
939:
940: Assuming that the vertex star $
941: \{F_{i_{(0,0)}},F_{i_{(1,0)}},F_{i_{(0,1)}},F_{i_{(-1,0)}},F_{i_{(0,-1)}}\}
942: $
943: is not cospherical the converse can also be shown, leading to two
944: characterizations of discrete isothermic nets,
945: see \href[ref.bosu06]{[7,~Sect.~3]}:
946:
947: \proclaim\htag[thm.din]{Lemma 2.2}.
948: A discrete net $f:\Z^2\supset M\to S^3$ in the conformal $3$-sphere
949: is isothermic iff
950: \item{\rm(i)} there is a lift $F:M\to L^4$ of $f$ satisfying a discrete
951: Moutard equation $F_k-F_i\parallel F_j-F_l$ on every face $(ijkl)$
952: iff
953: \item{\rm(ii)} any diagonal vertex star is cospherical.
954:
955: The sphere containing a diagonal vertex star of an isothermic net is
956: referred to as the \define{central sphere} of the net at the center
957: of the star, see \href[ref.bosu06]{[7,~Thm.~10]}.
958:
959: As an example we investigate discrete surfaces of revolution:
960: consider the discrete net
961: $$
962: (m,n) \mapsto f_{(m,n)} :
963: = (\eta_m,\varrho_m\cos\varphi_n,\varrho_m\sin\varphi_n)
964: \in \R^3 \subset \R^3\cup\{\infty\} \cong S^3
965: $$
966: where $\eta,\varrho$ and $\varphi$ are real functions of a discrete
967: parameter.
968: A straightforward cross ratio computation would reveal that
969: $$
970: q_{(m,n)(m+1,n)(m+1,n+1)(m,n+1)}
971: = -{(d\eta_{m,m+1})^2+(d\varrho_{m,m+1})^2
972: \over
973: 4\varrho_m\varrho_{m+1}\sin^2{d\varphi_{n,n+1}\over2}}
974: $$
975: identifying the net as a discrete isothermic net.
976: However, we shall proceed differently to show that $f$ is an isothermic
977: net and to find a cross ratio factorizing function $a$ on the edges.
978:
979: Consider
980: $$
981: |(x_0,\dots,x_4)|^2 = -x_0^2 + \sum_{i=1}^4x_i^2
982: $$
983: as the quadratic form of the Minkowski scalar product of $\R^{4,1}$
984: and let
985: $$
986: F^e := ({1+|f|^2\over2},f,{1-|f|^2\over2})
987: \eqno EuclideanLift$$
988: denote the \define{Euclidean lift}\footnote{The Euclidean lift into the
989: (flat) quadric of constant curvature (see \href[ref.imdg]{[18,~Sect.~1.4]})
990: $$
991: {\cal Q} = \{Y\in L^4\,|\,\langle Y,Q\rangle=-1\},
992: \quad{\rm where}\quad
993: Q := (1,0,0,0,-1).
994: $$} of $f$ into the light cone $L^4\subset\R^{4,1}$.
995: Now observe that
996: $$
997: F_{(m,n)} :
998: = {(-1)^m\over\varrho_m}F^e_{(m,n)}
999: = (-1)^m\{
1000: (\underbrace{\textstyle
1001: {1+\eta^2_m+\varrho^2_m\over2\varrho_m},
1002: {\eta_m\over\varrho_m},0,0,
1003: {1-\eta^2_m-\varrho^2_m\over2\varrho_m}
1004: }_{~\rlap{$=:M_m\in\R^{2,1}$}})
1005: + (\underbrace{
1006: 0,0,\cos\varphi_n,\sin\varphi_n,0
1007: }_{~\rlap{$=:\Phi_nC\in\R^2$}})
1008: \},
1009: $$
1010: that is, there is an orthogonal decomposition $\R^{4,1}=\R^{2,1}\oplus\R^2$
1011: so that
1012: $$
1013: F_{(m,n)} = (-1)^m(M_m+\Phi_nC) = (-1)^m\Phi_n(M_m+C),
1014: \eqno RevolutionNet$$
1015: where $\Phi_n$ are rotations of $\R^2$, $C\in S^1\subset\R^2$ and $M$ takes
1016: values in the hyperbolic plane\footnote{Secretly we are using a conformal map
1017: $\R^3\setminus\{{\rm axis}\}\to H^2\times S^1\subset\R^{2,1}\oplus\R^2=\R^{4,1}$
1018: adapted to the rotational symmetry of the map $f$,
1019: cf.~\href[ref.imdg]{[18,~\S1.4.16]}.}
1020: $$
1021: H^2=\{Y\in\R^{2,1}\,|\,|Y|^2=-1,Y_0>0\}\subset\R^{2,1}.
1022: $$
1023: In particular, $M_m\perp\Phi_nC$ for all $(m,n)$.
1024:
1025: Note that $\R^2=\span\{\Phi_nC\,|\,n\in\Z\}$ defines an elliptic sphere
1026: pencil, hence (cf.~\href[ref.imdg]{[18,~Sect.~1.2]}) a circle
1027: $$
1028: L^4\cap\R^{2,1} = L^4\cap\{\Phi_nC\,|\,n\in\Z\}^\perp,
1029: $$
1030: which is the axis of our discrete surface of revolution.
1031: At the same time, it is the infinity boundary of the hyperbolic $2$-plane
1032: $H^2$ of the meridian curve.
1033:
1034: Clearly, $F$ satisfies the discrete Moutard equation
1035: $$
1036: F_{(m+1,n+1)}-F_{(m,n)}
1037: = (-1)^{m+1}\{M_{m+1}+\Phi_{n+1}C+M_m+\Phi_nC\}
1038: = F_{(m+1,n)}-F_{(m,n+1)}
1039: $$
1040: and is therefore a discrete isothermic net with cross ratio
1041: factorizing function
1042: $$
1043: a_{ij} := \langle F_i,F_j\rangle
1044: = \cases{
1045: -1-\langle M_m,M_{m+1}\rangle
1046: = {(d\eta_{m,m+1})^2+(d\varrho_{m,m+1})^2\over2\varrho_m\varrho_{m+1}} &
1047: for $(ij)=((m,n)(m+1,n))$ \cr
1048: -1+\langle \Phi_nC,\Phi_{n+1}C\rangle
1049: = -2\sin^2{d\varphi_{n,n+1}\over2} &
1050: for $(ij)=((m,n)(m,n+1))$ \cr
1051: }
1052: $$
1053: as soon as $M_{m+1}\neq M_m$ and $\Phi_{n+1}C\neq\Phi_nC$.
1054:
1055:
1056: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1057: \h2 Quaternions and the Calapso transformation.
1058: The Calapso transformation, or $T$-transformation, of (discrete)
1059: isothermic nets will be central to our investigations --- it was introduced
1060: in \href[ref.je00]{[17]} (see also \href[ref.imdg]{[18,~\S5.7.16]})
1061: using a quaternionic setup for M\"obius geometry.
1062: Hence we will first briefly discuss the quaternionic approach in order to
1063: make contact with earlier work; however, we will provide an independent
1064: definition in the following section so that a reader unfamiliar with
1065: previous approaches may just skip this section.
1066:
1067: Thus, we consider $S^3\cong\Im\H\cup\{\infty\}\subset\HP^1$ and
1068: $$
1069: \R^{4,1} \cong \{ X\in\End(\H^2) \,|\,
1070: X = \left({x\atop x_0}\,{x_\infty\atop-x}\right),
1071: x\in\Im\H,x_0,x_\infty\in\R\} \subset \End(\H^2)
1072: $$
1073: equipped with $|X|^2=-X^2=x^2+x_0x_\infty$ as the quadratic form of the
1074: Minkowski product\footnote{This is analogous to the Vahlen matrix approach
1075: to M\"obius geometry (see \href[ref.imdg]{[18,~Sect.~7.1]}) using the Clifford
1076: algebra of $\R^{4,1}$.}.
1077: In particular, we obtain an isometry
1078: $$
1079: \R^3\cong\Im\H \ni x \rightarrow X=\mink x \in L^4 \subset \R^{4,1};
1080: \eqno QEuclideanLift$$
1081: note that, for two such ``Euclidean'' light cone lifts $X,Y\in L^4$,
1082: $$
1083: -2\langle X,Y\rangle = XY+YX = -(y-x)^2 = |y-x|^2.
1084: $$
1085: In this setup the M\"obius group
1086: $$
1087: \Mob(3)
1088: = \{ \left({a\atop c}\,{b\atop d}\right) \in \End(\H^2) \,|\,
1089: \bar ac+\bar ca=\bar bd+\bar db=0, \bar ad+\bar cb\in\R\setminus\{0\}
1090: \}/\R \subset \PGl(2,\H)
1091: $$
1092: of $S^3$ acts isometrically on $\R^{4,1}$ via
1093: $$
1094: \Mob(3)\times\R^{4,1} \ni (A,X)\mapsto A\cdot X:=AXA^{-1} \in \R^{4,1}.
1095: \eqno QuatAction$$
1096:
1097: Now let $f:M\to S^3$ be a discrete conformal net, with cross ratio
1098: factorizing function $a$ on the edges, and define
1099: $$
1100: \tau_{ij} := {a_{ij}\over2\langle F_i,F_j\rangle}\,F_iF_j,
1101: \eqno DefTau$$
1102: where $F$ is any light cone lift of $f$;
1103: assuming that $f:M\to\Im\H\subset S^3$ and using the lift \reqn{QEuclideanLift}
1104: we find
1105: $$
1106: \tau_{ij} = \left(
1107: {f_idf^\ast_{ij}\atop\hfill df^\ast_{ij}}
1108: {-f_idf^\ast_{ij}f_j\atop\hfill -df^\ast_{ij}f_j}
1109: \right),
1110: \quad{\rm where}\quad
1111: df^\ast_{ij} = a_{ij}(df_{ij})^{-1}
1112: $$
1113: is the ``derivative'' of the Christoffel transform $f^\ast$ of $f$ in $\R^3$,
1114: see \href[ref.bopi99]{[4,~Thm.~14]} or \href[ref.imdg]{[18,~\S5.7.7]}.
1115: Then, for $\lambda\in\R$,
1116: $$
1117: (1+\lambda\tau_{ij})(1+\lambda\tau_{ji}) = 1 - \lambda a_{ij} \in \R
1118: $$
1119: and
1120: $$
1121: (1+\lambda\tau_{ij})(1+\lambda\tau_{jk})
1122: = (1+\lambda\tau_{il})(1+\lambda\tau_{lk})
1123: $$
1124: on every elementary quadrilateral $(ijkl)$ so that
1125: $$
1126: (ij) \mapsto 1+\lambda\tau_{ij}, \quad
1127: 1+\lambda\tau_{ij}:\{j\}\times S^3\to\{i\}\times S^3,
1128: \eqno QuatConnection$$
1129: defines a flat $\Mob(3)$-connection\footnote{We shall make the notion
1130: of a flat (discrete) connection precise in the following section.} on
1131: $M\times S^3$, as long as
1132: $$
1133: 1-\lambda a_{ij}\neq0
1134: \quad\Leftrightarrow\quad
1135: 1+\lambda\tau_{ij} \in \Mob(3)
1136: $$
1137: for all edges $(ij)$.
1138: Hence there is a gauge transformation
1139: $$
1140: T^\lambda:M\to\Mob(3), \quad
1141: T^\lambda_j = T^\lambda_i(1+\lambda\tau_{ij}),
1142: \eqno QuadCalapso$$
1143: which identifies the $(1+\lambda\tau)$-connection on $M\times S^3$
1144: with the trivial connection.
1145:
1146: The $T^\lambda$ play a key role in the transformation theory of (discrete)
1147: isothermic nets; in particular, it turns out that every $T^\lambda f$
1148: defines\footnote{Here $\Mob(3)$ acts on $S^3\cong\Im\H\cup\{\infty\}$
1149: by M\"obius transformations, i.e., by fractional linear transformations.}
1150: a discrete isothermic net:
1151: $T^\lambda:M\to\Mob(3)$ are the \define{Calapso transformations} of $f$ and
1152: the discrete isothermic nets $T^\lambda f$ are its \define{Calapso transforms},
1153: see \href[ref.imdg]{[18,~\S5.7.16]}.
1154:
1155: The connections $(ij)\mapsto1+\lambda\tau_{ij}$ lift to flat
1156: $\O(4,1)$-connections $(ij)\mapsto\Gamma^\lambda_{ij}$ on the
1157: (discrete) vector bundle $M\times\R^{4,1}$ via \reqn{QuatAction}
1158: to give
1159: $$
1160: X \mapsto \Gamma^\lambda_{ij}\cdot X :
1161: = {1\over 1-\lambda a_{ij}}(1+\lambda\tau_{ij})\,X\,(1+\lambda\tau_{ji})
1162: = \Gamma^{1-\lambda a_{ij}}_{f_i,f_j}(X).
1163: \eqno QuatConnectionLift$$
1164:
1165:
1166: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1167: \h2 The vector bundle approach.
1168: Clearly, the flat connections $\Gamma^\lambda$ on $M\times\R^{4,1}$
1169: in \reqn{QuatConnectionLift} can be defined without reference to
1170: the quaternionic approach.
1171: First we define our setup:
1172:
1173: \proclaim\htag[def.dfc]{Def.~2.3}.
1174: A \define{connection} on a (discrete) fibre bundle $F\to M$, where
1175: the base $M$ is a rectangular grid as before, is a map that assigns
1176: to each directed edge $(ij)$ in $M$ an isomorphism
1177: $$
1178: \Gamma_{ij}:F_j\to F_i
1179: \quad\hbox{\sl so that}\quad
1180: \Gamma_{ij}\Gamma_{ji}=1;
1181: $$
1182: it will be said to be a \define{flat connection} if its holonomies
1183: around all elementary quadilaterals $(ijkl)$ are trivial,
1184: $$
1185: \Gamma_{ij}\Gamma_{jk}\Gamma_{kl}\Gamma_{li} = 1.
1186: $$
1187:
1188: With these notions we can now formulate the key definition:
1189:
1190: \proclaim\htag[def.dic]{Def.~2.4}.
1191: Let $f:M\to S^3$ be a discrete isothermic net with cross ratio factorizing
1192: function $a$.
1193: We say that
1194: $$
1195: (\lambda,ij)\mapsto\Gamma^\lambda_{ij} :
1196: = \Gamma^{1-\lambda a_{ij}}_{f_i,f_j}
1197: \in \Hom(\{j\}\times\R^{4,1},\{i\}\times\R^{4,1})
1198: \eqno IsothConnection$$
1199: defines the \define{isothermic family of connections}\footnote{We have
1200: $\Gamma^\lambda_{ij}\Gamma^\lambda_{ji}=1$ on all edges $(ij)$, so that
1201: the $\Gamma^\lambda$ qualify as discrete (linear) connections.} of $f$,
1202: where $\lambda\in\R$ so that $1\neq\lambda a_{ij}$ for all edges $(ij)$.
1203:
1204: Note that the $\Gamma^\lambda$ are \define{metric} connections on
1205: $M\times\R^{4,1}$, as all $\Gamma^\lambda_{ij}$ are isometries and
1206: hence descend to connections on $M\times S^3$.
1207:
1208: We already know that, if $f$ is an isothermic net, then the isothermic
1209: family of connections \reqn{IsothConnection} is flat,
1210: see \href[ref.imdg]{[18,~\S5.7.5]}.
1211: Here we shall give an independent proof, not relying on the quaternionic
1212: setup, as well as a certain converse of this fact
1213: (cf.~\href[ref.je00]{[17,~Thm.~3.14]}):
1214:
1215: \proclaim\htag[thm.dic]{Lemma 2.5}.
1216: Let $f:M\to S^3$ be a regular discrete net, i.e., any three vertices of
1217: a face are in general position, and let $a$ be a function on the edges.
1218: Then the connection given by \reqn{IsothConnection} is flat if and
1219: only if $f$ is isothermic with cross ratio factorizing function $a$.
1220:
1221: \proof
1222: First note that $\Gamma^{1-\lambda a_{ij}}_{f_i,f_j}(X)=X\bmod f_i$
1223: when $X\perp f_i$, so that $\Gamma^{1-\lambda a_{ij}}_{f_i,f_j}$ projects
1224: to the identity on $f_i^\perp/f_i$ and similarly for $f_j$.
1225: Consequently,
1226: $$
1227: \Gamma^{1-\lambda a_{ij}}_{f_i,f_j}\Gamma^{1-\lambda a_{jk}}_{f_j,f_k}(X)
1228: = X \bmod f_j \quad{\rm if}\quad X\perp f_j.
1229: $$
1230: The same is true for the product
1231: $\Gamma^{1-\lambda a_{il}}_{f_i,f_l}\Gamma^{1-\lambda a_{lk}}_{f_l,f_k}$
1232: so that, if we now assume flatness of the connection,
1233: $$
1234: \Gamma^{1-\lambda a_{ij}}_{f_i,f_j}
1235: \Gamma^{1-\lambda a_{jk}}_{f_j,f_k}
1236: =
1237: \Gamma^{1-\lambda a_{il}}_{f_i,f_l}
1238: \Gamma^{1-\lambda a_{lk}}_{f_l,f_k}
1239: =: \Gamma^\lambda,
1240: $$
1241: we learn that $\Gamma^\lambda=id$ on $(f_j\oplus f_l)^\perp$
1242: since $f_j\neq f_l$.
1243: Moreover, $f_j$ and $f_l$ are eigendirections of $\Gamma^\lambda$ and
1244: $$
1245: \Gamma^\lambda(X) = \cases{\hfill
1246: {1-\lambda a_{jk}\over1-\lambda a_{ij}}\,X & if $X \in f_j$, \cr\hfill
1247: X & if $X\perp f_j,f_l$, \cr\hfill
1248: {1-\lambda a_{lk}\over1-\lambda a_{il}}\,X & if $X \in f_l$. \cr
1249: }
1250: $$
1251: As $\Gamma^\lambda$ is, along with $\Gamma^{1-\lambda a_{ij}}_{f_i,f_j}$
1252: and $\Gamma^{1-\lambda a_{jk}}_{f_j,f_k}$, an orientation preserving
1253: orthogonal transformation we infer that, for all $\lambda$,
1254: $$
1255: {1-\lambda a_{jk}\over1-\lambda a_{ij}}
1256: {1-\lambda a_{lk}\over1-\lambda a_{il}}
1257: = 1
1258: \quad{\rm and}\quad
1259: \Gamma^\lambda = \Gamma_{f_j,f_l}^{1/q(\lambda)},
1260: \quad q(\lambda):={1-\lambda a_{ij}\over1-\lambda a_{jk}}.
1261: $$
1262: Hence $a_{ij}=a_{jk}$ and $a_{il}=a_{lk}$ (in which case $\Gamma^\lambda=id$
1263: for all $\lambda$) or $a_{ij}=a_{lk}$ and $a_{jk}=a_{il}$.
1264:
1265: Now decompose $F_k\in f_k\setminus\{0\}$ as
1266: $F_k=F_i+F_j+F_k^\perp\in f_i\oplus f_j\oplus(f_i\oplus f_j)^\perp$
1267: and observe that
1268: $$
1269: \Gamma^\lambda(F_k)
1270: = {1\over1-\lambda a_{jk}}\Gamma_{f_i,f_j}^{1-\lambda a_{ij}}(F_k)
1271: = {1-\lambda a_{ij}\over1-\lambda a_{jk}}\,F_i
1272: + {1\over1-\lambda a_{jk}}\,F_k^\perp
1273: + {1\over(1-\lambda a_{ij})(1-\lambda a_{jk})}\,F_j
1274: \longrightarrow {a_{ij}\over a_{jk}}\,F_i
1275: $$
1276: as $\lambda\to\infty$.
1277: This shows that, since $f_k\neq f_i$, we cannot have $a_{ij}=a_{jk}$;
1278: hence the function $a$ has equal values on opposite edges of an
1279: elementary quadrilateral.
1280: Moreover, we learn that
1281: $$
1282: f_k = \Gamma_{f_j,f_l}^{q(\infty)}(f_i),
1283: $$
1284: showing that the four vertices $f_i$, $f_j$, $f_k$ and $f_l$ are concircular
1285: and the edge function $a$ factorizes their cross ratio,
1286: $$
1287: [f_i;f_j;f_k;f_l] = q(\infty) = {a_{ij}\over a_{jk}}.
1288: $$
1289: Hence $f$ is a discrete isothermic net.
1290:
1291: Conversely, suppose that $f$ is discrete isothermic with cross ratio
1292: factorizing function $a$; we wish to show that
1293: $$
1294: \Gamma^\lambda_{ij}\Gamma^\lambda_{jk}
1295: = \Gamma^{1/q(\lambda)}_{f_j,f_l}
1296: = \Gamma^{q(\lambda)}_{f_l,f_j}
1297: = \Gamma^\lambda_{il}\Gamma^\lambda_{lk},
1298: $$
1299: where $q(\lambda)={1-\lambda a_{ij}\over1-\lambda a_{jk}}$.
1300: As the second equation holds and the third is obtained from the first
1301: by exchanging the roles of $j$ and $l$ it suffices to prove the first
1302: of these equations.
1303: Also,
1304: $$
1305: \Gamma^{q(\lambda)}_{f_j,f_l}\Gamma^\lambda_{ij}\Gamma^\lambda_{jk}(X)
1306: = \cases{
1307: X & if $X\in f_j$ \cr
1308: X \bmod f_j & if $X\perp f_j$ \cr
1309: }
1310: $$
1311: so that flatness of the family of isothermic connections of $f$ follows as
1312: soon as $\Gamma^{q(\lambda)}_{f_j,f_l}\Gamma^\lambda_{ij}\Gamma^\lambda_{jk}$
1313: has another isotropic eigendirection --- we shall show that $f_k$ serves this
1314: purpose:
1315: consider
1316: $$
1317: \RP^1 \cong \R\cup\{\infty\} \ni \lambda
1318: \mapsto
1319: \Gamma^\lambda_{ij}\Gamma^\lambda_{jk}(f_k)=\Gamma^\lambda_{ij}(f_k),
1320: \Gamma^{1/q(\lambda)}_{f_j,f_l}(f_k) \in S^3.
1321: $$
1322: Both maps parametrize the same circle in terms of a certain cross ratio,
1323: given as a linear fractional transformation of $\lambda$;
1324: in particular,
1325: $$\matrix{
1326: \lambda = 0 \hfill&\Rightarrow&
1327: \Gamma^\lambda_{ij}(f_k)
1328: = \Gamma^1_{f_i,f_j}(f_k)
1329: = f_k \hfill
1330: = \Gamma^1_{f_j,f_l}(f_k)
1331: = \Gamma^{1/q(\lambda)}_{f_j,f_l}(f_k),
1332: \cr
1333: \lambda = \infty \hfill&\Rightarrow&
1334: \Gamma^\lambda_{ij}(f_k)
1335: = \Gamma^\infty_{f_i,f_j}(f_k)
1336: = f_i \hfill
1337: = \Gamma^{a_{jk}\over a_{ij}}_{f_j,f_l}(f_k)
1338: = \Gamma^{1/q(\lambda)}_{f_j,f_l}(f_k),
1339: \cr
1340: \lambda = {1\over a_{ij}} \hfill&\Rightarrow&
1341: \Gamma^\lambda_{ij}(f_k)
1342: = \Gamma^0_{f_i,f_j}(f_k)
1343: = f_j \hfill
1344: = \Gamma^\infty_{f_j,f_l}(f_k)
1345: = \Gamma^{1/q(\lambda)}_{f_j,f_l}(f_k).
1346: \cr
1347: }$$
1348: As two M\"obius transformations of a circle coincide as soon as they
1349: coincide at three points we conclude that
1350: $\Gamma^\lambda_{ij}(f_k) = \Gamma^{1/q(\lambda)}_{f_j,f_l}(f_k)$
1351: for all $\lambda$.
1352: \endproof
1353:
1354: Note that, freeing the second part of the proof from the specific notations
1355: of the situation, we have proved the following:
1356:
1357: \proclaim\htag[thm.dicCor]{Lemma 2.6}.
1358: Write $[p_1;p_2;p_3;p_4]={a\over b}$ with $a,b\in\R$ for the cross ratio
1359: of four concircular points $p_i\in S^3$, $i=1,\dots,4$; then, for all
1360: $\lambda\in\R$,
1361: $$
1362: \Gamma^{1-a\lambda}_{p_1,p_2}\Gamma^{1-b\lambda}_{p_2,p_3}
1363: = \Gamma^{(1-b\lambda)/(1-a\lambda)}_{p_2,p_4}
1364: = \Gamma^{(1-a\lambda)/(1-b\lambda)}_{p_4,p_2}
1365: = \Gamma^{1-b\lambda}_{p_1,p_4}\Gamma^{1-a\lambda}_{p_4,p_3}.
1366: $$
1367:
1368: Thus, for a discrete isothermic net $f$, there are gauge transformations
1369: $T^\lambda:M\to\O(4,1)$ identifying the connections $\Gamma^\lambda$
1370: on $M\times\R^{4,1}$ with the trivial connection:
1371:
1372: \proclaim\htag[def.calapso]{Lemma \& Def.~2.7}.
1373: Let $f:M\to S^3$ be a discrete isothermic net with its isothermic family
1374: of connections $\Gamma^\lambda$.
1375: Then the gauge transformations
1376: $$
1377: T^\lambda:M\to\O(4,1) \quad{\rm with}\quad
1378: T^\lambda_j=T^\lambda_i\Gamma^\lambda_{ij}
1379: $$
1380: are the \define{Calapso transformations} of $f$;
1381: the isothermic nets $f^\lambda:=T^\lambda f$ are its
1382: \define{Calapso transforms}.
1383:
1384: Note that $a^\mu={a\over1-\mu a}$ is a cross ratio factorizing function
1385: for the Calapso transform $f^\mu$ of $f$ with cross ratio factorizing
1386: function $a$, see \href[ref.imdg]{[18,~\S5.7.16]};
1387: the isothermic family of connections of $f^\mu$ is given by
1388: $$
1389: \Gamma^{\mu,\lambda}_{ij}
1390: = T^\mu_i\Gamma^{\mu+\lambda}_{ij}(T^\mu_j)^{-1},
1391: \eqno IsothConnectionT$$
1392: which shows that the Calapso transformations of a discrete isothermic net
1393: satisfy a $1$-parameter group property, see \href[ref.je00]{[17]} or
1394: \href[ref.imdg]{[18,~\S5.7.30]}:
1395: $$
1396: T^{\mu,\lambda}T^\mu = T^{\mu+\lambda}.
1397: \eqno 1ParameterT$$
1398:
1399:
1400: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1402: \h1 Polynomial conserved quantities.
1403: The second key notion in our definition of discrete cmc nets in space
1404: forms will be that of polynomial conserved quantities:
1405:
1406: \proclaim\htag[def.pcq]{Def.~3.1}.
1407: Let $f:M\to S^3$ be an isothermic net.
1408: A \define{polynomial conserved quantity} of $f$ is a map
1409: $$
1410: \R\times M \ni (\lambda,i) \mapsto \pcq_i(\lambda)
1411: = \sum_{k=0}^N\pcq^{(k)}_i\lambda^k \in \R^{4,1}[\lambda]
1412: $$
1413: so that, for every fixed $\lambda$,
1414: $$
1415: T^\lambda\pcq(\lambda) \equiv const.
1416: $$
1417:
1418: Hence, a polynomial conserved quantity of an isothermic net can be thought
1419: of as a polynomial family of parallel sections of the vector bundle
1420: $M\times\R^{4,1}$ equipped with the isothermic family of connections:
1421: $$
1422: T^\lambda\pcq(\lambda) \equiv const.
1423: \quad\Leftrightarrow\quad
1424: \pcq_i(\lambda) = \Gamma^\lambda_{ij}\pcq_j(\lambda)
1425: \eqno PCQcondition$$
1426: on all edges $(ij)$ of $M$.
1427:
1428: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1429: \h2 Basic properties.
1430: Clearly, as $T^\lambda$ acts linearly on $\R^{4,1}$, the polynomial
1431: conserved quantities of a given discrete isothermic net $f$ can
1432: be superposed:
1433:
1434: \proclaim\htag[thm.pcqSpace]{Lemma 3.2}.
1435: The space of polynomial conserved quantities of $f$ is a vector space.
1436:
1437: As a consequence, we can construct new polynomial conserved quantities
1438: from a given one by multiplying with real polynomials $p(\lambda)$,
1439: thereby raising the degree; for example, if $\pcq$ is a polynomial
1440: conserved quantity of $f$ then $(1+\lambda)\pcq(\lambda)$ will
1441: be a new polynomial conserved quantity of higher degree.
1442: Thus we will be interested in (non-vanishing) polynomial conserved
1443: quantities of lowest possible degree.
1444: The following lemma provides a criterion:
1445:
1446: \proclaim\htag[thm.pcqReduction]{Lemma 3.3}.
1447: Let $\pcq(\mu)=0$ for a polynomial conserved quantity
1448: $\pcq(\lambda):M\to\R^{4,1}[\lambda]$ of $f$; then
1449: $$
1450: \tilde\pcq(\lambda) := {1\over\lambda-\mu}\,\pcq(\lambda)
1451: $$
1452: is a polynomial conserved quantity of $f$ of lower degree.
1453:
1454: Note that, if $\pcq_i(\mu)=0$ for some $i\in M$ then $\pcq(\mu)\equiv0$
1455: on $M$ since $T^\mu\pcq(\mu)\equiv const$.
1456:
1457: \proof
1458: Writing $\pcq_i(\lambda)\in\R^{4,1}[\lambda]$ in terms of a basis of
1459: $\R^{4,1}$ shows that $\mu$ is a common zero for all (real) component
1460: polynomials, which are therefore divisible by $(\lambda-\mu)$.
1461: Hence $\tilde\pcq_i(\lambda)$ is polynomial at any $i\in M$.
1462:
1463: Clearly
1464: $$
1465: T^\lambda\tilde\pcq(\lambda)
1466: = {1\over\lambda-\mu}\,T^\lambda\pcq(\lambda)
1467: \equiv const
1468: $$
1469: for any fixed $\lambda$, showing that $\tilde\pcq(\lambda)$ is a polynomial
1470: conserved quantity of $f$.
1471: \endproof
1472:
1473: As a direct consequence of the previous two lemmas we learn that,
1474: if two distinct polynomial conserved quantities $\pcq(\lambda)$ and
1475: $\tilde\pcq(\lambda)$ of degree $N\in\N$ of an isothermic net have the
1476: same value at some point $(\mu,i)\in\R\times M$, then there is a polynomial
1477: conserved quantity of degree $\leq N-1$.
1478: In particular:
1479:
1480: \proclaim\htag[thm.pcqUniq]{Cor.~3.4}.
1481: A non-zero polynomial conserved quantity of lowest possible degree $N$,
1482: $$
1483: \pcq(\lambda) = \lambda^NZ + \dots + \lambda^0Q:M\to\R^{4,1}[\lambda],
1484: $$
1485: is uniquely determined by either its top or bottom coefficient $Z$ or $Q$,
1486: respectively.
1487:
1488: Since the $T^\lambda$ are orthogonal transformations, there is another
1489: obvious property of a polynomial conserved quantity which will become
1490: important later:
1491:
1492: \proclaim\htag[thm.pcqNorm]{Lemma 3.5}.
1493: If $\pcq(\lambda)$ is a polynomial conserved quantity of $f$,
1494: then $|\pcq(\lambda)|^2$ depends only on $\lambda$;
1495: in particular, $|Z|^2$ and $|Q|^2$ are constants.
1496: If $\pcq(\lambda)=\lambda Z+Q$ is a linear conserved quantity,
1497: then also $\langle Z,Q\rangle\equiv const$.
1498:
1499: Finally note that the equation \reqn{PCQcondition} for a polynomial
1500: conserved quantity depends crucially on the choice of a cross ratio
1501: factorizing function $a$: however, if $\tilde a:=\alpha a$ is a
1502: new cross ratio factorizing function, then
1503: $$
1504: \tilde\Gamma^\lambda = \Gamma^{\alpha\lambda}
1505: $$
1506: by \reqn{IsothConnection};
1507: hence $\tilde\pcq(\lambda)=\pcq(\alpha\lambda)$ is a new polynomial
1508: conserved quantity satisfying \reqn{PCQcondition} with the new
1509: isothermic family of connections.
1510: Consequently:
1511:
1512: \proclaim\htag[thm.pcqScale]{Lemma 3.6}.
1513: If $\pcq(\lambda)$ is a polynomial conserved quantity of $f$ with respect
1514: to $a$ as a cross ratio factorizing function then
1515: $$
1516: \tilde\pcq(\lambda) := \pcq(\alpha\lambda)
1517: $$
1518: is a polynomial conserved quantity of $f$ with respect to $\tilde a:=\alpha a$
1519: as a new cross ratio factorizing function.
1520:
1521:
1522: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1523: \h2 Geometric properties.
1524: We now turn to a more detailed analysis of \reqn{PCQcondition} and its
1525: geometric consequences:
1526: using \reqn{CrossRatioTrafo} the fact that a polynomial conserved quantity
1527: $\pcq(\lambda)$ is a family of parallel sections of the isothermic family
1528: of connections \reqn{IsothConnection} of $f$ reads
1529: $$\matrix{
1530: \pcq_i(\lambda)
1531: &=& \Gamma^\lambda_{ij}\pcq_j(\lambda)
1532: &=& \pcq_j(\lambda) + {\lambda a_{ij}\over\langle F_i,F_j\rangle} \{
1533: {1\over1-\lambda a_{ij}}\langle\pcq_j(\lambda),F_i\rangle F_j
1534: - \langle\pcq_j(\lambda),F_j\rangle F_i \} \cr
1535: % \pcq_j(\lambda)
1536: % &=& \Gamma^\lambda_{ji}\pcq_i(\lambda)
1537: % &=& \pcq_i(\lambda) + {\lambda a_{ij}\over\langle F_i,F_j\rangle} \{
1538: % {1\over1-\lambda a_{ij}}\langle\pcq_i(\lambda),F_j\rangle F_i
1539: % - \langle\pcq_i(\lambda),F_i\rangle F_j \} \cr
1540: }$$
1541: on any edge $(ij)$ of $M$;
1542: exchanging the roles of the endpoints $i$ and $j$ of the edge we obtain
1543: a similar equation which, as $f_i\neq f_j$, yields two equations
1544: $$\matrix{
1545: d\pcq_{ij}(\lambda)
1546: &=&\hfill {\lambda a_{ij}\over\langle F_i,F_j\rangle} \{
1547: \langle\pcq_j(\lambda),F_j\rangle F_i
1548: - \langle\pcq_i(\lambda),F_i\rangle F_j \} \cr
1549: &=& {\lambda a_{ij}\over1-\lambda a_{ij}}{1\over\langle F_i,F_j\rangle} \{
1550: \langle\pcq_i(\lambda),F_j\rangle F_i
1551: - \langle\pcq_j(\lambda),F_i\rangle F_j \} \cr
1552: }$$
1553: for some light cone lift $F$ of $f$.
1554: Note that the second equality follows from the first by taking scalar
1555: products with $F_i$ and $F_j$, respectively.
1556: Hence, we also obtain the converse:
1557:
1558: \proclaim\htag[thm.PCQcondition]{Lemma 3.7}.
1559: $\pcq(\lambda)$ is a polynomial conserved quantity of $f$ if and only if,
1560: for all edges $(ij)$ in $M$,
1561: $$
1562: d\pcq_{ij}(\lambda)
1563: = {\lambda a_{ij}\over\langle F_i,F_j\rangle} \{
1564: \langle\pcq_j(\lambda),F_j\rangle F_i
1565: - \langle\pcq_i(\lambda),F_i\rangle F_j \}.
1566: \eqno dPCQ$$
1567:
1568: Note that, in case $F$ is a Moutard lift of $f$ satisfying \reqn{MoutardCond},
1569: then \reqn{dPCQ} simplifies to
1570: $$
1571: d\pcq_{ij}(\lambda) = \lambda\,\{p_j(\lambda)F_i-p_i(\lambda)F_j\},
1572: \quad{\rm where}\quad
1573: p(\lambda) := \langle\pcq(\lambda),F\rangle.
1574: $$
1575: The integrability $d^2\pcq(\lambda)=0$ of this equation then yields
1576: $$
1577: (p_k(\lambda)-p_i(\lambda))(F_j-F_l)
1578: = (p_j(\lambda)-p_l(\lambda))(F_k-F_i),
1579: $$
1580: and hence $p(\lambda)$ satisfies the very same Moutard equation
1581: \reqn{MoutardEqn} as $F$ does.
1582:
1583: Now the key observation from \reqn{dPCQ} is that this equates a polynomial
1584: of degree $N$ and a polynomial of degree $N+1$ with vanishing constant
1585: coefficient.
1586: Hence, looking at the degree $0$ and degree $N$ and $N+1$ terms
1587: we obtain the following two corollaries:
1588:
1589: \proclaim\htag[thm.ConstantQ]{Cor.~3.8}.
1590: If $\pcq(\lambda)=\lambda^NZ+\dots+Q$ is a polynomial conserved quantity
1591: of $f$, then $Q\equiv const$.
1592:
1593: Thus a polynomial conserved quantity naturally provides an ambient quadric
1594: ${\cal Q}$ of constant curvature $\kappa=-|Q|^2$ for the isothermic net,
1595: see \href[ref.imdg]{[18,~Sect.~1.4]}:
1596: $$
1597: {\cal Q} = \{Y\in L^4\,|\,\langle Y,Q\rangle=-1\}.
1598: \eqno SpaceForm$$
1599:
1600: \proclaim\htag[thm.EnvelopingZ]{Cor.~3.9}.
1601: If $\pcq(\lambda)=\lambda^NZ+\lambda^{N-1}Y+\dots+Q$ is a polynomial conserved
1602: quantity of $f$ then:
1603: \item{\rm(i)} $Z_i\perp f_i$ at all points $i$ in $M$;
1604: \item{\rm(ii)} $
1605: Z_i+a_{ij}{\langle Y_j,F_j\rangle\over\langle F_i,F_j\rangle}\,F_i
1606: = Z_j+a_{ij}{\langle Y_i,F_i\rangle\over\langle F_i,F_j\rangle}\,F_j
1607: $ for all edges $(ij)$ in $M$;
1608: \item{\rm(iii)} $|Z|^2\geq0$ and $|Z|^2=0$ if and only if $Z\in f$.
1609:
1610: Here, (iii) follows from (i) since $f^\perp$ carries a positive semi-definite
1611: metric with only $f$ as a null direction.
1612: Also note that, since $|Z|^2$ is constant, either $Z\parallel F$ at all points
1613: or, without loss of generality, $|Z|^2\equiv1$ as the space of polynomial
1614: conserved quantities is linear.
1615:
1616: We will be mostly interested in the latter case.
1617: To interpret this situation geometrically first note that, if $|Z|^2\equiv1$,
1618: then $i\mapsto Z_i$ defines a discrete sphere congruence so that every sphere
1619: $Z_i$ contains the point $f_i$, by (i); moreover, the sphere
1620: $$
1621: S_{ij} :
1622: = Z_i+a_{ij}{\langle Y_j,F_j\rangle\over\langle F_i,F_j\rangle}\,F_i
1623: = Z_j+a_{ij}{\langle Y_i,F_i\rangle\over\langle F_i,F_j\rangle}\,F_j
1624: \eqno CurvatureSphere$$
1625: belongs to both contact elements\footnote{Recall that, in contrast to M\"obius
1626: geometry, Lie geometry considers oriented spheres; thus $\pm Z+f$ will define
1627: two contact elements which differ by the orientation of their spheres.}
1628: defined by $Z$ at the endpoints of an edge so that
1629: $$
1630: M \ni i \mapsto Z_i+f_i := \{Z_i+\alpha F_i\,|\,\alpha\in\R\}
1631: $$
1632: defines a discrete principal net in Lie geometry,
1633: see \href[ref.bosu06a]{[6,~Sect.~4.1]},
1634: with curvature spheres $S_{ij}$.
1635: On the other hand, the existence of the curvature spheres $S_{ij}$,
1636: which touch both spheres $Z_i$ and $Z_j$, can be interpreted as a
1637: discrete version of the enveloping condition for a sphere congruence
1638: defined at the vertices of a discrete net.
1639: Thinking of $f$ as a net in $\R^3$, the spheres $Z$ define a unit normal
1640: field $n$ at the vertices of $f$, which satisfies the trapezoid property
1641: of \href[ref.sch07]{[22,~Sect.~3]}.
1642:
1643: We summarize these observations in the following\footnote{We insist
1644: on a consistent orientation of the spheres of an enveloped sphere
1645: congruence.}
1646:
1647: \proclaim\htag[def.Envelope]{Cor.~\& Def.~3.10}.
1648: If $\pcq(\lambda)=\lambda^NZ+\dots+Q$ is a polynomial conserved quantity
1649: of $f$ with $|Z|^2=1$, then $f$ envelops the discrete sphere congruence
1650: $Z$:
1651: we say that $f:M\to S^3$ \define{envelops} a discrete sphere congruence
1652: $S:M\to S^{3,1}$ if
1653: \item{\rm(i)} $S_i\in f_i^\perp$ for all $i\in M$ (incidence)
1654: and
1655: \item{\rm(ii)} $S_j=S_i \bmod f_i\oplus f_j$ for each edge $(ij)$ of $M$
1656: (touching);
1657: \item[0pt]{} the common sphere $S_{ij}$ of the two contact elements
1658: $S_i+f_i$ and $S_j+f_j$ given by $S_i$ and $S_j$ at the endpoints
1659: of an edge will be called a \define{curvature sphere}.
1660:
1661: Note that the condition for a sphere congruence to be enveloped by a
1662: net is a condition on the congruence of contact elements defined by
1663: the sphere congruence --- hence, if $f$ envelops $S$ and $F$ is any
1664: light cone lift of $f$, then any sphere congruence $S+hF$, $h:M\to\R$,
1665: is also enveloped by $f$.
1666:
1667: Before focusing on this geometrically interesting configuration we shall,
1668: for the rest of this section, investigate the degenerate case where we
1669: can, without loss of generality, take $Z=F$ as a canonical light cone
1670: lift\footnote{We neglect the case where $Z$ may have zeroes, i.e.,
1671: where the degree of $\pcq(\lambda)$ may not be constant.} of $f$.
1672:
1673: \proclaim\htag[thm.degPCQ]{Lemma 3.11}.
1674: If $\pcq(\lambda)=\lambda^NF+\dots+Q$ is a polynomial conserved quantity
1675: of $f$, then $F$ is a Moutard lift of $f$.
1676:
1677: \proof
1678: From (ii) of \href[thm.EnvelopingZ]{Cor.~3.9} we learn that
1679: $$
1680: \langle F_i,F_j\rangle + a_{ij}\langle Y_j,F_j\rangle
1681: = \langle F_i,F_j\rangle + a_{ij}\langle Y_i,F_i\rangle
1682: = 0
1683: $$
1684: since $F_i$ and $F_j$ are linearly independent;
1685: thus\footnote{This we already knew from \href[thm.pcqNorm]{Lemma 3.5},
1686: because $\langle Y,F\rangle$ is the $\lambda^{2N-1}$-coefficient of
1687: $|\pcq(\lambda)|^2$.} $\langle Y,F\rangle\equiv const=:c$ and $F$ satisfies
1688: \reqn{MoutardCond} with the cross ratio factorizing function $\tilde a:=-c\,a$.
1689: \endproof
1690:
1691: As an example we seek an isothermic net with a degenerate degree $1$
1692: polynomial conserved quantity: this is the lowest degree possible
1693: since the top term of a degree $0$ polynomial conserved quantity
1694: is constant and can therefore not be a (Moutard) lift of an
1695: isothermic net.
1696:
1697: Now consider, as before,
1698: $$
1699: |(x_0,\dots,x_4)|^2 = -x_0^2 + \sum_{i=1}^4x_i^2
1700: $$
1701: as the quadratic form of the Minkowski scalar product of $\R^{4,1}$
1702: and the isothermic net
1703: $$
1704: \{-1,0,1\}^2 \ni (m,n) \mapsto f_{(m,n)} :
1705: = (\eta m,{1+\alpha\over2}+(-1)^n{1-\alpha\over2},\beta n) \in \R^3,
1706: \eqno explMain$$
1707: where $\alpha\in(0,1)$ and $\beta,\eta>0$, and let
1708: $$
1709: Z_{(m,n)} := (-1)^nF_{(m,n)}
1710: \quad{\rm and}\quad
1711: Q := -{4\over1-\alpha}({1+\alpha\over2},0,1,0,-{1+\alpha\over2}),
1712: \eqno explDegPCQ$$
1713: where $F=({1+|f|^2\over2},f,{1-|f|^2\over2})$ is a Euclidean lift%
1714: \footnote{Cf.~\reqn{EuclideanLift} and \reqn{QEuclideanLift}:
1715: this is the Euclidean lift with respect to $Q_0=(1,0,0,0,-1)$,
1716: defining a flat quadric of constant curvature via \reqn{SpaceForm}.}.
1717: Note that $|Q|^2>0$ so that $Q$ describes a sphere\footnote{%
1718: Suppose that $|Q|^2\leq0$ for a degenerate linear conserved quantity
1719: $\pcq(\lambda)=\lambda F+Q$ of an isothermic net $f$;
1720: then
1721: $$\textstyle
1722: a_{ij} = \langle F_i,F_j\rangle = -{1\over2}|dF_{ij}|^2 < 0
1723: $$
1724: for any edge $(ij)$ since $dF_{ij}\perp Q$ by
1725: \href[thm.pcqNorm]{Lemma~3.5} and $f$ is regular.
1726: Hence the cross ratio of any face becomes positive;
1727: thus, if we seek an isothermic net with embedded faces,
1728: then $Q$ necessarily describes a sphere.}
1729: and $f$ appears to be a perturbation of a net on that sphere.
1730:
1731: Since
1732: $$
1733: \langle F_i,F_j\rangle = -{1\over2}|f_j-f_i|^2
1734: $$
1735: and $f$ has rectangular faces, so that the cross ratio \reqn{ProjCrossRatio}
1736: on an elementary quadrilateral becomes
1737: $$
1738: [f_i;f_j;f_k;f_l] = -{|f_i-f_j|^2\over|f_i-f_l|^2},
1739: $$
1740: $a_{ij}:={1\over2}\langle Z_i,Z_j\rangle$ provides a cross ratio factorizing
1741: function, i.e., $Z$ is a Moutard lift of $f$.
1742: Moreover
1743: $$
1744: \langle\lambda Z+Q,Z\rangle
1745: = \langle Q,Z\rangle
1746: \equiv -2,
1747: $$
1748: so that
1749: $$
1750: d(\lambda Z+Q)_{ij}
1751: - {\lambda a_{ij}\over\langle Z_i,Z_j\rangle}\{
1752: \langle\lambda Z+Q,Z\rangle_jZ_i-\langle\lambda Z+Q,Z\rangle_iZ_j \}
1753: % = \lambda\{dZ_{ij}-Z_j+Z_i\}
1754: = 0
1755: $$
1756: and $\pcq(\lambda):=\lambda Z+Q$ is a linear conserved quantity for $f$
1757: by \href[thm.PCQcondition]{Lemma 3.7}.
1758:
1759: Note that $Z=\pcq(\infty)$ is a lift of $f$ and that
1760: $$
1761: \pcq({4\over(1-\alpha)^2})
1762: = {4\over(1-\alpha)^2}\{Z-2{\langle Z,Q\rangle\over|Q|^2}\,Q\}
1763: $$
1764: is a lift of a M\"obius equivalent net or, more precisely,
1765: of the ``antipodal'' net in the quadric of constant curvature
1766: given by $Q$, see \href[ref.imdg]{[18,~Section~1.4]}.
1767: We shall come back to this observation later.
1768:
1769: Finally observe that our restriction of the domain to $\{-1,0,1\}^2$ was
1770: not necessary: $f$, as given by \reqn{explMain}, can be extended to all of
1771: $\Z^2$ while \reqn{explDegPCQ} keeps defining a linear conserved quantity for
1772: $f$.
1773: However, this restriction will be convenient later when we shall
1774: recycle this example to demonstrate another aspect of our theory.
1775:
1776:
1777: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1778: \h2 Special isothermic nets.
1779: As in the smooth case, see \href[ref.sa07]{[21, Sect.~2.2]},
1780: we can now use the existence of a polynomial conserved quantity
1781: to define a special class of discrete isothermic nets, ordered by the
1782: (minimal) degree of an associated polynomial conserved quantity.
1783: However, in contrast to the smooth case, where a polynomial
1784: conserved quantity is essentially unique because its top degree
1785: coefficient encodes the conformal Gauss map of the underlying isothermic
1786: surface, the space of polynomial conserved quantities of minimal degree
1787: may be higher dimensional\footnote{However, we do expect uniqueness of a
1788: (normalized) polynomial conserved quantity of minimal degree for generic
1789: isothermic nets of a sufficient size.} and may contain elements with null
1790: top degree coefficient, as in the above example, even though we require the
1791: existence of a normalized polynomial conserved quantity of minimal degree:
1792:
1793: \proclaim\htag[def.special]{Def.~3.12}.
1794: A polynomal conserved quantity $\pcq(\lambda)=\lambda^NZ+\dots+Q$ of
1795: an isothermic net $f$ will be called \define{normalized} if $|Z|^2\equiv1$;
1796: we say that $f$ is a \define{special isothermic net of type $N$} if it
1797: has a normalized polynomial conserved quantity of degree $N$,
1798: but not of any lower degree.
1799:
1800: As a direct consequence of this definition and the $1$-parameter group
1801: property \reqn{1ParameterT} of the Calapso transformations we obtain
1802: stability of the class of special isothermic nets of a fixed type $N$
1803: under the Calapso transformation:
1804:
1805: \proclaim\htag[thm.SpecialCalapso]{Thm.~3.13}.
1806: If $f$ is special isothermic of type $N$
1807: then so are its Calapso transforms $f^\mu=T^\mu f$.
1808:
1809: \proof
1810: $T^{\mu,\lambda}=T^{\mu+\lambda}(T^\mu)^{-1}$ are the Calapso transformations
1811: of $f^\mu$ by \reqn{1ParameterT}, see also \href[ref.imdg]{[18,~\S5.7.30]}.
1812:
1813: Hence, if $\pcq(\lambda)=\lambda^NZ+\dots+Q$ is a polynomial conserved
1814: quantity of $f$, then
1815: $$
1816: \pcq^\mu(\lambda) := T^\mu\pcq(\mu+\lambda)
1817: $$
1818: defines a polynomial conserved quantity of $f^\mu$ of the same degree;
1819: moreover,
1820: $$
1821: |\pcq^\mu(\lambda)|^2
1822: = |\pcq(\lambda+\mu)|^2
1823: = \lambda^{2N}|Z|^2 + \lambda^{2N-1}\dots + \dots
1824: $$
1825: showing that $\pcq^\mu(\lambda)$ is normalized as soon as $\pcq(\lambda)$ is.
1826: Thus $f^\mu$ is special isothermic of type $\leq N$.
1827:
1828: On the other hand $f=T^{\mu,-\mu}f^\mu$ is a Calapso transform of $f^\mu$,
1829: by \reqn{1ParameterT} again, so that the same argument shows that
1830: $f^\mu$ is special isothermic of type $\geq N$.
1831: \endproof
1832:
1833: So far it is rather unclear how restrictive the definition of special
1834: isothermic of a given type is: as we shall see later (and as one might
1835: expect after an equation count), the condition on a discrete isothermic
1836: net of being special isothermic of type $N$ is not a local condition
1837: --- in particular, we will see that every isothermic $3\times3$-net
1838: has plenty of linear conserved quantities and is, therefore, special
1839: isothermic of type $1$.
1840: On the other hand, the condition of being special isothermic of type $0$
1841: does already impose a condition on a $3\times3$-grid, and the corresponding
1842: constant conserved quantity is generically unique:
1843:
1844: \proclaim\htag[thm.type0]{Thm.~3.14}.
1845: $f$ is special isothermic of type $0$ if and only if $f$ takes values
1846: in a $2$-sphere.
1847:
1848: \proof
1849: First suppose that $f$ is special isothermic of type $0$ with
1850: (necessarily\footnote{Remember that a constant conserved quantity
1851: cannot be degenerate by \href[thm.EnvelopingZ]{Cor.~3.9 (i)}, since $f$
1852: is not constant.} normalized) constant conserved quantity $\pcq(\lambda)=Q$.
1853: Then $Q$ defines a fixed $2$-sphere, since $|Q|^2=1$, that contains
1854: the points of the net by \href[thm.EnvelopingZ]{Cor.~3.9 (i)}.
1855: This also shows that a (normalized) constant conserved quantity is unique
1856: as soon as the isothermic net does not take values in a circle.
1857:
1858: Conversely, if $f$ takes values in a fixed $2$-sphere $S\subset S^3$ then the
1859: Calapso transformations $T^\lambda$ of $f$ take (up to a constant M\"obius
1860: transformation) values in the M\"obius group $\Mob(S)$ of this $2$-sphere
1861: (see \href[ref.je00]{[17,~Thm.~3.14]} or \href[ref.imdg]{[18,~\S5.7.22]}).
1862: That is, the Calapso transformations $T^\lambda$ of $f$ can be chosen to fix
1863: a unit vector $Q$ defining the $2$-sphere $S$: this yields a normalized
1864: constant conserved quantity so that $f$ is special of type $0$.
1865: \endproof
1866:
1867: As a more involved example we take up surfaces of revolution and
1868: investigate the symmetry of a corresponding polynomial conserved
1869: quantity:
1870: suppose $F_{(m,n)}=(-1)^m(M_m+\Phi_nC)$ is the Moutard lift of a
1871: discrete surface of revolution, see \reqn{RevolutionNet},
1872: with a rotationally symmetric polynomial conserved quantity, i.e.,
1873: we assume that $\Phi_n^{-1}\pcq_{(m,n)}(\lambda)=:\hat\pcq_m(\lambda)$
1874: does not depend on $n$.
1875: Then, clearly, $$
1876: p_{(m,n)}(\lambda) :
1877: = \langle\pcq_{(m,n)}(\lambda),F_{(m,n)}\rangle
1878: = (-1)^m\langle\hat\pcq_m(\lambda),M_m+C\rangle
1879: $$
1880: is independent of $n$; we shall see that the converse also holds:
1881:
1882: \proclaim\htag[thm.symmetricPCQ]{Lemma 3.15}.
1883: A polynomial conserved quantity $\pcq(\lambda)$ of a discrete net
1884: $f$ of revolution with canonical lift $F_{(m,n)}=(-1)^m\Phi_n(M_m+C)$ is
1885: rotationally symmetric, $\pcq_{(m,n)}(\lambda)=\Phi_n\hat\pcq_m(\lambda)$,
1886: if and only if
1887: $$
1888: p(\lambda) := \langle\pcq(\lambda),F\rangle
1889: $$
1890: does not depend on $n$.
1891:
1892: \proof
1893: We already know that $p(\lambda)$ depends only on $m$ if $\pcq(\lambda)$
1894: is rotationally symmetric;
1895: to prove the converse we assume that $p(\lambda)$ does not depend
1896: on $n$ and write
1897: $$
1898: \pcq_{(m,n)}
1899: = \pcq^\perp_{(m,n)} + \Phi_n(\alpha_{(m,n)}C+\beta_{(m,n)}C^\perp)
1900: \in \R^{2,1} \oplus \R^2,
1901: \eqno symmPCQdecomposition$$
1902: where $C^\perp$ complements $C$ to form an orthonormal basis of $\R^2$
1903: and $\alpha$ and $\beta$ are suitable real valued functions.
1904: First note that
1905: $$
1906: (-1)^mp_m = \langle\pcq^\perp_{(m,n)},M_m\rangle + \alpha_{(m,n)}.
1907: $$
1908: Now we fix $m$ and, in order to simplify notation, consider all functions
1909: as functions of $n$ only.
1910: From \reqn{dPCQ} we get
1911: $$
1912: 0 = d\pcq_{n,n+1}(\lambda) + \lambda\,p(\lambda)\,dF_{n,n+1};
1913: $$
1914: hence, in particular,
1915: $$
1916: d\pcq^\perp_{n,n+1} = 0
1917: \quad{\rm and}\quad
1918: d\alpha_{n,n+1} = -\langle d\pcq^\perp_{n,n+1},M\rangle = 0.
1919: $$
1920: For a function $g$ on the vertices let $g_{n,n+1}:={g_n+g_{n+1}\over2}$
1921: denote the associated function on the edges, and let $d\varphi_{n,n+1}$
1922: be the rotation angle along the edge, i.e., the rotation angle of
1923: $\Phi_{n+1}\Phi_n^{-1}$;
1924: observe that
1925: $$\matrix{
1926: d(\Phi C^\perp)_{n,n+1}
1927: &=& -2\tan{d\varphi_{n,n+1}\over2}\,(\Phi C)_{n,n+1}
1928: &\perp& dF_{n,n+1}, \cr
1929: 2(\Phi C^\perp)_{n,n+1}
1930: &=& \cot{d\varphi_{n,n+1}\over2}\,d(\Phi C)_{n,n+1}
1931: &\parallel& dF_{n,n+1}. \cr
1932: }$$
1933: Hence the $\R^2$-part of
1934: $0=d\pcq_{n,n+1}(\lambda)+\lambda\,p(\lambda)\,dF_{n,n+1}$
1935: yields
1936: $$
1937: 0 = \beta_{n,n+1}(\lambda)
1938: \quad{\rm and}\quad
1939: 0 = \alpha(\lambda)+(-1)^m\lambda p(\lambda)
1940: + {1\over2}d\beta_{n,n+1}(\lambda)\cot{d\varphi_{n,n+1}\over2}.
1941: $$
1942: Thus, considering two consecutive edges,
1943: $0=\beta_n\sin{d\varphi_{n-1,n}+d\varphi_{n,n+1}\over2}$
1944: % since $2\beta_n=d\beta_{n-1,n}=-d\beta_{n,n+1}$,
1945: so that $\beta$ vanishes and
1946: $$
1947: \pcq_{(m,n)}(\lambda)
1948: = \pcq^\perp_m(\lambda) + (-1)^{m+1}\lambda p_m(\lambda)\,\Phi_n C
1949: \eqno symmetricPCQ$$
1950: is clearly rotationally symmetric.
1951: \endproof
1952:
1953: As a simple consequence we see that a linear conserved quantity
1954: of a discrete surface of revolution $f$ is rotationally symmetric
1955: as soon as $f$ is rotationally symmetric in the space form defined
1956: by the constant term:
1957:
1958: \proclaim\htag[thm.symmetricLCQ]{Cor.~3.16}.
1959: A linear conserved quantity $\pcq(\lambda)=\lambda Z+Q$ of a net $f$
1960: of revolution is rotationally symmetric if and only if $Q$ is.
1961:
1962: \proof
1963: By \reqn{symmetricPCQ}, the constant term of a rotationally symmetric
1964: polynomial conserved quantity has no $\R^2$-component in the decomposition
1965: \reqn{symmPCQdecomposition};
1966: for the converse observe that, in the case of a linear conserved quantity,
1967: $p_{(m,n)}=\langle Q,F_{(m,n)}\rangle$.
1968: \endproof
1969:
1970:
1971: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1972: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1973: \h1 The B\"acklund transformation.
1974: Bianchi's B\"acklund transformation of smooth constant mean curvature
1975: surfaces in Euclidean space turned out to be a special case of the
1976: Darboux transformation of isothermic surfaces:
1977: considering the Darboux transformation as an initial value problem
1978: depending on a real (spectral) parameter, the Darboux transforms of
1979: a constant mean curvature surface turn out to have constant mean
1980: curvature as soon as a certain relation between the initial value
1981: and the parameter is satisfied, see \href[ref.imdg]{[18,~\S5.4.15]};
1982: in fact, they turn out to be the B\"acklund transforms of the surface,
1983: see \href[ref.jepe97]{[15,~Thm.~7]} and \href[ref.inko05]{[20,~Thm.~4.4]}.
1984: A similar fact holds true for discrete constant mean curvature surfaces
1985: in the sense of \href[ref.jehopi99]{[16]}.
1986:
1987: In \href[ref.sa07]{[21, Thm.~3.2]}, this condition for a Darboux transform
1988: of a constant mean curvature surface to have (the same) constant mean
1989: curvature again is shown to be a special case of a similar condition
1990: for (smooth) special isothermic surfaces of given type $N$.
1991: Here we shall analyze the situation for discrete special isothermic nets,
1992: giving rise to what we will call the ``B\"acklund transformation'' for
1993: special isothermic nets.
1994:
1995: To this end we shall first recall the Darboux transformation for discrete
1996: isothermic nets,
1997: cf.~\href[ref.jehopi99]{[16]} or \href[ref.imdg]{[18,~\S\S5.7.12~\&~5.7.19]}:
1998:
1999: \proclaim\htag[def.darboux]{Def.~4.1}.
2000: Let $f:M\to S^3$ be a discrete isothermic net with its family of Calapso
2001: transformations $T^\lambda$.
2002: Then a \define{Darboux transform} of $f$ is a discrete net
2003: $$
2004: \hat f:M\to S^3 \quad\hbox{\sl so that}\quad
2005: \exists\mu\in\R:T^\mu\hat f \equiv const.
2006: $$
2007:
2008: Equivalently, we can characterize a Darboux transform by the condition
2009: $$
2010: \hat f_i
2011: = \Gamma^\mu_{ij}\hat f_j
2012: = \Gamma^{1-a_{ij}\mu}_{f_i,f_j}\hat f_j
2013: $$
2014: for all edges $(ij)$ of $M$: remember that the isothermic family of connections
2015: \reqn{IsothConnection} descends to a family of connections on $M\times S^3$;
2016: thus a Darboux transform $\hat f$ can be thought of as a parallel section
2017: of a connection $\Gamma^\mu$ on $M\times S^3$ of the isothermic family of
2018: connections.
2019: Using a cross ratio identity (see \href[ref.imdg]{[18,~\S4.9.11]}),
2020: this condition can be reformulated as the cross ratio condition%
2021: \footnote{Using quaternions or the Clifford algebra of $\R^3$ and thinking
2022: of $S^3=\R^3\cup\{\infty\}$, this is equivalent to the (discrete) Riccati
2023: type equation
2024: $$
2025: d\hat f_{ij} = \mu\,(\hat f-f)_j\,df^\ast_{ij}\,(\hat f-f)_i,
2026: $$
2027: where $df^\ast_{ij}=a_{ij}(df_{ij})^{-1}$ is the derivative of the Christoffel
2028: transform of $f$, cf.~\href[ref.imdg]{[18,~\S5.7.7]};
2029: the condition $\hat f_i=\Gamma^\mu_{ij}\hat f_j$ appears as the usual
2030: linearization from this Riccati equation: as ``Darboux's linear system''.}
2031: (cf.~\reqn{CrossRatioTrafo})
2032: $$
2033: [f_i;f_j;\hat f_j;\hat f_i]
2034: = 1-[\hat f_j;f_i;\hat f_i;f_j]
2035: = a_{ij}\mu.
2036: \eqno DarbouxCrossRatio$$
2037:
2038: Clearly, a Darboux transform $\hat f$ of an isothermic net has a light cone
2039: lift $\hat F:M\to L^4$ so that
2040: $$
2041: T^\mu\hat F\equiv const.
2042: \quad\Leftrightarrow\quad
2043: \hat F_i = \Gamma^\mu_{ij}\hat F_j
2044: \eqno DTcondition$$
2045: on all edges $(ij)$ of $M$, that is, $\hat F$ is a $\Gamma^\mu$-parallel
2046: lift of $\hat f$.
2047: Note that this is exactly the conserved quantity condition \reqn{PCQcondition}
2048: for a light cone map $\hat F$ and a fixed value $\mu$ of the spectral
2049: parameter;
2050: we shall come back to this point later.
2051:
2052: The crucial observation is that the Darboux transformation produces
2053: discrete isothermic nets from isothermic nets,
2054: see \href[ref.jehopi99]{[16]} or \href[ref.imdg]{[18,~\S5.7.12]}, where
2055: a proof relying on the hexahedron lemma \href[ref.imdg]{[18,~\S4.9.13]}
2056: was given; here we shall again give an alternative proof, relying on
2057: \href[thm.dic]{Lemma~2.5}, that also provides us with a useful formula
2058: for the Calapso transformations of a Darboux transform,
2059: cf.~\href[ref.je00]{[17]} or \href[ref.imdg]{[18,~\S5.7.35]}:
2060:
2061: \proclaim\htag[thm.darbouxT]{Lemma 4.2}.
2062: A Darboux transform $\hat f$, $T^\mu\hat f\equiv const$, of a discrete
2063: isothermic net $f$ with cross ratio factorizing function $a$ is isothermic
2064: with the same cross ratio factorizing function $\hat a=a$ and with Calapso
2065: transformations
2066: $$
2067: \hat T^\lambda = T^\lambda\Gamma^{1-\lambda/\mu}_{f,\hat f}.
2068: \eqno TDT$$
2069:
2070: \proof
2071: We shall show that the isothermic family of connections \reqn{IsothConnection}
2072: of $\hat f$ is given by
2073: $$
2074: \hat\Gamma^\lambda_{ij} :
2075: = \Gamma^{1-\lambda a_{ij}}_{\hat f_i,\hat f_j}
2076: = (\Gamma_{f,\hat f}^{1-\lambda/\mu})^{-1}_i
2077: \Gamma^\lambda_{ij}
2078: (\Gamma_{f,\hat f}^{1-\lambda/\mu})_j,
2079: $$
2080: which is then, with $\Gamma^\lambda$, clearly flat so that $\hat f$
2081: is isothermic with cross ratio factorizing function $\hat a=a$ by
2082: \href[thm.dic]{Lemma 2.5};
2083: further, the formula for the Calapso transformations $\hat T^\lambda$
2084: also follows directly.
2085:
2086: Thus we have to show that
2087: $$
2088: \Gamma_{f_i,\hat f_i}^{1-\lambda/\mu}
2089: \Gamma^{1-\lambda a_{ij}}_{\hat f_i,\hat f_j}
2090: =
2091: \Gamma^{1-\lambda a_{ij}}_{f_i,f_j}
2092: \Gamma_{f_j,\hat f_j}^{1-\lambda/\mu}.
2093: $$
2094: But, with \reqn{DarbouxCrossRatio}, this follows directly from
2095: \href[thm.dicCor]{Lemma 2.6}.
2096: \endproof
2097:
2098: At this point we are now in perfect shape to discuss:
2099:
2100:
2101: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2102: \h2 Darboux transforms of special isothermic nets.
2103: As outlined at the beginning of this section, we aim to obtain the
2104: B\"acklund transformations for special isothermic nets of type $N$
2105: as particular classes of Darboux transformations.
2106: The following theorem provides the essential criterion:
2107:
2108: \proclaim\htag[thm.darbouxPCQ]{Thm.~4.3}.
2109: Let $\hat f$ be a Darboux transform, $T^\mu\hat f\equiv const$,
2110: of a special isothermic net $f$ of type $N$ with normalized polynomial
2111: conserved quantity $\pcq(\lambda)$ of degree $N$.
2112: Then:
2113: \item{\rm(i)} $\hat f$ is special isothermic of type $\leq N+1$ and
2114: \item{\rm(ii)} $\hat f$ is special isothermic of type $\leq N$
2115: as soon as $\pcq(\mu)\in\hat f^\perp$.
2116:
2117: Note that, if $\pcq_i(\mu)\in\hat f^\perp_i$ for some $i\in M$,
2118: then this holds true for all $i\in M$.
2119: Namely,
2120: if $\hat F$ is a light cone lift of $\hat f$ as in \reqn{DTcondition},
2121: then $\pcq(\mu)$ and $\hat F$ are both parallel sections of the metric
2122: connection $\Gamma^\mu_{ij}$ on $M\times\R^{4,1}$ so that their scalar
2123: product $\langle\pcq(\mu),\hat F\rangle\equiv const$.
2124:
2125: \proof
2126: We define
2127: $$
2128: \hat\pcq(\lambda) :
2129: = (\lambda-\mu)\,\Gamma^{1-\lambda/\mu}_{\hat f,f}\pcq(\lambda).
2130: \eqno pcqDarboux$$
2131: Clearly $\hat T^\lambda\hat\pcq(\lambda)\equiv const$ by \reqn{TDT}
2132: and, using \reqn{CrossRatioTrafo}, we obtain
2133: $$
2134: \hat\pcq(\lambda)
2135: = (\lambda-\mu)\pcq(\lambda) - {1\over\langle F,\hat F\rangle}\{
2136: {\lambda(\lambda-\mu)\over\mu}\langle\pcq(\lambda),F\rangle\hat F
2137: + \lambda \langle\pcq(\lambda),\hat F\rangle F
2138: \},
2139: $$
2140: which is polynomial of degree $\leq N+1$ as $\langle\pcq(\lambda),F\rangle$
2141: has degree $\leq N-1$ by \href[thm.EnvelopingZ]{Cor.~3.9~(i)}.
2142: Finally, writing
2143: $$
2144: \pcq(\lambda) = \lambda^NZ+\dots+Q
2145: \quad{\rm and}\quad
2146: \hat\pcq(\lambda) = \lambda^{N+1}\hat Z+\dots+\hat Q,
2147: $$
2148: we find that
2149: $$
2150: \lambda^{2N+2}|\hat Z|^2+\dots
2151: = |\hat\pcq(\lambda)|^2
2152: = (\lambda-\mu)^2\,|\pcq(\lambda)|^2
2153: = \lambda^{2N+2}|Z|^2+\dots
2154: $$
2155: for all $\lambda$, so that $|\hat Z|^2=|Z|^2$.
2156: Hence $\hat\pcq(\lambda)$ is a normalized polynomial conserved quantity
2157: of degree $N+1$ and, therefore, $\hat f$ is special isothermic of type
2158: $\leq N+1$, proving (i).
2159:
2160: To prove (ii) note that
2161: $$
2162: \hat\pcq(\mu)
2163: = -\mu{\langle\pcq(\mu),\hat F\rangle\over\langle F,\hat F\rangle}\,F
2164: = 0
2165: $$
2166: when $\pcq(\mu)\in\hat f^\perp$.
2167: Hence $\hat f$ has a polynomial conserved quantity of degree $\leq N$ by
2168: \href[thm.pcqReduction]{Lemma~3.3}; in particular,
2169: $$
2170: \hat\pcq(\lambda) :
2171: = \Gamma^{1-\lambda/\mu}_{\hat f,f}\pcq(\lambda)
2172: \eqno pcqBacklund$$
2173: provides a normalized polynomial conserved quantity of degree $N$ for
2174: $\hat f$ showing that $\hat f$ is special isothermic of type $\leq N$.
2175: \endproof
2176:
2177: \proclaim\htag[def.backlund]{Def.~4.4}.
2178: A \define{B\"acklund transform} $\hat f$ of a special isothermic net $f$
2179: of type $N$ with polynomial conserved quantity $\pcq(\lambda)$ is
2180: a Darboux transform, that is, $T^\mu\hat f\equiv const$,
2181: so that $\pcq(\mu)\in\hat f^\perp$.
2182:
2183: The B\"acklund transformation between special isothermic nets of the same
2184: type\footnote{We know that the B\"acklund does not increase the type but,
2185: in special circumstances, if may decrease the type (by $1$). We shall
2186: come back to this point later.}
2187: is symmetric, that is, if $\hat f$ is a type $N$ B\"acklund transform of a
2188: special isothermic net $f$ of type $N$ with polynomial conserved quantity
2189: $\pcq(\lambda)$ then $f$ is a B\"acklund transform of $\hat f$, where
2190: $\hat\pcq(\lambda)$ is given by \reqn{pcqBacklund}:
2191: firstly, $f$ is a Darboux transform of $\hat f$ since the cross ratio
2192: condition \reqn{DarbouxCrossRatio} is symmetric in $f$ and $\hat f$,
2193: $$
2194: [\hat f_i;\hat f_j;f_j;f_i]
2195: = [f_i;f_j;\hat f_j;\hat f_i]
2196: = a_{ij}\mu,
2197: $$
2198: by a cross ratio identity, see \href[ref.imdg]{[18,~\S4.9.11]}; and
2199: secondly, using \reqn{CrossRatioTrafo}, we find that $f$ satisfies the
2200: B\"acklund condition\footnote{The assumption that $\hat f$ is special
2201: isothermic of the same type $N$ as $f$ ensures that $\hat\pcq(\lambda)$
2202: has, with $\pcq(\lambda)$, minimal degree and, in particular, that
2203: $\hat\pcq(\mu)\neq0$ so that the condition is meaningful.}
2204: $\hat\pcq(\mu)\in f^\perp$:
2205: $$
2206: \hat\pcq(\mu)
2207: = \lim_{\lambda\to\mu}\hat\pcq(\lambda)
2208: = \pcq(\mu)
2209: - {\langle\pcq(\mu),F\rangle\over\langle F,\hat F\rangle}\,\hat F
2210: \bmod f.
2211: $$
2212:
2213: Recall that constructing a Darboux transform $\hat f$ of a given
2214: isothermic net amounts to determining a parallel isotropic section
2215: $\hat F$ of $M\times\R^{4,1}$ equipped with a connection $\Gamma^\mu$
2216: in the isothermic family, see \reqn{DTcondition}:
2217: after choosing an initial value there is a unique solution.
2218: As the condition on a Darboux transform of a special isothermic net
2219: to become a B\"acklund transform is preserved by the propagation it
2220: is sufficient to choose the initial value of the Darboux transform
2221: appropriately in order to obtain a B\"acklund transform.
2222:
2223: Now note that \reqn{pcqBacklund} has exactly the same structure%
2224: \footnote{This is a common phenomenon in discrete differential
2225: geometry, often referred to as ``multidimensional consistency'',
2226: cf.~\href[ref.bosu06a]{[6]} or \href[ref.bosu06]{[7]}:
2227: the transformations of a discrete net are governed by exactly
2228: the same conditions as the net itself.}
2229: as the conserved quantity condition \reqn{PCQcondition}, with ${1\over\mu}$
2230: taking the role of the $a_{ij}$.
2231: Thus, completely analogous to \href[thm.PCQcondition]{Lemma~3.7},
2232: $$
2233: \hat\pcq(\lambda) + {\lambda\over\mu}
2234: {\langle\pcq(\lambda),F\rangle\over\langle F,\hat F\rangle}\,\hat F
2235: = \pcq(\lambda) + {\lambda\over\mu}
2236: {\langle\hat\pcq(\lambda),\hat F\rangle\over\langle F,\hat F\rangle}\,F,
2237: \eqno DarbouxPCQ$$
2238: where $F$ and $\hat F$ are any%
2239: \footnote{A canonical choice would be to take $F$ and $\hat F$ to satisfy
2240: \reqn{MoutardCond} and $\langle F,\hat F\rangle\equiv{1\over\mu}$:
2241: this is the ``3D-consistency'' of the condition to be discrete isothermic,
2242: see \href[ref.bosu06]{[7]}.}
2243: light cone lifts of $f$ and $\hat f$, respectively.
2244: In particular, writing
2245: $$
2246: \pcq(\lambda) = \lambda^NZ + \lambda^{N-1}Y + \dots + Q
2247: \quad{\rm and}\quad
2248: \hat\pcq(\lambda) = \lambda^N\hat Z + \lambda^{N-1}\hat Y + \dots + \hat Q,
2249: $$
2250: we find that,
2251: analogous to \href[thm.ConstantQ]{Cor.~3.8}, the constant coefficients
2252: $\hat Q=Q$ and that,
2253: analogous to the geometric interpretation of \href[thm.EnvelopingZ]{Cor.~3.9},
2254: $$
2255: S :
2256: = Z + {\langle\hat Y,\hat F\rangle\over\mu\langle F,\hat F\rangle}\,F
2257: = \hat Z + {\langle Y,F\rangle\over\mu\langle F,\hat F\rangle}\,\hat F
2258: \eqno DarbouxSphere$$
2259: yields a sphere congruence\footnote{Indeed, a similar fact can be proved
2260: for Darboux transforms in general: given a sphere congruence $Z$ enveloped
2261: by an isothermic net and a Darboux transform $\hat f$ of $f$, the sphere
2262: congruence
2263: $$\textstyle
2264: S := Z - {\langle Z,\hat F\rangle\over\langle F,\hat F\rangle}\,F
2265: $$
2266: will be enveloped by both $f$ and $\hat f$.
2267: This is a fact about the existence of Ribaucour transforms for discrete
2268: curvature line nets in Lie geometry, cf.~\href[ref.bosu06a]{[6]}.
2269: Note that this is a different ``Darboux sphere congruence'' than the
2270: one discussed in \href[ref.jehopi99]{[16]}, which ``lives'' on the
2271: faces of the domain $M$.} that is enveloped by both $f$ and $\hat f$
2272: in the sense of \href[def.Envelope]{Def.~3.10}.
2273: Thus our B\"acklund transformation for special isothermic nets is a special
2274: type of Ribaucour transformation for discrete curvature line nets in Lie
2275: sphere geometry, see \href[ref.bosu06a]{[6,~Def.~22]}.
2276:
2277: \proclaim\htag[thm.pcqDarboux]{Thm.~4.5}.
2278: Let $\hat f$ be a B\"acklund transform of a special isothermic net $f$
2279: of type $N$, with respective polynomial conserved quantities
2280: $$
2281: \pcq(\lambda)
2282: = \lambda^NZ + \lambda^{N-1}Y + \dots + Q
2283: \quad{\sl and}\quad
2284: \hat\pcq(\lambda)
2285: = \Gamma^{1-\lambda/\mu}_{\hat f,f}\pcq(\lambda)
2286: = \lambda^N\hat Z + \lambda^{N-1}\hat Y + \dots + \hat Q.
2287: $$
2288: Then
2289: \item{\rm(i)}
2290: $\hat Q=Q$, and
2291: \item{\rm(ii)}
2292: $ Z + {\langle\hat Y,\hat F\rangle\over\mu\langle F,\hat F\rangle}\,F
2293: = \hat Z + {\langle Y,F\rangle\over\mu\langle F,\hat F\rangle}\,\hat F$;
2294: and,
2295: \item{\rm(iii)}
2296: in particular, $Z+f$ and $\hat Z+\hat f$ give rise to a Ribaucour pair
2297: in the Lie geometric sense.
2298:
2299:
2300: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2301: \h2 Bianchi permutability.
2302: A key feature of Darboux-B\"acklund type transformations for smooth
2303: or discrete classes of surfaces is Bianchi permutability:
2304: given two transforms of a surface there is a fourth (often unique) surface,
2305: which is a simultaneous transform of the two initial transforms --- thus
2306: providing the combinatorics of a quadrilateral for the transformation.
2307: We will refer to such quadrilaterals as \define{Bianchi quadrilaterals}.
2308:
2309: In particular, such a theorem holds true for the Darboux transformation
2310: of (discrete) isothermic surfaces,
2311: see \href[ref.jehopi99]{[16]} or \href[ref.imdg]{[18,~\S5.7.28]},
2312: where the fourth surface is uniquely determined\footnote{This is in
2313: contrast to the Ribaucour transformation of (discrete) principal nets,
2314: where a $1$-parameter family of fourth surfaces exists,
2315: see \href[ref.buje06]{[10]} or \href[ref.boje01]{[5]}.}
2316: by a cross ratio condition\footnote{Note how repeated application
2317: of this theorem builds up a discrete isothermic net.}:
2318:
2319: \proclaim\htag[thm.Dperm]{Thm.~4.6}.
2320: If $\hat f_1$ and $\hat f_2$ are two Darboux transforms,
2321: $T^{\mu_i}\hat f_i\equiv const$, of a discrete isothermic net $f$,
2322: then
2323: $$
2324: f_{12} := \Gamma^{\mu_2/\mu_1}_{\hat f_1,\hat f_2}f
2325: $$
2326: is a simultaneous Darboux transform of $\hat f_1$ and $\hat f_2$:
2327: $$
2328: \hat T_1^{\mu_2}f_{12}\equiv const
2329: \quad{\sl and}\quad
2330: \hat T_2^{\mu_1}f_{12}\equiv const.
2331: $$
2332:
2333: We wish to prove a similar theorem for the B\"acklund transformation
2334: of special isothermic nets of a given type $N$.
2335:
2336: Thus let $f$ be a special isothermic net with polynomial conserved
2337: quantity $\pcq(\lambda)$ and let $\hat f_i$ be two B\"acklund transforms
2338: of $f$, i.e.,
2339: $$
2340: T^{\mu_i}\hat f_i \equiv const
2341: \quad{\rm and}\quad
2342: \pcq(\mu_i) \in \hat f_i^\perp.
2343: $$
2344: Clearly, by the permutability theorem \href[thm.Dperm]{Thm.~4.6} for
2345: the Darboux transformation and \reqn{pcqBacklund}, the simultaneous
2346: B\"acklund transform $f_{12}$ of $\hat f_1$ and $\hat f_2$ is
2347: necessarily
2348: $$
2349: f_{12} = \Gamma^{\mu_2/\mu_1}_{\hat f_1,\hat f_2}f
2350: \quad{\rm with}\quad
2351: \pcq_{12}(\lambda)
2352: = \Gamma^{1-\lambda/\mu_2}_{f_{12},\hat f_1}\hat\pcq_1(\lambda)
2353: = \Gamma^{1-\lambda/\mu_1}_{f_{12},\hat f_2}\hat\pcq_2(\lambda)
2354: \eqno PCQperm$$
2355: as a polynomial conserved quantity
2356: --- just as in the proof of \href[thm.darbouxT]{Lemma~4.2} it follows
2357: from \href[thm.dicCor]{Lemma~2.6} that
2358: $$
2359: \Gamma^{1-\lambda/\mu_2}_{f_{12},\hat f_1}
2360: \Gamma^{1-\lambda/\mu_1}_{\hat f_1,f}
2361: =
2362: \Gamma^{(1-\lambda/\mu_1)/(1-\lambda/\mu_2)}_{\hat f_1,\hat f_2}
2363: =
2364: \Gamma^{1-\lambda/\mu_1}_{f_{12},\hat f_2}
2365: \Gamma^{1-\lambda/\mu_2}_{\hat f_2,f},
2366: $$
2367: so that $\pcq_{12}(\lambda)$ is well defined by \reqn{PCQperm}.
2368: Now it is straightforward to see that
2369: $$
2370: \pcq_{12}(\mu_1)
2371: = \lim_{\lambda\to\mu_1}
2372: \Gamma^{(1-\lambda/\mu_1)/(1-\lambda/\mu_2)}_{\hat f_1,\hat f_2}
2373: \pcq(\lambda)
2374: = \pcq(\mu_1) - {\langle\pcq(\mu_1),\hat F_2\rangle
2375: \over\langle\hat F_1,\hat F_2\rangle}\,\hat F_1 + \dots\hat F_2
2376: \in \hat f_2^\perp,
2377: $$
2378: showing that $\hat f_2$ is a B\"acklund transform of $f_{12}$;
2379: similarly, $\hat f_1$ is also a B\"acklund transform of $f_{12}$.
2380: The symmetry of the B\"acklund transformation then completes the
2381: proof of the following
2382:
2383: \proclaim\htag[thm.BBperm]{Thm.~4.7 (Bianchi permutability)}.
2384: Given two B\"acklund transforms $\hat f_1$ and $\hat f_2$ with parameters
2385: $\mu_1$ and $\mu_2$, respectively, of a special isothermic net $f$ of type $N$,
2386: there is a net $f_{12}$ so that the four nets form a Bianchi quadrilateral:
2387: that is, $f_{12}$ is a B\"acklund transform of $\hat f_1$ with parameter
2388: $\mu_2$ and of $\hat f_2$ with parameter $\mu_1$.
2389:
2390: Note that we have not used any new arguments to prove this theorem
2391: ---
2392: indeed, using the similarity of the polynomial conserved quantity equations
2393: and the conditions governing the B\"acklund transformation, we could have
2394: formulated a proof based on the fact that ``3D-consistency'' of a
2395: ``2D-system'' implies higher dimensional consistency,
2396: see \href[ref.bosu06]{[7,~Thm.~7]}:
2397: in the case at hand we were interested in ``4D-consistency''.
2398: Thus, any higher dimensional permutability theorems can now be proved
2399: by purely combinatorial arguments\footnote{This is in contrast with
2400: the Ribaucour transformation, where $3$-dimensional permutability,
2401: i.e., a ``Bianchi cube'' theorem, is the critical case as there
2402: is no uniqueness in the Bianchi quadrilateral.}.
2403: For example, we can now argue that a ``Bianchi cube'' can be (uniquely)
2404: constructed from a special isothermic net and three B\"acklund transforms:
2405: the existence of the eighth B\"acklund transform is ensured by the very same
2406: fact that ensured the existence of a Darboux transform and the compatibility
2407: of the B\"acklund transformation with the construction, as discussed above.
2408:
2409:
2410: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2411: \h2 Complementary nets.
2412: As we already noticed earlier, the equation \reqn{DTcondition} on a light
2413: cone map $\hat F$ to provide a Darboux transform of an isothermic net $f$
2414: is exactly the conserved quantity equation \reqn{PCQcondition} for a fixed
2415: parameter $\mu$.
2416: Consequently, any zero $\mu$ of $|\pcq(\lambda)|^2$ provides a (light cone
2417: lift of a) Darboux transform $\hat F=\pcq(\mu)$ of an isothermic net $f$
2418: with polynomial conserved quantity $\pcq(\lambda)$.
2419: Moreover, since $\langle\hat F,\pcq(\mu)\rangle=|\pcq(\mu)|^2=0$,
2420: this Darboux transform will, in fact, be a B\"acklund transform of $f$.
2421: In this section we shall discuss the role of these special B\"acklund
2422: transforms of a special isothermic net.
2423:
2424: \proclaim\htag[def.complementary]{Def.~4.8}.
2425: Let $f$ be a special isothermic net with polynomial conserved quantity
2426: $\pcq(\lambda)$;
2427: those B\"acklund transforms $\hat f$ of $f$ given by $\hat F=\pcq(\mu)$,
2428: where $|\pcq(\mu)|^2=0$, are the \define{complementary nets} of $f$.
2429:
2430: Clearly, a special isothermic net of type $N$ has at most $2N$ complementary
2431: nets and, as $|\pcq(\lambda)|^2$ is an even degree polynomial, there may
2432: be no (real) complementary nets:
2433: for example, let $f$ be a type $1$ special isothermic net with linear
2434: conserved quantity
2435: $$
2436: \pcq(\lambda) = \lambda Z+Q
2437: \quad{\rm and}\quad
2438: H := -\langle Z,Q\rangle, \quad \kappa := -|Q|^2;
2439: \eqno MeanCurvature$$
2440: then the complementary nets of $f$ are given by\footnote{Note that
2441: $\pcq(H\pm\sqrt{H^2+\kappa})\neq0$ since $f$ is special isothermic of
2442: type $1$ so that $\pcq(\lambda)$ cannot have zeroes.}
2443: $$
2444: \pcq(H \pm \sqrt{H^2+\kappa})
2445: = (H \pm \sqrt{H^2+\kappa})\,Z + Q
2446: \eqno cmcComplementary$$
2447: so that the number of (real) complementary nets depends on the sign
2448: of $H^2+\kappa$.
2449:
2450: On the other hand, if enough complementary nets are known, then the
2451: corresponding polynomial conserved quantity can be reconstructed:
2452: first we observe that, given $N+1$ distinct parameter values
2453: $\lambda=\mu_0,\dots,\mu_N$,
2454: $$
2455: \pcq(\lambda)
2456: = \sum_{n=0}^N\pcq(\mu_n)\prod_{m\neq n}{\lambda-\mu_m\over\mu_n-\mu_m},
2457: \eqno pcqInterpol$$
2458: where $\pcq(\mu_n)$ are $\Gamma^{\mu_n}$-parallel and,
2459: with $\alpha_n:=\prod_{m\neq n}{1\over\mu_n-\mu_m}$,
2460: the leading coefficient
2461: $$
2462: Z = \sum_{n=0}^N\alpha_n\pcq(\mu_n) \in f^\perp
2463: $$
2464: of $\pcq(\lambda)$ is a (constant) linear combination of the $\pcq(\mu_n)$.
2465: These are the assumptions that will allow us to reconstruct a polynomial
2466: conserved quantity from $N+1$ suitable Darboux transforms:
2467:
2468: \proclaim\htag[thm.pcqReconstruction]{Lemma 4.9}.
2469: Let $\hat F^n$, $n=0,\dots,N$, be $\Gamma^{\mu_n}$-parallel sections
2470: of $M\times\R^{4,1}$ for pairwise distinct $\mu_n$ and suppose that
2471: $$
2472: Z_i = \sum_{n=0}^N\alpha_n\hat F^n_i \in f_i^\perp
2473: $$
2474: for some constants $\alpha_n\in\R$ and all $i\in M$.
2475: Then
2476: $$
2477: \pcq(\lambda) :
2478: = \sum_{n=0}^N\alpha_n\hat F^n\prod_{m\neq n}(\lambda-\mu_m)
2479: \eqno pcqReconstruction$$
2480: is a degree $N$ polynomial conserved quantity for $f$ with top degree
2481: coefficient $Z$;
2482: if $|Z_i|^2=1$ at some $i\in M$, then \reqn{pcqReconstruction}
2483: defines a normalized polynomial conserved quantity.
2484:
2485: Note that, if $|Z|^2>0$, then $f$ envelops the sphere congruence $Z$
2486: in the sense of \href[def.Envelope]{Def.~3.10}, as desired:
2487: incidence is given by assumption and touching is guaranteed because
2488: the sections $\hat F^n$ are $\Gamma^{\mu_n}$ parallel so that
2489: $$
2490: dZ_{ij}
2491: = \sum_{n=0}^N\alpha_n\,d\hat F^n_{ij}
2492: = 0 \bmod f_i\oplus f_j.
2493: $$
2494: This also implies directly that $|Z|^2\equiv const$ on $M$.
2495:
2496: \proof
2497: It remains to show that $\pcq(\lambda)$ is indeed a polynomial conserved
2498: quantity, that is, we wish to show that
2499: $$
2500: \Gamma^\lambda_{ij}\pcq_j(\lambda) - \pcq_i(\lambda)
2501: = d\pcq_{ij}(\lambda)
2502: + {a_{ij}\lambda\over\langle F_i,F_j\rangle}\{
2503: {1\over1-a_{ij}\lambda}\langle\pcq_j(\lambda),F_i\rangle F_j
2504: -\langle\pcq_j(\lambda),F_j\rangle F_i
2505: \}
2506: = 0
2507: $$
2508: for all $\lambda$ and each edge $(ij)$ of $M$.
2509: Clearly, this equality holds true for $\lambda=\mu_n$, $n=0,\dots,N$,
2510: since
2511: $$
2512: \Gamma^{\mu_n}_{ij}\pcq_j(\mu_n)
2513: = \alpha_n\Gamma^{\mu_n}\hat F^n_j\prod_{m\neq n}(\mu_n-\mu_m)
2514: = \alpha_n\hat F_i\prod_{m\neq n}(\mu_n-\mu_m)
2515: = \pcq_i(\mu_n)
2516: $$
2517: so that it holds for all $\lambda$ as soon as we know that
2518: $\Gamma^\lambda_{ij}\pcq_j(\lambda)-\pcq_i(\lambda)$ is a
2519: degree $N$ polynomial.
2520: By definition $\pcq_i(\lambda)$ and $\pcq_j(\lambda)$ are degree $N$
2521: polynomials, and $\langle\pcq_j(\lambda),F_j\rangle$ is a degree
2522: $N-1$ polynomial by incidence, $Z_j\perp F_j$.
2523: Moreover,
2524: $$\matrix{
2525: \langle\pcq_j({1\over a_{ij}}),F_i\rangle
2526: &=& {1\over a_{ij}^N}\prod_{m=0}^N(1-a_{ij}\mu_m)
2527: \sum_{n=0}^N{\alpha_n\over1-a_{ij}\mu_n}\langle\hat F^n_j,F_i\rangle
2528: \hfill\cr
2529: &=& {1\over a_{ij}^N}\prod_{m=0}^N(1-a_{ij}\mu_m)
2530: \sum_{n=0}^N\alpha_n\langle\hat F^n_i,F_i\rangle \hfill\cr
2531: &=& {1\over a_{ij}^N}\prod_{m=0}^N(1-a_{ij}\mu_m)
2532: \langle Z_i,F_i\rangle \hfill\cr
2533: &=& 0 \hfill\cr
2534: }$$
2535: so that ${1\over1-a_{ij}\lambda}\langle\pcq_j(\lambda),F_i\rangle$
2536: is also a degree $N-1$ polynomial.
2537: Hence the claim follows.
2538: \endproof
2539:
2540: Note that, in \href[thm.pcqReconstruction]{Lemma~4.9}, we did not require
2541: the $\hat F^n$ to be isotropic sections of $M\times\R^{4,1}$, that is,
2542: we did not require them to be lifts of Darboux transforms of $f$.
2543:
2544: Now suppose that $\mu$ is a simple zero of $|\pcq(\lambda)|^2$ and let
2545: $\hat F=\pcq(\mu)$ denote (a lift of) the corresponding complementary
2546: net of $f$.
2547: Then, from \reqn{pcqBacklund},
2548: $$
2549: \hat\pcq(\lambda)
2550: = \pcq(\lambda)
2551: - {\lambda\over\mu}
2552: {\langle\pcq(\lambda),F\rangle\over\langle\pcq(\mu),F\rangle}\,\pcq(\mu)
2553: - {\lambda\over\lambda-\mu}
2554: {\langle\pcq(\lambda),\pcq(\mu)\rangle\over\langle F,\pcq(\mu)\rangle}\,F
2555: $$
2556: such that
2557: $$
2558: \hat\pcq(\mu)
2559: = -{\mu\over\langle\pcq(\mu),F\rangle}
2560: \lim_{\lambda\to\mu}
2561: {\langle\pcq(\lambda),\pcq(\mu)\rangle\over\lambda-\mu}\,F
2562: = -{\mu\over2\langle\pcq(\mu),F\rangle}
2563: \lim_{\lambda\to\mu}
2564: {|\pcq(\lambda)|^2\over\lambda-\mu}\,F
2565: $$
2566: since
2567: $$
2568: {|\pcq(\lambda)|^2\over\lambda-\mu}
2569: - 2{\langle\pcq(\lambda),\pcq(\mu)\rangle\over\lambda-\mu}
2570: = (\lambda-\mu)\,\left|{\pcq(\lambda)-\pcq(\mu)\over\lambda-\mu}\right|^2
2571: \longrightarrow 0\cdot|\pcq'(\mu)|^2
2572: = 0
2573: $$
2574: as $\lambda\to\mu$.
2575: Consequently,
2576: if $\mu$ is a simple zero of $|\pcq(\lambda)|^2$,
2577: then $f$ is a complementary net of $\hat f$,
2578: that is, the notion of complementary nets is symmetric.
2579:
2580: If, on the other hand, $\mu$ is a higher order zero of $|\pcq(\lambda)|$,
2581: then $\hat\pcq(\mu)=0$ so that $\hat f$ is special isothermic of lower type
2582: than $f$ by \href[thm.pcqReduction]{Lemma~3.3}.
2583: Indeed, all type lowering B\"acklund transformations arise in this way:
2584: suppose that $\hat f$ is a type $N-1$ B\"acklund transform of a special
2585: isothermic net $f$ of type $N$ --- or, otherwise said, $f$ is a Darboux
2586: transform of $\hat f$ which is not a B\"acklund transform.
2587: Then, their polynomial conserved quantities are related by \reqn{pcqDarboux}:
2588: $$
2589: \pcq(\lambda)
2590: = (\lambda-\mu)\Gamma^{1-\lambda/\mu}_{f,\hat f}\hat\pcq(\lambda)
2591: = (\lambda-\mu)(\hat\pcq(\lambda)-{\lambda\over\mu}
2592: {\langle\hat\pcq(\lambda),\hat F\rangle\over\langle F,\hat F\rangle}\,F)
2593: - \lambda{\langle\hat\pcq(\lambda),F\rangle\over\langle F,\hat F\rangle}\,
2594: \hat F
2595: $$
2596: so that
2597: $$
2598: \pcq(\mu)
2599: = -\mu{\langle\hat\pcq(\mu),F\rangle\over\langle F,\hat F\rangle}\,\hat F
2600: $$
2601: spans $\hat f$, which is therefore a complementary net of $f$.
2602:
2603: Note that $\mu$ is a higher order zero of
2604: $|\pcq(\lambda)|^2=(\lambda-\mu)^2|\hat\pcq(\lambda)|^2$.
2605:
2606: We summarize these results:
2607:
2608: \proclaim\htag[thm.cmcOne]{Lemma 4.10}.
2609: Let $f$ be special isothermic of type $N$ with polynomial conserved quantity
2610: $\pcq(\lambda)$.
2611: \item{\rm(i)} If $\mu$ is a higher order zero of $|\pcq(\lambda)|^2$,
2612: then $\hat F=\pcq(\mu)$ defines a type $N-1$ B\"acklund transform of $f$.
2613: \item{\rm(ii)} If $\hat f$ is a type $N-1$ B\"acklund transform of $f$,
2614: then $\hat f$ is a complementary net of $f$, $\hat f\ni\pcq(\mu)$ for
2615: some $\mu$, where $\mu$ is a higher order zero of $|\pcq(\lambda)|^2$.
2616:
2617: As a consequence of this lemma, a special isothermic net of type $N$ can
2618: have at most $N$ B\"acklund transforms of type $N-1$ --- generically, a
2619: B\"acklund transformation is between special isothermic nets of the same
2620: type, and is therefore symmetric as discussed above.
2621: For example, consider a special isothermic net $f$ of type $1$:
2622: by \reqn{cmcComplementary}, $f$ is a Darboux transform of a type $0$ net,
2623: that is, of a spherical net (see \href[thm.type0]{Lemma~3.14}), if and only
2624: if $H^2+\kappa=0$.
2625:
2626: In the remainder of this section we shall discuss geometric properties
2627: of complementary nets of special isothermic nets of type $1$ and $2$.
2628:
2629: First consider a type $1$ special isothermic net with two complementary
2630: nets, i.e., $H^2+\kappa>0$ in \reqn{cmcComplementary};
2631: also, we assume $\kappa\neq0$, excluding the degenerate case, where one
2632: of the complementary nets becomes constant.
2633: Then
2634: $$
2635: \hat F^\pm := Z + {1\over\mu_\pm}\,Q,
2636: \quad{\rm where}\quad
2637: \mu_\pm := H \pm \sqrt{H^2+\kappa},
2638: \eqno cmcClifts$$
2639: provides $\Gamma^{\mu_\pm}$-parallel light cone lifts of the two
2640: complementary nets so that
2641: $$
2642: \hat F^\pm
2643: % = \hat F^\mp + ({1\over\mu_\pm}-{1\over\mu_\mp})\,Q
2644: % = \hat F^\mp + {\mu_\mp-\mu_\pm\over\mu_+\mu_-}\,Q
2645: % = \hat F^\mp + {\mu_\pm-\mu_\mp\over-\mu_+\mu_-}\,Q
2646: = \hat F^\mp \pm {2\sqrt{H^2+\kappa}\over\kappa}\,Q
2647: = \hat F^\mp - 2{\langle\hat F^\mp,Q\rangle\over|Q|^2}\,Q.
2648: $$
2649: Thus the two nets are M\"obius equivalent and, more precisely,
2650: they are ``antipodal'' in the quadric of constant curvature
2651: given by $Q$, see \href[ref.imdg]{[18,~Section~1.4]}.
2652: Moreover, the ``orthogonal circles''
2653: $$
2654: \hat c^\pm := \span\{F,Z,\hat F^\pm\}
2655: $$
2656: of the Ribaucour pair\footnote{In the smooth case, these orthogonal circles
2657: form a \define{cyclic system}, that is, they have a $1$-parameter family
2658: of orthogonal surfaces so that any two orthogonal surfaces are Ribaucour
2659: transforms of each other.}
2660: $(f,\hat f^\pm)$, see \href[thm.pcqDarboux]{Thm.~4.5},
2661: coincide in corresponding points:
2662: $$
2663: \hat c^\pm_i
2664: = \span\{F_i,Z_i,\hat F^\pm_i\}
2665: = \span\{F_i,Z_i,Q\}.
2666: $$
2667:
2668: For a type $2$ special isothermic net $f$ we obtain two similar properties:
2669: first let
2670: $$
2671: \hat F^n = \pcq(\mu_n) = \mu_n^2 Z + \mu_n Y + Q
2672: \quad(n=1,2)
2673: $$
2674: denote ($\Gamma^{\mu_n}$-parallel lifts of) two complementary nets of $f$;
2675: then the planes (in the quadric $Q$)
2676: $$
2677: \hat e^n := \span\{F,Z,\hat F^n,Q\}
2678: $$
2679: of the orthogonal circles $\hat c^n$ coincide at corresponding points:
2680: $$
2681: \hat e^n_i
2682: = \span\{F_i,Z_i,\hat F^n_i,Q\}
2683: = \span\{F_i,Z_i,Y_i,Q\}.
2684: $$
2685:
2686: On the other hand, if
2687: $$
2688: \hat F^n = \pcq(\mu_n) = \mu_n^2 Z + \mu_n Y + Q
2689: \quad(n=1,2,3)
2690: $$
2691: provide three complementary nets of $f$, then
2692: $$
2693: Q \in \hat c_i := \span\{\hat F^n_i\,|\,n=1,2,3\}
2694: $$
2695: for all $i\in M$, that is, the circles through corresponding points of
2696: the three complementary nets are, in fact, straight lines in the quadric
2697: of constant curvature given by $Q$.
2698:
2699: Reversing these observations yields four constructions for linear or quadratic
2700: conserved quantities from geometric configurations of Darboux transforms:
2701:
2702: \proclaim\htag[thm.DoubleDarboux]{Thm.~4.11}.
2703: Let $\hat f^n$, $n=1,2$, be two Darboux transforms with different parameters
2704: $\mu_n$ of a discrete isothermic net $f$ so that the circles
2705: $$
2706: \hat c^n_{ij} :
2707: = \span\{F_i,F_j,\hat F^n_i\}
2708: = \span\{F_i,F_j,\hat F^n_j\}
2709: $$
2710: on the edges of $M$ do not coincide for $n=1,2$.
2711: Suppose that the $\hat f^n$ are antipodal in a suitable non-Euclidean
2712: space form.
2713: Then $f$ has a normalized linear conserved quantity.
2714:
2715: \proclaim\htag[thm.TripleDarboux]{Thm.~4.12}.
2716: Let $\hat f^n$, $n=1,2,3$, be three Darboux transforms with different parameters
2717: $\mu_n$ of a discrete isothermic net $f$ so that the circles\footnote{Note that
2718: $\span\{F_i,F_j,\hat F^n_i\}=\span\{F_i,F_j,\hat F^n_j\}$ since corresponding
2719: edges of a Darboux (or, more generally, Ribaucour pair) have concircular
2720: endpoints.}
2721: $$
2722: \hat c^n_{ij} :
2723: = \span\{F_i,F_j,\hat F^n_i\}
2724: = \span\{F_i,F_j,\hat F^n_j\}
2725: $$
2726: on the edges of $M$ are not cospherical for $n=1,2,3$.
2727: Suppose that the circles
2728: $$
2729: \hat c_i := \span\{\hat F^n_i\,|\,n=1,2,3\}
2730: $$
2731: are straight lines in a suitable space form geometry.
2732: Then $f$ has a normalized quadratic conserved quantity.
2733:
2734: \proof
2735: We prove both theorems.
2736: Thus let $N=2$ or $N=3$ and let $\hat F^n$, $n=1,\dots,N$ denote
2737: $\Gamma^{\mu_n}$-parallel light cone lifts of the Darboux transforms
2738: $\hat f^n$.
2739: Note that the non-degeneracy assumption for the edge circles $c^n_{ij}$
2740: ensures that the $\hat F^n_i$ or $\hat F^n_j$ are linearly independent
2741: $\bmod f_i\oplus f_j$.
2742:
2743: Now let $Q\in\R^{4,1}\setminus\{0\}$ denote the vector defining the space form.
2744: Then
2745: $$
2746: Q = \sum_{n=1}^N\alpha_n\hat F^n
2747: $$
2748: with suitable functions $\alpha_n:M\to\R$.
2749: First, we see that the $\alpha_n$ are constant:
2750: $$
2751: 0 = dQ_{ij}
2752: = \sum_{n=1}^Nd(\alpha_n)_{ij}\hat F^n_i+(\alpha_n)_jd\hat F^n_{ij}
2753: = \sum_{n=1}^Nd(\alpha_n)_{ij}\hat F^n_i \bmod f_i\oplus f_j,
2754: $$
2755: so that $d(\alpha_n)_{ij}=0$ since $(\hat F^1,\dots,\hat F^N)$ are linearly
2756: independent $\bmod f_i\oplus f_j$.
2757: Now,
2758: $$
2759: 0 = dQ_{ij}
2760: = \sum_{n=1}^N\alpha_nd\hat F^n_{ij}
2761: = \sum_{n=1}^N\alpha_n\mu_n\{
2762: \langle\hat F^n,F\rangle_j\,F_i - \langle\hat F^n,F\rangle_i\,F_j
2763: \},
2764: $$
2765: showing that
2766: $$
2767: Z := \sum_{n=1}^N\alpha_n\mu_n\hat F^n \perp f
2768: $$
2769: defines a sphere congruence enveloped by $f$:
2770: note that $|Z|^2>0$ since the $\hat F^n$ and $F$ are linearly independent.
2771: Hence $f$ has a linear or quadratic conserved quantity if $N=2$ or $N=3$,
2772: respectively, by \href[thm.pcqReconstruction]{Lemma~4.9}.
2773: \endproof
2774:
2775: Note that there are no corresponding theorems for the existence of higher
2776: degree polynomial conserved quantities for codimension $1$ isothermic nets:
2777: the non-degeneracy assumption on the $\hat F^n_i$'s, $F_i$ and $F_j$ being
2778: linearly independent in $\R^{4,1}$ restricts $N$ to numbers not greater
2779: than $3$.
2780:
2781: \proclaim\htag[thm.DarbouxPlanes]{Thm.~4.13}.
2782: Let $\hat f^n$, $n=1,2$, be two Darboux transforms with different parameters
2783: $\mu_n$ of a discrete isothermic net $f$ and let
2784: $$
2785: M \ni i \mapsto \hat c^n_i :
2786: = \span\{F_i,Z_i,\hat F^n_i\}
2787: $$
2788: denote the orthogonal circle congruences of the Ribaucour pairs $(f,\hat f^n)$,
2789: $n=1,2$, with respect to an enveloped sphere congruence\footnote{That is: $Z$
2790: defines the normal direction at each vertex of the net so that the notion of
2791: an ``orthogonal circle'' is well defined --- thus, only the contact element
2792: $Z_i+\R\,F_i$ at each point $i$ is needed.} $Z$ and let
2793: $$
2794: (ij) \mapsto c_{ij} :
2795: = \span\{F_i,Z_i,F_j\}
2796: = \span\{F_i,Z_j,F_j\}
2797: $$
2798: denote the orthogonal edge circles\footnote{Note that
2799: $\span\{F_i,Z_i,F_j\}=\span\{F_i,Z_j,F_j\}$ by the enveloping
2800: condition \href[def.Envelope]{Def.~3.10}.}.
2801: Further, let $Q\in\R^{4,1}$ define a quadric of constant curvature
2802: so that neither the circles $c_{ij}$ nor the circles $\hat c_i$ are
2803: straight lines and let
2804: $$
2805: e_{ij} :
2806: = \span\{F_i,Z_i,F_j,Q\}
2807: = \span\{F_i,Z_j,F_j,Q\}
2808: \quad{\sl and}\quad
2809: \hat e^n_i :
2810: = \span\{F_i,Z_i,\hat F_i,Q\}
2811: $$
2812: denote the corresponding circle planes.
2813: Assume that $e_{ij}\neq\hat e^n_i$ for every edge and
2814: suppose that the circle planes $\hat e^1=\hat e^2$.
2815: Then $f$ has a quadratic conserved quantity.
2816:
2817: \proclaim\htag[thm.DarbouxCircles]{Thm.~4.14}.
2818: Let $\hat f^n$, $n=1,2$, be two Darboux transforms with different parameters
2819: $\mu_n$ of a discrete isothermic net $f$ and let
2820: $$
2821: i \mapsto \hat c^n_i
2822: \quad{\sl and}\quad
2823: (ij) \mapsto c_{ij}
2824: $$
2825: denote the orthogonal circle congruences as in the
2826: \href[thm.DarbouxPlanes]{previous theorem}.
2827: Assume that $c_{ij}\neq\hat c^n_i$ for every edge and
2828: suppose that $\hat c^1=\hat c^2$.
2829: Then $f$ has a normalized linear conserved quantity.
2830:
2831: The first of these two theorems is a discrete version of a famous
2832: classical theorem,
2833: cf.~\href[ref.da99]{[13]},
2834: \href[ref.ei23]{[14,~\S84]} and
2835: \href[ref.sa07]{[21, Thms.~2.1 \& 2.33]}.
2836:
2837: \proof
2838: Again, we prove both theorems as the proofs are very similar.
2839:
2840: Let $\hat F^n$ denote $\Gamma^{\mu_n}$-parallel lifts of the two Darboux
2841: transforms $\hat f^n$ and note that $Q$ is $\Gamma^0$-parallel.
2842:
2843: First consider the second theorem:
2844: as $\hat c^1=\hat c^2$ we have
2845: $$
2846: \hat F^2 = \alpha_1\hat F^1 + \alpha\,F + \beta\,Z
2847: $$
2848: with suitable functions $\alpha_1,\alpha,\beta$,
2849: where $\alpha_1\neq0$ since $\hat f^2\neq f$.
2850: Hence
2851: $$
2852: d(\alpha_1)_{ij}\hat F^1_i
2853: = d\hat F^2_{ij} - d(\alpha\,F+\beta\,Z)_{ij} - (\alpha_1)_jd\hat F^1_{ij}
2854: = 0 \bmod c_{ij},
2855: $$
2856: so that $\alpha_1$ is constant since $\hat c^1_i\neq c_{ij}$.
2857: Moreover, as $\hat F^1$, $\hat F^2$ and $F$ are linearly independent,
2858: $$
2859: \hat F^2 - \alpha_1\hat F^1 = \alpha\,F + \beta\,Z
2860: $$
2861: defines an enveloped sphere congruence and the claim follows
2862: from \href[thm.pcqReconstruction]{Lemma~4.9}.
2863:
2864: In the situation of the \href[thm.DarbouxPlanes]{first theorem} we have
2865: $$
2866: \hat F^2 = \alpha_0Q + \alpha_1\hat F^1 + \alpha\,F + \beta\,Z
2867: $$
2868: and deduce
2869: $$
2870: d(\alpha_1)_{ij}\hat F^1_i
2871: = d\hat F^2_{ij} - d(\alpha\,F+\beta\,Z)_{ij}
2872: - d(\alpha_0)_{ij}Q - (\alpha_1)_jd\hat F^1_{ij}
2873: = 0 \bmod e_{ij},
2874: $$
2875: so that, again, $\alpha_1$ is constant since $\hat e^1_i\neq e_{ij}$.
2876: Then
2877: $$
2878: d(\alpha_0)_{ij}Q
2879: = d\hat F^2_{ij} - d(\alpha\,F+\beta\,Z)_{ij} - (\alpha_1)_jd\hat F^1_{ij}
2880: = 0 \bmod c_{ij},
2881: $$
2882: showing that $\alpha_0$ is constant as well, because $c_{ij}$ was assumed
2883: to be a proper circle.
2884: Now
2885: $$
2886: \hat F^2 - \alpha_1\hat F^1 - \alpha_0 Q
2887: = \alpha\,F + \beta\,Z,
2888: $$
2889: so that, again, the claim follows
2890: from \href[thm.pcqReconstruction]{Lemma~4.9}.
2891: \endproof
2892:
2893: Note that, in the first theorem, we obtain a normalized quadratic conserved
2894: quantity as soon as we assume that the circles $\span\{\hat F^1,\hat F^2,F\}$
2895: through corresponding points of $f$, $\hat f^1$ and $\hat f^2$ do not
2896: become straight lines in the quadric given by $Q$.
2897:
2898:
2899: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2900: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2901: \h1 Discrete cmc nets in space forms.
2902: We are now prepared to define discrete cmc nets in space forms.
2903: A smooth isothermic surface $f$ in the conformal $3$-sphere has constant
2904: mean curvature $H$ in a quadric of constant curvature $\kappa=-|Q|^2$,
2905: given by $Q\in\R^{4,1}$, if and only if it has a linear conserved quantity
2906: $$
2907: \pcq(\lambda) = \lambda Z+Q,
2908: $$
2909: where $Z$ is the mean curvature sphere congruence\footnote{The mean curvature
2910: sphere congruence of $f$, consisting of spheres touching $f$ that have the same
2911: mean curvature as the surface at the touching points, can be defined using
2912: {\it any\/} ambient space form geometry: it can be characterized as
2913: the {\it conformal Gauss map\/} of $f$, i.e.,
2914: the unique enveloped sphere congruence that induces the same conformal
2915: structure as $f$,
2916: or as
2917: the {\it central sphere congruence\/}, i.e.,
2918: the congruence of spheres that exchange the curvature spheres
2919: (via inversion) or, equivalently, that have second order contact
2920: with the surface in orthogonal directions.}
2921: of $f$, see \href[ref.buca07]{[11]} or \href[ref.sa07]{[21, Thm.~2.27]}:
2922: for smooth isothermic surfaces in the conformal $3$-sphere (of codimension $1$)
2923: it turns out that the top coefficient of a polynomial conserved quantity is
2924: necessarily its conformal Gauss map\footnote{Hence it follows directly that
2925: an isothermic surface with linear conserved quantity has constant mean
2926: curvature $H=-\langle Z,Q\rangle$ in the space form given by $Q$.}.
2927: Note that, in the case of a spherical surface, the conformal Gauss map
2928: $Z$ of $f$ is constant and $f$ has a constant conserved quantity $Q=Z$
2929: (as in the discrete case: see \href[thm.type0]{Thm.~3.14}),
2930: hence a linear conserved quantity, e.g.,
2931: $$
2932: \pcq(\lambda) = \lambda Z + Q = (\lambda+1)\,Z.
2933: $$
2934:
2935: In the discrete setting we use this characterization as a definition:
2936:
2937: \proclaim\htag[def.cmc]{Def.~5.1}.
2938: A discrete isothermic net $f$ will be called a \define{discrete cmc net}
2939: if it is special isothermic of type $N\leq1$.
2940: In particular, if $f$ is special isothermic of type $1$ with normalized
2941: linear conserved quantity
2942: $$
2943: \pcq(\lambda) = \lambda Z + Q,
2944: $$
2945: we say that $Z$ is the \define{mean curvature sphere congruence} of $f$
2946: in the quadric
2947: $$
2948: {\cal Q} = \{Y\in L^4\,|\,\langle Y,Q\rangle=-1\}
2949: $$
2950: of constant curvature $\kappa=-|Q|^2$
2951: and that $f$ has (constant) \define{mean curvature}%
2952: \footnote{A change $a\to\tilde a={a\over c}$ of the cross ratio factorizing
2953: function results in a change of the equation \reqn{PCQcondition} for a
2954: linear conserved quantity, hence of the linear conserved quantity,
2955: see \href[thm.pcqScale]{Lemma~3.6};
2956: in particular, $\tilde Z=Z$ and $\tilde Q=cQ$.
2957: Hence we obtain the effect of an \htag[key.AmbHom]{ambient homothety}:
2958: $\tilde\kappa=c^2\kappa$ and $\tilde H=cH$.}
2959: $$
2960: H := -\langle Z,Q\rangle.
2961: $$
2962:
2963: Thus discrete cmc nets in space forms are special isothermic nets and a
2964: transformation theory is readily available to us, cf.~\href[ref.je00]{[17]}:
2965: the B\"acklund transformation, see \href[def.backlund]{Def.~4.4}, yields a
2966: transformation for discrete cmc nets in a given space form preserving the
2967: mean curvature,
2968: $$
2969: \tilde Q = Q
2970: \quad{\rm and}\quad
2971: \tilde H
2972: = -\langle\tilde Z,\tilde Q\rangle
2973: = -\langle Z,Q\rangle
2974: = H
2975: $$
2976: by \href[thm.pcqDarboux]{Thm.~4.5}, and
2977: satisfying Bianchi permutability by \href[thm.BBperm]{Thm.~4.7};
2978: the Calapso transformation provides a Lawson correspondence $f\mapsto f^\mu$
2979: for discrete cmc nets, where both the mean and ambient curvature change,
2980: $$
2981: \kappa^\mu = -|Q^\mu|^2 = \kappa + 2\mu H - \mu^2
2982: \quad{\rm and}\quad
2983: H^\mu = -\langle Z^\mu,Q^\mu\rangle = H - \mu
2984: $$
2985: since $Z^\mu=T^\mu Z$ and $Q^\mu=T^\mu(\mu Z+Q)$ by
2986: \href[thm.SpecialCalapso]{Thm.~3.13},
2987: but
2988: $$
2989: (H^\mu)^2+\kappa^\mu = \kappa + H^2
2990: $$
2991: remains invariant.
2992:
2993: \proclaim\htag[def.lawson]{Def.~5.2}.
2994: The Calapso transformation for discrete cmc nets will also be called
2995: \define{Lawson correspondence}.
2996:
2997: The main goal of this section will be to show that our definition
2998: generalizes and truly extends previous definitions\footnote{Note that
2999: the mean curvature in \href[ref.sch07]{[22]} is defined on the faces of
3000: a principal net and therefore different from the mean curvature defined here,
3001: living on the vertices.}
3002: from
3003: \href[ref.bopi96]{[3]},
3004: \href[ref.jehopi99]{[16]},
3005: \href[ref.bopi99]{[4]} and
3006: \href[ref.je00]{[17]}.
3007:
3008:
3009: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3010: \h2 Uniqueness and existence questions.
3011: However, before addressing the relation of our definition with previous
3012: approaches we shall discuss the construction and uniqueness of linear
3013: conserved quantities for a given discrete isothermic net.
3014:
3015: Clearly, given the value of a linear conserved quantity at one point of a
3016: discrete cmc net $f$ with cross ratio factorizing function $a$, the linear
3017: conserved quantity is uniquely determined as it is a parallel section of the
3018: isothermic family of (flat) connections:
3019: given an initial value of a linear (or polynomial) conserved quantity
3020: $\pcq(\lambda)$ we can use \reqn{PCQcondition} to determine the values
3021: of $\pcq(\lambda)$ at any point.
3022: Thus, starting with a linear quantity $\lambda Z+Q$ at some point of
3023: a discrete isothermic net, there is a unique parallel section of the
3024: isothermic family of connections\footnote{Here we use the flatness of
3025: the connections in the family.};
3026: but the parallel section may fail to be linear or even to be polynomial
3027: at other points of the isothermic net --- hence we may not obtain a linear
3028: conserved quantity if we use the ``wrong'' initial value or if the isothermic
3029: net is not cmc.
3030:
3031: Using instead the equivalent condition \reqn{dPCQ}
3032: from \href[thm.PCQcondition]{Lemma~3.7}
3033: (see also \href[thm.ConstantQ]{Cor.~3.8}
3034: and \href[thm.EnvelopingZ]{Cor.~3.9~(i-ii)}),
3035: we learn that $\pcq(\lambda)=\lambda Z+Q$ is a linear conserved quantity for
3036: an isothermic net $f$ with cross ratio factorizing function $a$ if and
3037: only if
3038: $$
3039: Q\equiv const,\quad
3040: Z\perp F\quad{\rm and}\quad
3041: Z_j = Z_i + {a_{ij}\over\langle F_i,F_j\rangle}
3042: \{ \langle Q,F_j\rangle\,F_i-\langle Q,F_i\rangle\,F_j \}
3043: \eqno LCQconditions$$
3044: for any edge $(ij)$ of the domain graph $M$.
3045: Again, we obtain a propagation formula that fixes the linear conserved
3046: quantity uniquely once an initial value of $\pcq(\lambda)$ is given at
3047: some point of a discrete isothermic net;
3048: however, now the existence of $Z$ as well as the incidence relation
3049: $Z\perp F$ are only satisfied if the isothermic net was, in fact, cmc
3050: and if the initial value of $\pcq(\lambda)$ was chosen correctly.
3051:
3052: First we address the integrability of the difference equation for
3053: the mean curvature sphere congruence $Z$,
3054: $$
3055: Z_j = Z_i + {a_{ij}\over\langle F_i,F_j\rangle}
3056: \{ \langle Q,F_j\rangle\,F_i-\langle Q,F_i\rangle\,F_j \}.
3057: \eqno PropagatingZ$$
3058: This equation does clearly not depend on the choice of lift $F$
3059: of the isothermic net $f$; to simplify the computation we may choose
3060: a Moutard lift, satisfying \reqn{MoutardCond}, so that
3061: $$\matrix{
3062: Z_k
3063: &=& Z_i
3064: + \langle Q,F_k-F_i\rangle\,F_j
3065: - \langle Q,F_j\rangle\,(F_k-F_i) \hfill\cr
3066: &=& Z_i + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}
3067: \{ \langle Q,F_j\rangle\,F_l-\langle Q,F_l\rangle\,F_j \} \hfill\cr
3068: % &=& Z_i
3069: % + \langle Q,F_k-F_i\rangle\,F_l
3070: % - \langle Q,F_l\rangle\,(F_k-F_i) \cr
3071: }\eqno Zdiagonal$$
3072: on an elementary quadrilateral $(ijkl)$, where we used the Moutard
3073: equation \reqn{MoutardEqn}.
3074: The last expression is symmetric in $j$ and $l$;
3075: hence the propagation equation \reqn{PropagatingZ} is integrable.
3076:
3077: Next we address the incidence relation $Z\perp F$.
3078: First consider an edge $(ij)$: from \reqn{PropagatingZ}
3079: $$
3080: \langle Z_j,F_j\rangle
3081: = \langle Z_i,F_j\rangle + a_{ij}\langle Q,F_j\rangle.
3082: $$
3083: Consequently, incidence determines $Z_i$ at the center $i=i_{(0,0)}$ of
3084: a non-spherical vertex star\footnote{Here we use the fact that any
3085: vertex has four neighbours; in a more general quad-graph this argument
3086: only works at vertices of degree $4$, i.e., not at ``umbilics'' of a
3087: discrete net.}:
3088: if we let $i_{(m,n)}$, $m,n\in\{-1,0,1\}$, denote the vertices of
3089: a $3\times3$-grid then the equations
3090: $$
3091: \langle Z_{i_{(0,0)}}, F_{i_{(0,0)}}\rangle
3092: = 0
3093: \quad{\rm and}\quad
3094: \langle Z_{i_{(0,0)}}, F_{i_{(m,n)}}\rangle
3095: = -a_{i_{(0,0)}i_{(m,n)}}\langle Q,F_{i_{(m,n)}}\rangle,
3096: \eqno Zstar$$
3097: where $m^2+n^2=1$, have a unique solution $Z_{i_{(0,0)}}$ since
3098: the vertices $F_{i_{(0,0)}}$ and $F_{i_{(m,n)}}$ of a non-spherical
3099: vertex star form a basis of $\R^{4,1}$.
3100: Thus an appropriate choice of the initial value $Z_{i_{(0,0)}}$ for
3101: the mean curvature sphere congruence at the center of a vertex star
3102: ensures that incidence is satisfied on all five vertices of the vertex
3103: star when using \reqn{PropagatingZ} to define $Z$ on the corresponding
3104: $3\times3$-grid.
3105: At the diagonal vertices $F_{i_{(m,n)}}$, $m,n=\pm1$, we obtain incidence
3106: without further conditions:
3107: let $(ijkl)$ denote an elementary quadrilateral; then, using \reqn{Zdiagonal},
3108: \reqn{MoutardEqn} and \reqn{MoutardCond}, we get
3109: $$\matrix{
3110: \langle Z_k,F_k\rangle
3111: &=& \langle
3112: Z_i + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}
3113: \{ \langle Q,F_j\rangle\,F_l-\langle Q,F_l\rangle\,F_j \},
3114: F_i + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}
3115: \{ F_j-F_l \}
3116: \rangle \hfill\cr
3117: &=& \langle Z_i,F_i\rangle + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}\{
3118: \langle Z_i+a_{ij}Q,F_j\rangle
3119: - \langle Z_i+a_{il}Q,F_l\rangle
3120: \} \hfill\cr
3121: &=& \langle Z_i,F_i\rangle + {a_{ij}-a_{il}\over\langle F_j,F_l\rangle}\{
3122: \langle Z_j,F_j\rangle
3123: - \langle Z_l,F_l\rangle
3124: \} \hfill\cr
3125: &=& 0, \hfill\cr
3126: }$$
3127: that is, incidence of $Z_k$ and $f_k$.
3128: Thus we have proved the following, cf.~\href[thm.pcqUniq]{Cor.~3.4}:
3129:
3130: \proclaim\htag[thm.uniqLCQ]{Lemma 5.3}.
3131: Let $f:\{(m,n)\,|\,m,n\in\{-1,0,1\}\}\to S^3$ be a non-spherical discrete
3132: isothermic $3\times3$-net and let $Q\in\R^{4,1}\setminus\{0\}$.
3133: %Then there is a unique mean curvature sphere congruence $Z$ of $f$
3134: %with respect to $Q$, that is, $\pcq(\lambda)=\lambda Z+Q$
3135: %is a linear conserved quantity.
3136: Then $f$ has a unique linear conserved quantity $\pcq(\lambda)=\lambda Z+Q$.
3137:
3138: Note that, if the vertex star of $f_{(0,0)}$ is cospherical, then the
3139: corresponding $3\times3$-net is necessarily also cospherical since
3140: $f$ is a discrete principal net, i.e., the vertices of its faces
3141: are concircular.
3142: Hence, assuming that $f$ is non-spherical in \href[thm.uniqLCQ]{Lemma~5.3},
3143: we have that the vertex star used to define $Z$ at its center is
3144: non-spherical.
3145: Moreover, since any two adjacent vertex stars (i.e., vertex stars at the
3146: endpoints of an edge) of a discrete isothermic net have two face circles
3147: in common, they lie on the same sphere if they are cospherical
3148: --- thus, an isothermic net is either spherical, hence type $0$, or it
3149: has a non-spherical vertex star.
3150:
3151: As a (degenerate) example consider
3152: the Moutard lift $F$ of an isothermic $3\times3$-net, i.e.,
3153: let $F$ satisfy $\langle F_i,F_j\rangle=a_{ij}$ as in \reqn{MoutardCond},
3154: and choose $Q$ so that
3155: $$
3156: Q\perp F_{(1,0)}-F_{(-1,0)},F_{(0,1)}-F_{(0,-1)},F_{(0,1)}-F_{(1,0)}
3157: \quad\Leftrightarrow\quad
3158: \langle Q,F_{(m,n)}\rangle=c_0
3159: \eqno badQ$$
3160: for $m^2+n^2=1$ and some $c_0\in\R$;
3161: further let $c_1:=\langle Q,F_{(0,0)}\rangle$ and observe that,
3162: from \reqn{MoutardEqn},
3163: $$
3164: \langle F_{(m,n)}-F_{(0,0)},Q\rangle
3165: = {a_{(0,0)(m,0)}-a_{(0,0)(0,n)}\over\langle F_{(m,0)},F_{(0,n)}\rangle}
3166: \langle F_{(m,0)}-F_{(0,n)},Q\rangle
3167: = 0
3168: $$
3169: for $m,n=\pm1$, so that
3170: $$
3171: \langle F_{(m,n)},Q\rangle = \cases{
3172: c_0 & if $m^2+n^2=1$, \cr
3173: c_1 & if $m^2-n^2=0$. \cr
3174: }
3175: $$
3176: Now, \reqn{Zstar} yields $Z_{(0,0)}+c_0F_{(0,0)}\perp F_{(0,0)},F_{(m,n)}$
3177: for $m^2+n^2=1$, that is, $Z_{(0,0)}+c_0F_{(0,0)}$ is orthogonal to a basis
3178: of $\R^{4,1}$, hence vanishes.
3179: Consequently, \reqn{PropagatingZ} yields
3180: $$
3181: Z_{(m,n)} = \cases{
3182: -c_0F_{(m,n)} & if $m^2-n^2=0$, \cr
3183: -c_1F_{(m,n)} & if $m^2+n^2=1$. \cr
3184: }
3185: $$
3186: Thus $Z\parallel F$ becomes isotropic and yields another Moutard lift of $f$.
3187: Note that, if we choose $Q$ so that $c_0=0$, i.e., so that $Q$ represents the
3188: (unique) sphere containing the outer points of the vertex star, then $Z$
3189: vanishes for $m^2-n^2=0$, that is, we are in the situation that we
3190: excluded from consideration in \href[thm.degPCQ]{Lemma~3.11}.
3191: This last situation is a worst-case scenario for a non-spherical isothermic
3192: net and that, by \reqn{PropagatingZ}, $Z$ does not vanish as soon as
3193: $\langle F,Q\rangle$ does not, that is, as soon as $f$ does not
3194: hit the infinity boundary of the space form given by $Q$.
3195:
3196: Now recall from \href[thm.degPCQ]{Lemma~3.11} that, if $Z$ is null but does
3197: not vanish, then it is necessarily a Moutard lift of $f$.
3198: In particular,
3199: $$
3200: Z_{(m,n)} = \cases{
3201: -c_0F_{(m,n)} & if $m^2-n^2=0$, \cr
3202: -c_1F_{(m,n)} & if $m^2+n^2=1$ \cr
3203: }
3204: $$
3205: for some $c_0,c_1\in\R$ and a Moutard lift $F$ satisfying \reqn{MoutardCond}
3206: as any two Moutard lifts are related in this way.
3207: Hence, for $m^2+n^2=1$,
3208: $$
3209: \langle F_{(m,n)},Q\rangle
3210: = -{1\over c_1}\langle Z_{(m,n)},Q\rangle
3211: \equiv const,
3212: $$
3213: so that we are back in the situation of \reqn{badQ}.
3214: Thus avoiding \reqn{badQ} we can ensure that $Z$ becomes spacelike and
3215: hence a suitable rescaling of the constructed linear conserved quantity
3216: will leave us with a {\it normalized\/} linear conserved quantity;
3217: hence, according to \href[def.cmc]{Def.~5.1}:
3218:
3219: \proclaim\htag[thm.cmcQ]{Lemma 5.4}.
3220: Let $f:\{(m,n)\,|\,m,n\in\{-1,0,1\}\}\to S^3$ be a non-spherical discrete
3221: isothermic $3\times3$-net and choose $Q\in\R^{4,1}$ to satisfy,
3222: for $m,n\in\{-1,0,1\}$,
3223: $$
3224: Q \not\perp F_{(m,n)}
3225: \quad{\sl and}\quad
3226: Q \not\in
3227: \{F_{(1,0)}-F_{(-1,0)},F_{(0,1)}-F_{(0,-1)},F_{(0,1)}-F_{(1,0)}\}^\perp,
3228: \eqno goodQ$$
3229: where $F$ is a Moutard lift of $f$.
3230: Then $f$ is a discrete cmc net in a space form defined by a suitable
3231: rescaling of $Q$.
3232:
3233: Thus, as \reqn{goodQ} imposes only open conditions on $Q$, any given
3234: isothermic $3\times3$-net is cmc in a $4$-parameter family of possible
3235: space forms.
3236: Enlarging the net and using \reqn{PropagatingZ} to propagate $Z$ will
3237: add more incidence conditions, hence conditions on $Q$;
3238: %%% old, short version:
3239: % it is therefore natural to suspect that a large enough generic isothermic net,
3240: % e.g., a $5\times5$-net, will have a unique linear conserved quantity
3241: % and being cmc will become a condition.
3242: it is therefore natural to expect that a large enough generic isothermic net,
3243: will have a unique linear conserved quantity and being cmc becomes a condition.
3244: In particular, the conditions \reqn{LCQconditions} for a linear conserved
3245: quantity on an isothermic $5\times5$-net
3246: $$
3247: f:\{(m,n)\,|\,m,n\in\{-2,-1,0,1,2\}\} \to S^3
3248: $$
3249: can be reduced to the incidence conditions on an extended vertex star
3250: $$
3251: \{f_{(0,0)}, f_{(\pm1,0)}, f_{(0,\pm1)}, f_{(\pm2,0)}, f_{(0,\pm2)}\}
3252: $$
3253: by the arguments that proved \href[thm.uniqLCQ]{Lemma 5.3}:
3254: this yields nine linear equations for the linear conserved quantity
3255: at the center vertex $f_{(0,0)}$ of the net --- hence we get existence
3256: of a linear conserved quantity on any isothermic $5\times5$-net, and
3257: we expect uniqueness up to scaling generically, i.e., using the
3258: scaling freedom to normalize the obtained linear conserved
3259: quantity we expect a generic isothermic $5\times5$-net to be
3260: a discrete cmc net in a unique way.
3261:
3262: However, the following example shows that even ``arbitrarily large''
3263: isothermic nets can be cmc in different space forms --- and even with
3264: their respective mean curvature sphere congruences defining the same
3265: contact elements at each vertex.
3266:
3267: For this purpose we reconsider our example \reqn{explMain}.
3268: However, instead of thinking of $f$ as part of a ``zigzag-plane'' as in
3269: \reqn{explMain}, we now think of it as part of a discrete circular cylinder
3270: by letting
3271: $$
3272: \alpha := \cos\varphi \quad{\rm and}\quad \beta := \sin\varphi
3273: $$
3274: for some $\varphi\in(0,{\pi\over2})$, so that\footnote{Remember that
3275: $m,n\in\{-1,0,1\}$.}
3276: $$
3277: f_{(m,n)}
3278: = (\eta m,{1+\cos\varphi\over2}+(-1)^n{1-\cos\varphi\over2},n\sin\varphi)
3279: = (\eta m,\cos n\varphi,\sin n\varphi).
3280: \eqno explAltMain$$
3281: Further we introduce\footnote{This is the (parallel) Christoffel transform
3282: of $f$, which is the net of centers of the mean curvature sphere congruence
3283: in Euclidean space.}
3284: $$
3285: f^\ast_{(m,n)} := (\eta m,-\cos n\varphi,-\sin n\varphi).
3286: $$
3287: Now let
3288: $$
3289: Z := {1\over2}F^\ast-Q
3290: \quad{\rm and}\quad
3291: Q := (1,0,0,0,-1),
3292: \eqno explNormPCQ$$
3293: where $F^\ast=({1+|f^\ast|^2\over2},f^\ast,{1-|f^\ast|^2\over2})$
3294: denotes again the Euclidean lift of $f^\ast$, and note that
3295: $$
3296: \langle F,F^\ast\rangle = -{1\over2}|f-f^\ast|^2 \equiv -2,
3297: $$
3298: so that $\langle\lambda Z+Q,F\rangle\equiv-1$.
3299: Now observe that $|f^\ast|^2=|f|^2$ do not depend on $n$ and hence
3300: $$
3301: dF^\ast_{(m,n)(m+1,n)}-dF_{(m,n)(m+1,n)}
3302: = dF^\ast_{(m,n)(m,n+1)}+dF_{(m,n)(m,n+1)}
3303: = 0;
3304: $$
3305: consequently, $Z$ and $Q$ define a linear conserved quantity
3306: by \href[thm.PCQcondition]{Lemma~3.7}:
3307: for all edges $(ij)$
3308: $$
3309: d(\lambda Z+Q)_{ij} - {\lambda a_{ij}\over\langle F_i,F_j\rangle}
3310: \{\langle\lambda Z+Q,F\rangle_jF_i-\langle\lambda Z+Q,F\rangle_iF_j\}
3311: = 0,
3312: $$
3313: where $a_{ij}=\pm{1\over2}\langle F_i,F_j\rangle$ as in the example
3314: \reqn{explMain}.
3315: Since $|Z|^2\equiv1$ the linear conserved quantity is normalized,
3316: characterizing $f$ as a discrete net of constant mean curvature
3317: $$
3318: H = -\langle Z,Q\rangle = {1\over2}
3319: $$
3320: in Euclidean space (as $|Q|^2=0$) according to \href[def.cmc]{Def.~5.1},
3321: as one would expect.
3322:
3323: Superposition of the linear conserved quantities given by \reqn{explDegPCQ}
3324: and by \reqn{explNormPCQ} then yields a $1$-parameter family of normalized
3325: linear conserved quantities for $f$, given by
3326: $$
3327: Z_\alpha := {1\over2}(F^\ast+\alpha(-1)^nF)-Q_0
3328: \quad{\rm and}\quad
3329: Q_\alpha := Q_0 - {2\alpha\over1-\cos\varphi}
3330: ({1+\cos\varphi\over2},0,1,0,-{1+\cos\varphi\over2}),
3331: $$
3332: where $Q_0=(1,0,0,0,-1)$ and $\alpha\in\R$.
3333: Thus the isothermic net has constant mean curvatures
3334: $$
3335: H_\alpha = -\langle Z_\alpha,Q_\alpha\rangle
3336: = {1\over2}(1+\alpha^2)-{1+\cos\varphi\over1-\cos\varphi}\alpha
3337: $$
3338: in the hyperbolic spaces
3339: $$
3340: {\cal Q}_\alpha = \{Y\in L^4\,|\,\langle Y,Q_\alpha\rangle=-1\}
3341: $$
3342: of curvatures $\kappa_\alpha=-{4\alpha^2\over(1-\cos\varphi)^2}$.
3343: Note that all $Z_\alpha$ define the same contact element at a vertex of $f$,
3344: that is, they all define the same ``normal direction'' at a vertex.
3345: % This shows that prescribing a Gauss map for an isothermic net does not
3346: % affect uniqueness of a linear or polynomial conserved quantity.
3347:
3348: Finally observe that, as for the discrete net \reqn{explMain} with degenerate
3349: linear conserved quantity \reqn{explDegPCQ}, the restriction of the domain
3350: to $\{-1,0,1\}^2$ is again not necessary:
3351: the circular cylinder in \reqn{explAltMain} can be defined on all of
3352: $\Z^2$ with linear conserved quantity given by \reqn{explNormPCQ}.
3353: As the two nets, the ``zigzag-plane'' and the circular cylinder, coincide
3354: on $\Z\times\{-1,0,1\}$ we obtain an example of an isothermic $N\times3$-net,
3355: $N\in\N$ arbitrary, that is cmc in different space forms.
3356:
3357:
3358: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3359: \h2 Relation with previous approaches.
3360: At this point we are prepared to link the present approach to discrete
3361: cmc nets to previous approaches; in particular, we shall discuss how
3362: our definition relates to:
3363: \item{$\bullet$} the notion of discrete minimal surface in Euclidean space
3364: introduced in \href[ref.bopi96]{[3,~Def.~7]};
3365: \item{$\bullet$} the notion of discrete cmc net in Euclidean space
3366: introduced in \href[ref.jehopi99]{[16,~Sect.~5]};
3367: \item{$\bullet$} the notion of discrete horospherical net (cmc $1$ net)
3368: in hyperbolic space in \href[ref.je00]{[17,~Def.~4.3]};
3369: \item{$\bullet$} the definition of a net of constant mean curvature $H$
3370: in a space form of curvature $\kappa$, where $H^2+\kappa\geq0$,
3371: suggested in \href[ref.je00]{[17]}.
3372:
3373: In this context we shall also discuss the relation of
3374: our notion of ``mean curvature sphere'' with
3375: that of \href[ref.bopi99]{[4,~Sect.~4.5]}
3376: and the notion of ``central sphere congruence''
3377: in \href[ref.bosu06]{[7,~Sect.~3]}.
3378:
3379: First we wish to make contact with the definition of a discrete cmc net
3380: in Euclidean space given in \href[ref.jehopi99]{[16]}:
3381: recall that a discrete isothermic net $f:M^2\to\R^3$ is called cmc
3382: in \href[ref.jehopi99]{[16]} if it has a parallel (isothermic) net,
3383: i.e., a simultaneous Christoffel and Darboux transform $f^\ast$.
3384: The (constant) distance of this parallel net yields (up to sign) the
3385: mean curvature of both nets,
3386: $$
3387: H := {1\over|f^\ast-f|}.
3388: $$
3389:
3390: Note that any constant multiple of $\langle df,df^\ast\rangle$
3391: is a cross ratio factorizing function\footnote{Given a cross ratio
3392: factorizing function $a$ of an isothermic net one defines the Christoffel
3393: transform $f^\ast$ by
3394: $$\textstyle
3395: df^\ast_{ij} = a_{ij}(df_{ij})^{-1} = -{a_{ij}\over|df_{ij}|^2}\,df_{ij};
3396: $$
3397: as $a$ is only defined up to constant multiples, so is $df^\ast$.
3398: In the case of the parallel net of a discrete cmc net, however, there
3399: is a canonical scaling for $f^\ast$.}, so that, without loss of generality,
3400: $$
3401: a_{ij} = -{H\over2}\,\langle df_{ij},df^\ast_{ij}\rangle,
3402: \quad\hbox{\rm that is,}\quad
3403: df^\ast_{ij} = -{2a_{ij}\over H|df_{ij}|^2}\,df_{ij}.
3404: $$
3405: Further, since $|f^\ast-f|^2\equiv const$, \reqn{Leibniz} yields
3406: $$
3407: (f^\ast-f)_{ij} \perp df_{ij}, df^\ast_{ij},
3408: $$
3409: that is, $H\,(f^\ast-f)$ defines a (unit) normal field for $f$ as well as for
3410: $f^\ast$ in the sense of \href[ref.sch07]{[22]}, cf.~\href[ref.jehopi99]{[16]}.
3411: Consequently,
3412: $$
3413: d(|f^\ast|^2)_{ij}
3414: = 2\langle f^\ast_{ij},df^\ast_{ij}\rangle
3415: = -{4a_{ij}\over H|df_{ij}|^2}\langle f_{ij},df_{ij}\rangle
3416: = -{2a_{ij}\over H|df_{ij}|^2}\,d(|f|^2)_{ij}.
3417: $$
3418:
3419: Now suppose $f:M^2\to\R^3$ is a discrete cmc net in this sense,
3420: with parallel cmc net $f^\ast$ and (constant) mean curvature $H$.
3421: Let $F$ and $F^\ast$ denote the respective Euclidean lifts
3422: and let
3423: $$
3424: Z := HF^\ast - {1\over2H}Q
3425: \quad{\rm and}\quad
3426: Q = (1,0,0,0,-1)
3427: $$
3428: as in the above example of a discrete circular cylinder,
3429: see \reqn{explNormPCQ}.
3430: Then
3431: $$
3432: \langle Z,F\rangle
3433: = -{H\over2}|f^\ast-f|^2 + {1\over2H}
3434: = 0
3435: $$
3436: and
3437: $$
3438: dZ_{ij} - {a_{ij}\over\langle F_i,F_j\rangle}\,dF_{ij}
3439: = HdF^\ast_{ij} + {2a_{ij}\over|df_{ij}|^2}\,dF_{ij}
3440: = 0,
3441: $$
3442: so that $\lambda Z+Q$ defines a (normalized) linear conserved quantity
3443: of $f$ by \href[thm.PCQcondition]{Lemma~3.7}.
3444: Moreover,
3445: $$
3446: \kappa = -|Q|^2 = 0
3447: \quad{\rm and}\quad
3448: -\langle Z,Q\rangle = H.
3449: $$
3450:
3451: Conversely, suppose that $f$ is a discrete isothermic net with cross ratio
3452: factorizing function $a$ and normalized linear conserved quantity
3453: $\lambda Z+Q$ so that
3454: $$
3455: \kappa = -|Q|^2 = 0
3456: \quad{\rm and}\quad
3457: H = -\langle Z,Q\rangle \neq 0.
3458: $$
3459: Let
3460: $$
3461: F^\ast := {1\over H}(Z+{1\over2H}Q) = {1\over2H^2}(2H\,Z+Q)
3462: $$
3463: denote the complementary net of $f$, see \href[def.complementary]{Def.~4.8}.
3464: Clearly, $F^\ast$ defines a Darboux transform of $f$,
3465: $$
3466: T^{2H}F^\ast \equiv const,
3467: $$
3468: and $\langle F^\ast,Q\rangle \equiv -1$.
3469: Choosing a Euclidean lift $F$ of $f$, i.e., $\langle F,Q\rangle\equiv-1$,
3470: \reqn{dPCQ} yields
3471: $$
3472: dF^\ast_{ij} = {a_{ij}\over H\langle F_i,F_j\rangle}\,dF_{ij}.
3473: \eqno EuclideanDual$$
3474:
3475: Now let, without loss of generality, $Q=(1,0,0,0,-1)$ so that
3476: $$
3477: F^\ast = ({1+|f^\ast|^2\over2},f^\ast,{1-|f^\ast|^2\over2})
3478: \quad{\rm and}\quad
3479: F = ({1+|f|^2\over2},f,{1-|f|^2\over2}).
3480: $$
3481: Then \reqn{EuclideanDual} gives
3482: $$
3483: df^\ast_{ij} = -{2a_{ij}\over H|df_{ij}|^2}\,df_{ij}.
3484: $$
3485: Hence $f^\ast$ is also the Christoffel transform of $f:M^2\to\R^3$,
3486: so that $f$ is a cmc net with parallel cmc net $f^\ast$
3487: in the sense of \href[ref.jehopi99]{[16]}.
3488:
3489: Thus we have proved the following
3490:
3491: \proclaim\htag[thm.cmcEuclidean]{Thm.~5.5}.
3492: A discrete isothermic net in $\R^3$ is cmc in Euclidean space in the
3493: sense of \href[ref.jehopi99]{[16]} if and only if it is cmc in the
3494: sense of \href[def.cmc]{Def.~5.1}.
3495:
3496: In \href[ref.bopi99]{[4,~Sect.~4.5]}, a notion of mean curvature sphere
3497: for a discrete isothermic net in Euclidean space is introduced.
3498: We shall see that this mean curvature sphere is the same as our
3499: mean curvature sphere $Z$ in the case of a discrete cmc net.
3500:
3501: First recall \href[ref.bopi99]{[4,~Def.~12]}:
3502: given a vertex star $\{f_{i_{(m,n)}}\in\R^3\,|\,m^2+n^2\leq1\}$ of a discrete
3503: isothermic net with constant (negative) cross ratio function
3504: $q_{ijkl}={a_{ij}\over a_{il}}$
3505: there is a unique point $c_{i_{(0,0)}}$ so that
3506: $$
3507: |f_{i_{(1,0)}}-c_{i_{(0,0)}}| = |f_{i_{(-1,0)}}-c_{i_{(0,0)}}|
3508: \quad{\rm and}\quad
3509: |f_{i_{(0,1)}}-c_{i_{(0,0)}}| = |f_{i_{(0,-1)}}-c_{i_{(0,0)}}|
3510: \eqno bopiA$$
3511: and
3512: $$
3513: {|f_{i_{(1,0)}}-c_{i_{(0,0)}}|^2-|f_{i_{(0,0)}}-c_{i_{(0,0)}}|^2
3514: \over a_{i_{(0,0)}i_{(1,0)}}}
3515: = {|f_{i_{(0,1)}}-c_{i_{(0,0)}}|^2-|f_{i_{(0,0)}}-c_{i_{(0,0)}}|^2
3516: \over a_{i_{(0,0)}i_{(0,1)}}}.
3517: \eqno bopiB$$
3518: This point $c_{i_{(0,0)}}$ is the center of the mean curvature sphere at
3519: $f_{i_{(0,0)}}$ and its radius
3520: $$
3521: r_{i_{(0,0)}} := |f_{i_{(0,0)}}-c_{i_{(0,0)}}|.
3522: \eqno bopiC$$
3523:
3524: Now suppose that $f$ is a discrete cmc net in Euclidean space, with $Q$ as
3525: above and mean curvature sphere congruence $Z$, and go back to \reqn{Zstar}:
3526: let $F$ denote the Euclidean lift for $f$ as before and write
3527: $$
3528: Z = {1\over r}({1+|c|^2-r^2},c,{1-|c|^2+r^2})
3529: $$
3530: in terms of its center $c$ and radius $r$;
3531: then
3532: $$
3533: 0 = \langle Z_{i_{(0,0)}},F_{i_{(0,0)}}\rangle
3534: = -{1\over2r_{i_{(0,0)}}}
3535: (|f_{i_{(0,0)}}-c_{i_{(0,0)}}|^2-r_{i_{(0,0)}}^2)
3536: $$
3537: is equivalent to \reqn{bopiC}, while the remaining four equations of
3538: \reqn{Zstar} read
3539: $$
3540: 1 = {\langle Z_{i_{(0,0)}},F_{i_{(m,n)}}\rangle
3541: \over a_{i_{(0,0)}i_{(m,n)}}}
3542: = -{1\over2r_{i_{(0,0)}}}
3543: {|f_{i_{(m,n)}}-c_{i_{(0,0)}}|^2-r_{i_{(0,0)}}^2
3544: \over a_{i_{(0,0)}i_{(m,n)}}},
3545: $$
3546: clearly implying \reqn{bopiB}; the equations \reqn{bopiA} follow
3547: since the cross ratio function is constant, so that
3548: $$
3549: a_{i_{(0,0)}i_{(1,0)}}=a_{i_{(0,0)}i_{(-1,0)}}
3550: \quad{\rm and}\quad
3551: a_{i_{(0,0)}i_{(0,1)}}=a_{i_{(0,0)}i_{(0,-1)}}.
3552: $$
3553: Hence we have proved:
3554:
3555: \proclaim\htag[thm.mcsphere]{Thm.~5.6}.
3556: The mean curvature sphere $Z$ of a discrete cmc net $f:M\to\R^3$ in Euclidean
3557: space in the sense of \href[def.cmc]{Def.~5.1} is the mean curvature sphere of
3558: $f$ in the sense of \href[ref.bopi99]{[4,~Sect.~4.5]}.
3559:
3560: In fact, we have seen slightly more:
3561: the equations \reqn{Zstar} define\footnote{Besides the sphere, the
3562: equations \reqn{Zstar} also determine the scaling of its representative
3563: in Minkowski space.} the mean curvature sphere of \href[ref.bopi99]{[4]}
3564: for any isothermic net in Euclidean space with constant cross ratio
3565: function\footnote{Recently, a new approach has come into focus,
3566: where the ``mean curvature'' of a discrete principal net in $\R^3$
3567: is defined, as a function on faces, via the area change of a face
3568: when varying through parallel nets,
3569: see \href[ref.sch07]{[22]} and \href[ref.boetal07]{[8]}.
3570: This approach leads to the same class of discrete minimal or constant mean
3571: curvature nets as the one discussed here \href[ref.bo07talk]{[9]}.}.
3572:
3573: This suggests to use \reqn{Zstar} to define the \define{mean curvature sphere}
3574: of an isothermic net in any space form.
3575: Note that these mean curvature spheres of an isothermic net are, in contrast
3576: to the smooth case, {\it not\/} M\"obius invariant: different choices of the
3577: ambient space form given by $Q$ will, in general, lead to different mean
3578: curvature spheres $Z$.
3579: In particular, this also shows that the mean curvature sphere defined in this
3580: way is generally\footnote{Using a Moutard lift satisfying \reqn{MoutardCond},
3581: as for \reqn{badQ}, \reqn{MoutardEqn} and \reqn{Zstar} yield
3582: $$
3583: \langle Z_{i_{(0,0)}},F_{i_{(m,n)}}\rangle = 0
3584: \quad\Leftrightarrow\quad
3585: a_{i_{(0,0)}i_{(m,0)}}\langle Q,F_{i_{(m,0)}}\rangle
3586: = a_{i_{(0,0)}i_{(0,n)}}\langle Q,F_{i_{(0,n)}}\rangle
3587: $$
3588: for $m,n=\pm1$.
3589: Hence the ``mean curvature sphere'' defined by \reqn{Zstar} is the ``central
3590: sphere'' of \href[ref.bosu06]{[7]} (cf.~\href[thm.din]{Lemma~2.2}) if and
3591: only if, for $m^2+n^2=1$,
3592: $$
3593: \langle Q, a_{i_{(0,0)}i_{(m,n)}}F_{i_{(m,n)}}\rangle = const.
3594: $$}
3595: different from the central sphere of \href[ref.bosu06]{[7]}, which is
3596: M\"obius invariantly related to the isothermic net as it is characterized
3597: by incidence only.
3598:
3599: Following ideas from \href[ref.je00]{[17]}, the Lawson correspondence
3600: of \href[def.lawson]{Def.~5.2} can be used to define discrete cmc nets
3601: in space forms with
3602: $$
3603: H^2 + \kappa > 0
3604: $$
3605: as Calapso transforms of cmc nets in Euclidean space.
3606: Using permutability theorems the above characterization of cmc nets in
3607: Euclidean space by the existence of a simultaneous Darboux and Christoffel
3608: transform, i.e., the existence of a parallel cmc net can then be carried
3609: over to other space forms to obtain an alternative characterization,
3610: similarly to the way in which horospherical nets in hyperbolic space
3611: can be characterized in two ways,
3612: see \href[ref.je00]{[17,~Lemma~4.2]} or \href[ref.imdg]{[18,~\S5.7.37]}.
3613:
3614: Namely, let $f^\ast$ denote the parallel cmc net of a discrete cmc net $f$
3615: in Euclidean space and consider their Calapso transforms $f^\lambda$ and
3616: $(f^\ast)^\lambda$
3617: --- which are only determined up to M\"obius transformation.
3618: Then $f^\lambda$ and $(f^\ast)^\lambda$ can be positioned in $S^3$ so that:
3619: \item{(i)} they form a Darboux pair with parameter $-\lambda$ since
3620: $f$ and $f^\ast$ form a Christoffel pair,
3621: see \href[ref.je00]{[17,~Cor.~3.24]} or \href[ref.imdg]{[18,~\S5.7.34]};
3622: \item{(ii)} they form a Darboux pair with parameter $\mu-\lambda$ since
3623: $f$ and $f^\ast$ form a Darboux pair with some parameter $\mu$,
3624: see \href[ref.je00]{[17,~Cor.~3.27]} or \href[ref.imdg]{[18,~\S5.7.35]}.
3625: \par
3626: That is, there are two ways to position $(f^\ast)^\lambda$ in $S^3$ so that it
3627: is a Darboux transform of $f^\lambda$ with different parameters or, otherwise
3628: said, $f^\lambda$ has a pair of M\"obius equivalent Darboux transforms.
3629: More precisely, given a Calapso transform of a discrete cmc net in Euclidean
3630: space, \reqn{cmcClifts} provides two antipodal Darboux transforms:
3631: the antipodal map identifies the ambient space form.
3632:
3633: \href[thm.DoubleDarboux]{Thm.~4.11} provides the precise formulation of the
3634: converse:
3635: normalizing the linear conserved quantity from the proof,
3636: $$
3637: (1+\lambda\mu_1)\alpha_1\hat F^1 + (1+\lambda\mu_2)\alpha_2\hat F^2,
3638: $$
3639: we obtain $|\pcq(\lambda)|^2={(1+\lambda\mu_1)(1+\lambda\mu_2)\over\mu_1\mu_2}$
3640: as its squared norm, hence
3641: $$
3642: H^2 + \kappa
3643: = ({\mu_1+\mu_2\over2\mu_1\mu_2})^2 - {1\over\mu_1\mu_2}
3644: = {(\mu_1-\mu_2)^2\over4\mu_1^2\mu_2^2}
3645: > 0
3646: $$
3647: since $\mu_1\neq\mu_2$, so that the isothermic net $f$ is indeed a
3648: Calapso transform of a cmc net in Euclidean space.
3649:
3650: Finally we discuss minimal nets in Euclidean space and horospherical
3651: nets in hyperbolic space, that is, the discrete constant mean curvature
3652: nets with
3653: $$
3654: H^2 + \kappa = 0.
3655: $$
3656: First recall that horospherical nets in hyperbolic space can be
3657: defined as Darboux transforms of their hyperbolic Gauss maps
3658: \href[ref.je00]{[17,~Def.~4.3]},
3659: that is, as Darboux transforms of a spherical net:
3660: hence \href[thm.cmcOne]{Lemma~4.10} identifies them as the discrete
3661: cmc nets with
3662: $$
3663: H^2 + \kappa = 0
3664: \quad{\rm and}\quad
3665: \kappa \neq 0
3666: $$
3667: in the sense of \href[def.cmc]{Def.~5.1}.
3668: On the other hand, horospherical nets can equivalently be characterized
3669: as Calapso transforms of a discrete minimal net in Euclidean space in the
3670: sense of \href[ref.bopi96]{[3]} and, conversely, any discrete minimal net
3671: in Euclidean space gives rise to a Lawson family of horospherical nets,
3672: see \href[ref.je00]{[17,~Lemma 4.2]}.
3673: Hence we can reverse the argument to conclude that the discrete minimal
3674: nets in the sense of \href[ref.bopi96]{[3]} are those discrete cmc nets
3675: with
3676: $$
3677: H^2 + \kappa = 0
3678: \quad{\rm and}\quad
3679: \kappa = 0
3680: $$
3681: in the sense of \href[def.cmc]{Def.~5.1}.
3682: Note that \href[ref.bopi96]{[3,~Thm.~8]} provides two equivalent
3683: characterizations of discrete minimal nets in Euclidean space:
3684: \item{(i)} as Christoffel transforms of spherical isothermic nets
3685: (their ``Gauss maps'') and
3686: \item{(ii)} by the fact that their mean curvature sphere congruence
3687: consists of planes\footnote{Assuming, as in \href[ref.bopi96]{[3]},
3688: that $a_{ij}=\pm\delta$ a very similar computation as the one leading to
3689: \href[thm.mcsphere]{Thm.~5.6} shows that our statement here is equivalent
3690: to \href[ref.bopi96]{[3,~Def.~7]}:
3691: with the Euclidean lift $F$ and $Z=(d,n,-d)$, where $n$ is the unit
3692: normal of the plane described by $Z$ and $d=\langle n,f\rangle$ its
3693: distance from the origin, the equations \reqn{Zstar} become
3694: $$
3695: \langle n_{i_{(0,0)}},f_{i_{(m,n)}}-f_{i_{(0,0)}}\rangle
3696: = \langle Z_{i_{(0,0)}},F_{i_{(m,n)}}\rangle
3697: = a_{i_{(0,0)}i_{(m,n)}}
3698: = \pm\delta.
3699: $$}.
3700:
3701: We summarize these discussions in the following
3702:
3703: \proclaim\htag[thm.minimal]{Thm.~5.7}.
3704: A discrete isothermic net is
3705: \item{\rm(i)} minimal in $\R^3$ in the sense of \href[ref.bopi96]{[3]}
3706: iff it is cmc with $H=\kappa=0$ in the sense of \href[def.cmc]{Def.~5.1};
3707: \item{\rm(ii)} horospherical in the sense of \href[ref.je00]{[17]}
3708: iff it is cmc with $-H^2=\kappa<0$ in the sense of \href[def.cmc]{Def.~5.1}.
3709:
3710:
3711: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3712: \h2 Discrete cmc surfaces of revolution.
3713: We conclude by discussing our example of a discrete surface of revolution
3714: in more detail: here we will be interested in the construction of discrete
3715: cmc surfaces of revolution with prescribed mean curvature in a given
3716: ambient space form.
3717:
3718: Thus we consider a discrete surface of revolution
3719: $$
3720: (m,n) \mapsto F_{(m,n)} = (-1)^m(M_m+\Phi_nC)
3721: \in \R^{2,1}\oplus\R^2,
3722: \eqno LCQrotnet$$
3723: see \reqn{RevolutionNet}, with cross ratio factorizing function
3724: $$
3725: a_{ij} = \alpha\,\langle F_i,F_j\rangle
3726: \eqno LCQrotfact$$
3727: since $F$ is a Moutard lift\footnote{We shall use the scaling freedom $\alpha$
3728: in the cross ratio factorizing function later to normalize the linear conserved
3729: quantity that we will construct, see \href[thm.pcqScale]{Lemma~3.6}.}.
3730: By \href[thm.symmetricLCQ]{Cor.~3.16} a linear conserved quantity
3731: $\pcq(\lambda)=\lambda Z+Q$ has the same rotational symmetry as the net if
3732: and only if the vector $Q$ defining the ambient space form has this symmetry;
3733: in particular, the linear conserved quantity of an equivariant cmc net is
3734: rotationally symmetric with
3735: $$
3736: \pcq_{(m,n)}(\lambda)
3737: = \pcq^\perp_m(\lambda) + (-1)^{m+1}\lambda p_m(\lambda)\Phi_nC
3738: = \lambda\{Z^\perp_m-\alpha\langle Q,M_m\rangle\,\Phi_nC\} + Q,
3739: $$
3740: where $Z^\perp,Q\in\R^{2,1}$,
3741: see \reqn{symmetricPCQ} and \href[thm.pcqScale]{Lemma~3.6}.
3742: Hence
3743: $$\matrix{
3744: Z_{(m,n)}
3745: &=& Z^\perp_m + \alpha\langle Q,M_m\rangle\,M_m
3746: &-& \alpha\langle Q,M_m\rangle\,(M_m+\Phi_nC) \hfill\cr
3747: &=& S_m
3748: &-& \alpha\langle Q,F_{(m,n+1)}\rangle\,F_{(m,n)}, \hfill\cr
3749: }\eqno LCQrotZ$$
3750: where $S_m=S_{(m,n)(m,n+1)}$ is the curvature sphere \reqn{CurvatureSphere}
3751: on an edge in the rotational direction: note that this family of curvature
3752: spheres does only depend on $m$, so that our discrete surface of revolution
3753: is the envelope of a $1$-parameter family of spheres in the sense of
3754: \href[def.Envelope]{Def.~3.10}.
3755:
3756: Our first aim is to formulate the condition \reqn{dPCQ} for a linear
3757: conserved quantity of the given form:
3758: clearly
3759: $$
3760: 0 = \langle Z,F\rangle = (-1)^m\langle S,M\rangle,
3761: $$
3762: that is, the incidence relation is again expressed by orthogonality;
3763: further,
3764: $$\matrix{
3765: 0
3766: &=& dZ_{(m,n)(m+1,n)} + \alpha\{
3767: \langle Q,F_{(m,n)}\rangle\,F_{(m+1,n)}
3768: - \langle Q,F_{(m+1,n)}\rangle\,F_{(m,n)}\} \hfill\cr
3769: &=& dS_{m,m+1} - 2\alpha\langle Q,M_{m,m+1}\rangle\,dM_{m,m+1} \hfill\cr
3770: }$$
3771: and
3772: $$\matrix{
3773: 0
3774: &=& dZ_{(m,n)(m,n+1)} + \alpha\{
3775: \langle Q,F_{(m,n)}\rangle\,F_{(m,n+1)}
3776: - \langle Q,F_{(m,n+1)}\rangle\,F_{(m,n)}\} \hfill\cr
3777: }$$
3778: are identically satisfied.
3779: Hence we obtain:
3780:
3781: \proclaim\htag[thm.rotLCQcondition]{Lemma 5.8}.
3782: Let
3783: $Q\in\R^{2,1}$ and $Z_{(m,n)}:=S_m-\alpha\langle Q,F_{(m,n)}\rangle F_{(m,n)}$,
3784: where $F$ is a Moutard lift \reqn{LCQrotnet} of a discrete surface of
3785: revolution and $m\mapsto S_m\in\R^{2,1}$ is a discrete $1$-parameter
3786: family of spheres. %\hfill\break
3787: Then $\pcq(\lambda):=\lambda Z+Q$ defines a linear conserved quantity
3788: for $f$ with respect to \reqn{LCQrotfact} as a cross ratio factorizing
3789: function if and only if
3790: $$
3791: 0 \equiv \langle S,M\rangle \quad{\sl and}\quad
3792: % dS_{m,m+1} = 2\alpha\langle Q,M_{m,m+1}\rangle\,dM_{m,m+1}.
3793: dS = 2\alpha\langle Q,M\rangle\,dM.
3794: \eqno LCQrotScondition$$
3795:
3796: Note that the equations \reqn{LCQrotScondition} determine $S_m$ and $S_{m+1}$
3797: (and, hence, $Z_m$ and $Z_{m+1}$) up to a common orthogonal offset from the
3798: plane\footnote{Recall that $M$ in \reqn{RevolutionNet} takes values in
3799: one component of the hyperbolic quadric $|Y|^2=-1$ in $\R^{2,1}$.}
3800: spanned by $M_m$ and $M_{m+1}$.
3801: Also prescribing the mean curvature $H$,
3802: $$
3803: \langle S,Q\rangle
3804: = \langle Z,Q\rangle + \alpha\langle M,Q\rangle^2
3805: = -H + \alpha\langle M,Q\rangle^2,
3806: \eqno LCQrotHcondition$$
3807: we obtain six equations\footnote{Note that
3808: $d(\langle M,Q\rangle^2)=2\langle M,Q\rangle\langle dM,Q\rangle$
3809: by \reqn{Leibniz} so that \reqn{LCQrotHcondition} only adds one
3810: real equation to \reqn{LCQrotScondition}.}
3811: $$
3812: \vcenter{\halign{$#$ \hfill& $#$ \hfill&\quad $#$ \hfill&$#$ \hfill\cr
3813: \langle S_m,Q\rangle &= -H+\alpha\langle M_m,Q\rangle^2 &
3814: \langle S_{m+1},Q\rangle &= -H+\alpha\langle M_{m+1},Q\rangle^2 \cr
3815: \langle S_m,M_m\rangle &= 0 &
3816: \langle S_{m+1},M_m\rangle &
3817: = -\alpha\langle Q,M_{m,m+1}\rangle\,|dM_{m,m+1}|^2 \cr
3818: \langle S_m,M_{m+1}\rangle &
3819: = -\alpha\langle Q,M_{m,m+1}\rangle\,|dM_{m,m+1}|^2 &
3820: \langle S_{m+1},M_{m+1}\rangle &= 0 \cr
3821: }}
3822: $$
3823: that determine $S_m$ and $S_{m+1}$ as soon as $(Q,M_m,M_{m+1})$ is a basis
3824: of $\R^{2,1}$.
3825:
3826: In order to understand this restriction geometrically we analyze what
3827: happens when $M_m$, $M_{m+1}$ and $Q$ are linearly dependent, that is,
3828: when $Q$ is in the $(1,1)$-plane spanned by $M_m$ and $M_{m+1}$.
3829: First recall that the light cone in $\R^{2,1}$ is the axis of our
3830: discrete surface of revolution \reqn{RevolutionNet};
3831: similarly, for fixed $n$,
3832: $$
3833: \span\{F_{(m,n)},F_{(m+1,n)},\Phi_nC\}
3834: = \span\{M_m,M_{m+1},\Phi_nC\}
3835: =: c_{m,m+1}
3836: $$
3837: defines the circle through $F_{(m,n)}$ and $F_{(m+1,n)}$ that intersects
3838: the axis orthogonally --- which becomes a geodesic in the quadric ${\cal Q}$
3839: of constant curvature \reqn{SpaceForm} given by $Q$ as soon as
3840: $$
3841: Q \in c_{m,m+1}.
3842: $$
3843: Thus prescribing an edge of a meridian curve, $M_m$ and $M_{m+1}$,
3844: and a space form, $Q$, so that the orthogonal circle $c_{m,m+1}$ of
3845: the axis passing through $F_{(m,n)}$ and $F_{(m+1,n)}$ does {\it not\/}
3846: become a straight line, any choice of $H$ will lead to a unique solution
3847: $S_m$ and $S_{m+1}$ of the equations \reqn{LCQrotScondition} and
3848: \reqn{LCQrotHcondition}, hence to a unique linear conserved quantity
3849: for the discrete net obtained by rotating the edge.
3850:
3851: The top coefficient $Z$ of a linear conserved quantity constructed from
3852: a solution $S$ of \reqn{LCQrotScondition} and \reqn{LCQrotHcondition} is,
3853: with $S$, spacelike since $S\perp M$ and has constant length by
3854: \href[thm.pcqNorm]{Lemma~3.5}.
3855: The idea is then to use our scaling freedom $\alpha$ in the cross ratio
3856: factorizing function \reqn{LCQrotfact} to obtain a {\it normalized\/}
3857: linear conserved quantity, as sought in \href[def.cmc]{Def.~5.1}:
3858: note that, in contrast to \href[thm.pcqScale]{Lemma~3.6}, where only the
3859: conserved quantity condition played a role, the prescribed mean curvature
3860: equation \reqn{LCQrotHcondition} causes a more complicated dependence of
3861: $S$ on $\alpha$.
3862: In particular\footnote{Note that the symmetry of the formula confirms
3863: that $|S_m|^2=|S_{m+1}|^2$.},
3864: $$
3865: |S|^2 = {C^2\over A}\,H^2 - {A\over\Delta}(\alpha+{B\over A}H)^2,
3866: $$
3867: where we let
3868: $$\matrix{
3869: \Delta &:=& |Q\wedge M_m\wedge M_{m+1}|^2, \hfill\cr
3870: C &:=& |dM_{m,m+1}|^2\langle M_{m,m+1},Q\rangle, \hfill\cr
3871: B &:=& -|dM_{m,m+1}|^2\{
3872: |M_{m,m+1}|^2\langle M_m,Q\rangle\langle M_{m+1},Q\rangle
3873: + 2\langle M_{m,m+1},Q\rangle^2
3874: \}, \hfill\cr
3875: % A &:=& {B^2-\Delta C^2\over\langle M_m,M_{m+1}\rangle^2-1}. \hfill\cr
3876: A &:=& -{B^2-\Delta C^2\over|M_m\wedge M_{m+1}|^2}. \hfill\cr
3877: }
3878: $$
3879: Note that $|Q\wedge M_m\wedge M_{m+1}|^2,|M_m\wedge M_{m+1}|^2<0$.
3880: Also, the assumption $M_m,M_{m+1}\not\perp Q$ that the endpoints of
3881: our meridian edge do not lie in the infinity boundary of the space
3882: form defined by $Q$ implies that $B$ and $C$ do not simultaneously
3883: vanish; as a consequence $A>0$.
3884:
3885: Thus the equation $|S|^2=1$ can be solved for $\alpha$ if and only if
3886: $C^2H^2\leq A$.
3887:
3888: Moreover, as $\alpha$ is a factor of our cross ratio factorizing function,
3889: we seek a non-zero solution of the equation:
3890: since $A=C^2H^2$ clearly implies $H\neq0$ we need to exclude
3891: $$
3892: A-C^2H^2 = B = 0
3893: \quad\Rightarrow\quad
3894: H^2 = {\Delta\over|M_m\wedge M_{m+1}|^2}.
3895: $$
3896: Thus the equation $|S|^2=1$ has a non-zero solution $\alpha$ if and only if
3897: $$
3898: C^2H^2 \leq A
3899: \quad{\rm and}\quad
3900: C^2H^2 = A \Rightarrow H^2 \neq {\Delta\over|M_m\wedge M_{m+1}|^2}.
3901: \eqno{LCQrotHconstraintA}$$
3902: Note that, in the case of strict inequality in \reqn{LCQrotHconstraintA},
3903: $C^2H^2<A$, our construction will, in general, provide two different linear
3904: conserved quantities\footnote{As a consequence, our discrete net will have a
3905: polynomial conserved quantity of degree $0$ by \href[thm.pcqUniq]{Cor.~3.4}
3906: --- which is not too surprising since the net is clearly spherical,
3907: cf.~\href[thm.type0]{Thm.~3.14}.}.
3908: However, in the case $H=0$ of a minimal surface, the equation $|S|^2=1$
3909: has always exactly one non-zero solution $\alpha$.
3910:
3911: \proclaim\htag[thm.rotLCQedge]{Lemma 5.9}.
3912: Prescribing an ambient space form and a mean curvature,
3913: the equivariant discrete surface of revolution obtained by rotating
3914: a single edge in the space form has a normalized linear conserved quantity
3915: as soon as:
3916: \item{\rm(i)} the orthogonal circle of the axis of revolution
3917: passing through the endpoints of the edge is not a straight
3918: line in the ambient constant curvature geometry, and
3919: \item{\rm(ii)} the mean curvature is not chosen too large;
3920: more precisely, the mean curvature $H$ satisfies the
3921: constraint \reqn{LCQrotHconstraintA}.
3922:
3923: Having equipped an initial edge of a meridian curve for a discrete
3924: equivariant cmc net with prescribed mean curvature $H$ and ambient
3925: space form $Q$ with a suitable mean curvature sphere at both
3926: endpoints,
3927: we shall now investigate how to propagate the meridian curve $M$
3928: and its enveloped $1$-parameter family of spheres $S$ to ``build''
3929: a larger equivariant cmc net.
3930: That is, we aim to construct $M_{m+1}$ and $S_{m+1}$ from the data
3931: at the other endpoint of the edge, $M_m$, $S_m$, $Q$.
3932:
3933: As a discrete analogue of a constant speed parametrization in the hyperbolic
3934: plane of the meridian curve\footnote{Recall that a hyperbolic constant speed
3935: parametrization of the meridian curve of a (smooth) surface of revolution
3936: leads to a conformal curvature line parametrization of the surface up to
3937: constant rescaling of the parameters.}
3938: we prescribe a constant cross ratio factorizing function $a$ along the
3939: meridian curve so that
3940: $$
3941: \langle M_{m+1},M_m\rangle
3942: = -(1+{a_{(m,n),(m+1,n)}\over\alpha})
3943: \equiv -(1+{c\over\alpha})
3944: $$
3945: for all $m$ and some $c\in\R$, see \reqn{LCQrotfact}.
3946: Note that, since we seek $M_m$ and $M_{m+1}$ to take values in the same
3947: hyperbolic plane,
3948: $$
3949: {c\over\alpha} = {1\over2}|dM_{m,m+1}|^2 > 0.
3950: $$
3951: A second equation obtained from \reqn{LCQrotScondition},
3952: $$
3953: 0 = \langle M_{m+1},S_m\rangle
3954: + \alpha\langle Q,M_{m,m+1}\rangle|dM_{m,m+1}|^2
3955: = \langle M_{m+1},S_m+cQ\rangle
3956: + c\langle M_m,Q\rangle,
3957: $$
3958: then confines $M_{m+1}$ to a line in $\R^{2,1}$ as soon as $M_m$
3959: and $S_m+cQ$ are linearly independent or, equivalently, as soon as
3960: $$
3961: X_m :%= (1+c\langle Q,S_m\rangle)\,S_m + Q_m^\perp
3962: = S_m + c\,(Q+\langle Q,M_m\rangle\,M_m) \neq 0.
3963: $$
3964: Observe that, requiring the meridian curve to not cross the axis of
3965: rotation into the other hyperbolic half plane nor to hit the infinity
3966: boundary $Q^\perp$ of the ambient space form\footnote{We do, however,
3967: not exclude the possibility of the meridian curve crossing the infinity
3968: boundary.},
3969: $$
3970: 0 \neq c\,\langle Q,M_m\rangle\{\langle M_{m+1},M_m\rangle-1\}
3971: = \langle M_{m+1},X_m\rangle,
3972: $$
3973: so that $X_m\neq0$ describes a sphere intersecting the axis of rotation
3974: orthogonally and containing the point of the meridian curve given by
3975: $M_m$ since $X_m\perp M_m$.
3976: In particular, $X\neq0$ at both endpoints of a ``proper'' meridian curve
3977: edge.
3978:
3979: Thus
3980: $$
3981: M_{m+1} = \{
3982: {\alpha+c\over\alpha}\,M_m
3983: - {((\alpha+c)^2-\alpha^2)\langle Q,M_m\rangle\over\alpha}
3984: {X_m\over|X_m|^2} \} + t\,{Y_m\over|Y_m|^2}
3985: $$
3986: for a suitable $t\in\R$, where $Y_m$ is orthogonal to $X_m$
3987: in the (Euclidean) plane $M_m^\perp$ in $\R^{2,1}$ and has the
3988: same length,
3989: $$
3990: Y_m \perp M_m,X_m
3991: \quad{\rm and}\quad
3992: |Y_m|^2 = |X_m|^2.
3993: $$
3994: As we wish $M$ to take values in the hyperbolic plane
3995: $$\textstyle
3996: 0 \buildrel!\over= 1 + |M_{m+1}|^2 %\hfill\cr
3997: % = {1\over|Y_m|^2}t^2 - {(\alpha+c)^2-\alpha^2\over\alpha^2|X_m|^2}
3998: % \{|X_m|^2-((\alpha+c)^2-\alpha^2)\langle Q,M_m\rangle^2\} \hfill\cr
3999: = {1\over|X_m|^2}\{
4000: t^2 - {((\alpha+c)^2-\alpha^2)(1-2cH-c^2\kappa)\over\alpha^2}
4001: \},
4002: $$
4003: where we have used \reqn{LCQrotHcondition},
4004: so that we obtain two candidates for $M_{m+1}$ as soon as
4005: $$
4006: 1 - 2cH - c^2\kappa > 0.
4007: \eqno LCQrotHconstraintB$$
4008: When propagating the meridian curve with constant cross ratio factorizing
4009: function, then one of the two solutions must give the predecessor $M_{m-1}$
4010: of $M_m$;
4011: hence the propagation of a meridian curve is unique if it is possible.
4012: Observe that the condition \reqn{LCQrotHconstraintB} does not depend on $m$;
4013: hence it is automatically satisfied as soon as a ``seed'' meridian curve
4014: contains more than one edge\footnote{In case we have {\it one\/} edge
4015: of a seed meridian curve we infer that the quadratic equation has
4016: at least one solution, i.e., $$1-2cH-c^2\kappa\geq0.$$
4017: In the case $1-2cH-c^2\kappa=0$ of one solution, the described
4018: propagation procedure will then alternate the two endpoints of one edge.}
4019:
4020: Once $M_{m+1}$ is constructed \reqn{LCQrotScondition} yields
4021: $$
4022: S_{m+1} := S_m + 2\alpha\langle Q,M_{m,m+1}\rangle\,dM_{m,m+1};
4023: $$
4024: it is then straightforward to verify incidence\footnote{Recall that the
4025: equations \reqn{LCQrotScondition} also ensure that $|S|^2$ is constant.}
4026: $$
4027: \langle S_{m+1},M_{m+1}\rangle
4028: = \langle M_{m+1},S_m+cQ\rangle + c\langle Q,M_m\rangle
4029: = 0
4030: $$
4031: and the mean curvature \reqn{LCQrotHcondition} being constant,
4032: $$
4033: \langle Q,S_{m+1}\rangle - \alpha\langle Q,M_{m+1}\rangle
4034: = \langle Q,S_m\rangle - \alpha\langle Q,M_m\rangle.
4035: $$
4036: Hence, by \href[thm.rotLCQcondition]{Lemma~5.8}, we have succeeded in
4037: propagating the meridian curve of a discrete cmc net of revolution:
4038:
4039: \proclaim\htag[thm.rotLCQvertex]{Lemma~5.10}.
4040: Let a point and unit normal of the meridian curve of a discrete
4041: cmc net of revolution in a space form be given.
4042: Prescribing a (constant) cross ratio factorizing function $c$ and
4043: a Moutard factor $\alpha$, the meridian curve can be propagated
4044: uniquely in either of two directions to obtain a discrete cmc
4045: surface of revolution as long as:
4046: \item{\rm(i)} ${c\over\alpha}>0$ and the point of the meridian curve
4047: does not lie in the infinity boundary of the space form, and
4048: \item{\rm(ii)} $1-2cH-c^2\kappa>0$, where the mean curvature $H$ is
4049: given by \reqn{LCQrotHcondition} and $\kappa$ is the ambient curvature.
4050:
4051: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4052: \vskip 3ex\hbox to \hsize{\hfil\vbox{\hsize=250pt
4053: \hbox to \hsize{\psfile(250x246+145-35@79){s3tor}}\vglue 2ex
4054: \hbox to \hsize{\hfil{\small
4055: \htag[fig.s3torus]{{\bf Fig.~2.}}\enspace Discrete cmc torus in $S^3$
4056: }\hfil}}\hfil}\vskip 2ex
4057: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4058:
4059: These two lemmas now provide a method of construction for discrete cmc
4060: nets of revolution in a prescribed ambient space form and with prescribed
4061: mean curvature:
4062:
4063: \proclaim\htag[thm.rotLCQconstruction]{Construction}.
4064: Choose an ambient space form $Q\in\R^{2,1}$ and a mean curvature $H\in\R$.
4065: \item[0pt]{} Choose an initial edge $M_0,M_1\in H^2\subset\R^{2,1}$
4066: so that:
4067: \item{\rm(i)} $\langle Q,M_0\rangle,\langle Q,M_1\rangle\neq0$, that is,
4068: $M_0$ and $M_1$ do not lie in the infinity boundary of the space
4069: form\footnote{Note that this condition is sufficient but not
4070: necessary, as \href[fig.babo]{Fig.~1} suggests.} $Q$;
4071: \item{\rm(ii)} $(Q,M_0,M_1)$ is a basis of $\R^{2,1}$, that is,
4072: the straight line in $H^2$ through $M_0$ and $M_1$ is not
4073: straight in the chosen space form $Q$; and
4074: \item{\rm(iii)} the constraint \reqn{LCQrotHconstraintA} is satisfied
4075: with the chosen mean and ambient curvatures.
4076: \item[0pt]{} Next, construct the spheres $S_0,S_1\in S^2\subset\R^{2,1}$
4077: to satisfy the conserved quantity and mean curvature conditions
4078: \reqn{LCQrotScondition} and \reqn{LCQrotHcondition},
4079: see \href[thm.rotLCQedge]{Lemma~5.9};
4080: generically, there is a choice of two such sets of spheres.
4081: \item[0pt]{} Then, propagate this ``seed'' meridian curve using a
4082: constant cross ratio factorizing function,
4083: see \href[thm.rotLCQvertex]{Lemma~5.10};
4084: this yields a unique and proper propagation of the meridian curve
4085: if \reqn{LCQrotHconstraintB} is satisfied.
4086:
4087: A variant of this construction was used to obtain the discrete cmc
4088: torus in $S^3$ shown in \href[fig.s3torus]{Fig.~2} as well as to
4089: construct the discrete minimal net in two copies of $H^3$ shown
4090: in \href[fig.babo]{Fig.~1}: the plane shown in the figure indicates
4091: the common infinity boundary of the two copies of the ambient $H^3$.
4092:
4093:
4094: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4096: \vfill\eject
4097: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4098: \h11 References.
4099: {\frenchspacing
4100:
4101: \item{\htag[ref.babo93]{1.}}
4102: M. Babich, A. Bobenko:
4103: {\it Willmore tori with umbilic lines and minimal surfaces in
4104: hyperbolic space\/};
4105: Duke Math. J. 72, 151--185 (1993)
4106:
4107: % \item{\htag[ref.bi1899]{?.}}
4108: % L. Bianchi:
4109: % {\it Vorlesungen \"uber Differentialgeometrie\/};
4110: % Teubner, Leipzig (1899)
4111: % Anhang zu Kapitel XVII: Zur Transformationstheorie der Fl\"achen mit
4112: % constantem positive Kr\"ummungsmass, pp.~641--648
4113:
4114: \item{\htag[ref.bi04]{2.}}
4115: L. Bianchi:
4116: {\it Ricerche sulle superficie isoterme e sulla deformazione
4117: delle quadriche\/};
4118: Ann. Mat. 11, 93--157 (1904)
4119:
4120: \item{\htag[ref.bopi96]{3.}}
4121: A. Bobenko, U. Pinkall:
4122: {\it Discrete isothermic surfaces\/};
4123: J. Reine Angew. Math. 475, 187--208 (1996)
4124:
4125: \item{\htag[ref.bopi99]{4.}}
4126: A. Bobenko, U. Pinkall:
4127: {\it Discretization of surfaces and integrable systems\/};
4128: Oxf. Lect. Ser. Math. Appl. 16, 3--58 (1999)
4129:
4130: \item{\htag[ref.boje01]{5.}}
4131: A. Bobenko, U. Hertrich-Jeromin:
4132: {\it Orthogonal nets and Clifford algebras\/};
4133: T\^ohoku Math. Publ. 20, 7--22 (2001)
4134:
4135: \item{\htag[ref.bosu06a]{6.}}
4136: A. Bobenko, Y. Suris:
4137: {\it On Organizing Principles of Discrete Differential Geometry.
4138: Geometry of spheres\/};
4139: EPrint math.DG/0608291 (2006)
4140:
4141: \item{\htag[ref.bosu06]{7.}}
4142: A. Bobenko, Y. Suris:
4143: {\it Isothermic surfaces in sphere geometries as Moutard nets\/};
4144: EPrint math.DG/0610434 (2006)
4145:
4146: \item{\htag[ref.boetal07]{8.}}
4147: A. Bobenko, Y. Liu, H. Pottmann, J. Wallner, W. Wang:
4148: {\it Geometry of multi-layer structures for architecture\/};
4149: ACM Trans. Graphics 26 (2007), SIGGRAPH 2007
4150:
4151: \item{\htag[ref.bo07talk]{9.}}
4152: A. Bobenko:
4153: {\it Discrete minimal surfaces from quadrilaterals\/};
4154: Talk at the International Congress on Minimal and Constant Mean Curvature
4155: Surfaces, Buzios, August 19--24, 2007 (2007)
4156:
4157: \item{\htag[ref.buje06]{10.}}
4158: F. Burstall, U. Hertrich-Jeromin:
4159: {\it The Ribaucour transform in Lie sphere geometry\/};
4160: Differ. Geom. Appl. 24, 503--520 (2006)
4161:
4162: \item{\htag[ref.buca07]{11.}}
4163: F. Burstall, D. Calderbank:
4164: {\it Conformal submanifold geometry\/};
4165: Manuscript 2007
4166:
4167: \item{\htag[ref.ch67]{12.}}
4168: E. Christoffel:
4169: {\it Ueber einige allgemeine Eigenschaften der Minimumsfl\"achen\/};
4170: Crelle's J. 67, 218--228 (1867)
4171:
4172: \item{\htag[ref.da99]{13.}}
4173: % http://www.numdam.org/numdam-bin/browse?j=ASENS
4174: G. Darboux:
4175: {\it Sur les surfaces isothermiques\/};
4176: Ann. Sci. \'Ec. Norm. Sup. 16, 491--508 (1899)
4177:
4178: \item{\htag[ref.ei23]{14.}}
4179: % http://quod.lib.umich.edu:80/u/umhistmath/
4180: L.P. Eisenhart:
4181: {\it Transformations of surfaces\/};
4182: Princeton University Press, Princeton (1923)
4183:
4184: \item{\htag[ref.jepe97]{15.}}
4185: U. Hertrich-Jeromin, F. Pedit:
4186: {\it Remarks on the Darboux transform of isothermic surfaces\/};
4187: Doc. Math. J. DMV 2, 313--333 (1997)
4188:
4189: \item{\htag[ref.jehopi99]{16.}}
4190: U. Hertrich-Jeromin, T. Hoffmann, U. Pinkall:
4191: {\it A discrete version of the Darboux transform for isothermic surfaces\/};
4192: Oxf. Lect. Ser. Math. Appl. 16, 59--81 (1999)
4193:
4194: \item{\htag[ref.je00]{17.}}
4195: U. Hertrich-Jeromin:
4196: {\it Transformations of discrete isothermic nets and discrete cmc-1
4197: surfaces in hyperbolic space\/};
4198: Manuscr. Math. 102, 465--486 (2000)
4199:
4200: \item{\htag[ref.imdg]{18.}}
4201: U. Hertrich-Jeromin:
4202: {\it Introduction to M\"obius differential geometry\/};
4203: London Math. Soc. Lect. Note Ser. 300,
4204: Cambridge University Press (2003)
4205:
4206: \item{\htag[ref.ho00]{19.}}
4207: T. Hoffmann:
4208: {\it Discrete curves and surfaces\/};
4209: PhD thesis, Technische Universit\"at Berlin (2000)
4210:
4211: \item{\htag[ref.inko05]{20.}}
4212: J. Inoguchi, S. Kobayashi:
4213: {\it Characterizations of Bianchi-B\"acklund transformations
4214: of constant mean curvature surfaces\/};
4215: Int. J. Math. 16, 101--110 (2005)
4216:
4217: \item{\htag[ref.sa07]{21.}}
4218: S. Santos:
4219: {\it Special isothermic surfaces\/};
4220: PhD thesis, University of Bath (2008)
4221:
4222: \item{\htag[ref.sch07]{22.}}
4223: W. Schief:
4224: {\it On a maximum principle for minimal surfaces and their integrable
4225: discrete counterparts\/};
4226: Manuscript 2007
4227:
4228: }
4229:
4230: \vfill
4231: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4232: \bgroup
4233: \small
4234: \def\\{\hfill\break}
4235: \def\addwd{\hsize=.32\hsize}
4236: \def\fran{\vbox{\addwd
4237: Francis E.\ Burstall\\
4238: Department of Mathematical Sciences\\
4239: University of Bath\\
4240: Bath, BA2 7AY (United Kingdom)\\
4241: Email: f.e.burstall@bath.ac.uk
4242: }}
4243: \def\udo{\vbox{\addwd
4244: Udo Hertrich-Jeromin\\
4245: Department of Mathematical Sciences\\
4246: University of Bath\\
4247: Bath, BA2 7AY (United Kingdom)\\
4248: Email: u.hertrich-jeromin@bath.ac.uk
4249: }}
4250: \def\wayne{\vbox{\addwd
4251: Wayne Rossman\\
4252: Department of Mathematics\\
4253: Kobe University\\
4254: Rokko, Kobe 657-8501 (Japan)\\
4255: Email: wayne@math.kobe-u.ac.jp
4256: }}
4257: \def\susana{\vbox{\addwd
4258: Susana Santos\\
4259: Department of Mathematical Sciences\\
4260: University of Bath\\
4261: Bath, BA2 7AY (United Kingdom)\\
4262: Email: mapsdcs@bath.ac.uk
4263: }}
4264: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4265: \hbox to \hsize{\hfil \fran \hfil \udo \hfil}\vskip 4ex
4266: \hbox to \hsize{\hfil \wayne \hfil \susana \hfil}
4267: \egroup
4268: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4269: \bye
4270:
4271: