SMOOTH POLYHEDRAL SURFACES

Transcription

1 SMOOTH POLYHEDRAL SURFACES Felix Günther Université de Genève and Technische Universität Berlin Geometry Workshop in Obergurgl 2017

2 PRELUDE Złote Tarasy shopping mall in Warsaw

3 PRELUDE Złote Tarasy shopping mall in Warsaw

4 PRELUDE Smooth and non-smooth realization of a cone and their Gauss images

5 STORYBOARD Episode I The Phantom Lemma Episode II Attack of the Index Episode III Revenge of the Lemma

6 STORYBOARD Episode I The Phantom Lemma Episode II Attack of the Index Episode III Revenge of the Lemma Episode IV A New Normal Episode V The Gauss Image Strikes Back Episode VI Return of Projective Transformations

7 STORYBOARD Episode I The Phantom Lemma Episode II Attack of the Index Episode III Revenge of the Lemma Episode IV A New Normal Episode V The Gauss Image Strikes Back Episode VI Return of Projective Transformations Episode VII The Applications Awaken

8

9

10 GAUSSIAN CURVATURE

11 DISCRETE GAUSSIAN CURVATURE P N i+1 K(P ) Ni+1 α i N i N i K (P) := 2π i α i

12 DISCRETE GAUSSIAN CURVATURE P N i+1 K(P ) Ni+1 α i N i N i K (P) := 2π i α i

13 MORE COMPLICATED GAUSS IMAGE Self-intersecting Gauss image

14

15 INDEX OF A VERTEX OF A POLYHEDRAL SURFACE

16 INTEGRATED INDEX

17 INTEGRATED INDEX 1 i(v, ξ)dξ = S 2 2 S 2 2 m(v,, ξ) M = 2π M α (v) = K (v)

18 RELATION TO ALGEBRAIC AREA OF GAUSS IMAGE Positive discrete Gaussian curvature

19 RELATION TO ALGEBRAIC AREA OF GAUSS IMAGE Negative discrete Gaussian curvature

20 RELATION TO ALGEBRAIC AREA OF GAUSS IMAGE Gauss image contains pair of antipodal points

21 RELATION TO ALGEBRAIC AREA OF GAUSS IMAGE Index of v with respect to n equals -2

22 RELATION TO ALGEBRAIC AREA OF GAUSS IMAGE Index of v with respect to n equals -2 i(v, n) = w(g(v), n) + w(g(v), n)

23

24 SPHERICAL ANGLE f = f 2 is not an inflection face: ˆα f = α = π α f

25 SPHERICAL ANGLE f = f 2 is an inflection face: ˆα f = α = 2π α f

26 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K>0 ˆα f (n 2)π = K (v) = 2π α f f v f v

27 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K>0 ˆα f (n 2)π = K (v) = 2π α f f v f v = ˆα f = α f ) f v f v(π

28 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K>0 Convex spherical polygon

29 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 f v ˆα f + (n 2)π = K (v) = 2π f v α f

30 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 f v ˆα f + (n 2)π = K (v) = 2π f v α f = f v ˆα f = f v(π + α f ) 4π

31 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 f v ˆα f + (n 2)π = K (v) = 2π f v α f = f v ˆα f = f v(π + α f ) 4π ˆα f = 2π (π α f ) = π + α f if f is not an inflection face ˆα f = 2π (2π α f ) = α f if f is an inflection face

32 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 Spherical pseudo-quadrilateral

33 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 Spherical pseudo-triangle (four inflection faces)

34 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 Spherical pseudo-triangle (two inflection faces)

35 GAUSS IMAGE WITHOUT SELF-INTERSECTIONS: K<0 Spherical pseudo-digon

36

37 NORMAL VECTOR AND TRANSVERSAL PLANE One-to-one projection of vertex star onto transversal plane

38 DUPIN INDICATRIX Intersection with a plane parallel and close to the tangent plane

39 DISCRETE DUPIN INDICATRIX K>0 Discrete ellipse in convex case

40 DISCRETE DUPIN INDICATRIX K<0 Inflection edge in the discrete Dupin indicatrix

41 DISCRETE DUPIN INDICATRIX K<0 Discrete hyperbola if Gauss image is star-shaped

42 DISCRETE DUPIN INDICATRIX K<0 Discrete hyperbola (four inflection faces)

43 DISCRETE DUPIN INDICATRIX K<0 Discrete hyperbola (two inflection faces)

44

45 GAUSS IMAGES FOR POSITIVE CURVATURE Gauss images do not intersect

46 GAUSS IMAGES FOR NEGATIVE CURVATURE Gauss images do not intersect

47 GAUSS IMAGES FOR NEGATIVE CURVATURE Polyhedral monkey saddle

48 GAUSS IMAGES FOR NEGATIVE CURVATURE Deformation of a monkey saddle

49 SHAPES OF FACES IN NEGATIVELY CURVED AREAS ˆα v = α v + π if α v < π and f 1 is not an inflection face, ˆα v = α v if α v < π and f 1 is an inflection face, ˆα v = α v π if α v > π and f 1 is not an inflection face, ˆα v = α v if α v > π and f 1 is an inflection face.

50 SHAPES OF FACES IN NEGATIVELY CURVED AREAS ˆα v = α v + π if α v < π and f 1 is not an inflection face, ˆα v = α v if α v < π and f 1 is an inflection face, ˆα v = α v π if α v > π and f 1 is not an inflection face, ˆα v = α v if α v > π and f 1 is an inflection face. 2π = v f 1 ˆα v = v f 1 α v + c 1 π c 3 π = (n 2)π + c 1 π c 3 π

51 SHAPES OF FACES IN NEGATIVELY CURVED AREAS ˆα v = α v + π if α v < π and f 1 is not an inflection face, ˆα v = α v if α v < π and f 1 is an inflection face, ˆα v = α v π if α v > π and f 1 is not an inflection face, ˆα v = α v if α v > π and f 1 is an inflection face. 2π = v f 1 ˆα v = v f 1 α v + c 1 π c 3 π = (n 2)π + c 1 π c 3 π Thus, c 1 c 3 = 4 n. Using c 1 + c 2 + c 3 + c 4 = n, 2c 1 + c 2 + c 4 = 4.

52 SHAPES OF FACES IN NEGATIVELY CURVED AREAS ˆα v = α v + π if α v < π and f 1 is not an inflection face, ˆα v = α v if α v < π and f 1 is an inflection face, ˆα v = α v π if α v > π and f 1 is not an inflection face, ˆα v = α v if α v > π and f 1 is an inflection face. 2π = v f 1 ˆα v = v f 1 α v + c 1 π c 3 π = (n 2)π + c 1 π c 3 π Thus, c 1 c 3 = 4 n. Using c 1 + c 2 + c 3 + c 4 = n, 2c 1 + c 2 + c 4 = 4. f 1 planar: c 1 + c 2 3.

53 SHAPES OF FACES IN NEGATIVELY CURVED AREAS c 1 = 0, c 2 = 4, c 3 = n 4, c 4 = 0

54 SHAPES OF FACES IN NEGATIVELY CURVED AREAS c 1 = 0, c 2 = 3, c 3 = n 4, c 4 = 1

55 SHAPES OF FACES IN NEGATIVELY CURVED AREAS c 1 = 1, c 2 = 2, c 3 = n 3, c 4 = 0

56 GAUSS IMAGES FOR MIXED CURVATURE Overlap of Gauss images

57 GAUSS IMAGES FOR MIXED CURVATURE Basic shapes of faces in areas of mixed curvature

58 GAUSS IMAGES FOR MIXED CURVATURE Discrete parabolic curve

59 SMOOTH POLYHEDRAL SURFACE DEFINITION An orientable polyhedral surface P immersed into R 3 is smooth if:

60 SMOOTH POLYHEDRAL SURFACE DEFINITION An orientable polyhedral surface P immersed into R 3 is smooth if: 1 K (v) 0 for all v. For all faces f, the sign of discrete Gaussian curvature changes at either zero or two edges.

61 SMOOTH POLYHEDRAL SURFACE DEFINITION An orientable polyhedral surface P immersed into R 3 is smooth if: 1 K (v) 0 for all v. For all faces f, the sign of discrete Gaussian curvature changes at either zero or two edges. 2 v n, n S 2 such that n, n f > 0 n f, f v, and such that the spherical polygon defined by n f is star-shaped with respect to n.

62 SMOOTH POLYHEDRAL SURFACE DEFINITION An orientable polyhedral surface P immersed into R 3 is smooth if: 1 K (v) 0 for all v. For all faces f, the sign of discrete Gaussian curvature changes at either zero or two edges. 2 v n, n S 2 such that n, n f > 0 n f, f v, and such that the spherical polygon defined by n f is star-shaped with respect to n. 3 f, v f ˆα v is ±2π or 0 depending on whether K (v) has the same sign for all v f or not. In the first case, we demand in addition that f is star-shaped; in the latter case, we require that the convex hull of vertices of positive discrete Gaussian curvature does not contain any vertex of negative curvature.

63

64

65

66

67 NOTION OF SMOOTHNESS IS PROJECTIVELY INVARIANT THEOREM Let P be a smooth polyhedral surface immersed into R 3 RP 3. Furthermore, let π be a projective transformation that does not map any point of P to infinity. Then, π(p) is a smooth polyhedral surface. Furthermore, discrete tangent planes, discrete asymptotic directions, discrete parabolic curves, and points of contact are mapped to the corresponding objects of π(p).

68 PROJECTIVE DUAL SURFACE Projective dual surfaces of smooth polyhedral surfaces are smooth

69

70 RESULTS OF OUR ALGORITHM Optimization started from (a) non-smooth; (b) weakly smooth surface

71 RESULTS OF OUR ALGORITHM Department of Islamic Art within the Musée du Louvre

72 RESULTS OF OUR ALGORITHM Broken images in the reflections

73 RESULTS OF OUR ALGORITHM Optimization of Louvre surface

74