1: \documentclass[11pt]{article}
2:
3: % ====================================================================
4: % packages
5: % ====================================================================
6:
7:
8: \usepackage{anysize}
9: \usepackage{paralist}
10:
11: \usepackage{float}
12: \usepackage{fancybox}
13:
14: \usepackage{pstricks} % for \rput*
15: %\usepackage{wrapfig} % figure which do not use the whole width
16: % % of the page
17:
18: \usepackage{amsmath,amssymb} %
19: \usepackage{amsthm} % nice theorem environments
20: \usepackage{enumerate} %
21: \usepackage{url} % typesetting of URLs
22: \usepackage{rotating} % for 'sidewaystable'
23:
24: \usepackage{bbm}
25: \usepackage{ae,aecompl} % changes to Type 1 fonts even in PDF-documents (even after ps2pdf).
26: % This drastically improves the readability on the screen.
27: % It makes no difference for the printed version.
28: \usepackage[mathscr]{eucal} % euler fonts for caligraphic letters ->
29:
30: \usepackage{graphicx} % pictures
31: \usepackage{subfigure} % subfigures
32: \usepackage{psfrag} % replacements of text in eps figures
33: \usepackage{booktabs} % to typeset tables in a book style
34:
35:
36: \usepackage{sidecap}
37: \usepackage[footnotesize,sc]{caption2} % use caption package:
38: % here: footnotesize text, boldface font
39:
40:
41: \usepackage{tabularx} %
42: \usepackage{xspace} % handling of spaces at the end of own definitions
43: %\usepackage[frame,a4,center]{crop}
44: \usepackage{makeidx} % to use the makeindex program
45: \usepackage{index} % defines several useful commands and shortcuts for compiling indices
46:
47: \usepackage{constructions}
48:
49: \usepackage{color}
50: \definecolor{darkgreen}{rgb}{0,.6,0}
51:
52:
53:
54: % ---------------------------------------------
55: \setlength{\parskip}{1.5mm}
56: \setlength{\parindent}{0mm}
57:
58: % ---------------------------------------------
59: % Fonts
60: % ---------------------------------------------
61:
62: % use bold fonts without serifes!
63:
64: \let\orgbfseries\bfseries
65: \renewcommand{\bfseries}{\orgbfseries\sffamily}
66:
67: % ---------------------------------------------
68: % Operators
69: % ---------------------------------------------
70:
71: \DeclareMathOperator{\ridgesOP}{ridges}
72: \DeclareMathOperator{\verticesOP}{vert}
73: \DeclareMathOperator{\facetsOP}{fac}
74: \DeclareMathOperator{\affOP}{aff}
75: \DeclareMathOperator{\convOP}{conv}
76: \DeclareMathOperator{\coneOP}{cone}
77: \DeclareMathOperator{\relintOP}{relint}
78: \DeclareMathOperator{\genusOP}{genus}
79: \DeclareMathOperator{\pyrOP}{pyr}
80:
81: % ---------------------------------------------
82:
83: \newcommand{\pyr}[1]{\ensuremath{\pyrOP({#1})}}
84: \newcommand{\DerivativeComplex}[1]{\ensuremath{\mathcal{D}({#1})}}
85: \newcommand{\ComplexOf}[1]{\ensuremath{\mathcal{C}({#1})}}
86: \newcommand\Schlegel{\mathop{\textsc{Schlegel}}}
87: \newcommand\SchlegelCap{\mathop{\textsc{SchlegelCap}}}
88: \newcommand\TruncatedSchlegelCap{\mathop{\textsc{TruncatedSchlegelCap}}}
89: \newcommand{\LiftedPrism}[2]{\mathop{\textsc{LiftedPrism}}(#1,#2)}
90: \newcommand{\LiftedPrismOverTwoBalls}[4]{\mathop{\textsc{LiftedPrism}}((#1,#2),(#3,#4))}
91: \newcommand\Glue{\mathop{\textsc{Join}}}
92: \newcommand\conv{\mathop{\operatorname{conv}}}
93: \newcommand{\relint}[1]{\ensuremath{\relintOP(#1)}}
94: \newcommand{\simplicialBarycentricSubdiv}[1]{\mathop{\rm sd}{({#1})}}
95: \newcommand\R{{\mathbb R}}
96: \newcommand\RP{{\mathbb{RP}}}
97: \newcommand{\splittedAlongDualMf}[2]{\ensuremath{\operatorname{split}({#1},{#2})}}
98: \newcommand{\vertices}[1]{\ensuremath{\verticesOP({#1})}} % set of vertices
99: \newcommand{\facets}[1]{\ensuremath{\operatorname{fac}({#1})}} % set of facets
100: \newcommand{\support}[1]{\ensuremath{|#1|}}
101:
102: \newcommand{\family}[2]{\ensuremath{\smash{({#1})_{#2}}}} % a family of ..
103: \newcommand{\setdef}[2]{\ensuremath{\left\{{#1}\,:\,{#2}\right\}}}
104: \newcommand{\eps}{\varepsilon}
105: \newcommand{\immersed}{\looparrowright}
106: \newcommand{\embedded}{\hookrightarrow}
107: \newcommand{\ridges}[1]{\ensuremath{\operatorname{ridges}({#1})}} % set of facets
108: \newcommand{\aff}[1]{\ensuremath{\operatorname{aff}({#1})}}
109: \newcommand{\boundaryOP}{\ensuremath{\partial}}
110: \newcommand{\lifted}[2]{\operatorname{lift}(#1,#2)}
111: \newcommand{\TruncPyramid}[3]{\textsc{TruncPyr}(#1,#2,#3)}
112: \newcommand{\LiftedTruncPyramid}[3]{\textsc{TruncPyr}(#1,#2,#3)}
113: \newcommand{\IteratedLiftedTruncPyr}[2]{\textsc{IteratedTruncPyr}(#1,(#2))}
114: \newcommand{\unitvector}[1]{\ensuremath{\boldsymbol{e}_{#1}}}
115:
116: \newcommand{\PileOfCubes}[2]{\ensuremath{P_{#1}(#2)}}
117:
118: % set of all $k$-faces
119: \newcommand{\faces}[2]{\ensuremath{\mathcal{F}_{#1}({#2})}}
120:
121: % set of all faces
122: \newcommand{\allfaces}[1]{\ensuremath{\mathcal{F}({#1})}}
123:
124: \newcommand{\zerovec}{\ensuremath{\boldsymbol{0}}}%\mathbbm{0}}}
125: \newcommand{\onevec}{\ensuremath{\boldsymbol{\mathbbm{1}}}}
126:
127:
128: % ---------------------------------------------
129: % Theorems
130: % ---------------------------------------------
131:
132: \theoremstyle{plain}
133: \newtheorem{theorem}{Theorem}[section]
134: \newtheorem{lemma}[theorem]{Lemma}
135: \newtheorem{corollary}[theorem]{Corollary}
136: \newtheorem{proposition}[theorem]{Proposition}
137: \newtheorem{conjecture}[theorem]{Conjecture}
138: \newtheorem{observation}[theorem]{Observation}
139:
140: %\newtheorem{lemma}[thm]{Lemma}
141: %\newtheorem{conj}[thm]{Conjecture}
142: %\newtheorem{defn}[thm]{Definition}
143:
144: \theoremstyle{definition}
145: \newtheorem{definition}[theorem]{Definition}
146: \newtheorem*{openquestion}{Open Question}
147: \newtheorem*{question}{Question}
148: \newtheorem*{example}{Example}
149: \newtheorem*{remark*}{Remark}
150: \newtheorem{remark}{Remark}
151:
152: \theoremstyle{remark}
153: \newtheorem*{notation}{Notation}
154:
155: % ---------------------------------------------
156:
157:
158:
159: % ---------------------------------------------
160: % figures
161: % ---------------------------------------------
162:
163: \newenvironment{Figure}[1][]{%
164: \begin{figure}[H]\centering
165: \begin{psfrags}}{%
166: \end{psfrags}\end{figure}}%\vspace*{-2ex}}
167: \newenvironment{FigureHere}[1][]{%
168: \begin{figure}[H]\centering
169: \begin{psfrags}}{%
170: \end{psfrags}\end{figure}}%\vspace*{-2ex}}
171:
172: \newcommand{\transformsToArrow}[2]{
173: \raisebox{#1}{\includegraphics[width=#2]{img/leadsto}}}
174:
175:
176:
177: % ========================================================%============
178: % enumerate/itemize environments (most due to Marc Pfetsch
179: % ====================================================================
180:
181: \newenvironment{dense_ind_enumerate_i}{%
182: \renewcommand{\theenumi}{\roman{enumi}}%
183: \renewcommand{\labelenumi}{(\roman{enumi})}%
184: \begin{list}{(\roman{enumi})}%
185: {\usecounter{enumi}%
186: \setlength{\topsep}{1mm}%
187: \setlength{\partopsep}{0mm}%
188: \setlength{\parskip}{0mm}%
189: \setlength{\parsep}{0mm}%
190: \setlength{\itemsep}{0mm}%
191: \settowidth{\labelwidth}{(viii)}%
192: \setlength{\leftmargin}{2mm}%
193: \addtolength{\leftmargin}{\labelwidth}%
194: \addtolength{\leftmargin}{\labelsep}%
195: \setlength{\itemindent}{0mm}}}%
196: {\end{list}}
197: % ---------------------------------------------
198:
199: \newenvironment{dense_enumerate_i}{%
200: \renewcommand{\theenumi}{\roman{enumi}}%
201: \renewcommand{\labelenumi}{(\roman{enumi})}%
202: \begin{list}{(\roman{enumi})}%
203: {\usecounter{enumi}%
204: \setlength{\topsep}{1mm}%
205: \setlength{\partopsep}{0mm}%
206: \setlength{\parskip}{0mm}%
207: \setlength{\parsep}{0mm}%
208: \setlength{\itemsep}{0mm}%
209: \settowidth{\labelwidth}{(vii)}%
210: \setlength{\leftmargin}{0mm}%
211: \addtolength{\leftmargin}{\labelwidth}%
212: \addtolength{\leftmargin}{\labelsep}%
213: \setlength{\itemindent}{0mm}}}%
214: {\end{list}}
215:
216: % ---------------------------------------------
217:
218: %\newcounter{enuma}
219: \newenvironment{dense_enumerate_a}{%
220: \renewcommand{\theenumi}{\alph{enumi}}%
221: \renewcommand{\labelenumi}{(\alph{enumi})}%
222: \begin{list}{(\alph{enumi})}%
223: {\usecounter{enumi}%
224: \setlength{\topsep}{1mm}%
225: \setlength{\partopsep}{0mm}%
226: \setlength{\parskip}{0mm}%
227: \setlength{\parsep}{0mm}%
228: \setlength{\itemsep}{0mm}%
229: \settowidth{\labelwidth}{(z)}%
230: \setlength{\leftmargin}{0mm}%
231: \addtolength{\leftmargin}{\labelwidth}%
232: \addtolength{\leftmargin}{\labelsep}%
233: \setlength{\itemindent}{0mm}}}%
234: {\end{list}}
235:
236: % ---------------------------------------------
237:
238: \newenvironment{enumerate_i}{%
239: \renewcommand{\theenumi}{\roman{enumi}}%
240: \renewcommand{\labelenumi}{(\roman{enumi})}%
241: \begin{list}{(\roman{enumi})}%
242: {\usecounter{enumi}%
243: \setlength{\topsep}{2mm}%
244: \setlength{\partopsep}{2mm}%
245: \setlength{\parskip}{0mm}%
246: \setlength{\parsep}{0mm}%
247: \setlength{\itemsep}{2mm}%
248: \settowidth{\labelwidth}{(iiiv)}%
249: \setlength{\leftmargin}{0mm}%
250: \addtolength{\leftmargin}{\labelwidth}%
251: \addtolength{\leftmargin}{\labelsep}%
252: \setlength{\itemindent}{0mm}}}%
253: {\end{list}}
254:
255: % ---------------------------------------------
256:
257: \newenvironment{thm_enumerate_i}{%
258: \renewcommand{\theenumi}{\rm\roman{enumi}}%
259: \renewcommand{\labelenumi}{\rm(\roman{enumi})}%
260: \begin{list}{\rm(\roman{enumi})}%
261: {\usecounter{enumi}%
262: \setlength{\topsep}{2mm}%
263: \setlength{\partopsep}{0mm}%
264: \setlength{\parskip}{0mm}%
265: \setlength{\parsep}{0mm}%
266: \setlength{\itemsep}{2mm}%
267: \settowidth{\labelwidth}{(viii)}%
268: \setlength{\leftmargin}{0mm}%
269: \addtolength{\leftmargin}{\labelwidth}%
270: \addtolength{\leftmargin}{\labelsep}%
271: \setlength{\itemindent}{0mm}}}%
272: {\end{list}}
273:
274: % ---------------------------------------------
275: \newenvironment{inputoutput}{
276: \begin{list}{\bf ???}{%
277: \settowidth{\labelwidth}{Output: }
278: \settowidth{\leftmargin}{Output:\ }%
279: \addtolength{\leftmargin}{\labelsep}%
280: %\setlength{\labelsep}{1cm}%
281: %\setlength{\rightmargin}{0cm}%
282: %
283: \renewcommand{\makelabel}[1]{\bf ##1\hfill}%
284: %
285: \setlength{\topsep}{1mm}%
286: \setlength{\partopsep}{0mm}%
287: \setlength{\parskip}{0mm}%
288: \setlength{\parsep}{0mm}%
289: \setlength{\itemsep}{2ex}%
290: %\addtolength{\leftmargin}{\labelwidth}%
291: %\addtolength{\leftmargin}{\labelsep}%
292: %\setlength{\itemindent}{0cm}%
293: }}%
294: {\end{list}}
295:
296: % ---------------------------------------------
297:
298: \newenvironment{symboldesc}[1][$A,B,C$]{%
299: \begin{list}{\bf ???}{%
300: \settowidth{\labelwidth}{#1}%
301: \settowidth{\leftmargin}{\qquad #1}%
302: %\setlength{\labelsep}{1cm}%
303: %\setlength{\rightmargin}{0cm}%
304: %
305: \renewcommand{\makelabel}[1]{##1\hfill}%
306: %
307: \setlength{\topsep}{1mm}%
308: \setlength{\partopsep}{0mm}%
309: \setlength{\parskip}{0mm}%
310: \setlength{\parsep}{0mm}%
311: \setlength{\itemsep}{2ex}%
312: %\addtolength{\leftmargin}{\labelwidth}%
313: %\addtolength{\leftmargin}{\labelsep}%
314: %\setlength{\itemindent}{0cm}%
315: }}%
316: {\end{list}}
317:
318: % ---------------------------------------------
319:
320:
321: \newenvironment{compactsymboldesc}[1][$A,B,C$]{%
322: \begin{list}{\bf ???}{%
323: \settowidth{\labelwidth}{#1}
324: \settowidth{\leftmargin}{\qquad #1}%
325: %\setlength{\labelsep}{1cm}%
326: %\setlength{\rightmargin}{0cm}%
327: %
328: \renewcommand{\makelabel}[1]{##1\hfill}%
329: %
330: \setlength{\topsep}{1mm}%
331: \setlength{\partopsep}{0mm}%
332: \setlength{\parskip}{0mm}%
333: \setlength{\parsep}{0mm}%
334: \setlength{\itemsep}{0ex}%
335: %\addtolength{\leftmargin}{\labelwidth}%
336: %\addtolength{\leftmargin}{\labelsep}%
337: %\setlength{\itemindent}{0cm}%
338: }}%
339: {\end{list}}
340:
341: % ---------------------------------------------
342:
343: \newenvironment{dense_itemize}{%
344: \begin{list}{$\triangleright$}%
345: {\setlength{\topsep}{1mm}%
346: \setlength{\partopsep}{0mm}%
347: \setlength{\parskip}{0mm}%
348: \setlength{\parsep}{0mm}%
349: \setlength{\itemsep}{0mm}%
350: \setlength{\labelwidth}{4mm}%
351: \setlength{\leftmargin}{0mm}%
352: \addtolength{\leftmargin}{\labelwidth}%
353: \addtolength{\leftmargin}{\labelsep}%
354: \setlength{\itemindent}{0mm}}}%
355: {\end{list}}
356:
357: % ---------------------------------------------
358:
359: %\newenvironment{steps}{%
360: %\begin{enumerate}[\bf (1)]}{\end{enumerate}}
361: % ---------------------------------------------
362:
363:
364: \newenvironment{steps}[1][1]{%
365: \renewcommand{\theenumi}{\arabic{enumi}}%
366: \renewcommand{\labelenumi}{\bf(\arabic{enumi})}%
367: \begin{list}{\bf(\arabic{enumi})}%
368: {\usecounter{enumi}%
369: \setlength{\topsep}{2mm}%
370: \setlength{\partopsep}{2mm}%
371: \setlength{\parskip}{0mm}%
372: \setlength{\parsep}{0mm}%
373: \setlength{\itemsep}{2mm}%
374: \settowidth{\labelwidth}{(iiiv)}%
375: \setlength{\leftmargin}{0mm}%
376: \addtolength{\leftmargin}{\labelwidth}%
377: \addtolength{\leftmargin}{\labelsep}%
378: \setlength{\itemindent}{0mm}}
379: \setcounter{enumi}{#1}\addtocounter{enumi}{-1}}%
380: {\end{list}}
381:
382: % ---------------------------------------------
383: \newenvironment{compactsteps}[1][1]{%
384: \renewcommand{\theenumi}{\arabic{enumi}}%
385: \renewcommand{\labelenumi}{\bf(\arabic{enumi})}%
386: \begin{list}{\bf(\arabic{enumi})}%
387: {\usecounter{enumi}%
388: \setlength{\topsep}{2mm}%
389: \setlength{\partopsep}{2mm}%
390: \setlength{\parskip}{0mm}%
391: \setlength{\parsep}{0mm}%
392: \setlength{\itemsep}{0mm}%
393: \settowidth{\labelwidth}{(iiiv)}%
394: \setlength{\leftmargin}{0mm}%
395: \addtolength{\leftmargin}{\labelwidth}%
396: \addtolength{\leftmargin}{\labelsep}%
397: \setlength{\itemindent}{0mm}}
398: \setcounter{enumi}{#1}\addtocounter{enumi}{-1}}%
399: {\end{list}}
400:
401: % ---------------------------------------------
402: % ---------------------------------------------
403: \iftrue
404: \newcounter{precondno}
405: \newcounter{globalprecondno}
406: \newenvironment{list_of_preconds}{%
407: \renewcommand{\theprecondno}{\arabic{enumi}}%
408: %\renewcommand{\labelprecondno}{\quad(P\arabic{enumi})}%
409: \begin{list}{\quad(P\arabic{precondno})}%
410: {\usecounter{precondno}%
411: \setlength{\topsep}{1mm}%
412: \setlength{\partopsep}{0mm}%
413: \setlength{\parskip}{0mm}%
414: \setlength{\parsep}{0mm}%
415: \setlength{\itemsep}{0mm}%
416: \settowidth{\labelwidth}{\quad (P12)}%
417: \setlength{\leftmargin}{0mm}%
418: \addtolength{\leftmargin}{\labelwidth}%
419: \addtolength{\leftmargin}{\labelsep}%
420: \setlength{\itemindent}{0mm}}
421: \let\orgitem\item
422: \renewcommand{\item}{\stepcounter{globalprecondno}\orgitem}
423: \setcounter{precondno}{\value{globalprecondno}}
424: }%
425: {\end{list}}
426: \fi
427: % ---------------------------------------------
428: \iffalse
429: \newcounter{globalprecondno}
430: \newenvironment{list_of_preconds}{%
431: \begin{enumerate}[\ (P1)]}{\end{enumerate}}
432: \fi
433:
434: % ---------------------------------------------
435:
436: \newcommand{\subfig}[2]{%\begin{Sbox}{#2}\end{Sbox}%
437: \begin{tabular}{@{}c@{}}{{#2}}\\{\footnotesize #1}\end{tabular}}
438:
439: % ---------------------------------------------
440: \renewcommand{\index}[1]{}
441: % ---------------------------------------------
442:
443:
444: \author{Alexander Schwartz%
445: \thanks{Partially supported by the DFG Research Center
446: ``Mathematics for Key Technologies'' (FZT 86) in Berlin
447: and by the German Israeli Foundation (G.I.F.).}
448: \qquad\setcounter{footnote}{6}
449: G\"unter M.~Ziegler%
450: \thanks{Partially
451: supported by Deutsche Forschungs-Gemeinschaft, via the
452: DFG Research Center ``Mathematics in the Key Technologies'' (FZT86),
453: the Research Group ``Algorithms, Structure, Randomness'' (Project ZI 475/3),
454: and a Leibniz grant (ZI 475/4),
455: and by the German Israeli Foundation (G.I.F.)}\\[2ex]
456: \begin{minipage}{10cm}\center\footnotesize
457: TU Berlin\\
458: Inst.\ Mathematics, MA 6-2\\
459: % Stra{\ss}e des 17.~Juni 136\\
460: D-10623 Berlin, Germany\\
461: \url{{schwartz,ziegler}@math.tu-berlin.de}
462: \end{minipage}\\}
463: \title{\textbf{Construction techniques for cubical complexes,\\
464: odd cubical 4-polytopes,\\ and prescribed dual manifolds}}
465: \date{January 2, 2004} %% IMPORTANT !!!!!
466:
467:
468: \begin{document}
469: \maketitle
470:
471: \begin{abstract}\noindent
472: We provide a number of new construction techniques for cubical
473: complexes and cubical polytopes, and thus for cubifications
474: (hexahedral mesh generation).
475: As an application we obtain an instance
476: % (with $72$ vertices and $62$ facets)
477: of a cubical $4$-polytope that has a non-orientable dual manifold (a
478: Klein bottle). This confirms an existence conjecture of Hetyei (1995).
479:
480: More systematically, we prove that every normal crossing codimension
481: one immersion of a compact $2$-manifold into~$\R^3$ is PL-equivalent
482: to a dual manifold immersion of a cubical $4$-polytope. As an
483: instance we obtain a cubical $4$-polytope with a cubation of Boy's
484: surface as a dual manifold immersion, and with an odd number of
485: facets. Our explicit example has $17\,718$ vertices and $16\,533$ facets.
486: %F_VECTOR
487: % 17718 50784 49599 16533
488: Thus we get a parity changing
489: operation for $3$-dimensional cubical complexes (hexa meshes);
490: this solves problems of Eppstein, Thurston, and others.
491: \end{abstract}
492:
493: \begin{center}
494: \parbox{.8\textwidth}{
495: \begin{compactdesc}
496: \item[\textbf{Keywords:}] Cubical complexes, cubical polytopes,
497: regular subdivisions, normal crossing codimension one
498: PL immersions, construction techniques, cubical meshes, Boy's surface\\
499:
500: \item[\textbf{MSC 2000 Subject Classification:}]
501: 52B12, 52B11, 52B05, 57Q05\\
502: \end{compactdesc}}
503: \end{center}
504: %\clearpage
505: %===========================================================================
506: \section{Introduction}
507: %===========================================================================
508:
509: A $d$-polytope is \emph{cubical} if all its proper faces are
510: combinatorial cubes, that is, if each $k$-face of the polytope,
511: $k\in\{0,\ldots,d-1\}$ is combinatorially equivalent to the
512: $k$-dimensional standard cube.
513:
514: It has been observed by Stanley, MacPherson, and others
515: (cf.~\cite{BabsonChan3} \cite{Jock}) that every cubical $d$-polytope
516: $P$ determines a PL immersion of an abstract cubical $(d-2)$-manifold
517: into the polytope boundary $\boundaryOP{P}\cong S^{d-1}$. The
518: immersed manifold is orientable if and only if the $2$-skeleton of the
519: cubical $d$-polytope ($d\ge3$) is ``edge orientable'' in the sense of
520: Hetyei, who conjectured that there are cubical $4$-polytopes that are
521: not edge-orientable~\cite[Conj.~2]{hetyei95:_stanl}.
522:
523:
524: In the more general setting of cubical PL $(d-1)$-spheres, Babson and
525: Chan \cite{BabsonChan3} have observed that \emph{every} type of normal
526: crossing PL immersion of a $(d-2)$-manifold into a $(d-1)$-sphere
527: appears among the dual manifolds of some cubical PL $(d-1)$-sphere.
528:
529: No similarly general result is available for cubical polytopes. The
530: reason for this may be traced/blamed to a lack of flexible
531: construction techniques for cubical polytopes, and more generally, for
532: cubical complexes (such as the ``hexahedral meshes'' that are of great
533: interest in CAD and in Numerical Analysis).
534:
535: In this paper, we develop a number of new and improved construction
536: techniques for cubical polytopes. We try to demonstrate that it
537: always pays off to carry along convex lifting functions of high
538: symmetry. The most complicated and subtle element of our
539: constructions is the ``generalized regular Hexhoop'' of
540: Section~\ref{subsec:generalized_hexhoop}, which yields a cubification
541: of a $d$-polytope with a hyperplane of symmetry, where a (suitable)
542: lifting function may be specified on the boundary.
543:
544: Our work is extended by the first author in \cite{Schwartz2}, where
545: additional construction techniques for \emph{cubifications}
546: (i.\,e.~cubical subdivisions of $d$-polytopes with prescribed boundary
547: subdivisions) are discussed.
548:
549:
550: Using the constructions developed here, we achieve the following
551: constructions and results:
552: \begin{compactitem}[$\bullet$]\itemsep=1mm
553: \item A rather simple construction yields a cubical $4$-polytope (with
554: $72$ vertices and $62$ facets) for which the immersed dual
555: $2$-manifold is not orientable: One of its components is a Klein
556: bottle. Apparently this is the first example of a cubical polytope
557: with a non-orientable dual manifold. Its existence confirms a
558: conjecture of Hetyei (Section~\ref{sec:klein}).
559: \item More generally, all PL-types of normal crossing immersions of
560: $2$-manifolds appear as dual manifolds in the boundary complexes of
561: cubical $4$-polytopes (Section~\ref{sec:immersions}). In the case
562: of non-orientable $2$-manifolds of odd genus, this yields cubical
563: $4$-polytopes with an odd number of facets. From this, we also
564: obtain a complete characterization of the lattice of $f$-vectors of
565: cubical $4$-polytopes (Section~\ref{sec:consequences}).
566: \item In particular, we construct an explicit example with $17\,718$
567: vertices and $16\,533$ facets of a cubical $4$-polytope which has a
568: cubation of Boy's surface (projective plane with exactly one triple
569: point) as a dual manifold immersion (Section~\ref{sec:boy}).
570: \item Via Schlegel diagrams, this implies that every $3$-cube has a
571: cubical subdivision into an even number of cubes that does not
572: subdivide the boundary complex. Thus for every cubification of a
573: $3$-dimensional domain there is also a cubification of the opposite
574: parity (Section~\ref{sec:hexameshing}). This answers questions by
575: Bern, Eppstein, Erickson, and Thurston \cite{BernEppsteinErickson}
576: \cite{Eppstein1999} \cite{Thurston1993}.
577: \end{compactitem}
578:
579: %===========================================================================
580: % Contents
581: %===========================================================================
582:
583: \input{sections/basics} %Sect.2
584: \input{sections/constructions} %Sect.3,4
585: \input{sections/klein} %Sect.5
586: \input{sections/cubifications} %Sect.6
587: \input{sections/immersions} %Sect.7
588: \input{sections/boy} %Sect.8
589: \input{sections/consequences} %Sect.9
590: \input{sections/hexameshing} %Sect.10
591:
592: %===========================================================================
593: \section{The next step}\label{sec:nextstep}
594: %===========================================================================
595:
596: In this paper we are primarily concerned with the realization of
597: 2-manifold immersions in terms of cubical 4-polytopes, but the
598: higher-dimensional cases are interesting as well. For example, one
599: would like to know whether there are cubical $5$-polytopes with an odd
600: number of facets. (There are \emph{no} such $d$-polytopes for $d=6$,
601: or for $8\le d\le 13$; see the \cite[Sect.~7]{BabsonChan3}.) For this
602: we have to realize a normal crossing immersion of $3$-manifold into
603: $S^4$ by a cubical $5$-polytope with an odd number of quadruple
604: points. Such immersions exist by an abstract result of Freedman
605: \cite{freedman78:_quadr_s} \cite{akhmetev96:_freed}, but more
606: concretely by John Sullivan's observation (personal communication)
607: that there are regular sphere eversions of the $2$-sphere with exactly
608: one quadruple point \cite{Smale1958} \cite{Francis1998} and from any
609: such one obtains a normal-crossing immersion $S^3\immersed S^4$ with a
610: single quadruple point.
611:
612:
613:
614: %===========================================================================
615: \subsubsection*{Acknowledgements}
616: % =========================================================================
617: We are indebted to Eric Babson, Mark de Longueville, Nikolai Mn\"ev,
618: Matthias M\"uller-\allowbreak Hanne\-mann, John Sullivan, and Arnold
619: Wa\ss mer for conversations and comments that turned out to be
620: essential for this project.
621:
622: The illustrations of polytopes and balls were produced in the
623: \textsf{polymake} system of Gawrilow \& Joswig \cite{polymake}, via
624: \textsf{javaview} of Polthier
625: et.\,al.\,\cite{PolthierKhademPreussReitebuch01}.
626: (A small number of figures was drawn with \textsf{xfig}.)
627:
628: %===========================================================================
629: % References
630: %===========================================================================
631:
632: \begin{small}
633: \bibliographystyle{siam}%{amsplain}
634: \bibliography{main}
635:
636: \end{small}
637:
638: %===========================================================================
639:
640: \end{document}
641:
642:
643: %%% Local Variables:
644: %%% mode: latex
645: %%% TeX-master: "main"
646: %%% End:
647: