Abstract
In Saji et al. (J Math 62:259–280, 2008; Ann Math 169:491–529, 2009; J Geom Anal 222):383–409, 2012) the Gauss–Bonnet formulas for coherent tangent bundles over compact-oriented surfaces (without boundary) were proved. We establish the Gauss–Bonnet theorem for coherent tangent bundles over compact-oriented surfaces with boundary. We apply this theorem to investigate global properties of maps between surfaces with boundary. As a corollary of our results, we obtain a special version of Fukuda–Ishikawa’s theorem. We also study geometry of the affine-extended wave fronts for planar-closed non-singular hedgehogs (rosettes). In particular, we find a link between the total geodesic curvature on the boundary and the total singular curvature of the affine-extended wave front, which leads to a relation of integrals of functions of the width of a rosette.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The local and global geometry of fronts and coherent tangent bundles, which are natural generalizations of fronts, has been recently very carefully studied in [19, 29, 30, 35,36,37,38]. In particular in [35, 36] the results of Kossowski [20, 21] and Langevin et al. [24] were generalized to the following Gauss–Bonnet-type formulas for the singular coherent tangent bundle \(\mathcal E\) over a compact surface M whose set of singular points \(\Sigma \) admits at most peaks:
In the above formulas K is the Gaussian curvature, \(\kappa _s\) is the singular curvature, \(\text {d}\tau \) is the arc length measure on \(\Sigma \), \(\text {d}\hat{A}\) (respectively \(\text {d}A\)) is the signed (respectively unsigned) area form, \(M^+\) (respectively \(M^-\)) is the set of regular points in M, where \(\text {d}\hat{A}=\text {d}A\) (respectively \(\text {d}\hat{A}=-\text {d}A\)), \(P^+\) (respectively \(P^-\)) is the set of positive (respectively negative) peaks (see [35] and Sect. 2 for details). Saji et al. also found several interesting applications of the above formulas (see especially [37]).
The classical Gauss–Bonnet theorem was formulated for compact-oriented surfaces with boundary. Therefore, it is natural to find the analogous Gauss–Bonnet formulas for coherent tangent bundles over compact-oriented surfaces with boundary (see Theorem 2.20). Coherent tangent bundles over compact oriented surfaces with boundary also appear in many problems. In this paper, we apply the Gauss–Bonnet formulas to study smooth maps between compact-oriented surfaces with boundary and affine-extended wave fronts of the planar non-singular hedgehogs (rosettes). As a result, we obtain a new proof of a special version of Fukuda–Ishikawa’s theorem [12] and we find a link between the total geodesic curvature on the boundary and the total singular curvature of the affine-extended wave front of a rosette. This leads to a relation between the integrals of the function of the width of the rosette, in particular of the width of an oval (see Theorem 5.24 and Conjecture 5.28).
In Sect. 2, we briefly sketch the theory of coherent tangent bundles and state the Gauss–Bonnet theorem for coherent tangent bundles over compact-oriented surfaces with boundary (Theorem 2.20), which is the main result of this paper. The proof of Theorem 2.20 is presented in Sect. 3. We apply this theorem to study the global properties of maps between compact-oriented surfaces with boundary in Sect. 4. The last section contains the results on the geometry of the affine-extended wave fronts of rosettes.
2 The Gauss–Bonnet Theorem
In this section, we formulate the Gauss–Bonnet-type theorem for coherent tangent bundles over compact-oriented surfaces with boundary. The proof of this theorem is presented in the next section. Coherent tangent bundles are intrinsic formulation of wave fronts. The theory of coherent tangent bundles were introduced and developed in [35,36,37]. We recall basic definitions and facts of this theory (for details see [35, 37]).
Definition 2.1
Let M be a 2-dimensional compact-oriented surface (possibly with boundary). A coherent tangent bundle over M is a 5-tuple \(\left( M, \mathcal {E}, \left\langle \cdot ,\cdot \right\rangle , D, \psi \right) \), where \(\mathcal {E}\) is an orientable vector bundle over M of rank 2, \(\left\langle \cdot ,\cdot \right\rangle \) is a metric, D is a metric connection on \((\mathcal {E}, \left\langle \cdot ,\cdot \right\rangle )\) and \(\psi \) is a bundle homomorphism
such that for any smooth vector fields X, Y on M
The pull-back metric \(\text {d}s^2:=\psi ^{*}\left\langle \cdot ,\cdot \right\rangle \) is called the first fundamental form on M. Let \(\mathcal {E}_p\) denote the fiber of \(\mathcal {E}\) at a point \(p\in M\). If \(\psi _p:=\psi |_{T_pM}:T_pM\rightarrow \mathcal {E}_p\) is not a bijection at a point \(p\in M\), then p is called a singular point. Let \(\Sigma \) denote the set of singular points on M. If a point \(p\in M\) is not a singular point, then p is called a regular point. Let us notice that the first fundamental form on M is positive definite at regular points and it is not positive definite at singular points.
Let \(\mu \in \text {Sec}(\mathcal {E}^*\wedge \mathcal {E}^*)\) be a smooth non-vanishing skew-symmetric bilinear section such that for any orthonormal frame \(\{e_1,e_2\}\) on \(\mathcal {E}\)\(\mu (e_1,e_2)=\pm 1\). The existence of such \(\mu \) is a consequence of the assumption that \(\mathcal {E}\) is orientable. A co-orientation of the coherent tangent bundle is a choice of \(\mu \). An orthonormal frame \(\{e_1,e_2\}\) such that \(\mu (e_1,e_2)=1\) (respectively \(\mu (e_1,e_2)=-1\)) is called positive (respectively negative) with respect to the co-orientation \(\mu \).
From now on, we fix a co-orientation \(\mu \) on the coherent tangent bundle.
Definition 2.2
Let (U; u, v) be a positively oriented local coordinate system on M. Then \(\text {d}\hat{A}:=\psi ^*\mu =\lambda _{\psi } du\wedge dv\) (respectively \(dA:=|\lambda _{\psi } |du\wedge dv\)) is called the signed area form (respectively the unsigned area form), where
The function \(\lambda _{\psi } \) is called the signed area density function on U.
The set of singular points on U is expressed as
Let us notice that the signed and unsigned area forms, \(\text {d}\hat{A}\) and dA, give globally defined 2-forms on M and they are independent of the choice of positively oriented local coordinate system (u, v). Let us define
We say that a singular point \(p\in \Sigma \) is non-degenerate if \(\text {d}\lambda _{\psi } \) does not vanish at p. Let p be a non-degenerate singular point. There exists a neighborhood U of p such that the set \(\Sigma \cap U\) is a regular curve, which is called the singular curve. The singular direction is the tangential direction of the singular curve. Since p is non-degenerate, the rank of \(\psi _p\) is 1. The null direction is the direction of the kernel of \(\psi _p\). Let \(\eta (t)\) be the smooth (non-vanishing) vector field along the singular curve \(\sigma (t)\) which gives the null direction.
Let \(\wedge \) be the exterior product on TM.
Definition 2.3
Let \(p\in M\) be a non-degenerate singular point and let \(\sigma (t)\) be a singular curve such that \(\sigma (0)=p\). The point p is called an \(A_2\)-point (or an intrinsic cuspidal edge) if the null direction at p (i.e. \(\eta (0)\)) is transversal to the singular direction at p (i.e. \(\dot{\sigma }(0):=\frac{\text {d}\sigma }{dt}\big |_{t=0}\)). The point p is called an \(A_3\)-point (or an intrinsic swallowtail) if the point p is not an \(A_2\)-point and
Definition 2.4
Let p be a singular point \(p\in M\) which is not an \(A_2\)-point. The point p is called a peak if there exists a coordinate neighborhood (U; u, v) of p such that:
- (i)
if \(q\in (\Sigma \cap U)\setminus \{p\}\) then q is an \(A_2\)-point;
- (ii)
the rank of the linear map \(\psi _p: T_pM\rightarrow \mathcal {E}_p\) at p is equal to 1;
- (iii)
the set \(\Sigma \cap U\) consists of finitely many \(C^1\)-regular curves emanating from p.
A peak is a non-degenerate if it is a non-degenerate singular point.
From now on, we assume that the set of singular points \(\Sigma \)admits at most peaks, i.e. \(\Sigma \) consists of \(A_2\)-points and peaks.
Furthermore, let us fix a Riemannian metric g on M. Since the first fundamental form \(\text {d}s^2\) degenerates on \(\Sigma \), there exists a (1, 1)-tensor field I on M such that
for smooth vector fields X, Y on M. We fix a singular point \(p\in \Sigma \). Since \(\Sigma \) admits at most peaks, the point p is an \(A_2\)-point or a peak. Let \(\lambda _1(p)\), \(\lambda _2(p)\) be the eigenvalues of \(I_p:=I\big |_{T_pM}:T_pM\rightarrow T_pM\). Since the kernel of \(\psi _p\) is one-dimensional, the only one of \(\lambda _1(p)\), \(\lambda _2(p)\) vanishes. Let us assume that \(\lambda _1(p)=0\). Then \(\lambda _2(p)>0\). Thus, there exists a neighborhood V of p such that for every point \(q\in V\) the map \(I_q\) has two distinct eigenvalues \(\lambda _1(q)\), \(\lambda _2(q)\), such that \(0\leqslant \lambda _1(q)<\lambda _2(q)\). Furthermore, there exists a coordinate neighborhood (U; u, v) of p such that U is a subset of V and the u-curves (respectively v-curves) give the \(\lambda _1\)-eigendirections (respectively \(\lambda _2\)-eigendirections), because the eigenvectors of eigenvalues \(\lambda _1(q)\), \(\lambda _2(q)\) depends smoothly on q. Such a local coordinate system (U; u, v) is called a g-coordinate system at p.
Definition 2.5
Let \(\gamma (t)\)\((0\le t<1)\) be a \(C^1\)-regular curve on M such that \(\gamma (0)=p\). The \(\mathcal {E}\)-initial vector of \(\gamma \) at p is the following limit
if it exists.
Remark 2.6
If p is a regular point of M then the \(\mathcal {E}\)-initial vector of \(\gamma \) at p is the unit tangent vector of \(\gamma \) at p with respect to the first fundamental form \(\text {d}s^2\).
Proposition 2.7
(Proposition 2.6 in [35]). Let \(\gamma \) be a \(C^1\)-regular curve emanating from an \(A_2\)-point or a peak p such that \(\dot{\gamma }(0)\) is a not a null vector or \(\gamma \) is a singular curve. Then, the \(\mathcal {E}\)-initial vector of \(\gamma \) at p exists.
Since, we study coherent tangent bundles over surfaces with boundary, we also consider a curve \(\gamma \) on the boundary which is tangent to the null direction at a singular point p on the boundary. We prove that in this case the \(\mathcal E\)-initial vector of \(\gamma \) at p exists if the singular direction is transversal to the boundary at p.
Proposition 2.8
Let \(\left( \mathcal {E}, \left\langle \cdot , \cdot \right\rangle , D, \psi \right) \) be a coherent tangent bundle over an compact oriented surface M with boundary. Let p be an \(A_2\)-point in the boundary \(\partial M\). If the boundary \(\partial M\) is transversal to \(\Sigma \) at p and \(\gamma :(-\varepsilon ,\varepsilon )\rightarrow \partial M\) is a \(C^2\)-regular curve such that \(\gamma (0)=p\), \(\gamma \big ((-\varepsilon ,\varepsilon )\big )\cap \Sigma =\{p\}\) and \(\dot{\gamma }(0)\) is the null vector at p, then the \(\mathcal {E}\)-initial vector \(\Psi _{\gamma }\) of \(\gamma \) at p exists, \(D_{\frac{\text {d}}{\text {d}t}}\left. \left( \psi \big (\dot{\gamma }(t)\big )\right) \right| _{t=0}\ne 0\), and
Proof
Let \(\sigma :[0,\varepsilon )\rightarrow \Sigma \) be a singular curve such that \(\sigma (0)=p\). Let (U; u, v) be a g-coordinate system at p i.e. the null direction at \(\sigma (t)\) is spanned by \(\frac{\partial }{\partial u}\). Since \(\lambda _{\psi }(\sigma (t))=0\), we get that
Let us notice that
since the vectors \(\dot{\sigma }(0)\) and \(\dot{\gamma }(0)\) span the space \(T_pM\) and \(\text {d}\lambda _{\psi }\big |_p\ne 0\).
On the other hand, since \(\lambda _{\psi }\big (\gamma (t)\big )=\mu \left( \psi _u\big (\gamma (t)\big ), \psi _v\big (\gamma (t)\big )\right) \) and \(\psi _u\big (\gamma (0)\big )=0\), we get the following:
By (2.5) and (2.6) we get that \(D_{\frac{\text {d}}{\text {d}t}}\left( \psi _u\big (\gamma (t)\big )\Big |_{t=0}\right) \), \(\psi _v\big (\gamma (0)\big )\) are linearly independent.
The vector field \(\dot{\gamma }\) can be written in the following form \(\dot{\gamma }(t)=\dot{u}(t)\frac{\partial }{\partial u}+\dot{v}(t)\frac{\partial }{\partial v}\), where \(u(t)=t(a+h(t))\), \(v(t)=t^2g(t)\), \(a\ne 0\) and h, g are some functions such that \(h(0)=0\). Similarly, since \(\psi _u\big (\gamma (0)\big )=0\) and \(D_{\frac{\text {d}}{\text {d}t}}\left. \left( \psi _u\big (\gamma (t)\big )\right) \right| _{t=0}\ne 0\) we can write \(\psi _u\big (\gamma (t)\big )=t\xi (t)\), where \(\xi (t)\in \mathcal E_{\gamma (t)}\) and \(\xi (0)\ne 0\).
Now, we will prove the formula (2.3).
where the expression \(a\xi (0)+2g(0)\psi _v\big (\gamma (0)\big )\) is non-zero since the vectors \(\xi (0)=D_{\frac{\text {d}}{\text {d}t}}\left. \left( \psi _u\big (\gamma (t)\big )\right) \right| _{t=0}\) and \(\psi _v\big (\gamma (0)\big )\) are linearly independent.
Since \(D_{\frac{\text {d}}{\text {d}t}}\left. \left( \psi \big (\dot{\gamma }(t)\big )\right) \right| _{t=0}=a\xi (0)+2g(0)\psi _v\big (\gamma (0)\big )\), the equality (2.3) holds. \(\square \)
Proposition 2.9
Under the assumptions of Proposition 2.8, if \(\overline{\gamma }(t):=\gamma (-t)\), then
Proof
Since \(\overline{\gamma }(t)=\gamma (-t)\), we get that \(\dot{\overline{\gamma }}(t)=-\dot{\gamma }(-t)\) and in particular \(\dot{\overline{\gamma }}(0)=-\dot{\gamma }(0)\). Since
the equality (2.7) holds. \(\square \)
Definition 2.10
Let \(\gamma _1\) and \(\gamma _2\) be two \(C^1\)-regular curves emanating from p such that \(\mathcal E\)-initial vectors of \(\gamma _1\) and \(\gamma _2\) at p exist. Then the angle
is called the angle between the initial vectors of \(\gamma _1\) and \(\gamma _2\) at p.
We generalize the definition of singular sectors from [35] to the case of coherent tangent bundles over surfaces with boundary.
Let U be a (sufficiently small) neighborhood of a singular point p. Let \(\sigma _1\) and \(\sigma _2\) be curves in U starting at p such that both are singular curves or one of them is a singular curve and the other one is in \(\partial M\). A domain \(\Omega \) is called a singular sector at p if it satisfies the following conditions
- (i)
the boundary of \(\Omega \cap U\) consists of \(\sigma _1\), \(\sigma _2\) and the boundary of U.
- (ii)
\( \Omega \cap \Sigma =\emptyset \).
If the peak \(p\in M\setminus \partial M\) is an isolated singular point than the domain \(U\setminus \{p\}\) is a singular sector at p, where U is a neighborhood of p such that \(U\cap \Sigma =\{p\}\). We assume that singular direction is transversal to the boundary of M. Therefore, there are no isolated singular points on the boundary.
We define the interior angle of a singular sector. If p is in \(\partial M\), then the interior angle of a singular sector at p is the angle of the initial vectors of \(\sigma _1\) and \(\sigma _2\) at p.
While the interior angle of a singular sector may take value greater than \(\pi \) if \(p\in M\setminus \partial M\), we can choose \(\gamma _j\) for \(j=0,\dots ,n\) inside the singular sector in a such way that the angel between \(\Psi _{\gamma _{j-1}}\) and \(\Psi _{\gamma _j}\) is not greater than \(\pi \).
Let \(\Omega \) be a singular sector at the peak p. Then, there exists a positive integer n and \(C^1\)-regular curves starting at p\(\gamma _0=\sigma _0, \gamma _1, \cdots , \gamma _n=\sigma _1\) satisfying the assumptions of Proposition 2.7 and the following conditions:
- (i)
if \(i\ne j\) then \(\gamma _i\cap \gamma _j=\emptyset \) in \(\Omega \),
- (ii)
for each \(j=1,\ldots ,n\) there exists a sector domain \(\omega _j\subset \Omega \) such that \(\omega _j\) is bounded by \(\gamma _{j-1}\) and \(\gamma _j\) and \(\omega _j\cap \gamma _i=\emptyset \) for \(i\ne j-1, j\),
- (iii)
if \(n\geqslant 2\) the vectors \(\dot{\gamma }_{j-1}(0)\), \(\dot{\gamma }_j(0))\) are linearly independent and form a positively oriented frame for \(j=1,\ldots ,n\).
If the peak p is an isolated singular point then there exist curves \(\gamma _0, \gamma _1, \gamma _2\) satisfying the above assumptions and conditions (i)–(iii). We also put \(\gamma _3=\gamma _0\).
The interior angle of the singular sector\(\Omega \) is
If \(\Omega \) is a singular sector at a singular point p then \(\Omega \) is contained in \(M^{+}\) or \(M^{-}\). The singular sector \(\Omega \) is called positive (respectively negative) if \(\Omega \subset M^{+}\) (respectively \(\Omega \subset M^{-}\) ).
Definition 2.11
Let p be a singular point. Then, \(\alpha _+(p)\) (respectively \(\alpha _-(p)\)) is the sum of all interior angles of positive (respectively negative) singular sectors at p.
Proposition 2.12
(Theorem A in [35]) Let \(p\in M\setminus \partial M\) be a peak. The sum \(\alpha _+(p)\) of all interior angles of positive singular sectors at p and the sum \(\alpha _-(p)\) of all interior angles of negative singular sectors at p satisfy
Theorem 2.13
Let \(p\in \partial M\) be a singular point. We assume that the singular direction is transversal to the boundary \(\partial M\) at p.
If the null direction is transversal to the boundary \(\partial M\) at p, then
If the null direction is tangent to the boundary \(\partial M\) at p, then
Proof
The first part of this theorem follows from Proposition 2.15 in [35]. By Proposition 2.9, we get the second part. \(\square \)
Definition 2.14
A peak p in \(M\setminus \partial M\) is called positive (null, negative, respectively) if \(\alpha _+(p)-\alpha _-(p)>0\) (\(\alpha _+(p)-\alpha _-(p)=0\), \(\alpha _+(p)-\alpha _-(p)<0\), respectively).
Definition 2.15
A singular point p in \(\partial M\) is called positive (null, negative, respectively) if \(\alpha _+(p)-\alpha _-(p)>0\) (\(\alpha _+(p)-\alpha _-(p)=0\), \(\alpha _+(p)-\alpha _-(p)<0\), respectively).
Remark 2.16
It is easy to see that a peak p in \(\partial M\) is not null if \(\partial M\) is transversal to the singular direction at p and an \(A_2\)-singular point p in \(\partial M\) is null if the null vector at p is tangent to \(\partial M\).
Definition 2.17
Let p be a peak in \(\partial M\). We say that p is in the positive boundary (respectively in the negative boundary) if there exists a neighborhood U in M of p such that \((U\setminus \{p\})\cap \partial M\subset M^+\) (respectively \((U\setminus \{p\})\cap \partial M\subset M^-\)).
Let \(\sigma (t)\)\(( t\in (a;b) )\) be a \(C^2\)-regular curve on M. We assume that if \(\sigma (t)\in \Sigma \) then \(\dot{\sigma }(t)\) is transversal to the null direction at \(\sigma (t)\). Then, the image \(\psi \left( \dot{\sigma }(t)\right) \) does not vanish. Thus, we take a parameter \(\tau \) of \(\sigma \) such that
Definition 2.18
Let \(n(\tau )\) be a section of \(\mathcal {E}\) along \(\sigma (\tau )\) such that \(\{\psi (\frac{\text {d}}{\text {d} \tau }\sigma (\tau )), n(\tau )\}\) is a positive orthonormal frame. Then
is called the \(\mathcal {E}\)-geodesic curvature of \(\sigma \), which gives the geodesic curvature of the curve \(\sigma \) with respect to the orientation of \(\mathcal {E}\).
We assume that the curve \(\sigma \) is a singular curve consisting of \(A_2\)-points. Take a null vector field \(\eta (\tau )\) along \(\sigma (\tau )\) such that \(\{\frac{\text {d}}{\text {d} \tau }\sigma (\tau ), \eta (\tau )\}\) is a positively oriented field along \(\sigma (\tau )\) for each \(\tau \). Then, the singular curvature function is defined by
where \(\text{ sgn }(\text {d}\lambda _{\psi } (\eta (\tau )))\) denotes the sign of the function \(\text {d}\lambda _{\psi } (\eta )\) at \(\tau \). In a general parameterization of \(\sigma =\sigma (t)\), the singular curvature function is defined as follows
where \(\dot{\ }:=\frac{\text {d}}{\text {d}t}\), \(|\xi |:=\sqrt{\left\langle \xi ,\xi \right\rangle }\).
By Proposition 1.7 in [35] the singular curvature function does not depend on the orientation of M, the orientation on \(\mathcal E\), nor the parameter t of the singular curve \(\sigma (t)\).
By Proposition 2.11 in [35] the singular curvature measure \(\kappa _s\text {d}\tau \) is bounded on any singular curve, where \(\text {d}\tau \) is the arclength measure of this curve with respect to the first fundamental form \(\text {d}s^2\). Now, we prove the following proposition concerning the geodesic curvature measure on the boundary of M.
Proposition 2.19
Let \(\gamma :[0,\varepsilon )\rightarrow \partial M\) be a \(C^2\)-regular curve such that \(\Sigma \cap \gamma ([0,\varepsilon ))=\{\gamma (0)\}\) is an \(A_2\)-point and the vector \(\dot{\gamma }(0)\) is the null vector at \(\gamma (0)\). Then, the geodesic curvature measure \(\hat{\kappa }_g\text {d}\tau \) is continuous on \([0,\varepsilon )\) , where \(\text {d}\tau \) is the arclength measure with respect to the first fundamental form \(\text {d}s^2\).
Proof
The point \(\gamma (0)\in \partial M\) is a null \(A_2\)-point. By Proposition 2.8 we can write that \(\Psi (\dot{\gamma }(t))=t\zeta (t)\) for \(t\in [0,\tilde{\varepsilon })\) for sufficiently small \(\tilde{\varepsilon }\le \varepsilon \), where \(\zeta (t)\in \mathcal E_{\gamma (t)}\) and \(\zeta (0)=D_{\frac{\text {d}}{\text {d}t}}\psi \left( \dot{\gamma }(t)\right) |_{t=0}\ne 0\). The geodesic curvature in a general parameterization has the following form
Thus, the geodesic curvature measure
is bounded and continuous on \([0, \tilde{\varepsilon })\). It implies that the geodesic curvature measure is continuous on \([0,\varepsilon )\) since \(\Sigma \cap \gamma ([0,\varepsilon ))=\{\gamma (0)\}\). \(\square \)
Let \(U\subset M\) be a domain and let \(\{e_1, e_2\}\) be a positive orthonormal frame field on \(\mathcal {E}\) defined on U. Since D is a metric connection, there exists a unique 1-form \(\omega \) on U such that
for any smooth vector field X on U. The form \(\omega \) is called the connection form with respect to the frame \(\{e_1, e_2\}\). It is easy to check that \(\text {d}\omega \) does not depend on the choice of a frame \(\{e_1, e_2\}\) and gives a globally defined 2-form on M. Since D is a metric connection and it satisfies (2.1) we have
where K is the Gaussian curvature of the first fundamental form \(\text {d}s^2\) (see [35, 36]).
The next theorem is a generalization of the Gauss–Bonnet theorem for coherent tangent bundles over smooth compact-oriented surfaces with boundary.
Theorem 2.20
(The Gauss–Bonnet type formulas) Let \(\mathcal {E}\) be a coherent tangent bundle on a smooth compact-oriented surface M with boundary whose set of singular points \(\Sigma \) admits at most peaks. If the set of singular points \(\Sigma \) is transversal to the boundary \(\partial M\), then
where \(\text {d}\tau \) is the arc length measure, \(P^+\) (respectively \(P^-\)) is the set of positive (respectively negative) peaks in \(M\setminus \partial M\), \((\Sigma \cap \partial M)^+\) (respectively \((\Sigma \cap \partial M)^-\), \(\text {null}(\Sigma \cap \partial M)\)) is the set of positive (respectively negative, null) singular points in \(\Sigma \cap \partial M\), \(P_{\partial M^+}\) (respectively \(P_{\partial M^-}\)) is the set of peaks in the positive (respectively negative) boundary.
3 The Proof of Theorem 2.20
We use the method presented in the proof of Theorem B in [35]. First, we formulate the local Gauss–Bonnet theorem for admissible triangles.
Definition 3.1
A curve \(\sigma (t)\) (\(t\in [a,b]\)) is admissible on the surface with boundary if it satisfies one of the following conditions:
- (1)
\(\sigma \) is a \(C^2\)-regular curve such that \(\sigma ((a, b))\) does not contain a peak, and the tangent vector \(\dot{\sigma }(t)\) (\(t\in [a,b]\)) is transversal to the singular direction, the null direction if \(\sigma (t)\in \Sigma \) and \(\dot{\sigma }(t)\) is transversal to the boundary if \(\sigma (t)\in \partial M\).
- (2)
\(\sigma \) is a \(C^1\)-regular curve such that the set \(\sigma ([a,b])\) is contained in the set of singular points \(\Sigma \) and the set \(\sigma ((a,b))\) does not contain a peak.
- (3)
\(\sigma \) is \(C^2\)-regular curve such that the set \(\sigma ([a,b])\) is contained in the boundary \(\partial M\), the set \(\sigma ((a,b))\) does not contain a singular point and the tangent vector \(\dot{\sigma }(t)\) (\(t\in \{a,b\}\)) is transversal to the singular direction if \(\sigma (t)\in \Sigma \).
Remark 3.2
A curve \(\sigma (t)\) is admissible in the sense of Definition 2.12 in [35] if it satisfies conditions (1) or (2) in Definition 3.1. For the purpose of this paper we add (3) in Definition 3.1 and the transversality of the admissible curve to the boundary in (1).
Let U be a domain in M.
Definition 3.3
(See Definition 3.1 in [35]) Let \(\overline{T}\subset U\) be the closure of a simply connected domain T which is bounded by three admissible arcs \(\gamma _1\), \(\gamma _2\), \(\gamma _3\). Let A, B and C be the distinct three boundary points of T which are intersections of these three arcs. Then \(\overline{T}\) is called an admissible triangle on the surface with boundary if it satisfies the following conditions:
- (1)
\(\overline{T}\) admits at most one peak on \(\{A, B, C\}\).
- (2)
the three interior angles at A, B and C with respect to the metric g are all less than \(\pi \).
- (3)
if \(\gamma _j\) for \(j=1, 2, 3\) is not a singular curve, it is \(C^2\)-regular, namely it is a restriction of a certain open \(C^2\)-regular arc.
We write \(\Delta ABC:=\overline{T}\) and we denote by
the regular arcs whose boundary points are \(\{B,C\}, \{C,A\}, \{A,B\}\), respectively.
We give the orientation of \(\partial \Delta ABC\) compatible with respect to the orientation of M. We denote by \(\angle A, \angle B, \angle C\) the interior angles (with respect to the first fundamental form \(\text {d}s^2\)) of the piecewise smooth boundary of \(\Delta ABC\) at A, B and C, respectively if A, B and C are regular points.
If \(A\in M\setminus \partial M\) is a singular point and (U; u, v) is a g-coordinate system at A, then we set (see Proposition 2.15 in [35])
Let \(\sigma (t)\) be an admissible curve. We define a geometric curvature\(\tilde{\kappa }_g(t)\) in the following way:
where \(\hat{\kappa }_g\) is the geodesic curvature with respect to the orientation of M and \(\kappa _s\) is the singular curvature.
Proposition 3.4
Let \(\Delta ABC\) be an admissible triangle on the surface with boundary such that A is an \(A_2\)-point, \(\overline{AB}\subset \partial M\) and \(\Delta ABC\setminus \overline{AC}\) lies in \(M^+\) or in \(M^-\). Suppose that the boundary \(\partial M\) is transversal to \(\Sigma \) at A and let \(T_A\partial M\) be a null direction at A. Then
Proof
Without loss of generality, let us assume that \(\Delta ABC\setminus \overline{AC}\) lies in \(M^+\). If the arc \(\overline{AC}\subset \Sigma \) or the interior angle \(\angle BAC\) with respect to the metric g is greater than \(\frac{\pi }{2}\), we decompose the triangle \(\Delta ABC\) into admissible triangles \(\Delta ABD\) and \(\Delta ADC\) such that the interior angle \(\angle BAD\) with respect to the metric g is in the interval \((0, \frac{\pi }{2})\) and the arc \(\overline{AD}\) is transversal to the arc \(\overline{BC}\) at D, see Fig. 1. The formula (3.1) for \(\Delta ADC\) follows from Theorem 3.3 in [35], so it is enough to prove the formula (3.1) for the triangle \(\Delta ABD\).
We can take the arc \(\overline{AD}\) and rotate it around D with respect to the canonical metric \(\text {d}u^2+\text {d}v^2\) on the uv-plane. Then, we obtain a smooth one-parameter family of \(C^2\)-regular arcs starting at D. Since the interior angle \(\angle BAD\) is in \((0, \frac{\pi }{2})\) and \(\overline{BD}\), \(\overline{AD}\) are transversal at D, restricting the image of this family to the triangle \(\Delta ABD\), we obtain a family of \(C^2\)-regular curves
where \(\varepsilon \in [0,1]\) and:
- (i)
\(\gamma _0\) parameterizes \(\overline{AD}\) and \(\gamma _0(0)=A\), \(\gamma _0(1)=D\),
- (ii)
\(\gamma _{\varepsilon }(1)=D\) for all \(\varepsilon \in [0,1]\),
- (iii)
the correspondence \(\sigma :\varepsilon \mapsto \gamma _{\varepsilon }(0)\) gives a subarc of \(\overline{AB}\). We set \(A_{\varepsilon }=\gamma _\varepsilon (0)\), where \(A_0=A\).
Since \(\Delta A_{\varepsilon }BD\) for \(\varepsilon > 0\) is an admissible triangle, then by Theorem 3.3 in [35] we get that
Since \(\Delta ABD\) is admissible and \(\tilde{\kappa }_g\) is bounded on both \(\overline{AB}\) and \(\overline{AD}\), by taking the limit as \(\varepsilon \rightarrow 0^+\), we have that
By Proposition 2.8 we have
This completes the proof. \(\square \)
Remark 3.5
By Theorem 3.3 in [35] and Proposition 3.4 the equality (3.1) holds for any admissible triangle on a surface with boundary.
Let \(\overline{X}\), \(X^\circ \), \(\partial X\), respectively, denote the closure of a subset X of M, the interior of X and the boundary of X, respectively.
Let us triangulate M by admissible triangles such that each point in the set \(P\cup (\Sigma \cap \partial M)=:P^\star \) is a vertex, where P is the set all peaks in \(M^\circ \). Let T, E and V, respectively, denote the set of all triangles, the set of all edges and the set all of vertices in the given triangulation, respectively.
Lemma 3.6
The following relation holds:
Proof
By the definition of Euler’s characteristic we get that
Furthermore, it is easy to verify that
and
Combining together (3.3), (3.4) and (3.5) we end the proof. \(\square \)
Let us define the sum \(\sum _{\Delta ABC\in T, \Delta \subset \overline{M}^+}(\angle A+\angle B+\angle C-\pi )\) by \(S_+\).
Then,
By Lemma 3.6 we get that
where \(\deg _{X}(v)=\#\left\{ e\in E\ |\ e\subset X, v\in e\right\} \), where X is a subset of M. Since \(\partial M^+\) is an Eulerian graph, the number \(\deg _{\partial M^+}(v)\) is even and let us write that \(m_+(v):=\frac{1}{2}\deg _{\partial M^+}(v)\). Furthermore, if \(v\in (V\cap \partial M^+)\setminus P^\star \) then \(\deg _{\partial M^+}(v)=2\) and we get the relation
Hence we get the following:
Similarly we get that
where \(S_-=\sum _{\Delta ABC\in T, \Delta \subset \overline{M}^-}(\angle A+\angle B+\angle C-\pi )\) and \(m_-(v):=\frac{1}{2}\text{ deg }_{\partial M^-}(v)\).
It is easy to see that
Furthermore if \(p\in \Sigma \cap \partial M\), then
Lemma 3.7
The Euler characteristic of \(\Sigma \) is equal to
Proof
We know that
If \(p\in P\setminus \partial M\) then \(\deg _\Sigma (p)=\deg _{\Sigma \cup \partial M}(p)\) and if \(p\in \Sigma \cap \partial M\) then \(\deg _{\Sigma }(p)=\deg _{\Sigma \cup \partial M}(p)-2\). By (3.9) and (3.10) we get that
\(\square \)
Lemma 3.8
The following equality holds:
Proof
Since \(\chi (\overline{M}^+)+\chi (\overline{M}^-)=\chi (M)+\chi (\Sigma )\), by (3.6), (3.7), Lemma 3.7 and Theorem 2.13 we get that:
\(\square \)
Lemma 3.9
The following equality holds:
where \(P^+\) (respectively \(P^-\)) is the set of positive (respectively negative) peaks in \(M\setminus \partial M\), \((\Sigma \cap \partial M)^+\) (respectively \((\Sigma \cap \partial M)^-\)) is the set of positive (respectively negative) singular points in \(\Sigma \cap \partial M\), \(P_{\partial M^+}\) (respectively \(P_{\partial M^-}\)) is the set of peaks in the positive (respectively negative) boundary.
Proof
It is a consequence of (3.6), (3.7), Lemma 3.7 and Theorem 2.13 and the fact that \(\chi (\overline{M}^+)-\chi (\overline{M}^-)=\chi (M^+)-\chi (M^-)\). \(\square \)
Since the integration of the geometric curvature on curves which are not included in \(\Sigma \cup \partial M\) are canceled by opposite integrations and the singular curvature does not depend on the orientation of the singular curve, by Proposition 3.4 and Theorem 3.3 in [35] we get that
Hence
By Lemma 3.8, Lemma 3.9, (3.12) and (3.13) we complete the proof of Theorem 2.20.
4 Applications of the Gauss–Bonnet Formulas to Maps
As a corollary of Theorem 2.20 we get a special version of Fukuda–Ishikawa’s theorem (Theorem 1.1 in [12], see also [22]), which is the generalization of Quine’s formula (Theorem 1 in [33]) for surfaces with boundary (see also Proposition 3.6 in [37]). We assume that the set of singular points of a map is transversal to the boundary of a surface.
Proposition 4.1
Let M and N both be compact oriented connected surfaces with boundary. Let \(f:M\rightarrow N\) be a \(C^{\infty }\)-smooth map such that \(f(\partial M)\subset \partial N\) and \(f^{-1}(\partial N)=\partial M\) and whose set of singular points consists of folds and cusps. If the set of singular points of f is transversal to \(\partial M\) then the topological degree of f satisfies
where \(M^+_f\) (respectively \(M^-_f\)) is the set of regular points at which f preserves (respectively reverses) the orientation, \(S^+_f\) (respectively \(S^-_f\)) is the number of positive cusps (respectively the number of negative cusps).
Proof
Let h be a Riemannian metric on N and let D be the Levi–Civita connection on (N, h). Then, the tuple \((f^{*}TN, h, D, df)\) is a coherent tangent bundle on M (see [37]). Since \(f(\partial M)\subset \partial N\) and the set of singular points of f is transversal to \(\partial M\), there are no cusps in \(\partial M\) and all folds in \(\partial M\) are null singular points. Therefore, by Theorem 2.20 we get that:
The following identity holds
where \(\Omega _{12}\) is a curvature 2-form.
Furthermore, it is well known that \(\int _{M}f^*\Omega _{12}=\text{ deg }(f)\int _{N}\Omega _{12}\) (see for instance Remark 1 in [11] page 111). On the other hand, we have \(\int _N\Omega _{12}=\int _NK_NdA\), where \(K_N\) is the Gaussian curvature of N. By the Gauss–Bonnet theorem for N we get \(\int _{N}K_NdA =2\pi \chi (N)-\int _{\partial N}\kappa _{g}\text {d}\tau \), where \(\kappa _g\) is the geodesic curvature of \(\partial N\) in N. Thus,
Since \(f(\partial M)\subset \partial N\) and \(f^{-1}(\partial N)=\partial M\) and \(\left\langle \cdot , \cdot \right\rangle _p=h_{f(p)}(\cdot , \cdot )\) for p in M, we obtain that
By Theorem 13.2.1 [11, p. 105] we get \(\text{ deg }(f)=\text{ deg }\left( f\big |_{\partial M}\right) \).
By (4.2)–(4.4) we obtain the formula (4.1). \(\square \)
We can also get easily the generalization of Proposition 3.7 in [37] by the Gauss–Bonnet formulas.
Proposition 4.2
Let (N, h) be an oriented Riemannian 2-manifold, let M be a compact oriented 2-manifold with boundary. Let \(f:M\rightarrow N\) be a \(C^{\infty }\)-smooth map whose set of singular points consists of folds and cusps and is transversal to \(\partial M\). Then the total singular curvature \(\int _{\Sigma }\kappa _s \mathrm{d}\tau \) with respect to the length element \(\mathrm{d}\tau \) (with respect to h) on the set of singular points \(\Sigma \) is bounded, and satisfies the following identity
where \(M^+_f\) (respectively \(M^-_f\)) is the set of regular points at which f preserves (respectively reverses) the orientation, \(\widetilde{K}\) is the Gaussian curvature function on (N, h), \(\hat{\kappa } _g\) is a geodesic curvature, \(|f^*\mathrm{d}A_h|\) is the pull-back of the Riemannian measure of (N, h) and
where D is the Levi–Civita connection on N, \(\gamma \) is a \(C^2\)-regular parameterization of the boundary \(\partial M\) in the neighborhood of p and \(\sigma \) is a parameterization of \(\Sigma \) in the neighborhood of p.
5 Geometry of the Affine-Extended Wave Front
In this section, we apply Theorem 2.20 to an affine-extended wave front of a planar non-singular hedgehog. Fronts are examples of coherent tangent bundles (see [35]).
Planar hedgehogs are curves which can be parameterized using their Gauss map. A hedgehog can be also viewed as the Minkowski difference of convex bodies (see [23, 25,26,27,28]). The non-singular hedgehogs are also known as the rosettes (see [2, 31, 44]).
The singularities and the geometry of affine \(\lambda \)-equidistants were very widely studied in many papers [1, 7,8,9, 16, 18, 34, 41]. The envelope of affine diameters (the centre symmetry set) was studied in [5, 13,14,15, 17].
Let \(\mathcal {C}\) be a smooth parameterized curve on the affine plane \(\mathbb {R}^2\), i.e. the image of the \(C^{\infty }\)-smooth map from an interval to \(\mathbb {R}^2\). We say that a smooth curve is closed if it is the image of a \(C^{\infty }\)-smooth map from \(S^1\) to \(\mathbb {R}^2\). A smooth curve is regular if its velocity does not vanish. A closed regular curve is called an m-rosette if its signed curvature is positive and its rotation number is m. A convex curve is a 1-rosette.
Definition 5.1
A pair of points \(a,b\in \mathcal {C}\) (\(a\ne b\)) is called a parallel pair if the tangent lines to \(\mathcal {C}\) at a and b are parallel.
Definition 5.2
An affine\(\lambda \)-equidistant is the following set:
The set \(E_{\frac{1}{2}}(\mathcal {C})\) will be called the Wigner caustic of \(\mathcal {C}\).
A chord passing through a parallel pair \(a, b \in C\) is the following set:
Definition 5.3
The centre symmetry set of \(\mathcal {C}\), which we will denote as \({\textit{CSS}}(\mathcal {C})\), is the envelope of all chords passing through parallel pairs of \(\mathcal {C}\).
If \(\mathcal {C}\) is a generic convex curve, then the Wigner caustic of \(\mathcal {C}\), \({E}_{\lambda }(\mathcal {C})\), for a generic \(\lambda \), and \({\textit{CSS}}(\mathcal {C})\) are smooth closed curves with at most cusp singularities [1, 13, 15, 17], the number of cusps of the Wigner caustic and the centre symmetry set of \(\mathcal {C}\) are odd and not smaller than 3 [1, 13], the number of cusps of \({\textit{CSS}}(\mathcal {C})\) is not smaller than the number of cusps of \({E}_{\frac{1}{2}}(\mathcal {C})\) [5] and the number of cusps of \({E}_{\lambda }(\mathcal {C})\) is even for a generic \(\lambda \ne \frac{1}{2}\) [10]. Moreover, cusp singularities of all \({E}_{\lambda }(\mathcal {C})\) are lying on smooth parts of \({\textit{CSS}}(\mathcal {C})\) [15]. In addition, if \(\mathcal {C}\) is a convex curve, then the Wigner caustic is contained in a closure of the region bounded by the centre symmetry set ([3], see Fig. 2). The Wigner caustic also appears in one of the two constructions of bi-dimensional improper affine spheres. This construction can be generalized to higher even dimensions [4]. The oriented area of the Wigner caustic improves the classical planar isoperimetric inequality and gives the relation between the area and the perimeter of smooth convex bodies of constant width [42,43,44]. Recently, the properties of the middle hedgehog, which is a generalization of the Wigner caustic in the case of non-smooth convex bodies, were studied in [39, 40].
Definition 5.4
The extended affine space is the space \(\mathbb {R}^{3}_e=\mathbb {R}\times \mathbb {R}^2\) with coordinate \(\lambda \in \mathbb {R}\) (called the affine time) on the first factor and a projection on the second factor denoted by \(\pi :\mathbb {R}^3_e\ni (\lambda ,x)\mapsto x\in \mathbb {R}^2\).
Definition 5.5
Let \(R_m\) be an m-rosette. The affine extended wave front of \(R_m\) is the following set:
\(\mathbb {E}(R_m)\) is the union of all \({E}_{\lambda }(R_m)\) for \(\lambda \in [0,1]\), each embedded into its own slice of the extended affine space.
Note that, when \(R_m\) is a circle on the plane, then \(\mathbb {E}(R_m)\) is the double cone, which is a smooth manifold with the nonsingular projection \(\pi \) everywhere, but at its singular point, which projects to the center of the circle (the center of symmetry).
We will study the geometry of \(\mathbb {E}(R_m)\) through the support function of \(R_m\) [2, 44]. Take a point O as the origin of our frame. Let \(\theta \) be the oriented angle from the positive \(x_1\)-axis. Let \(p(\theta )\) be the oriented perpendicular distance from O to the tangent line at a point on \(R_m\) and let this ray and \(x_1\)-axis form an angle \(\theta \). The function p is a single valued periodic function of \(\theta \) with period \(2m\pi \) and the parameterization of \(R_m\) in terms of \(\theta \) and \(p(\theta )\) is as follows
Then, the radius of curvature \(\rho \) of \(R_m\) is in the following form
or equivalently, the curvature \(\kappa \) of \(R_m\) is given by
In Fig. 3 we illustrate (with different opacities) the surface \(\mathbb {E}(R_1)\), where \(R_1\) is an oval represented by the support function \(p(\theta )=11-\frac{1}{2}\cos 2\theta +\sin 3\theta \). We also present the following curves: \(\{0\}\times R_1\), \(\{1\}\times R_1\), \(\{\frac{1}{2}\}\times E_{\frac{1}{2}}(R_1)\), \(\{0\}\times E_{\frac{1}{2}}(R_1)\) and \(\{0\}\times {\textit{CSS}}(R_1)\).
Let \(\Sigma \) be a set of singular points of \(\mathbb {E}\). It is well known that \(\pi (\Sigma (\mathbb {E}(R_1)))={\textit{CSS}}(R_1)\) and the map \(\Sigma (\mathbb {E}(R_1))\ni p\mapsto \pi (p)\in {\textit{CSS}}(R_1)\) is the double covering of \({\textit{CSS}}(R_1)\).
Let \(\mathbb {E}_k(R_m)\) for \(k=1, \ldots , m\) be a branch of \(\mathbb {E}(R_m)\) which has the following parameterization
We use the following notation:
In Figs. 4 and 5 we illustrate (with different opacities) the branches \(\mathbb {E}_1(R_2)\) and \(\mathbb {E}_2(R_2)\), respectively, where \(R_2\) is a 2-rosette represented by the support function \(p(\theta )=11+\sin \frac{\theta }{2}-7\cos \frac{3\theta }{2}-\frac{1}{2}\sin 2\theta \).
Directly by Definition 5.5 we get the following proposition.
Proposition 5.6
Every branch of \(\mathbb {E}(R_m)\) is a ruled surface.
It is well known that the Gaussian curvature of a ruled surface at a non-singular point is non-positive. By direct calculation we get the following proposition.
Proposition 5.7
Let \(R_m\) be an m-rosette.
- (i)
A point \((\lambda ,\theta )\) is a singular point of \(\mathbb {E}_k(R_m)\) if and only if
$$\begin{aligned} \frac{\kappa (\theta )}{\kappa (\theta +k\pi )}=(-1)^{k+1}\frac{\lambda }{1-\lambda }. \end{aligned}$$(5.6) - (ii)
A singular point \((\lambda _0,\theta _0)\) is a cuspidal edge if and only if
$$\begin{aligned} \left( \frac{\kappa (\theta +k\pi )}{\kappa (\theta )}\right) '\Big |_{(\lambda _0,\theta _0)}\ne 0. \end{aligned}$$(5.7) - (iii)
A singular point \((\lambda _0,\theta _0)\) is a swallowtail if and only if
$$\begin{aligned} \left( \frac{\kappa (\theta +k\pi )}{\kappa (\theta )}\right) '\Big |_{(\lambda _0,\theta _0)}=0\ \text {and}\ \left( \frac{\kappa (\theta +k\pi )}{\kappa (\theta )}\right) ''\Big |_{(\lambda _0,\theta _0)}\ne 0. \end{aligned}$$(5.8)
Proof
We use (5.4) as the parameterization of \(\mathbb {E}_k(R_m)\). Let us notice that \(f_k\) is singular if and only if \(\left( f_k\right) _{\lambda }\times \left( f_k\right) _{\theta }=0\). This condition is equivalent to (5.6). By Fact 1.5 in [36] we get (5.7) and (5.8). \(\square \)
Remark 5.8
By Theorem 3.3 in [15] there exists an open and dense subset of the space of rosettes such that the affine extended wave front \(\mathbb {E}(R_m)\) has only \(A_2\) and \(A_3\) singularities (cuspidal edges and swallowtails) for any rosette \(R_m\) in this subset. Thus, by Proposition 5.7 a rosette \(R_m\) is called generic if there do not exist \(\theta \) and \(k\in \{1,\cdots ,m\}\) such that
By direct calculation we get the following proposition (see also Definition 2.2).
Proposition 5.9
If \(R_m\) is generic then every singular point of \(\mathbb {E}(R_m)\) is non-degenerate.
Remark 5.10
In [6, 10, 44] we study in details the geometry of affine \(\lambda \)-equidistants of rosettes. We show among other things that there exist m branches of \(E_{\frac{1}{2}}(R_m)\) and \(2m-1\) branches of \(E_{\lambda }(R_m)\) for \(\lambda \ne 0, \frac{1}{2}, 1\). Let \(E_{\frac{1}{2}, k}(R_m)\) for \(k=1, 2,\ldots , m\) denote different branches of \(E_{\frac{1}{2}}(R_m)\) and let \(E_{\lambda , k}(R_m)\) for \(k=1, 2, \ldots , 2m-1\) denote different branches of \(E_{\lambda }(R_m)\) for \(\lambda \ne 0, \frac{1}{2}, 1\). Then, the support function of \(E_{\frac{1}{2}, k}(R_m)\) for \(k=1,\ldots , m\) is in the form (5.10), the support function of \(E_{\lambda , k}(R_m)\) for \(k=1, 2,\ldots , m\) (respectively \(k=m+1, m+2, \ldots , 2m-1\)) in the form (5.11) (respectively in the form (5.12)), where
Let \(\gamma _{\lambda , k}\) denote the parameterization of \(E_{\lambda , k}\) in terms of the support function accordingly to (5.10), (5.11) and (5.12), respectively. Furthermore each branch of \(E_{\lambda }(R_m)\), except \(E_{\frac{1}{2}, m}(R_m)\), has the rotation number equal to m. The rotation number of \(E_{\frac{1}{2}, m}(R_m)\) is equal to \(\frac{m}{2}\). If \(R_m\) is a generic m-rosette then for \(\lambda \in (0,1)-\{\frac{1}{2}\}\) only branches \(E_{\lambda , k}(R_m)\) for \(k=1, 3, \ldots , 2\lceil \frac{1}{2}m\rceil -1, m+1, m+3, \ldots , m+2\lceil \frac{1}{2}m\rceil -1\) can admit cusp singularities and branches \(E_{\frac{1}{2}, k}(R_m)\) for \(k=1, 3, \ldots , 2\lceil \frac{1}{2}m\rceil -1\) has cusp singularities. By [13] we known that if a, b is parallel pair of \(R_m\) and \(R_m\) is parameterized at a and b in different directions and \(\kappa (a), \kappa (b)\) denote the signed curvatures of \(R_m\) at a and b, respectively, then the point \(\frac{a\kappa _1+b\kappa _2}{\kappa _1+\kappa _2}\), which is lying on the line between a and b, belongs to \({\textit{CSS}}(R_m)\).
Corollary 5.11
Let \(R_m\) be a generic m-rosette. Then, \({\textit{CSS}}(R_m)\) which is created from singular points of \(E_{\lambda }(R_m)\) for \(\lambda \in [0,1]\) consists of exactly \(2\lceil \frac{1}{2}m\rceil -1\) branches.
Proof
It is a consequence of Remark 5.10. \(\square \)
Let \({\textit{CSS}}_k(R_m)\) for \(k=1, 3, \ldots , 2\lceil \frac{1}{2}m\rceil -1\) denote a branch of \({\textit{CSS}}(R_m)\). Then, the parameterization of \({\textit{CSS}}_k(R_m)\) is in the following form
where if \(k<m\) then \(\theta \in [0,2m\pi ]\) and if \(k=m\) then \(\theta \in [0,m\pi ]\).
Lemma 5.12
Let \(\mathcal {C}\) be a closed smooth curve with at most cusp singularities and let the rotation number of \(\mathcal {C}\) be m. If m is an integer, then the number of cusp singularities is even. If m is the form \(\frac{1}{2}d\), where d is an odd integer, then the number of cusp singularities is odd.
Proof
A continuous normal vector field to the germ of a curve with the cusp singularity is directed outside the cusp on the one of two connected regular components and is directed inside the cusp on the other component as it is shown in Fig. 6. If m is an integer, then the number of cusps of \(\mathcal {C}\) is even, otherwise is odd. \(\square \)
Proposition 5.13
Let \(R_m\) be a generic m-rosette. If \(k=m\) and m is an odd number, then the number of cusp singularities of \({\textit{CSS}}_k(R_m)\) is odd and not smaller than the number of cusp singularities of \(E_{\frac{1}{2}, k}(R_m)\), otherwise the number of cusp singularities of \({\textit{CSS}}_k(R_m)\) is even and not smaller than the number of cusp singularities of \(E_{\frac{1}{2}, k}(R_m)\), which is even and positive.
Proof
The parity of the number of cusp singularities of \({\textit{CSS}}_k(R_m)\) is a consequence of (5.13) and Lemma 5.12.
Let m be even and \(k\leqslant m\) or m be odd and \(k<m\). By Theorem 2.9 in [44] we know that \(E_{\frac{1}{2}, k}(R_m)\) has at least 2 cusp singularities. Because the cusp in \(E_{\frac{1}{2}}\) appears when \(\frac{\kappa (a)}{\kappa (b)}=1\) and cusp in \({\textit{CSS}}\) appears when \(\left( \frac{\kappa (a)}{\kappa (b)}\right) '=0\) [5, 13], where a, b is a parallel pair and \('\) is used to denote the derivative with respect to the parameter along the corresponding segment of a curve. Therefore, by Roll’s theorem we get that the number of cusp singularities of \({\textit{CSS}}_k(R_m)\) is not smaller than the number of cusp singularities of \(E_{\frac{1}{2}, k}(R_m)\). The same arguments works when m is odd and \(k=m\). \(\square \)
Corollary 5.14
Let \(R_m\) be an m-rosette. Then, the number of branches of \(\mathbb {E}(R_m)\) is equal to m and a branch \(\mathbb {E}_k(R_m)\) is singular if and only if k is odd.
In Figs. 4 and 5 we present two branches of \(\mathbb {E}(R_2)\): \(\mathbb {E}_1(R_2)\) and \(\mathbb {E}_2(R_2)\), respectively.
Proposition 5.15
Let \(R_m\) be an m-rosette and let p be a non-singular point of \(\mathbb {E}_k(R_m)\). Then, the Gaussian curvature of \(\mathbb {E}_k(R_m)\) at p is equal to 0.
Proof
The surface is parameterized by (5.4).
At a non-singular point \((\lambda , \theta )\) the Gaussian curvature K of \(\mathbb {E}_k\) is equal to
Since \(\left( f_k\right) _{\lambda \lambda }=0\) and vectors \(\left( f_k\right) _{\theta }\) and \(\left( f_k\right) _{\lambda \theta }\) are linearly dependent, the Gaussian curvature \(K_k\) at a non-singular point of \(\mathbb {E}_k\) is equal to zero. \(\square \)
Definition 5.16
Let \(R_m\) be an m-rosette. Let \(k\in \{1,2,\ldots ,m\}\). Then, the k-width of \(R_m\) for an oriented angle \(\theta \) is the following
Remark 5.17
Let \(R_m\) be a generic m-rosette and \(k\leqslant m\) be an odd number. From now on we set
The map \((f_k,\nu _k)\) is a front. Then, the coherent tangent bundle \(\mathcal {E}^{f_k}\) over M has the following fiber at \(p\in M\)
The set of singular points \(\Sigma _k\) is parameterized by \((\lambda _k(\theta ),\theta )\), where \(\lambda _k(\theta )=\frac{\kappa (\theta )}{\kappa (\theta )+\kappa (\theta +k\pi )}\). Let us notice that
Furthermore, if the function \(\lambda _k(\theta )\) has a local minimum, then the point \((\lambda _k(\theta ),\theta )\) is a negative peak and if \(\lambda _k(\theta )\) has a local maximum, then this point is a positive peak. See Fig. 7.
Proposition 5.18
Let \(R_m\) be a generic m-rosette. Let k be an odd number and let \(\lambda \in [0,1]\). Then, the \(\mathcal {E}^{f_k}\)-geodesic curvature of a curve \(\{\lambda \}\times S^1\) in M at a non-singular point is equal to
Proof
Let \(s_k(\lambda ,\theta ):=\lambda \rho (\theta )-(1-\lambda )\rho (\theta +k\pi )\). Then (5.16) follows from the formula
\(\square \)
Proposition 5.19
Let \(R_m\) be a generic m-rosette. Let k be an odd number. Then the singular curvature on a cuspidal edge at a point \(\left( \frac{\kappa (\theta )}{\kappa (\theta )+\kappa (\theta +k\pi )},\ \theta \right) \) is equal to
where \(\kappa _{{\textit{CSS}}_k}(\theta )\) is a the curvature of \({\textit{CSS}}_k(R_m)\), which is given by the following formula:
Proof
It is a direct consequence of the formula of the singular curvature and the formula of the curvature of the centre symmetry set (see Lemma 2.6 in [10]). \(\square \)
By Theorem 1.6 in [36] we know that the singular curvature does not depend on the orientation of the parameter \(\theta \), the orientation of M, the choice of \(\nu \), nor the orientation of the singular curve. The sign of the singular curvature have a geometric interpretation, if the singular curvature is positive (respectively negative) then the cuspidal edge is positively (respectively negatively) curved. See Fig. 8.
We find a formula which gives us the relation between the total singular curvature on set of singular points and the total geodesic curvature on the boundary of M. The integrals in (5.19)–(5.22) can be seen as integrals on \(f_k(\Sigma _k)\) and \(f_k(\{\lambda \}\times S^1)=\{\lambda \}\times E_{k,\lambda }(R_m)\) since the arclength measure, the singular curvature and \(\mathcal {E}^{f_k}\)-geodesic curvature are defined with respect to the first fundamental form \(\text {d}s^2\) which is the pullback of metric \(\left\langle \cdot , \cdot \right\rangle \) on \(\mathbb {E}_k(R_m)\subset \mathbb {R}^3\).
Theorem 5.20
Let k be an odd number. Let \(R_m\) be a generic m-rosette. Then
where \(\text {d}\tau \) denote the arc length measure and the orientation of \(\{1\}\times S^1\) is compatible with the orientation of M.
Proof
By Remark 5.17 we get that \((f_k, \nu _k): M\rightarrow \mathbb {R}^3\times S^2\) is a front. The boundary of M does not intersect the set of singular points \(\Sigma \). By genericity of \(R_m\) this front satisfies the assumptions of Theorem 2.20. Since \(\lambda _k(\theta )+\lambda _k(\theta +k\pi )=1\), we get that \(M^+\) and \(M^-\) are symmetric. Hence \(\chi (M^+)=\chi (M^-)\) and \(\#P^-=\#P^+\).
By Proposition 5.15 and Theorem 2.20 we get that
and then we get (5.19). \(\square \)
Theorem 5.21
Let k be an odd number, \(R_m\) be a generic m-rosette and \(\lambda \in [0,1)\). If \(E_{k, \lambda }(R_m)\) admits at most cusp singularities, then
where the orientations of \(S^1\) in the integrals on the left hand sides and the right-hand sides are opposite in the above formulas, \(C=\Sigma _k\cap (\{\frac{1}{2}\}\times S^1)\), \(\text {d}\tau \) is the arclength measure and
where \(p=(\frac{1}{2}, \theta )\) and \(\beta (\theta )\) is the angle between the tangent vector to \(R_m\) at \(\gamma (\theta )\) and the vector \(\gamma (\theta +k\pi )-\gamma (\theta )\).
Proof
Let \(M_{\lambda }:=[\lambda ,1]\times S^1\). By Remark 5.17 we get that \((f_k, \nu _k)\big |_{M_{\lambda }}:M_{\lambda }\rightarrow \mathbb {R}^3\times S^2\) is a front. It is easy to see that \(\chi (M_{\lambda }^+)=0\) and \(\chi (M_{\lambda }^{-})=\# P^+-\# P^-\) is the number of cusps of \(\mathcal {E}^{f_k}\big |_{M_{\lambda }}\) (that is \(\#\big (\Sigma _k\cap (\{\lambda \}\times S^1)\big )\)). Since every point \(p\in \Sigma _k\cap \partial M_{\lambda }\) is a null singular point, by Theorem 2.20 (see (2.9)) we get (5.20).
By the genericity of \(R_m\) the front \((f_k, \nu _k)\big |_{M_{\frac{1}{2}}}\) satisfies the assumptions of Theorem 2.20. Since \(\int _{\Sigma _k}\kappa _s\text {d}\tau = 2\int _{\Sigma _k\cap M_{\frac{1}{2}}}\kappa _s\text {d}\tau \), we get (5.21) and (5.22).
The angle between initial vectors (see Definition 2.5) of the singular curve at p and of the boundary curve at p is \(\alpha _+(p)\) (see Theorem 2.20). By Proposition 2.7 and Proposition 2.8 we get (5.23). \(\square \)
Furthermore, directly by (2.9) we get the following proposition.
Proposition 5.22
Let k be an odd number. Let \(R_m\) be a generic m-rosette. Let \(\mathcal {C}^+\) (respectively \(\mathcal {C}^-\)) be a simple regular curve in \(M^+\) (respectively \(M^-\)) which is smoothly homotopic to \(\{1\}\times S^1\) (respectively \(\{0\}\times S^1\)). If the orientations of \(\mathcal {C}^+\), \(\mathcal {C}^-\) are opposite then
where \(\text {d}\tau \) denote the arc length measure.
By Theorem 5.20 we can get the relation between integrals of the curvature of the centre symmetry set, the curvature of the rosette and the width of the rosette.
Corollary 5.23
Let k be an odd number and let \(R_m\) be a generic m-rosette. Then
where s (respectively \(\ell \)) is the arc length parameter on \(R_m\) (respectively on \({\textit{CSS}}_m(R_m)\)).
Theorem 5.24
Let k be an odd number and let \(R_m\) be a generic m-rosette. Then
Proof
The proof is a straightforward use of (5.16), (5.17) and the fact that \(\rho (\theta )+\rho (\theta +k\pi )=w_k(\theta )+w''_k(\theta )\). \(\square \)
Remark 5.25
Since \(w_k(\theta )=\sinh (C_1\theta +C_2)\) for \(C_1,C_2\in \mathbb {R}\) is the general solution of
the only periodic solution of (5.26) is a constant function. Therefore, the relation (5.25) is naively fulfilled only for rosettes of constant k-width.
Remark 5.26
The condition that w is \(C^2\)-smooth cannot be omitted. We can consider the function \(w(\theta )=1+\left| x-\pi \right| ^3\) and the interval \([0,2\pi ]\). One can check that relation (5.25) does not hold.
Remark 5.27
By (5.15) the odd coefficients of the Fourier series of a width of an oval vanish. Thus, a function \(w(\theta )=2+\sin 3\theta \) is not a width of any oval but it satisfies the relation (5.25).
Conjecture 5.28
Let \(w:\mathbb {R}\rightarrow \mathbb {R}\) be a \(2\pi \)-periodic \(C^2\)-smooth function. Then, w satisfies the relation
In [29, 30] other invariants of cuspidal edges of fronts are introduced. Let \((f,\nu ):M\mapsto \mathbb R^3\times S^2\) be a front. Let \(\gamma \) be a singular curve near an \(A_2\)-point (a cuspidal edge) and \(\eta \) be a null direction along \(\gamma \) such that the singular direction \(\gamma '\) and the null direction \(\eta \) form a positively oriented frame. We put \(\hat{\gamma }=f\circ \gamma \), \(f_{\eta }=df(\eta )\), \(f_{\eta , \eta }=d(f_{\eta })(\eta )\), \(f_{\eta , \eta , \eta }=d(f_{\eta , \eta })(\eta )\). Then, the limiting normal curvature along\(\gamma \) is defined in the following way
The cuspidal curvature along\(\gamma \) is defined as follows:
The cusp-directional torsion is defined by the formula
In [36], it was shown that a point p is a generic cuspidal edge if and only if \(\kappa _{\nu }(p)\) does not vanish. The curvature \(\kappa _c\) is exactly the cuspidal curvature of the cusp of the plane curve obtained as the intersection of the surface by the plane H, where H is orthogonal to the tangential direction at a given cuspidal edge [30]. For the geometrical meaning of the cusp-directional torsion (5.30) see Proposition 5.2 in [29] and for global properties see Appendix A in [29]. By straightforward calculations we obtain the following lemma.
Lemma 5.29
Let \(R_m\) be a generic m-rosette. Let k be an odd number. Then the normal curvature \(\kappa _{k, \nu }\), the cuspidal curvature \(\kappa _{k, c}\) and the cusp-directional torsion \(\kappa _{k, t}\) of the cuspidal edge of \(\mathbb {E}_k(R_m)\) at a point \(\left( \frac{\kappa (\theta )}{\kappa (\theta )+\kappa (\theta +k\pi )}, \theta \right) \) are given by the following formulas
Proposition 5.30
Let \(R_m\) be a generic m-rosette. Let k be an odd number. Then
- (i)
cuspidal edges of \(\mathbb {E}_k(R_m)\) are not generic,
- (ii)
the mean curvature of \(\mathbb {E}_k(R_m)\) is not bounded,
- (iii)
the total torsion of the image of singular curve \(\hat{\gamma }_k(\theta )\) for \(\theta \in [0,2k\pi ]\) is equal to \(2n\pi \) for some integer n, i.e.
$$\begin{aligned} \int _{\gamma _k}\tau _k(s)\mathrm{d}s=2n\pi , \end{aligned}$$(5.34)where \(\gamma _k\) is the singular curve, \(\tau _k\) is a torsion of \(\hat{\gamma }_k\) and s is the arc length parameter of \(\hat{\gamma }_k\).
Proof
-
(i)
It is a consequence of (5.31).
-
(ii)
Since \(\kappa _{k, c}(p)\ne 0\) for any cuspidal edge \(p\in \Sigma \), then by Proposition 2.8 in [30] we get that the mean curvature of \({\textit{CSS}}_k(R_m)\) is not bounded.
-
(iii)
From Appendix A in [29] we know that in our case there is the following equality
$$\begin{aligned} \int _{\gamma _k}\kappa _{k,t}(s)\text {d}s = \int _{\gamma _k}\tau _k(s)\text {d}s - 2n\pi . \end{aligned}$$It is easy to see that \(\int _{\gamma _k}\kappa _{k,t}(s)\text {d}s = 0\). Hence (5.34) holds.
\(\square \)
Remark 5.31
For the geometrical meaning of the number n in Corollary 5.30(iii) see Appendix A in [29]. In [32], authors show that the total torsion of a closed line of curvature on a surface (i.e. a closed curve on a surface whose tangents are always in the direction of a principal curvature) is \(l\pi \), where l is an integer. Furthermore, they show that if the total torsion of a closed curve is \(l\pi \) for an integer l, then this curve can appear as a line of curvature on a surface and if l is even, then it can appear as a line of curvature on a surface of genus 1.
References
Berry, M.V.: Semi-classical mechanics in phase space: a study of Wigner’s function. Philos. Trans. R. Soc. Lond. A 287, 237–271 (1977)
Cieślak, W., Mozgawa, W.: On rosettes and almost rosettes. Geom. Dedicata 24(2), 221–228 (1987)
Craizer, M.: Iteration of involutes of constant width curves in the Minkowski plane. Beiträge zur Algebra und Geometrie 55(2), 479–496 (2014)
Craizer, M., Domitrz, W., Rios, P.M.: Even dimensional improper affine spheres. J. Math. Anal. Appl. 421(2), 1803–1826 (2015)
Domitrz, W., Rios, P.M.: Singularities of equidistants and Global Centre Symmetry sets of Lagrangian submanifolds. Geom. Dedicata 169, 361–382 (2014)
Domitrz, W., Zwierzyński, M.: Singular points of the Wigner caustic and affine equidistants of planar curves. Bull. Braz. Math. Soc. New Series (2019). https://doi.org/10.1007/s00574-019-00141-4
Domitrz, W., Manoel, M., Rios, P.M.: The Wigner caustic on shell and singularities of odd functions. J. Geom. Phys. 71, 58–72 (2013)
Domitrz, W., Rios, P.M., Ruas, M.A.S.: Singularities of affine equidistants: projections and contacts. J. Singul. 10, 67–81 (2014)
Domitrz, W., Janeczko, S., Rios, P.M., Ruas, M.A.S.: Singularities of affine equidistants: extrinsic geometry of surfaces in 4-space. Bull. Braz. Math. Soc. (N.S.) 47(4), 1155–1179 (2016)
Domitrz, W., Zwierzyński, M.: The geometry of the Wigner caustic and affine equidistants of planar curves. arXiv:1605.05361v4
Dubrovin, B.A., Fomenko, A.T., Novikov, S.P.: Modern Geometry—Methods and Applications. Part II, The Geometry and Topology of Manifolds. Graduate Texts in Mathematics, vol. 104, Springer, New York
Fukuda, T., Ishikawa, G.: On the number of cusps of stable perturbations of a plane-to-plane singularity. Tokyo J. Math. 10(2), 375–384 (1987)
Giblin, P.J., Holtom, P.A.: The Centre Symmetry Set, Geometry and Topology of Caustics, vol. 50, pp. 91–105. Banach Center Publications, Warsaw (1999)
Giblin, P.J., Reeve, G.M.: Centre symmetry sets of families of plane curves. Demonstr. Math. 48, 167–192 (2015)
Giblin, P.J., Zakalyukin, V.M.: Singularities of centre symmetry sets. Proc. Lond. Math. Soc. (3) 90, 132–166 (2005)
Giblin, P.J., Warder, J.P., Zakalyukin, V.M.: Bifurcations of affine equidistants. Proc. Steklov Inst. Math. 267, 57–75 (2009)
Janeczko, S.: Bifurcations of the center of symmetry. Geom. Dedicata 60, 9–16 (1996)
Janeczko, S., Jelonek, Z., Ruas, M.A.S.: Symmetry defect of algebraic varieties. Asian J. Math. 18(3), 525–544 (2014)
Kokubu, M., Rossman, W., Saji, K., Umehara, M., Yamada, K.: Singularities flat fronts in hyperbolic 3-space. Pac. J. Math. 221, 265–299 (2005)
Kossowski, M.: The Boy–Gauss–Bonnet theorems for \(C^1\)-singular surfaces with limiting tangent bundle. Ann. Glob. Anal. Geom. 21, 19–29 (2002)
Kossowski, M.: Realizing a singular first fundamental form as a nonimmersed surface in Euclidean 3-space. J. Geom. 81, 101–113 (2004)
Krzyżanowska, I., Szafraniec, Z.: On polynomial mappings from the plane to the plane. J. Math. Soc. Jpn. 66(3), 805–818 (2014)
Langevin, R., Levitt, G., Rosenberg, H.: Hérissons et multihérissons (enveloppes parametrées par leur application de Gauss). (French) [Hedgehogs and multihedgehogs (envelopes parametrized by their Gauss map)] Singularities (Warsaw, 1985), pp. 245–253. Banach Center Publications, 20, PWN, Warsaw (1988)
Langevin, R., Levitt, G., Rosenberg, H.: Classes d’homotopie de surfaces avec rebroussements et queues d’aronde dans \(\mathbb{R}^3\). Can. J. Math. 47, 544–572 (1995)
Martinez-Maure, Y.: Hedgehogs and Zonoids. Adv. Math. 158(1), 1–17 (2001)
Martinez-Maure, Y.: Théorie des hérissons et polytopes. Comptes Rendus de l’Académie des Sciences de Paris, Série I(336), 241–244 (2003)
Martinez-Maure, Y.: Geometric study of Minkowski differences of plane convex bodies. Can. J. Math. 58, 600–624 (2006)
Martinez-Maure, Y.: Hedgehog theory via Euler Calculus. Beitraege zur Algebra und Geometrie 56, 397–421 (2015)
Martins, L.F., Saji, K.: Geometric invariants of cuspidal edges. Can. J. Math. 68(2), 445–462 (2016)
Martins, L.F., Saji, K., Umehara, M., Yamada, K.: Behavior of Gaussian Curvature and Mean Curvature Near Non-degenerate Singular Points on Wave Fronts. Springer Proceedings in Mathematics & Statistics, vol. 154, pp. 247–281 (2016)
Miernowski, A., Mozgawa, W.: Isoptics of rosettes and rosettes of constant width. Note di Matematica 15(2), 203–213 (1995)
Qin, Y.A., Li, S.J.: Total torsion of closed lines of curvature. Bull. Aust. Math. Soc. 65(1), 73–78 (2002)
Quine, J.R.: A global theorem for singularities of maps between oriented \(2\)-manifolds. Trans. Am. Math. Soc. 236, 307–314 (1978)
Reeve, G.M., Tari, F.: Minkowski Symmetry Sets of Plane Curves. Proc. Edinb. Math. Soc. (2) 60(2), 461–480 (2017)
Saji, K., Umeraha, M., Yamada, K.: Behavior of corank-one singular points on wave fronts. Kyushu J. Math. 62, 259–280 (2008)
Saji, K., Umeraha, M., Yamada, K.: The geometry of fronts. Ann. Math. 169, 491–529 (2009)
Saji, K., Umehara, M., Yamada, K.: Coherent tangent bundles and Gauss–Bonnet formulas for wave fronts. J. Geom. Anal. 22(2), 383–409 (2012)
Saji, K., Umehara, M., Yamada, K.: An index formula for a bundle homomorphism of the tangent bundle into a vector bundle of the same rank, and its applications. J. Math. Soc. Jpn. 69(1), 417–457 (2017)
Schneider, R.: Reflections of planar convex bodies. In: Convexity and Discrete Geometry Including Graph Theory. Springer Proceedings in Mathematics and Statistics, vol. 148, pp. 69–76. Springer, Cham (2016)
Schneider, R.: The middle hedgehog of a planar convex body. Beitrage zur Algebra und Geometrie 58, 235–245 (2017)
Zakalyukin, V.M.: Envelopes of families of wave fronts and control theory. Proc. Steklov Math. Inst. 209, 133–142 (1995)
Zwierzyński, M.: The improved isoperimetric inequality and the Wigner caustic of planar ovals. J. Math. Anal. Appl. 442(2), 726–739 (2016)
Zwierzyński, M.: The Constant Width Measure Set, the Spherical Measure Set and isoperimetric equalities for planar ovals. arXiv:1605.02930
Zwierzyński, M.: Isoperimetric equalities for rosettes. arXiv:1605.08304
Acknowledgements
The authors thank Kentaro Saji and Zbigniew Szafraniec for fruitful discussions and valuable comments. The authors also thank the reviewer for the very useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work of W. Domitrz and M. Zwierzyński was partially supported by NCN Grant No. DEC-2013/11/B/ST1/03080.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Domitrz, W., Zwierzyński, M. The Gauss–Bonnet Theorem for Coherent Tangent Bundles over Surfaces with Boundary and Its Applications. J Geom Anal 30, 3243–3274 (2020). https://doi.org/10.1007/s12220-019-00197-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00197-0