Abstract
Discrete vector bundles are important in Physics and recently found remarkable applications in Computer Graphics. This article approaches discrete bundles from the viewpoint of Discrete Differential Geometry, including a complete classification of discrete vector bundles over finite simplicial complexes. In particular, we obtain a discrete analogue of a theorem of André Weil on the classification of hermitian line bundles. Moreover, we associate to each discrete hermitian line bundle with curvature a unique piecewisesmooth hermitian line bundle of piecewiseconstant curvature. This is then used to define a discrete Dirichlet energy which generalizes the wellknown cotangent Laplace operator to discrete hermitian line bundles over Euclidean simplicial manifolds of arbitrary dimension.
Keywords
 Simplicial Complex
 Hermitian Line Bundle
 Vector Bundle
 Dirichlet Energy
 Piecewise Constant Curvature
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download chapter PDF
1 Introduction
Vector bundles are fundamental objects in Differential Geometry and play an important role in Physics [2]. The Physics literature is also the main place where discrete versions of vector bundles were studied: First, there is a whole field called Lattice Gauge Theory where numerical experiments concerning connections in bundles over discrete spaces (lattices or simplicial complexes) are the main focus. Some of the work that has been done in this context is quite close to the kind of problems we are going to investigate here [3, 4, 6].
Vector bundles make their most fundamental appearance in Physics in the form of the complex line bundle whose sections are the wave functions of a charged particle in a magnetic field. Here the bundle comes with a connection whose curvature is given by the magnetic field [2]. There are situations where the problem itself suggests a natural discretization: The charged particle (electron) may be bound to a certain arrangement of atoms. Modelling this situation in such a way that the electron can only occupy a discrete set of locations then leads to the “tight binding approximation” [1, 12, 15].
Recently vector bundles over discrete spaces also have found striking applications in Geometry Processing and Computer Graphics. We will describe these in detail in Sect. 2.
In order to motivate the basic definitions concerning vector bundles over simplicial complexes let us consider a smooth manifold \({\tilde{{\mathrm M}}}\) that comes with smooth triangulation (Fig. 1).
Let \({\tilde{{\mathrm E}}}\) be a smooth vector bundle over \({\tilde{{\mathrm M}}}\) of rank \(\mathfrak {K}\). Then we can define a discrete version \(\mathrm E\) of \({\tilde{{\mathrm E}}}\) by restricting \({\tilde{{\mathrm E}}}\) to the vertex set \(\mathcal {V}\) of the triangulation. Thus \(\mathrm E\) assigns to each vertex \(i\in \mathcal {V}\) the \(\mathfrak {K}\)dimensional real vector space \(\mathrm E_i:={\tilde{{\mathrm E}}}_i\). This is the way vector bundles over simplicial complexes are defined in general: Such a bundle \(\mathrm E\) assigns to each vertex \(i\) a \(\mathfrak {K}\)dimensional real vector space \(\mathrm E_i\) in such a way that \(\mathrm E_i\mathop {\cap }\mathrm E_j = \emptyset \) for \(i\ne j\).
So far the notion of a discrete vector bundle is completely uninteresting mathematically: The obvious definition of an isomorphism between two such bundles \(\mathrm E\) and \(\hat{\mathrm E}\) just would require a vector space isomorphism \(f_i:\mathrm E_i\rightarrow \hat{\mathrm E}_i\) for each vertex \(i\). Thus, unless we put more structure on our bundles, any two vector bundles of the same rank over a simplicial complex are isomorphic.
Suppose now that \({\tilde{{\mathrm E}}}\) comes with a connection \(\nabla \). Then we can use the parallel transport along edges \({ij}\) of the triangulation to define vector space isomorphisms
This leads to the standard definition of a connection on a vector bundle over a simplicial complex: Such a connection is given by a collection of isomorphisms \(\eta _{{ij}}:\mathrm E_i\rightarrow \mathrm E_j\) defined for each edge \({ij}\) such that
Now the classification problem becomes nontrivial because for an isomorphism \(f\) between two bundles \(\mathrm E\) and \(\hat{\mathrm E}\) with connection we have to require compatibility with the transport maps \(\eta _{{ij}}\):
Given a connection \(\eta \) and a closed edge path \(\gamma =e_\ell \cdots e_1\) (compare Sect. 4) of the simplicial complex we can define the monodromy \(P_\gamma \in \mathrm {Aut}(\mathrm E_i)\) around \(\gamma \) as
In particular the monodromies around triangular faces of the simplicial complex provide an analog for the smooth curvature in the discrete setting. In Sect. 4 we will classify vector bundles with connection in terms of their monodromies.
Let us look at the special case of a rank \(2\) bundle \(\mathrm E\) that is oriented and comes with a Euclidean scalar product. Then the \(90^{\circ }\)rotation in each fiber makes it into \(1\)dimensional complex vector space, so we effectively are dealing with a hermitian complex line bundle. If \({i\!jk}\) is an oriented face of our simplicial complex, the monodromy \(P_{\partial \,{i\!jk}}:\mathrm E_i\rightarrow \mathrm E_i\) around the triangle \({i\!jk}\) is multiplication by a complex number \(h_{{i\!jk}}\) of norm one. Writing \(h_{{i\!jk}}=e^{\imath \alpha _{{i\!jk}}}\) with \(\pi <\alpha _{{i\!jk}}\le \pi \) we see that this monodromy can also be interpreted as a real curvature \(\alpha _{{i\!jk}}\in (\pi ,\pi ]\). It thus becomes apparent that the information provided by the connection \(\eta \) cannot encode any curvature that integrated over a single face is larger than \(\pm \pi \). This can be a serious restriction for applications: We effectively see a cutoff for the curvature that can be contained in a single face.
Remember however our starting point: We asked for structure that can be naturally transferred from the smooth setting to the discrete one. If we think again about a triangulated smooth manifold it is clear that we can associate to each twodimensional face \({i\!jk}\) the integral \(\varOmega _{{i\!jk}}\) of the curvature \(2\)form over this face. This is just a discrete \(2\)form in the sense of discrete exterior calculus [5]. Including this discrete curvature \(2\)form with the parallel transport \(\eta \) brings discrete complex line bundles much closer to their smooth counterparts:
Definition
A hermitian line bundle with curvature over a simplicial complex \(\mathcal {X}\) is a triple \((\mathrm E,\eta ,\varOmega )\). Here \(\mathrm E\) is complex hermitian line bundle over \(\mathcal {X}\), for each edge \({ij}\) the maps \(\eta _{{ij}}:\mathrm E_i\rightarrow \mathrm E_j\) are unitary and the closed realvalued \(2\) form \(\varOmega \) on each face \({i\!jk}\) satisfies
In Sect. 7 we will prove for hermitian line bundles with curvature the discrete analog of a wellknown theorem by André Weil on the classification of hermitian line bundles.
In Sect. 8 we will define for hermitian line bundles with curvature a degree (which can be an arbitrary integer) and we will prove a discrete version of the PoincaréHopf index theorem concerning the number of zeros of a section (counted with sign and multiplicity).
Finally we will construct in Sect. 10 for each hermitian line bundle with curvature a piecewisesmooth bundle with a curvature \(2\)form that is constant on each face. Sections of the discrete bundle can be canonically extended to sections of the piecewisesmooth bundle. This construction will provide us with finite elements for bundle sections and thus will allow us to compute the Dirichlet energy on the space of sections.
2 Applications of Vector Bundles in Geometry Processing
Several important tasks in Geometry Processing (see the examples below) lead to the problem of coming up with an optimal normalized section \(\phi \) of some Euclidean vector bundle \(\mathrm E\) over a compact manifold with boundary \(\mathrm M\). Here “normalized section” means that \(\phi \) is defined away from a certain singular set and where defined it satisfies \(\phi =1\).
In all the mentioned situations \(\mathrm E\) comes with a natural metric connection \(\nabla \) and it turns out that the following method for finding \(\phi \) yields surprisingly good results:
Among all sections \(\psi \) of \(\mathrm E\) find one which minimizes \(\int _{\mathrm M} \nabla \psi ^2\) under the constraint \(\int _{\mathrm M} \psi ^2=1\). Then away from the zero set of \(\psi \) use \(\phi =\psi /\psi \).
The term “optimal” suggests that there is a variational functional which is minimized by \(\phi \) and this is in fact the case. Moreover, in each of the applications there are heuristic arguments indicating that \(\phi \) is indeed a good choice for the problem at hand. For the details we refer to the original papers. Here we are only concerned with the Discrete Differential Geometry involved in the discretization of the above variational problem.
2.1 Direction Fields on Surfaces
Here \(\mathrm M\) is a surface with a Riemannian metric, \(\mathrm E=\mathrm {TM}\) is the tangent bundle and \(\nabla \) is the LeviCivita connection. Figure 2 shows the resulting unit vector field \(\phi \). If we consider \(\mathrm {TM}\) as a complex line bundle, normalized sections of the tensor square \(\mathrm L=\mathrm {TM} \otimes \mathrm {TM}\) describe unoriented direction fields on \(\mathrm M\). Similarly, “higher order direction fields” like cross fields are related to higher tensor powers of \(\mathrm {TM}\). Higher order direction fields also have important applications in Computer Graphics.
2.2 Stripe Patterns on Surfaces
A stripe pattern on a surface \(\mathrm M\) is a map which away from a certain singular set assigns to each point \(p\in \mathrm M\) an element \(\phi (p)\in \mathbb S=\{z\in \mathbb Cz=1\}\). Such a map \(\phi \) can be used to color \(\mathrm M\) in a periodic fashion according to a color map that assigns a color to each point on the unit circle \(\mathbb S\). Suppose we are given a \(1\)form \(\omega \) on \(\mathrm M\) that specifies a desired direction and spacing of the stripes, which means that ideally we would wish for something like \(\phi =e^{i\alpha }\) with \(d\alpha =\omega \). Then the algorithm in [9] says that we should use a \(\phi \) that comes from taking \(\mathrm E\) as the trivial bundle \(\mathrm E=\mathrm M\times \mathbb C\) and \(\nabla \psi =d\psi i\omega \psi \). Sometimes the original data come from an unoriented direction field and (in order to obtain the \(1\)form \(\omega \)) we first have to move from \(\mathrm M\) to a double branched cover \({\tilde{{\mathrm M}}}\) of \(\mathrm M\). This is for example the case in Fig. 3.
2.3 Decomposing Velocity Fields into Fields Generated by Vortex Filaments
The velocity fields that arise in fluid simulations quite often can be understood as a superposition of interacting vortex rings. It is therefore desirable to have an algorithm that reconstructs the underlying vortex filaments from a given velocity field. Let the velocity field \({\mathbf v}\) on a domain \(\mathrm M\subset \mathbb R^3\) be given as a \(1\)form \(\omega =\langle {\mathbf v},\cdot \rangle \). Then the algorithm proposed in [19] uses the function \(\phi :\mathrm M\rightarrow \mathbb C\) that results from taking the trivial bundle \(\mathrm E=\mathrm M\times \mathbb C\) endowed with the connection \(\nabla \psi =d\psi i\omega \psi \). Note that so far this is just a threedimensional version of the situation in Sect. 2.2. This time however we even forget \(\phi \) in the end and only retain the zero set of \(\psi \) as the filament configuration we are looking for (Fig. 4).
2.4 CloseToConformal Deformations of Volumes
Here the data are a domain \(\mathrm M\subset \mathbb R^3\) and a function \(u:\mathrm M\rightarrow \mathbb R\). The task is to find a map \(f:\mathrm M\rightarrow \mathbb R^3\) which is approximately conformal with conformal factor \(e^u\), i.e. for all tangent vectors \(X\in \mathrm {TM}\) we want
The only exact solutions of this equations are the Möbius transformations. For these we find
for some map \(\psi :\mathrm M\rightarrow \mathbb H\) with \(\psi =1\) which in addition satisfies
Note that here we have identified \(\mathbb R^3\) with the space of purely imaginary quaternions. Let us define a connection \(\nabla \) on the trivial rank \(4\) vector bundle \(\mathrm M\times \mathbb H\) by
Then we can apply the usual method and find a section \(\phi :\mathrm M\rightarrow \mathbb H\) with \(\phi =1\). In general there will not be any \(f:\mathrm M\rightarrow \mathbb R^3\) that satisfies
exactly but we can always look for an \(f\) that satisfies (1) in the least squares sense. See Fig. 5 for an example.
3 Discrete Vector Bundles with Connection
An (abstract) simplicial complex is a collection \(\mathcal {X}\) of finite nonempty sets such that if \(\sigma \) is an element of \(\mathcal {X}\) so is every nonempty subset of \(\sigma \) [14].
An element of a simplicial complex \(\mathcal {X}\) is called a simplex and each nonempty subset of a simplex \(\sigma \) is called a face of \(\sigma \). The elements of a simplex are called vertices and the union of all vertices \(\mathcal {V} = \mathop {\cup }_{\sigma \in \mathcal {X}} \sigma \) is called the vertex set of \(\mathcal {X}\). The dimension of a simplex is defined to be one less than the number of its vertices: \(\dim \sigma := \sigma 1\). A simplex of dimension \(k\) is also called a \(k\)simplex. The dimension of a simplicial complex is defined as the maximal dimension of its simplices.
To avoid technical difficulties, we will restrict our attention to finite simplicial complexes only. The main concepts are already present in the finite case. Though, the definitions carry over verbatim to infinite simplicial complexes.
Definition 3.1
Let \(\mathbb F\) be a field and let \(\mathcal {X}\) be a simplicial complex with vertex set \(\mathcal {V}\). A discrete \(\mathbb F\) vector bundle of rank \(\mathfrak {K}\in \mathbb N\) over \(\mathcal {X}\) is a map \(\pi :\mathrm E \rightarrow \mathcal {V}\) such that for each vertex \(i\in \mathcal {V}\) the fiber over \(i\)
has the structure of a \(\mathfrak {K}\)dimensional \(\mathbb F\)vector space.
Most of the time, we slightly abuse notation and denote a discrete vector bundle over a simplicial complex schematically by \(\mathrm E \rightarrow \mathcal {X}\).
The usual vector space constructions carry fiberwise over to discrete vector bundles. So we can speak of tensor products or dual bundles. Moreover, the fibers can be equipped with additional structures. In particular, a real vector bundle whose fibers are Euclidean vector spaces is called a discrete Euclidean vector bundle. Similarly, a complex vector bundle whose fibers are hermitian vector spaces is called a discrete hermitian vector bundle.
So far discrete vector bundles are completely uninteresting from the mathematical viewpoint—the obvious definition of an isomorphism \(f\) between two discrete vector bundles \(\mathrm E\) and \({\tilde{{\mathrm E}}}\) just requires isomorphisms between the fibers \(f_i:\mathrm E_i \rightarrow {\tilde{{\mathrm E}}}_i\). Thus any two bundles of rank \(\mathfrak {K}\) are isomorphic. This changes if we connect the fibers along the edges by isomorphisms.
Let \(\sigma =\{i_0,\ldots ,i_k\}\) be a \(k\)simplex. We define two orderings of its vertices to be equivalent if they differ by an even permutation. Such an equivalence class is then called an orientation of \(\sigma \) and a simplex together with an orientation is called an oriented simplex. We will denote the oriented \(k\)simplex just by the word \(i_0\cdots i_k\). Further, an oriented \(1\)simplex is called an edge.
Definition 3.2
Let \(\mathrm E \rightarrow \mathcal {X}\) be a discrete vector bundle over a simplicial complex. A discrete connection on \(\mathrm E\) is a map \(\eta \) which assigns to each edge \({ij}\) an isomorphism \(\eta _{{ij}}:\mathrm E_i \rightarrow \mathrm E_j\) of vector spaces such that
Remark 3.3
Here and in the following a morphism of vector spaces is a linear map that also preserves all additional structures—if any present. E.g., if we are dealing with hermitian vector spaces, then a morphism is a complexlinear map that preserves the hermitian metric, i.e. it is a complex linear isometric immersion.
Definition 3.4
A morphism of discrete vector bundles with connection is a map \(f:\mathrm E\rightarrow \mathrm F\) between discrete vector bundles \(\mathrm E\rightarrow \mathcal {X}\) and \(\mathrm F\rightarrow \mathcal {X}\) with connections \(\eta \) and \(\theta \) (resp.) such that

(i)
for each vertex \(i\) we have that \(f(\mathrm E_i)\subset \mathrm F_i\) and the map \(f_i=\left. f\right _{\mathrm E_i}:\mathrm E_i \rightarrow \mathrm F_i\) is a morphism of vector spaces,

(ii)
for each edge \({ij}\) the following diagram commutes:
i.e. \(\theta _{{ij}}\circ f_i= f_j\circ \eta _{{ij}}\).
An isomorphism is a morphism which has an inverse map, which is also a morphism. Two discrete vector bundles with connection are called isomorphic, if there exists an isomorphism between them.
Again let \(\mathcal {V}\) denote the vertex set of \(\mathcal {X}\). A discrete vector bundle \(\mathrm E \rightarrow \mathcal {X}\) with connection \(\eta \) is called trivial, if it is isomorphic to the product bundle
over \(\mathcal {X}\) equipped with the connection which assigns to each edge the identity \(\text {id}_{\mathbb F^\mathfrak {K}}\).
It is a natural question to ask how many nonisomorphic discrete vector bundles with connection exist on a given simplicial complex \(\mathcal {X}\).
Remark 3.5
For \(k\in \mathbb N\), the \(k\)skeleton \(\mathcal {X}^k\) of a simplicial complex \(\mathcal {X}\) is the subcomplex that consists of all simplices \(\sigma \in \mathcal {X}\) of dimension \(\le k\),
The classification of vector bundles over \(\mathcal {X}\) only involves its \(1\)skeleton \(\mathcal {X}^1\) and could be equally done just for discrete vector bundles over \(1\)dimensional simplicial complexes, i.e. graphs. Later on, when we consider discrete hermitian line bundles with curvature in Sect. 7, the \(2\) and \(3\)skeleton come into play and finally, in Sect. 11, we will use the whole simplicial complex.
4 Monodromy—A Discrete Analogue of Kobayashi’s Theorem
Let \(\mathcal {X}\) be a simplicial complex. Each edge \({ij}\) of \(\mathcal {X}\) has a start vertex \(s({ij}):=i\) and a target vertex \(t({ij}):=j\). A edge path \(\gamma \) is a sequence of successive edges \((e_1, \ldots , e_\ell )\), i.e. \(s(e_{k+1})=t(e_k)\) for all \(k=1,\ldots ,\ell 1\), and will be denoted by the word:
If \(i=s(e_1)\), we say that \(\gamma \) starts at \(i\), and if \(j=t(e_\ell )\) that \(\gamma \) ends at \(j\). The complex \(\mathcal {X}\) is called connected, if any two of its vertices can be joined by an edge path. From now on we will only consider connected simplicial complexes.
Now, let \(\mathrm E \rightarrow \mathcal {X}\) be a discrete vector bundle with connection \(\eta \). To each edge path \(\gamma =e_\ell \cdots e_1\) from \(i\) to \(j\), we define the parallel transport \(P_\gamma :\mathrm E_i \rightarrow \mathrm E_j\) along \(\gamma \) by
To each edge path \(\gamma =e_\ell \cdots e_1\) we can assign an inverse path \(\gamma ^{1}\). If \({\tilde{\gamma }} = e_m\cdots e_{\ell +1}\) starts where \(\gamma \) ends, we can build the concatenation \({\tilde{\gamma }}\gamma \): With the notation \({ij}^{1} := ji\), we have
Whenever \({\tilde{\gamma }}\gamma \) is defined,
The elements of the fundamental group are identified with equivalence classes of edge loops, i.e. edge paths starting and ending a given base vertex \(i\) of \(\mathcal {X}\), where two such loops are identified if they differ by a sequence of elementary moves [16]:
Now, by Eq. (2), we see that the parallel transport descends to a representation of the fundamental group \(\pi _1(\mathcal {X}^1,i)\). We encapsulate this in the following
Proposition 4.1
Let \(\mathrm E\rightarrow \mathcal {X}\) be a discrete vector bundle with connection over a connected simplicial complex. The parallel transport descends to a representation of the fundamental group \(\pi _1(\mathcal {X}^1, i)\):
The representation \(\mathfrak {M}\) will be called the monodromy of the discrete vector bundle \(\mathrm E\).
If we change the base vertex this leads to an isomorphic representation—an isomorphism is just given by the parallel transport \(P_\gamma \) along an edge path joining the two base vertices. Moreover, if \(f:\mathrm E\rightarrow {\tilde{{\mathrm E}}}\) is an isomorphism of discrete vector bundles with connection over the simplicial complex \(\mathcal {X}\), for any edge path \(\gamma = e_\ell \cdots e_1\) from a vertex \(i\) to a vertex \(j\) the following equality holds:
Here \(P\) and \(\tilde{P}\) denote the parallel transports of \(\mathrm E\) and \({\tilde{{\mathrm E}}}\). Thus we obtain:
Proposition 4.2
Isomorphic discrete vector bundles with connection have isomorphic monodromies.
In fact, the monodromy completely determines a discrete vector bundle with connection up to isomorphism, which provides a complete classification of discrete vector bundles with connection: Let \(\mathcal {X}\) be a connected simplicial complex. Let \(\mathrm E\rightarrow \mathcal {X}\) be a discrete \(\mathbb F\)vector bundle of rank \(\mathfrak {K}\) with connection and let \(\mathfrak {M}:\pi _1(\mathcal {X}^1, i)\rightarrow \mathrm {Aut}(\mathrm E_i)\) denote its monodromy. Any choice of a basis of the fiber \(\mathrm E_i\) determines a group homomorphism \(\rho \in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1,i),\text {GL}(\mathfrak {K}, \mathbb F)\bigr )\). Any other choice of basis determines a group homomorphism \({\tilde{{\rho }}}\) which is related to \(\rho \) by conjugation, i.e. there is \(S\in \text {GL}(\mathfrak {K}, \mathbb F)\) such that
Hence the monodromy \(\mathfrak {M}\) determines a welldefined conjugacy class of group homomorphisms from \(\pi _1(\mathcal {X}^1,i)\) to \(\text {GL}(\mathfrak {K}, \mathbb F)\), which we will denote by \([\mathfrak {M}]\). The group \(\text {GL}(\mathfrak {K}, \mathbb F)\) will be referred to as the structure group of \(\mathrm E\).
Let \(\mathfrak V_\mathbb F^\mathfrak {K}(\mathcal {X})\) denote the set of isomorphism classes of \(\mathbb F\) vector bundles of rank \(\mathfrak {K}\) with connection over \(\mathcal {X}\) and let \(\mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1,i),\text {GL}(\mathfrak {K},\mathbb F)\bigr )/_\sim \) denote the set of conjugacy classes of group homomorphisms from the fundamental group \(\pi _1(\mathcal {X}^1,i)\) into the structure group \(\text {GL}(\mathfrak {K}, \mathbb F)\).
Theorem 4.3
\(F:\mathfrak V_\mathbb F^\mathfrak {K}(\mathcal {X}) \rightarrow \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1,i),\text {GL}(\mathfrak {K},\mathbb F)\bigr )/_\sim \), \([\mathrm E]\mapsto [\mathfrak {M}]\) is bijective.
Proof
By Proposition 4.2, \(F\) is welldefined. First we show injectivity. Consider two discrete vector bundles \(\mathrm E\), \({\tilde{{\mathrm E}}}\) over \(\mathcal {X}\) with connections \(\eta \), \({\tilde{\eta }}\) and let \(\mathfrak {M}\), \({\tilde{{\mathfrak {M}}}}\) denote their monodromies. Suppose that \([\mathfrak {M}]= [{\tilde{{\mathfrak {M}}}}]\). If we choose bases \(\{X^1_i,\ldots ,X^\mathfrak {K}_i\}\) of \(\mathrm E_i\) and \(\{\tilde{X}^1_i,\ldots ,\tilde{X}^\mathfrak {K}_i\}\) of \(\tilde{\mathrm E}_i\), then \(\mathfrak {M}\) and \(\tilde{\mathfrak {M}}\) are represented by group homomorphisms \(\rho ,\tilde{\rho }\in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \text {GL}(\mathfrak {K},\mathbb F)\bigr )\) which are related by conjugation. Without loss of generality, we can assume that \(\rho =\tilde{\rho }\). Now, let \(\mathcal {T}\) be a spanning tree of \(\mathcal {X}\) with root \(i\). Then for each vertex \(j\) of \(\mathcal {X}\) there is an edge path \(\gamma _{\,i,j}\) from the root \(i\) to the vertex \(j\) entirely contained in \(\mathcal {T}\). Since \(\mathcal {T}\) contains no loops, the path \(\gamma _{\,i,j}\) is essentially unique, i.e. any two such paths differ by a sequence of elementary moves. Thus we can use the parallel transport to obtain bases \(\{X^1_j,\ldots ,X^\mathfrak {K}_j\}\subset \mathrm E_j\) and \(\{\tilde{X}^1_j,\ldots ,\tilde{X}^\mathfrak {K}_j\}\subset \tilde{\mathrm E}_j\) at every vertex \(j\) of \(\mathcal {X}\). With respect to these bases the connections \(\eta \) and \(\tilde{\eta }\) are represented by elements of \(\text {GL}(\mathfrak {K},\mathbb F)\). By construction, for each edge \(e\) in \(\mathcal {T}\) the connection is represented by the identity matrix. Moreover, to each edge \(e=jk\) not contained in \(\mathcal {T}\) there corresponds a unique \([\gamma _e]\in \pi _1(\mathcal {X}^1, i)\). With the notation above, it is given by \(\gamma _e = \gamma ^{1}_{i,k}e\, \gamma _{\,i,j}\). In particular, on the edge \(e\) both connections are represented by the same matrix \(\rho ([\gamma _{e}])=\tilde{\rho }([\gamma _e])\). Thus, if we define \(f:\mathrm E \rightarrow \tilde{\mathrm E}\) by \(f(X^m_j):=\tilde{X}^m_j\) for \(m=1,\ldots ,\mathfrak {K}\), we obtain an isomorphism, i.e. \(\mathrm E\cong \tilde{\mathrm E}\). Hence \(F\) is injective.
To see that \(F\) is surjective we use \(\mathcal {T}\) to equip the product bundle \(\mathrm E:= \mathcal {V}\times \mathbb F^\mathfrak {K}\) with a particular connection \(\eta \). Let \(\rho \in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i),\text {GL}(\mathfrak {K},\mathbb F)\bigr )\). If \(e\) lies in \(\mathcal {T}\) we set \(\eta _e = \text {id}\) else we set \(\eta _e:= \rho ([\gamma _e])\). By construction, \(F([\mathrm E])=[\rho ]\). Thus \(F\) is surjective. \(\square \)
Remark 4.4
Note that Theorem 4.3 can be regarded as a discrete analogue of a theorem of S. Kobayashi [10, 13], which states that the equivalence classes of connections on principal \(G\)bundles over a manifold \(M\) are in onetoone correspondence with the conjugacy classes of continuous homomorphisms from the path group \(\Phi (\mathrm M)\) to the structure group \(G\). In fact, the fundamental group of the \(1\)skeleton is a discrete analogue of \(\Phi (\mathrm M)\).
5 Discrete Line Bundles—The Abelian Case
In this section we want to focus on discrete line bundles, i.e. discrete vector bundle of rank \(1\). Here the monodromy descends to a group homomorphism from the closed \(1\)chains to the multiplicative group \(\mathbb F_*:= \mathbb F\setminus \{0\}\) of the underlying field. This leads to a description by discrete differential forms (Sect. 6).
Let \(\mathrm L\rightarrow \mathcal {X}\) be discrete \(\mathbb F\)line bundle over a connected simplicial complex. In this case the structure group is just \(\mathbb F_*\), which is abelian. Thus we obtain
\(\mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \mathbb F_*\bigr )\) carries a natural group structure. Moreover, the isomorphism classes of discrete line bundles over \(\mathcal {X}\) form an abelian group. The group structure is given by the tensor product: For \([\mathrm L], [\tilde{\mathrm L}]\in \mathfrak {V}_\mathbb F^{1}(\mathcal {X})\), we have
The identity element is given by the trivial bundle. In the following we will denote the group of isomorphism classes of \(\mathbb F\) line bundles over \(\mathcal {X}\) by \(\mathcal {L}_{\mathcal {X}}^\mathbb F\).
The map \(F:\mathcal {L}_{\mathcal {X}}^\mathbb F\rightarrow \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \mathbb F_*\bigr )\), \([\mathrm L]\mapsto [\mathfrak {M}]\) is a group homomorphism. By Theorem 4.3, \(F\) is then an isomorphism.
Now, since \(\mathbb F_*\) is abelian, each homomorphism \(\rho \in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \mathbb F_*\bigr )\) factors through the abelianization
i.e. for each \(\rho \in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \mathbb F_*\bigr )\) there is a unique \(\rho _{ab}\in \mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i)_{ab}, \mathbb F_*\bigr )\) such that
Here \(\pi _{ab} :\pi _1(\mathcal {X}^1, i) \rightarrow \pi _1(\mathcal {X}^1, i)_{ab}\) denotes the canonical projection. This yields an isomorphism between \(\mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i), \mathbb F_*\bigr )\) and \(\mathrm {Hom}\bigl (\pi _1(\mathcal {X}^1, i)_{ab}, \mathbb F_*\bigr )\). In particular,
As we will see below, the abelianization \(\pi _1(\mathcal {X}^1, i)_{ab}\) is naturally isomorphic to the group of closed \(1\)chains.
The group of \(k\) chains \(\mathrm {C}_k(\mathcal {X}, \mathbb Z)\) is defined as the free abelian group which is generated by the \(k\)simplices of \(\mathcal {X}\). More precisely, let \(\mathcal {X}^{or}_k\) denote the set of oriented \(k\) simplices of \(\mathcal {X}\). Clearly, for \(k>0\), each \(k\)simplex has two orientations. Interchanging these orientations yields a fixedpointfree involution \(\rho _k :\mathcal {X}_k^{or} \rightarrow \mathcal {X}_k^{or}\). The group of \(k\)chains is then explicitly given as follows:
Since simplices of dimension zero have only one orientation, \(\mathcal {X}_0^{or}=\mathcal {X}_0\). Thus,
It is common to identify an oriented \(k\)simplex \(\sigma \) with its elementary \(k\) chain, i.e. the chain which is \(1\) for \(\sigma \), \(1\) for the oppositely oriented simplex and zero else. With this identification a \(k\)chain \(c\) can be written as a formal sum of oriented \(k\)simplices with integer coefficients:
The boundary operator \(\partial _k:\mathrm {C}_k(\mathcal {X},\mathbb Z) \rightarrow \mathrm {C}_{k1}(\mathcal {X},\mathbb Z)\) is then the homomorphism which is uniquely determined by
It wellknown that \(\partial _{k}\circ \partial _{k+1}\equiv 0\). Thus we get a chain complex
The simplicial Homology groups \(\mathrm {H}_k (\mathcal {X},\mathbb Z)\) may be regarded as a measure for the deviation of exactness:
The elements of \(\mathrm {ker}\,\partial _k\) are called \(k\) cycles, those of \(\mathrm {im}\,\partial _{k+1}\) are called \(k\) boundaries.
It is a wellknown fact that the abelianization of the first fundamental group is the first homology group (see e.g. [7]). Now, since the first homology of the \(1\)skeleton consists exactly of all closed chains of \(\mathcal {X}\), we obtain
The isomorphism is induced by the map \(\pi _1(\mathcal {X}^1, i) \rightarrow \ker \partial _1\) given by \([\gamma ]\mapsto \sum _j e_j\), where \(\gamma =e_\ell \cdots e_1\). We summarize the above discussion in the following theorem.
Theorem 5.1
The group of isomorphism classes of line bundles \(\mathcal {L}_{\mathcal {X}}^\mathbb F\) is naturally isomorphic to the group \(\mathrm {Hom}(\ker \partial _1, \mathbb F_*)\):
The isomorphism of Theorem 5.1 can be made explicit using discrete \(\mathbb F_*\)valued \(1\)forms associated to the connection of a discrete line bundle.
6 Discrete Connection Forms
Throughout this section \(\mathcal {X}\) denotes a connected simplicial complex.
Definition 6.1
Let \(\mathfrak G\) be an abelian group. The group of \(\mathfrak G\) valued discrete \(k\) forms is defined as follows:
The discrete exterior derivative \(d_k\) is then defined to be the adjoint of \(\partial _{k+1}\), i.e.
By construction, we immediately get that \(d_{k+1}\circ d_k\equiv 0\). The corresponding cochain complex is called the discrete de Rahm complex with coefficients in \(\mathfrak G\):
In analogy to the construction of the homology groups, the \(k\)th de Rahm Cohomology group \(\mathrm {H}^k (\mathcal {X},\mathfrak G)\) with coefficients in \(\mathfrak G\) is defined as the quotient group
The discrete \(k\)forms in \(\mathrm {ker}\,d_k\) are called closed, those in \(\mathrm {im}\,d_{k1}\) are called exact.
Now, let \(\mathfrak {C}_{\mathrm L}\) denote the space of connections on the discrete \(\mathbb F\)line bundle \(\mathrm L \rightarrow \mathcal {X}\):
Any two connections \(\eta ,\theta \in \mathfrak {C}_{\mathrm L}\) differ by a unique discrete \(1\)form \(\omega \in \varOmega ^1(\mathcal {X},\mathbb F_*)\):
Hence the group \(\varOmega ^1(\mathcal {X}, \mathbb F_*)\) acts simply transitively on the space of connections \(\mathfrak C_{\mathrm L}\). In particular, each choice of a base connection \(\beta \in \mathfrak C_{\mathrm L}\) establishes an identification
Remark 6.2
Note that each discrete vector bundle admits a trivial connection. To see this choose for each vertex a basis of the corresponding fiber. The corresponding coordinates establish an identification with the product bundle. Then there is a unique connection that makes the diagrams over all edges commute.
Definition 6.3
Let \(\eta \in \mathfrak {C}_{\mathrm L}\). A connection form representing the connection \(\eta \) is a \(1\)form \(\omega \in \varOmega ^1(\mathcal {X}, \mathbb F_*)\) such that \(\eta = \omega \beta \) for some trivial base connection \(\beta \).
Clearly, there are many connection forms representing a connection. We want to see how two such forms are related.
More generally, two connections \(\eta \) and \(\theta \) in \(\mathfrak {C}_{\mathrm L} \) lead to isomorphic discrete line bundles if and only if for each fiber there is a vector space isomorphism \(f_i:\mathrm L_i \rightarrow \mathrm L_i\), such that for each edge \({ij}\):
Since \(\eta _e\) and \(\theta _e\) are linear, this boils down to discrete \(\mathbb F_*\)valued functions and the relation characterizing an isomorphism becomes
i.e. \(\eta \) and \(\theta \) differ by an exact discrete \(\mathbb F_*\)valued \(1\)form. In particular, the difference of two connection forms representing the same connection \(\eta \) is exact.
Thus we obtain a welldefined map sending a discrete line bundle \(\mathrm L\) with connection to the corresponding equivalence class of connection forms
Theorem 6.4
The map \(F:\mathcal {L}_{\mathcal {X}}^\mathbb F\rightarrow \varOmega ^1(\mathcal {X}, \mathbb F_*)/d\varOmega ^0(\mathcal {X}, \mathbb F_*)\), \([\mathrm L]\mapsto [\omega ]\), where \(\omega \) is a connection form of \(\mathrm L\), is an isomorphism of groups.
Proof
Clearly, \(F\) is welldefined. Let \(\mathrm L\) and \(\tilde{\mathrm L}\) be two discrete complex line bundle with connections \(\eta \) and \(\theta \), respectively. If \(\beta \in \mathfrak {C}_{\mathrm L}\) and \(\tilde{\beta }\in \mathfrak {C}_{\tilde{\mathrm L}}\) are trivial, so is \(\beta \otimes \tilde{\beta }\in \mathfrak {C}_{\mathrm L\otimes \tilde{\mathrm L}}\). Hence, with \(\eta = \omega \beta \) and \(\tilde{\eta }= {\tilde{\omega }}\tilde{\beta }\), we get
By the preceding discussion, \(F\) is injective. Surjectivity is also easily checked. \(\square \)
Next we want to prove that the map given by
is a group isomorphism. Clearly, it is a welldefined group homomorphism. We show its bijectivity in two steps. First, the surjectivity is provided by the following
Lemma 6.5
Let \(\mathcal {X}\) be a simplicial complex and \(\mathfrak G\) be an abelian group. Then the restriction map \(\Phi :\varOmega ^k(\mathcal {X}, \mathfrak G) \rightarrow \mathrm {Hom}(\mathrm {ker}\,\partial _k, \mathfrak G),\,\omega \mapsto \left. \omega \right _{\mathrm {ker}\,\partial _k}\) is surjective.
Proof
If we choose an orientation for each simplex in \(\mathcal {X}\), then \(\partial _k\) is given by an integer matrix. Now, there is a unimodular matrix \(U\) such that \(\partial _k U = (0 H)\) has Hermite normal form. Write \(U = (A B)\), where \(\partial _k A =0\) and \(\partial _k B =H\) and let \(a_i\) denote the columns of \(A\), i.e. \(A=(a_1,\ldots ,a_\ell )\). Clearly, \(a_i\in \mathrm {ker}\,\partial _k\). Moreover, if \(c\in \mathrm {ker}\,\partial _k\), then \(0= \partial _k c= (0H) U^{1}c\). Hence \(U^{1}c= (q,0)^\top \), \(q\in \mathbb Z^\ell \), and thus \(c = Aq\). Therefore \(\{a_i\mid i=1,\ldots ,\ell \}\) is a basis of \(\mathrm {ker}\,\partial _k\). Now, let \(\mu \in \mathrm {Hom}(\mathrm {ker}\,\partial _k, \mathbb Z)\). A homomorphism is completely determined by its values on a basis. We define \(\omega = (\mu (a_1),\ldots ,\mu (a_\ell ),0\ldots ,0)U^{1}\). Then \(\omega \in \varOmega ^k(\mathcal {X} , \mathbb Z)\) and \(\omega A = (\mu (a_1),\ldots ,\mu (a_\ell ))\). Hence \(\Phi (\omega )= \mu \) and \(\Phi \) is surjective for forms with coefficients in \(\mathbb Z\). Now, let \(\mathfrak G\) be an arbitrary abelian group. And \(\mu \in \mathrm {Hom}(\mathrm {ker}\,\partial _k, \mathfrak G)\). Now, if \(a_1,..,a_\ell \) is an arbitrary basis of \(\mathrm {ker}\,\partial _k\), then there are forms \(\omega _1,\ldots ,\omega _\ell \in \varOmega ^k(\mathcal {X}, \mathbb Z)\) such that \(\omega _i(a_j)=\delta _{{ij}}\). Since \(\mathbb Z\) acts on \(\mathfrak G\), we can multiply \(\omega _i\) with elements \(g\in \mathfrak G\) to obtain forms with coefficients in \(\mathfrak G\). Now, set \(\omega = \sum _{i=1}^\ell \omega _i\cdot \mu (a_i)\). Then \(\omega \in \varOmega ^k(\mathcal {X}, \mathfrak G)\) and \(\omega (a_i)= \mu (a_i)\) for \(i=1,\ldots ,\ell \). Thus \(\Phi (\omega )= \mu \). Hence \(\Phi \) is surjective for forms with coefficients in arbitrary abelian groups. \(\square \)
The injectivity is actually easy to see: If \(\left. \omega \right _{\ker \partial _1}=0\), we define an \(\mathbb F_*\)valued function \(f\) by integration along paths: Fix some vertex \(i\). Then
where \(\gamma \) is some path joining \(i\) to \(j\). Since \(\left. \omega \right _{\ker \partial _1}=0\), the value \(f(j)\) does not depend on the choice of the path \(\gamma \). Moreover, \(df= \omega \). Together with Lemma 6.5, this yields the following theorem.
Theorem 6.6
The map \(F:\varOmega ^1(\mathcal {X}, \mathbb F_*)/d\varOmega ^0(\mathcal {X}, \mathbb F_*)\rightarrow \mathrm {Hom}(\ker \partial _1 , \mathbb F_*)\) given by \([\omega ]\mapsto \left. \omega \right _{\ker \partial _1}\) is an isomorphism of groups.
Now, let us relate this to Theorem 5.1. Let \(\mathrm L\rightarrow \mathcal {X}\) be a line bundle with connection \(\eta \) and \(\omega \) be a connection form representing \(\eta \), i.e. \(\eta = \omega \beta \) for some trivial base connection \(\beta \). Let \([\gamma ]\in \pi _1(\mathcal {X}^1, i)\), where \(\gamma =e_\ell \cdots e_1\). By linearity and since trivial connections have vanishing monodromy, we obtain
Hence, by the uniqueness of \([\mathfrak {M}]_{ab}\), we obtain the following theorem that brings everything nicely together.
Theorem 6.7
Let \(\mathrm L \rightarrow \mathcal {X}\) be a line bundle with connection \(\eta \). Let \(\mathfrak {M}\) denote its monodromy and let \(\omega \) be some connection form representing \(\eta \). Then, with the identifications above,
7 Curvature—A Discrete Analogue of Weil’s Theorem
In this section we describe complex and hermitian line bundles by their curvature. For the first time we use more than the \(1\)skeleton.
Let \(\mathcal {X}\) be a connected simplicial complex and \(\mathfrak G\) an abelian group. Since \(d^2=0\), the exterior derivative descends to a welldefined map on \(\varOmega ^k(\mathcal {X}, \mathfrak G)/d\varOmega ^{k1}(\mathcal {X}, \mathfrak G)\), which again will be denoted by \(d\). Explicitly,
Definition 7.1
The \(\mathbb F_*\) curvature of a discrete \(\mathbb F\)line bundle \(\mathrm L \rightarrow \mathcal {X}\) is the discrete \(2\)form \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb F_*)\) given by
where \([\omega ]\in \varOmega ^1(\mathcal {X}, \mathbb F_*)/d\varOmega ^0(\mathcal {X}, \mathbb F_*)\) represents the isomorphism class \([\mathrm L]\).
Remark 7.2
Note that \(\varOmega \) just encodes the parallel transport along the boundary of the oriented \(2\)simplices of \(\mathcal {X}\)—the “local monodromy”.
From the definition it is obvious that the \(\mathbb F_*\)curvature is invariant under isomorphisms. Thus, given a prescribed \(2\)form \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb F_*)\), it is a natural question to ask how many nonisomorphic line bundles have curvature \(\varOmega \).
Actually, this question is answered easily: If \(d[\omega ]=\varOmega =d[{\tilde{\omega }}]\), then the difference of \(\omega \) and \({\tilde{\omega }}\) is closed. Factoring out the exact \(1\)forms we see that the space of nonisomorphic line bundles with curvature \(\varOmega \) can be parameterized by the first cohomology group \(\mathrm {H}^1(\mathcal {X}, \mathbb F_*)\). Furthermore, the existence of a line bundle with curvature \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb F_*)\) is equivalent to the exactness of \(\varOmega \).
But when is a \(k\)form \(\varOmega \) exact? Certainly it must be closed. Even more, it must vanish on every closed \(k\)chain: If \(\varOmega = \mathrm {im}\,\, d\) and \(S\) is a closed \(k\)chain, then
For \(k=1\), as we have seen, this criterion is sufficient for exactness. For \(k>1\) this is not true with coefficients in arbitrary groups.
Example 7.3
Consider a triangulation \(\mathcal {X}\) of the real projective plane \(\mathbb R\mathrm {P}^2\). The zerochain is the only closed \(2\)chain and hence each \(\mathbb Z_2\)valued \(2\)form vanishes on every closed \(2\)chain. But \(\mathrm {H}^2(\mathcal {X}, \mathbb Z_2)= \mathbb Z_2\) and hence there exists a nonexact \(2\)form.
In the following we will see that this cannot happen for fields of characteristic zero or, more generally, for groups that arise as the image of such fields.
Clearly, there is a natural pairing of \(\mathbb Z\)modules between \(\varOmega ^k(\mathcal {X},\mathfrak G)\) and \(\mathrm {C}_k(\mathcal {X},\mathbb Z)\):
This pairing is degenerate if and only if all elements of \(\mathfrak G\) have bounded order. In particular, if \(\mathfrak G\) is a field \(\mathbb F\) of characteristic zero, \(\langle .,.\rangle \) yields a group homomorphism
A basis of \(\mathrm {C}_k(\mathcal {X}, \mathbb Z)\) is mapped under \(F_k\) to a basis of \((\varOmega ^k(\mathcal {X}, \mathbb F))^*\) and hence \(\mathrm {C}_k(\mathcal {X}, \mathbb Z)\) appears as an \(n_k\)dimensional lattice in \((\varOmega ^k(\mathcal {X}, \mathbb F))^*\).
Let \(d^*_k\) denote the adjoint of the discrete exterior derivative \(d_k\) with respect to the natural pairing between \(\varOmega ^k(\mathcal {X},\mathbb F)\) and \((\varOmega ^k(\mathcal {X}, \mathbb F))^*\). Clearly,
Now, since the simplicial complex is finite, we can choose bases of \(\mathrm {C}_k(\mathcal {X}, \mathbb Z)\) for all \(k\). This in turn yields bases of \((\varOmega ^k(\mathcal {X},\mathbb F))^*\) and hence, by duality, bases of \(\varOmega ^k(\mathcal {X}, \mathbb F)\). With respect to these bases we have
where \(n_k\) denotes the number of \(k\)simplices. Moreover, the pairing is represented by the standard product. The operator \(d_{k1}^*= \partial _k\) is then just an integer matrix and
We have \(\mathrm {im}\,d_{k1}\perp \mathrm {ker}\,d_{k1}^*\). Moreover, by the ranknullity theorem,
Hence, under the identifications above, we have that \(\mathbb F^{n_k} = \mathrm {im}\,d_{k1}\oplus _{\!\!\perp }\mathrm {ker}\,d_{k1}^*\) (see Fig. 6). Moreover, \(\ker \partial _k\) contains a basis of \(\mathrm {ker}\,d_{k1}^*\). From this we conclude immediately the following lemma.
Lemma 7.4
Let \(\omega \in \varOmega ^k (\mathcal {X}, \mathbb F)\), where \(\mathbb F\) is a field of characteristic zero. Then
Remark 7.5
Note, that for boundary cycles the condition is nothing but the closedness of the form \(\omega \). Thus Lemma 7.4 states that a closed form \(\omega \in \varOmega ^k(\mathcal {X}, \mathbb F)\) is exact if and only if the integral over all homology classes \([c]\in \mathrm {H}_k (\mathcal {X}, \mathbb Z)\) vanishes.
Let \(\mathfrak G\) be an abelian group. The sequence below will be referred to as the \(k\) th fundamental sequence of forms with coefficients in \(\mathfrak G\):
where \(\Phi _k\) denotes the restriction to the kernel of \(\partial _k\), i.e. \(\Phi _k(\omega ):=\left. \omega \right _{\ker \partial _k}\).
Combining Lemmas 6.5 and 7.4 we obtain that the fundamental sequence with coefficients in a field \(\mathbb F\) of characteristic zero is exact for all \(k>1\). This serves as an anchor point. The exactness propagates under surjective group homomorphisms.
Lemma 7.6
Let \(\mathfrak A \xrightarrow {f} \mathfrak B \rightarrow 0\) be a an exact sequence of abelian groups. Then, if the \(k\)th fundamental sequence of forms is exact with coefficients in \(\mathfrak A\), so it is with coefficients in \(\mathfrak B\).
Proof
By Lemma 6.5 the restriction map \(\Phi _k\) is surjective for every abelian group. It is left to check that \(\mathrm {ker}\,\Phi _k = \mathrm {im}\,d_{k1}\) with coefficients in \(\mathfrak B\). Let \(\varOmega \in \varOmega ^k(\mathcal {X}, \mathfrak B)\) such that \(\Phi _k(\varOmega )=0\). Since \(f:\mathfrak A \rightarrow \mathfrak B\) is surjective, there is a form \(\Xi \in \varOmega ^k(\mathcal {X}, \mathfrak A)\) such that \(\varOmega = f\circ \Xi \). Since \(0=\Phi _k(\varOmega ) = f\circ \Phi _k(\Xi )\), we obtain that \(\Phi _k(\Xi )\) takes its values in \(\ker f\). Since \(\Phi _k\) is surjective for arbitrary groups, there is \(\Theta \in \varOmega ^k(\mathcal {X}, \ker f)\) such that \(\Phi _k(\Xi )= \Phi _k(\Theta )\). Hence \(\Phi _k(\Xi \Theta )=0\). Thus there is a form \(\xi \in \varOmega ^{k1}(\mathcal {X}, \mathfrak A)\) such that \(d_{k1}\xi = \Xi  \Theta \). Now, let \(\omega := f\circ \xi \in \varOmega ^{k1}(\mathcal {X}, \mathfrak B)\). Then
Hence \(\mathrm {ker}\,\Phi _k = \mathrm {im}\,d_{k1}\) and the sequence (with coefficients in \(\mathfrak B\)) is exact. \(\square \)
Remark 7.7
The map \(f:\mathbb C\rightarrow \mathbb C,\, z\mapsto \exp (2\pi \imath \, z)\) provides a surjective group homomorphism from \(\mathbb C\) onto \(\mathbb C_*\), and similarly from \(\mathbb R\) onto \(\mathbb S\). Hence the \(k\)th fundamental sequence of forms is exact for coefficients in \(\mathbb C_*\) and in the unit circle \(\mathbb S\).
Remark 7.8
The \(k\)th fundamental sequence with coefficients in an abelian group \(\mathfrak G\) is exact if and only if \(\varOmega ^k(\mathcal {X}, \mathfrak G)/d\varOmega ^{k1}(\mathcal {X}, \mathfrak G)\cong \mathrm {Hom}(\ker \partial _k, \mathfrak G)\). The isomorphism is induced by the restriction map \(\Phi _k\).
The following corollary is a consequence of Remark 7.7. It nicely displays the fibration of the complex line bundles by their \(\mathbb C_*\)curvature.
Corollary 7.9
For \(\mathfrak G= \mathbb S,\, \mathbb C_*\) the following sequence is exact:
Definition 7.10
Let \(\varOmega ^*\in \varOmega ^k(\mathcal {X}, \mathbb S)\). A realvalued form \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb R)\) is called compatible with \(\varOmega ^*\) if \(\varOmega ^*= \exp \bigl (\imath \varOmega \bigr )\). A discrete hermitian line bundle with curvature is a discrete hermitian line bundle \(\mathrm L\) with connection equipped with a closed \(2\)form compatible with the \(\mathbb S\)curvature of \(\mathrm L\).
For realvalued forms it is common to denote the natural pairing with the \(k\)chains by an integral sign, i.e. for \(\omega \in \varOmega ^k(\mathcal {X}, \mathbb R)\) and \(c\in \mathrm {C}_k(\mathcal {X}, \mathbb Z)\) we write
Theorem 7.11
Let \(\mathrm L\) be a discrete hermitian line bundle with curvature \(\varOmega \). Then \(\varOmega \) is integral, i.e.
Proof
By definition the curvature form \(\varOmega \) satisfies \(\exp \bigl (\imath \varOmega \bigr )= d\omega \) for some connection form \(\omega \in \varOmega ^1(\mathcal {X}, \mathbb S)\). Thus, if \(c\in \ker \partial _2\),
This proves the claim. \(\square \)
Conversely, Corollary 7.9 yields a discrete version of a theorem of André Weil [11, 18], which states that any closed smooth integral \(2\)form on a manifold \(\mathrm M\) can be realized as the curvature of a hermitian line bundle. This plays a prominent role in the process of prequantization [17].
Theorem 7.12
If \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb R)\) is integral, then there exists a hermitian line bundle with curvature \(\varOmega \).
Proof
Consider \(\varOmega ^*:= \exp (i\varOmega )\). Since \(\varOmega \) is integral, \(\langle \varOmega ^*,c\rangle = 1\) for all \(c\in \mathrm {ker}\,\partial _2\). By Corollary 7.9, there exists \(r\in \varOmega ^1(\mathcal {X}, \mathbb S)\) such that \(dr=\varOmega ^*\). This in turn defines a hermitian line bundle with curvature \(\varOmega \). \(\square \)
Remark 7.13
Moreover, Corollary 7.9 shows that the connections of two such bundles differ by an element of \(\mathrm {H}^1(\mathcal {X}, \mathbb S)\). Thus the space of discrete hermitian line bundles with fixed curvature \(\varOmega \) can be parameterized by \(\mathrm {H}^1(\mathcal {X}, \mathbb S)\).
8 The Index Formula for Hermitian Line Bundles
Before we define the degree of a discrete hermitian line bundle with curvature or the index form of a section, let us first recall the situation in the smooth setting. Therefore, let \(\mathrm L \rightarrow \mathrm M\) be a smooth hermitian line bundle with connection. Since the curvature tensor \(R^\nabla \) of \(\nabla \) is a \(2\)form taking values in the skewsymmetric endomorphisms of \(\mathrm L\), it is completely described by a closed realvalued \(2\)form \(\varOmega \in \varOmega ^2(\mathrm M, \mathbb R)\),
The following theorem shows an interesting relation between the index sum of a section \(\psi \in \varGamma (\mathrm L)\), the curvature \(2\)form \(\varOmega \), and the rotation form \(\xi ^\psi \) of \(\psi \). This form is defined as follows:
Theorem 8.1
Let \(\mathrm L \rightarrow \mathrm M\) be a smooth hermitian line bundle with connection and \(\varOmega \) its curvature \(2\)form. Let \(\psi \in \varGamma (\mathrm L)\) be a section with a discrete zero set \(Z\). Then, if \(C\) is a finite smooth \(2\)chain such that \(\partial C\mathop {\cap }Z = \emptyset \),
Proof
We can assume that \(C\) is a single smooth triangle. Then we can express \(\psi \) on \(C\) in terms of a complexvalued function \(z\) and a pointwisenormalized local section \(\phi \), i.e. \(\psi = z\, \phi \). Since \(\mathrm {Im}(\tfrac{dz}{z})= d\,\mathrm {arg}(z)\), we obtain
Moreover, away from zeros, we have
Hence we obtain
This proves the claim. \(\square \)
In the case that \(\mathrm L\) is a hermitian line bundle with connection over a closed oriented surface \(\mathrm M\), Theorem 8.1 tells us that \(\int _{\mathrm M}\varOmega \in 2\pi \mathbb Z\). This yields a wellknown topological invariant—the degree of \(\mathrm L\):
From Theorem 8.1 we immediately obtain the famous PoincaréHopf index theorem.
Theorem 8.2
Let \(\mathrm L\rightarrow \mathrm M\) be a smooth hermitian line bundle over a closed oriented surface. Then, if \(\psi \in \varGamma (\mathrm L)\) is a section with isolated zeros,
Now, let us consider the discrete case. In general, a section of a discrete vector bundle \(\mathrm E\rightarrow \mathcal {X}\) with vertex set \(\mathcal {V}\) is a map \(\psi :\mathcal {V} \rightarrow \mathrm E\) such that the following diagram commutes
i.e. \(\pi \circ \psi = id\). As in the smooth case, the space of sections of \(\mathrm E\) is denoted by \(\varGamma (\mathrm E)\).
Now, let \(\mathrm L\rightarrow \mathcal {X}\) be a discrete hermitian line bundle with curvature \(\varOmega \) and let \(\psi \in \varGamma (\mathrm L)\) be a nowherevanishing section such that
for each edge \({ij}\) of \(\mathcal {X}\). Here \(\eta \) denotes the connection of \(\mathrm L\) as usual. The rotation form \(\xi ^\psi \) of \(\psi \) is then defined as follows:
Remark 8.3
Equation (4) can be interpreted as the condition that no zero lies in the \(1\)skeleton of \(\mathcal {X}\) (compare Sect. 11). Actually, given a consistent choice of the argument on each oriented edge, we could drop this condition. Figuratively speaking, if a section has a zero in the \(1\)skeleton, then we decide whether we push it to the left or the right face of the edge.
Now we can define the index form of a discrete section:
Definition 8.4
Let \(\mathrm L \rightarrow \mathcal {X}\) be a discrete hermitian line bundle with curvature \(\varOmega \). For \(\psi \in \varGamma (\mathrm L)\), we define the index form of \(\psi \) by
Theorem 8.5
The index form of a nowherevanishing discrete section is \(\mathbb Z\)valued.
Proof
Let \(\mathrm L\) be a discrete hermitian line bundle with curvature and let \(\eta \) be its connection. Let \(\psi \in \varGamma (\mathrm L)\) be a nowherevanishing section. Now, choose a connection form \(\omega \), i.e. \(\eta =\omega \beta \), where \(\beta \) is a trivial connection on \(\mathrm L\). Then we can write \(\psi \) with respect to a nonvanishing parallel section \(\phi \) of \(\beta \), i.e. there is a \(\mathbb C\)valued function \(z\) such that \(\psi = z\phi \). Then \(\xi ^\psi _{{ij}}= \arg \bigl (\frac{z_j}{\omega _{{ij}}z_i}\bigr )\) and thus
Thus
This proves the claim. \(\square \)
If \(\mathrm L\) is a discrete hermitian line bundle with curvature \(\varOmega \) over a closed oriented surface \(\mathcal {X}\), then we define the degree of \(\mathrm L\) just as in the smooth case:
Here we have identified \(\mathcal {X}\) by the corresponding closed \(2\)chain. From Theorem 7.11 we obtain the following corollary.
Corollary 8.6
The degree of a discrete hermitian line bundle with curvature is an integer:
The discrete PoincaréHopf index theorem follows easily from the definitions:
Theorem 8.7
Let \(\mathrm L\rightarrow \mathcal {X}\) be a discrete hermitian line bundle with curvature \(\varOmega \) over an oriented simplicial surface. If \(\psi \in \varGamma (\mathrm L)\) is a nonvanishing discrete section, then
Proof
Since the integral of an exact form over a closed oriented surface vanishes,
as was claimed. \(\square \)
9 PiecewiseSmooth Vector Bundles over Simplicial Complexes
It is wellknown that each abstract simplicial complex \(\mathcal {X}\) has a geometric realization which is unique up to simplicial isomorphism. In particular, each abstract simplex is realized as an affine simplex. Moreover, each face \(\sigma ^\prime \) of a simplex \(\sigma \in \mathcal {X}\) comes with an affine embedding
In the following, we will not distinguish between the abstract simplicial complex and its geometric realization.
Definition 9.1
A piecewisesmooth vector bundle \(\mathrm E\) over a simplicial complex \(\mathcal {X}\) is a topological vector bundle \(\pi :\mathrm E \rightarrow \mathcal {X}\) such that

(a)
for each \(\sigma \in \mathcal {X}\) the restriction \(\mathrm E_\sigma := \left. \mathrm E\right _\sigma \) is a smooth vector bundle over \(\sigma \),

(b)
for each face \(\sigma ^\prime \) of \(\sigma \in \mathcal {X}\), the inclusion \(\mathrm E_{\sigma ^\prime } \hookrightarrow \mathrm E_\sigma \) is a smooth embedding.
As a simplicial complex, \(\mathcal {X}\) has no tangent bundle. Nonetheless, differential forms survive as collections of smooth differential forms defined on the simplices which are compatible in the sense that they agree on common faces:
Definition 9.2
Let \(\mathrm E\) be a piecewisesmooth vector bundle over \(\mathcal {X}\). An \(\mathrm E\)valued differential \(k\)form is a collection \(\omega = \{\omega _\sigma \in \varOmega ^k(\sigma ,\mathrm E_\sigma )\}_{\sigma \in \mathcal {X}}\) such that for each face \(\sigma ^\prime \) of a simplex \(\sigma \in \mathcal {X}\) the following relation holds:
where \(\iota _{\sigma ^\prime \!\sigma }:\sigma ^\prime \hookrightarrow \sigma \) denotes the inclusion. The space of \(\mathrm E\)valued differential \(k\)forms is denoted by \(\varOmega _{ps}^k(\mathcal {X}, \mathrm E)\).
Remark 9.3
Note that a \(0\)form defines a continuous map on the simplicial complex. Hence the definition includes functions and, more generally, sections: A piecewisesmooth section of \(\mathrm E\) is a continuous section \(\psi :\mathcal {X} \rightarrow \mathrm E\) such that for each simplex \(\sigma \in \mathcal {X}\) the restriction \(\psi _\sigma := \left. \psi \right _\sigma :\sigma \rightarrow \mathrm E_\sigma \) is smooth, i.e.
Since the pullback commutes with the wedgeproduct \(\wedge \) and the exterior derivative \(d\) of realvalued forms, we can define the wedge product and the exterior derivative of piecewisesmooth differential forms by applying it componentwise.
Definition 9.4
For \(\omega = \{\omega _\sigma \}_{\sigma \in \mathcal {X}}\in \varOmega _{ps}^k(\mathcal {X}, \mathbb R),\,\eta = \{\eta _\sigma \}_{\sigma \in \mathcal {X}}\in \varOmega _{ps}^\ell (\mathcal {X}, \mathbb R)\),
All the standard properties of \(\wedge \) and \(d\) also hold in the piecewisesmooth case.
Definition 9.5
A connection on a piecewisesmooth vector bundle \(\mathrm E\) over \(\mathcal {X}\) is a linear map \(\nabla :\varGamma _{ps}(\mathrm E) \rightarrow \varOmega _{ps}^1(\mathcal {X}, \mathrm E)\) such that
Once we have a connection on a smooth vector bundle we obtain a corresponding exterior derivative \(d^\nabla \) on \(\mathrm E\)valued forms.
Theorem 9.6
Let \(\mathrm E\) be a piecewisesmooth vector bundle over \(\mathcal {X}\). Then there is a unique linear map \(d^\nabla :\varOmega _{ps}^k(\mathcal {X}, \mathrm E) \rightarrow \varOmega _{ps}^{k+1}(\mathcal {X}, \mathrm E)\) such that \(d^\nabla \psi = \nabla \psi \) for all \(\psi \in \varGamma _{ps}(\mathrm E)\) and
for all \(\omega \in \varOmega _{ps}^k(\mathcal {X}, \mathbb R)\) and \(\eta \in \varOmega _{ps}^\ell (\mathcal {X}, \mathrm E)\).
The curvature tensor survives as a piecewisesmooth \(\mathrm {End}(\mathrm E)\)valued \(2\)form:
Definition 9.7
Let \(\mathrm E\rightarrow \mathcal {X}\) be a piecewisesmooth vector bundle. The endomorphismvalued curvature \(2\)form of a connection \(\nabla \) on \(\mathrm E\) is defined as follows:
10 The Associated PiecewiseSmooth Hermitian Line Bundle
Let \({\tilde{{\mathrm L}}} \rightarrow \mathcal {X}\) be a piecewisesmooth hermitian line bundle with connection \(\nabla \) over a simplicial complex. Just as in the smooth case the endomorphismvalued curvature \(2\)form takes values in the skewadjoint endomorphisms and hence is given by a piecewisesmooth realvalued \(2\)form \({\tilde{\varOmega }}\):
Since each simplex of \(\mathcal {X}\) has an affine structure, we can speak of piecewiseconstant forms.
The goal of this section will be to construct for each discrete hermitian line bundle with curvature a piecewisesmooth hermitian line bundle with piecewiseconstant curvature which in a certain sense naturally contains the discrete bundle. We first prove two lemmata.
Lemma 10.1
To each closed discrete realvalued \(k\)form \(\omega \) there corresponds a unique piecewiseconstant piecewisesmooth \(k\)form \({\tilde{\omega }}\) such that
The form \({\tilde{\omega }}\) will be called the piecewisesmooth form associated to \(\omega \).
Proof
It is enough to consider just a single \(n\)simplex \(\sigma \). We denote the space of piecewiseconstant piecewisesmooth \(k\)forms on \(\sigma \) by \(\varOmega ^k_c\) and the space of discrete \(k\)forms on \(\sigma \) by \(\varOmega ^k_d\). Consider the linear map \(F:\varOmega ^k_c \rightarrow \varOmega ^k_d\) that assigns to \({\tilde{\omega }}\in \varOmega ^k_c\) the discrete \(k\)form given by
Clearly, \(F\) is injective. Moreover, since each piecewiseconstant piecewisesmooth form is closed, we have \(\mathrm {im}\,\,F\subset \ker d_k\), where \(d_k\) denotes the discrete exterior derivative. Hence it is enough to show that the space of closed discrete \(k\)forms on \(\sigma \) is of dimension \(\left( {\begin{array}{c}n\\ k\end{array}}\right) \). This we do by induction. Clearly, \(\dim \ker d_0 = 1 = \left( {\begin{array}{c}n\\ 0\end{array}}\right) \). Now suppose that \(\dim \ker d_{k1} = \left( {\begin{array}{c}n\\ k1\end{array}}\right) \). By Lemma 7.4, we have \(\ker d_k = \mathrm {im}\,d_{k1}\). Hence
Therefore, for each closed discrete \(k\)form we obtain a unique piecewiseconstant piecewisesmooth \(k\)form which has the desired integrals on the \(k\)simplices. \(\square \)
It is a classical result that on starshaped domains \(U\subset \mathbb R^N\) each closed form is exact: If \(\varOmega \in \varOmega ^k(U,\mathbb R)\) is closed, then there exists a form \(\omega \in \varOmega ^{k1}(U,\mathbb R)\) such that \(\varOmega = d\omega \). Moreover, the potential can be constructed explicitly by the map \(K:\varOmega ^k(U,\mathbb R)\rightarrow \varOmega ^{k1}(U,\mathbb R)\) given by
where \(\varOmega = \sum _{i_1<\cdots < i_k} \varOmega _{i_1\cdots i_k}\, dx_{i_1}\wedge \ldots \wedge dx_{i_k}\). One directly can check that
Hence, if \(d\varOmega =0\), we get \(\varOmega = d\, K(\varOmega )\). The same construction works for piecewisesmooth forms defined on the star of a simplex. This yields the following piecewisesmooth version of the PoincaréLemma.
Lemma 10.2
On the star of a simplex each closed piecewisesmooth form is exact.
Now we are ready to prove the main result of this section.
Theorem 10.3
Let \(\mathrm L \rightarrow \mathcal {X}\) be a discrete hermitian line bundle with curvature \(\varOmega \) over a simplicial complex and let \({\tilde{\varOmega }}\) be the piecewisesmooth \(2\)form associated to \(\varOmega \). Then there is a piecewisesmooth hermitian line bundle \(\tilde{\mathrm L}\rightarrow \mathcal {X}\) with connection \(\tilde{\nabla }\) of curvature \({\tilde{\varOmega }}\) such that \(\tilde{\mathrm L}_i = \mathrm L_i\) for each vertex \(i\) and the parallel transports coincide along each edge path. The bundle \(\tilde{\mathrm L}\) is unique up to isomorphism.
Proof
First we construct the piecewisesmooth hermitian line bundle. Let \(\mathrm L\rightarrow \mathcal {X}\) be a discrete hermitian line bundle with curvature \(\varOmega \) and let \(\eta \) denote its connection. Let \(\mathcal {V}\) be the vertex set of \(\mathcal {X}\) and let \(S_i\) denote the open vertex star of the vertex \(i\). Further, since \(\varOmega \) is closed, by Lemma 10.1, there is a piecewiseconstant piecewisesmooth form \({\tilde{ \varOmega }}\) associated to \(\varOmega \). Now, consider the set
Note, that \(S_i\mathop {\cap }S_j \ne \emptyset \) if and only if \({ij}\) is an edge of \(\mathcal {X}\) or \(i=j\). Thus, if we set \(\eta _{ii}:= \left. \text {id}\right _{\mathrm L_i}\), we can define an equivalence relation on \(\hat{\mathrm L}\) as follows:
where \(\Delta _{{ij}}^p\) denotes the oriented triangle spanned by the point \(i,j\) and \(p\). Note here that \(\Delta _{{ij}}^p\) is completely contained in some simplex of \(\mathcal {X}\). Let us check shortly that this really defines an equivalence relation. Here the only nontrivial property is transitivity. Therefore, let \((i,p,u)\sim (j,q,v)\) and \((j,q,v)\sim (k,r,w)\). Thus we have \(p=q=r\) and \(p\) lies in a simplex which contains the oriented triangle \({i\!jk}\). Clearly, the \(2\)chain \(\Delta _{{ij}}^p+ \Delta _{jk}^p + \Delta _{ki}^p\) is homologous to \({i\!jk}\) and since piecewiseconstant forms are closed we get
Hence we obtain
and thus \((i,p,u)\sim (k,r,w)\). Hence \(\sim \) defines an equivalence relation. One can check now that the quotient \(\tilde{\mathrm L} := \hat{\mathrm L}/_\sim \) is a piecewisesmooth line bundle over \(\mathcal {X}\). The local trivializations are then basically given by the inclusions \(S_i\times \mathrm L_i \hookrightarrow \tilde{\mathrm L}\) sending a point to the corresponding equivalence class. Moreover, all transition maps are unitary so that the hermitian metric of \(\mathrm L\) extends to \(\tilde{\mathrm L}\) and turns \(\tilde{\mathrm L}\) into a hermitian line bundle. Clearly, \(\left. \tilde{\mathrm L}\right _{\mathcal {V}}= \mathrm L\).
Next, we need to construct the connection. Therefore we will use an explicit system of local sections: Choose for each vertex \(i\in \mathcal {V}\) a unit vector \(X_i\in \mathrm L_i\) and define \(\phi _i(p):= [i,p,X_i]\). This yields for each vertex \(i\) a piecewisesmooth section \(\phi _i\) define on the star \(S_i\). For each nonempty intersection \(S_i\mathop {\cap }S_j\not =\emptyset \) we then obtain a function \(g_{{ij}}:S_i\mathop {\cap }S_j \rightarrow \mathbb S\). By the above construction, we find that, if \(\eta _{{ij}}(X_i)= r_{{ij}}X_{j}\),
Since \({\tilde{\varOmega }}\) is closed, Lemma 10.2 tells us that \({\tilde{\varOmega }}_{S_i}\) is exact. Hence there is a piecewisesmooth \(1\)form \(\omega _i\) defined on \(S_i\) such that \(d\omega _i = {\tilde{\varOmega }}_{S_i}\). In general, the form \(\omega _i\) is only unique up to addition of an exact \(1\)form, but among those there is a unique form \(\omega _i\) which is zero along the radial directions originating from \(i\). To see this, just choose some potential \(\tilde{\omega }_i\) of \(\varOmega _{S_i}\) and define a function \(f:S_i\rightarrow \mathbb R\) as follows:
For \(p\in S_i\), let \(f(p):= \int _{\gamma _i^{\,p}}\tilde{\omega }_i\), where \(\gamma _i^{\,p}\) denote the linear path from the vertex \(i\) to the point \(p\). Then \(\omega _i := {\tilde{\omega }}_i  df \) is a piecewisesmooth potential of \(\left. \varOmega \right _{S_i}\) and vanishes on radial directions. For the uniqueness, let \(\hat{\omega }_i\) be another such potential. Then, the difference \(\omega _i\hat{\omega }_i\) is closed and hence exact on \(S_i\), i.e. there is \(f:S_i \rightarrow \mathbb R\) such that \(df= \omega _i\hat{\omega }_i\). Since \(df\) vanishes on radial directions \(f\) is constant on radial lines starting at \(i\) and hence constant on \(S_i\). Thus \(\omega _i=\hat{\omega }_i\).
Suppose that for each edge \({ij}\) the forms \(\omega _i\) and \(\omega _j\) are compatible, i.e., wherever both are defined,
Then we can define a connection \(\nabla \) as follows: Let \(\psi \in \varGamma \bigl (\tilde{\mathrm L}\bigr )\) and let \(X\in \mathrm {T}_p\sigma \) for some simplex \(\sigma \) of \(\mathcal {X}\), then there is some \(S_i\ni p\). On \(S_i\) we can express \(\psi \) with respect to \(\phi _i\), i.e. \(\psi = z\,\phi _i\) for some piecewisesmooth function \(z:S_i \rightarrow \mathbb C\). Then we define
In general there are several stars that contain the point \(p\). From compatibility easily follows that the definition does not depend on the choice of the vertex. Hence we have constructed a piecewise smooth connection \(\nabla \). One easily checks that \(\nabla \) is unitary and since \(d\omega _i= {\tilde{\varOmega }}_{S_i}\) we get \(d^\nabla \circ d^\nabla = \imath {\tilde{\varOmega }}\) as desired.
So it is left to check the compatibility of the forms \(\omega _{{ij}}\) constructed above. Let \({ij}\) be some edge and let \(p_0\) be a point in its interior. Since \(\omega _i  \omega _j\) is closed, we can define \(\varphi :S_i\mathop {\cap }S_j \rightarrow \mathbb R\) by \(\varphi (p):= \int _{\gamma _p}\omega _i  \omega _j\), where \(\gamma _p\) is some path in \(S_i\mathop {\cap }S_j\) from the point \(p_0\) to the point \(p\). Then, for \(p\in S_i \mathop {\cap }S_j\),
where as above \(\gamma _i^{\, p}\) denotes the linear path from \(i\) to \(p\) and, similarly, \(\gamma _j^{\, p}\) denotes the linear path from \(j\) to the point \(p\). From this we obtain
and in particular \(\imath \omega _j=\imath \omega _i+d\log g_{{ij}}\). This shows the existence.
Now suppose there are two such piecewisesmooth bundles \(\tilde{\mathrm L}\) and \(\hat{\mathrm L}\) with connection \(\tilde{\nabla }\) and \(\hat{\nabla }\), respectively. We want to construct an isomorphism between \(\tilde{\mathrm L}\) and \(\hat{\mathrm L}\). Therefore we again use local systems. Explicitly, we choose a discrete direction field \(X \in \mathrm L\). This yields for each vertex \(i\) a vector \(X_i \in \tilde{\mathrm L}_i = \hat{\mathrm L}_i\) which extends by parallel transport along rays starting at \(i\) to a local sections \(\tilde{\phi }_i\) of \(\tilde{\mathrm L}\) and, similarly, to a local section \(\hat{\phi }_i\) of \(\hat{\mathrm L}\) defined on \(S_i\).
Now we define \(F:\tilde{\mathrm L} \rightarrow \hat{\mathrm L}\) to be unique map which is linear on the fibers and satisfies \(F(\tilde{\phi }_i)=\hat{\phi }_i\) on \(S_i\). To see that \(F\) is welldefined, we need to check that it is compatible with the transition maps. But by construction both systems have equal transition maps, namely the the functions \(g_{{ij}}\) from Eq. (5) with \(r_{{ij}}\) given by \(\eta _{{ij}}(X_i) = r_{{ij}}X_j\). Now, if \(z_i \, \tilde{\phi }_i=z_j \, \tilde{\phi }_j\), then \(z_i = z_j\, g_{{ij}}\) and hence
Using Eq. (6) one similarly shows that \(F\circ \tilde{\nabla }= \hat{\nabla }\circ F\). Thus \(\tilde{\mathrm L} \cong \hat{\mathrm L}\). \(\square \)
11 Finite Elements for Hermitian Line Bundles with Curvature
In this section we want to present a specific finite element space on the associated piecewisesmooth hermitian line bundle of a discrete hermitian line with curvature. They are constructed from the local systems that played such a prominent role in the proof of Theorem 10.3 and the usual piecewiselinear hat function.
Let \(\tilde{\mathrm L}\) be the associated piecewisesmooth bundle of a discrete hermitian line bundle \(\mathrm L \rightarrow \mathcal {X}\) and let \(x_i :\mathcal {X} \rightarrow \mathbb R\) denote the barycentric coordinate of the vertex \(i\in \mathcal {V}\), i.e. the unique piecewiselinear function such that \(x_i(j)=\delta _{{ij}}\), where \(\delta \) is the Kronecker delta. Clearly,
To each \(X \in \mathrm L_i\) we now construct a piecewisesmooth section \(\tilde{\psi }\) as follows: First, we extend \(X\) to the vertex star \(S_i\) of the vertex \(i\) using the parallel transport along rays starting at \(i\). To get a global section \(\tilde{\psi }\in \varGamma _{ps}(\mathrm L)\) we use \(x_i\) to scale \(\tilde{\phi }\) down to zero on \(\partial S_i\) and extend it by zero to \(\mathcal {X}\), i.e.
The above construction yields a linear map \(\iota :\varGamma (\mathrm L) \rightarrow \varGamma _{ps}(\tilde{\mathrm L})\). Clearly, \(\iota \) is injective—a leftinverse is just given by the restriction map
Definition 11.1
The space of piecewiselinear sections is given by \(\varGamma _{pl}(\tilde{\mathrm L}) := \mathrm {im}\,\iota \).
Thus we identified each section of a discrete hermitian line bundle with curvature with a piecewiselinear section of the associated piecewisesmooth bundle. This allows to define a discrete hermitian inner product and a discrete Dirichlet energy on \(\varGamma (\mathrm L)\), which is a generalization of the wellknown cotangent Laplace operator for discrete functions on triangulated surfaces. Before we come to the Dirichlet energy, we define Euclidean simplicial complexes.
Similarly to piecewisesmooth forms we can define piecewisesmooth (contravariant) \(k\)tensors as collections of compatible \(k\)tensors: A piecewisesmooth \(k\) tensor is a collection \(T=\{T_\sigma \}_{\sigma \in \mathcal {X}}\) of smooth contravariant \(k\)tensors \(T_\sigma \) on \(\sigma \) such that
whenever \(\sigma ^\prime \) is a face of \(\sigma \). A Riemannian simplicial complex is then a simplicial complex \(\mathcal {X}\) equipped with a piecewisesmooth Riemannian metric, i.e. a piecewisesmooth positivedefinite symmetric \(2\)tensor \(g\) on \(\mathcal {X}\).
The following lemma tells us that the space of constant piecewisesmooth symmetric tensors is isomorphic to functions on \(1\)simplices.
Lemma 11.2
Let \(\mathcal {X}\) be a simplicial complex and let \(\mathcal {E}\) denote the set of its \(1\)simplices. For each function \(f:\mathcal {E} \rightarrow \mathbb R\) there exists a unique constant piecewisesmooth symmetric \(2\)tensor \(S\) such that for each \(1\)simplex \(e=\{i,j\}\)
Proof
It is enough to consider a single affine \(n\)simplex \(\sigma =\{i_0,\ldots ,i_n\}\) with vector space \(V\). Consider the map \(F\) that sends a symmetric \(2\)tensor \(S\) on \(V\) to the function given by
Clearly, \(F\) is linear. Moreover, if \(Q\) denotes the quadratic form corresponding to \(S\), i.e. \(Q(X):=S(X,X)\), then
Hence, from \(F(S)=0\) follows \(S=0\). Thus \(F\) is injective. Clearly, the space of symmetric bilinear forms is of dimension \(n(n+1)/2\), which equals the number of \(1\)simplices. Thus \(F\) is an isomorphism. This proves the claim. \(\square \)
It is also easy to write down the corresponding symmetric tensor in coordinates: Let \(\sigma = \{i_0,\ldots ,i_n\}\) be a simplex. The vectors \(e_j:= i_ji_0\), \(j=1,\ldots ,n\), then yield a basis of the corresponding vector space. Let \(f\) be a function defined on the unoriented edges of \(\sigma \) and let \(x_{i_j}\) denote the barycentric coordinates of its vertices \(i_j\), then the corresponding symmetric bilinear form \(S^f_\sigma \) is given by
Thus starting with a positive function \(f\), by Sylvester’s criterion, it has to satisfy on each \(n\)simplex \(n1\) inequalities to determine a positivedefinite form. If the corresponding piecewisesmooth form is positivedefinite, we call \(f\) a discrete metric.
Definition 11.3
A Euclidean simplicial complex is a simplicial complex \(\mathcal {X}\) equipped with a discrete metric, i.e. a map \(\ell \) that assigns to each \(1\)simplex \(e\) a length \(\ell _e > 0\) such that for each simplex \(\sigma \) the symmetric tensor \(S_{\sigma }^\ell \) is positivedefinite.
Now, let \(\mathcal {X}\) be a Euclidean simplicial manifold of dimension \(n\) and denote by \(\mathcal {X}_n\) the set of its topdimensional simplices. Since each simplex of \(\mathcal {X}\) is equipped with a scalar product it comes with a corresponding density and hence we know how to integrate functions over the simplices of \(\mathcal {X}\). Now, we define the integral over \(\mathcal {X}\) as follows:
Moreover, given a piecewisesmooth hermitian line bundle \(\tilde{\mathrm L}\rightarrow \mathcal {X}\) with curvature, then there is a canonical hermitian product \(\langle \!\langle .,.\rangle \!\rangle \) on \(\varGamma _{ps}(\tilde{\mathrm L})\): If \(\tilde{\psi },\tilde{\phi }\in \varGamma _{ps}(\tilde{\mathrm L})\), then
In particular, if \(\tilde{\mathrm L}\) is the associated piecewisesmooth bundle of a discrete hermitian line bundle \(\mathrm L\) with curvature \(\varOmega \), then we can use \(\iota \) to pull \(\langle \!\langle .,.\rangle \!\rangle \) back to \(\varGamma (\mathrm L)\). Since \(\iota \) is injective this yields a hermitian product on \(\varGamma (\mathrm L)\).
Now we want to compute this metric explicitly in terms of given discrete data.
Definition 11.4
A piecewiselinear section \(\tilde{\psi }\in \varGamma _{pl}(\tilde{\mathrm L})\) is called concentrated at a vertex \(i\), if it is of the form \(\tilde{\psi }= \iota (\psi _i)\) for some vector \(\psi _i\in \mathrm L_i\).
It is basically enough to compute the product of two such concentrated sections. Therefore, let \(\psi _i\in \mathrm L_i\) and \(\psi _j\in \mathrm L_j\) and let \(\tilde{\psi }^i\) and \(\tilde{\psi }^j\) denote the corresponding piecewiselinear concentrated sections.
Now consider their product \(\langle \tilde{\psi }^i, \tilde{\psi }^j \rangle \). Clearly, this product has support \(S_i\mathop {\cap }S_j\). For simplicity, we extend the discrete connection \(\eta \) to arbitrary pairs \({ij}\) in such way that \(\eta _{ii}= \text {id}\) and \(\eta _{{ij}}:\mathrm L_i \rightarrow \mathrm L_j\) is zero whenever \(\{i,j\}\not \in \mathcal {X}\). With this convention, Eq. (5) yields
where \({\tilde{\varOmega }}\) denotes the constant piecewisesmooth curvature form associated to \(\varOmega \).
Now, let us express the integral over \(\Delta _{{ij}}^p\) on a given \(n\)simplex. Therefore consider an \(n\)simplex \(\sigma = \{i_0,\ldots ,i_n\}\). The hat functions \(x_{i_1},\ldots ,x_{i_n}\) yield affine coordinates on \(\sigma \) and we can express any \(2\)form with respect to the basis forms \(dx_{i_j}\wedge dx_{i_k}\). One can show that
Thus we obtain
Now we want to compute the integral over the triangle \(\Delta _{i_0i_1}^p \subset \sigma \). By Stokes theorem,
where the integrals are computed along straight lines. A small computation shows
Thus, for \(j < k\), we get \(\int _{\Delta _{i_0i_1}^p} dx_{i_j}\wedge dx_{i_k} = \frac{1}{2}\delta _{1\!j}\, x_{i_k}(p)\) and hence
where we have used the convention that \(\varOmega \) vanishes on all triples not representing an oriented \(2\)simplex of \(\mathcal {X}\). With this convention Eq. (8) becomes
In particular, using Eq. (9), we can compute the norm of a piecewiselinear section \(\tilde{\psi }\) on a given triangle \({i\!jk}\). Therefore we distinguish one of its vertices, say \(i\), and write \(\tilde{\psi }\) with respect to a section which is radially parallel with respect to \(i\). Now, one checks that
where \(c_i,c_j,c_k \in \mathbb C\) are constants depending on the explicit form of \(\tilde{\psi }\). An example of the norm of a piecewiselinear section is shown in Fig. 7.
As the next proposition shows, the identification of discrete and piecewiselinear sections perfectly fits together with the definitions in Sect. 8.
Proposition 11.5
Let \(\psi \in \varGamma (\mathrm L)\) be a discrete section and let \(\tilde{\psi }\in \varGamma _{pl}(\tilde{\mathrm L})\) be the corresponding piecewiselinear section, i.e. \(\tilde{\psi }= \iota (\psi )\). Then, if \(\tilde{\psi }\) has no zeros on edges, the discrete rotation form \(\xi ^\psi \) and the piecewisesmooth rotation form \(\xi ^{\tilde{\psi }}\) are related as follows: For each oriented edge \({ij}\),
Proof
The claim follows easily by expressing \(\tilde{\psi }\) with respect to some nonvanishing parallel section along the edge \({ij}\). \(\square \)
In particular, by Theorem 8.1, the index form of a nonvanishing section of a discrete hermitian line bundle with curvature counts the number of (signed) zeros of the corresponding piecewiselinear section of the associated piecewisesmooth bundle.
Let us continue with the computation of the metric on \(\varGamma (\mathrm L)\). To write down the formula we give the following definition.
Definition 11.6
Let \(\mathcal {X}\) be an \(n\)dimensional simplicial manifold and let \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb R)\). To an \(n\)simplex \(\sigma \) and vertices \(i,j,k,l\) of \(\mathcal {X}\) we assign the value
where we have chosen for integration an arbitrary discrete metric on \(\mathcal {X}\).
Remark 11.7
Note that the functions \(\Theta _{\sigma ,i,j}^\varOmega \) are indeed welldefined. On a simplex, any two such measures induced by a discrete metric differ just by a constant.
With Definition 11.6 and Eq. (9) we obtain the following form of the metric:
Theorem 11.8
(Product of Discrete Sections) Let \(\mathrm L\) be a discrete hermitian line bundle with curvature \(\varOmega \) over an \(n\)dimensional Euclidean simplicial manifold \(\mathcal {X}\), then the product on \(\varGamma (\mathrm L)\) induced by the associated piecewisesmooth hermitian line bundle is given as follows: Given two discrete sections \(\psi =\sum _i \psi _i, \phi = \sum _i \phi _i\),
Note that \(\Theta _{\sigma ,i,j}^\varOmega (k,l)\), and hence \(\mu _\varOmega ^{{ij}}\), can be computed explicitly using Fubini’s theorem and the following small lemma, which can be shown by induction.
Lemma 11.9
Let \(c\in \mathbb C_*\), \(n\in \mathbb N\) and \([a,b]\subset \mathbb R\) be an interval. Then
Next, we would like to compute the Dirichlet energy of a section \(\tilde{\psi }\in \varGamma _{pl}(\tilde{\mathrm L})\), i.e.
Note, that the Dirichlet energy comes with a corresponding positivesemidefinite hermitian form \(\langle \!\langle .,.\rangle \!\rangle _{\!D}\)—called the Dirichlet product. Clearly, like the metric, the Dirichlet product is completely determined by the values it takes on concentrated sections.
In general, if \(\tilde{\psi }\ne 0\) is piecewiselinear section concentrated at \(i\), it is given on the vertex star \(S_i\) as a product \(\tilde{\psi }= x_i\,\tilde{\phi }\), where \(x_i\) denotes the barycentric coordinate of the vertex \(i\) and \(\tilde{\phi }\) is a local section radially parallel with respect to \(i\). Clearly,
where \(\omega _i\) denotes the rotation form of \(\tilde{\phi }\), i.e. \(\nabla \tilde{\phi }= \imath \omega _i\, \tilde{\phi }\). Note here that \(\omega _i\) does not depend on the actual value of \(\tilde{\psi }\) at \(i\), but is the same for all nonvanishing piecewiselinear sections concentrated at \(i\).
To compute the rotation form \(\omega _i\) at a given point \(p_0\in S_i\), we use a local section \(\zeta \) which is radially parallel with respect to \(p_0\) such that \(\zeta _{p_0} = \tilde{\phi }_{p_0}\). Then we can express \(\tilde{\phi }\) in terms of \(\zeta \), i.e.
for some piecewisesmooth \(\mathbb C_*\)valued function \(z\) defined locally at \(p_0\). Clearly, \(z\) is constant, and hence
The clue is that we can now use the relation of parallel transport and curvature to obtain an explicit formula for \(z\). If \(p\) is sufficiently close to \(p_0\), then the three points \(p\), \(i\) and \(p_0\) determine an oriented triangle \(\Delta ^p\) which is contained in a simplex of \(\mathcal {X}\). Its boundary curve \(\gamma _p\) consists of three line segments \(\gamma _1,\gamma _2,\gamma _3\) connecting \(p\) to \(i\), \(i\) to \(p_0\) and \(p_0\) back to \(p\). Hence on each of these segments either \(\tilde{\phi }\) of \(\zeta \) is parallel and
Thus we obtain that \(z(p) = \exp \bigl (\imath \int _{\Delta ^p} {\tilde{\varOmega }}\bigr )\) and hence
Now, if \(\Delta ^p\) is contained in a simplex \(\sigma =\{i_0,\ldots ,i_n\}\), one verifies that
Thus,
and, using the convention on \(\varOmega \) from above, we find the following simple formula:
where we sum over the whole vertex set of \(\mathcal {X}\).
Now, given this local form expressions, we can finally return to the computation of the products which we are actually interested in. Therefore we consider two piecewiselinear sections concentrated at the vertices \(i\) and \(j\):
for some \(\psi _i\in \mathrm L_i\) and \(\psi _j\in \mathrm L_j\). On their common support \(S_i\mathop {\cap }S_j\) both section can be expressed, just as above, as products of a realvalued piecewiselinear hat functions \(x_i\) and \(x_j\) and radially parallel local sections \(\tilde{\phi }^i\) and \(\tilde{\phi }^j\):
Clearly,
With Eq. (9) we see that
Moreover, by Eq. (10),
The constants \(\langle dx_{k^\prime }, dx_{l^\prime } \rangle \) are basically provided by the following lemma.
Lemma 11.10
Let \(\sigma = \{v_0,\ldots ,v_n\}\) be a Euclidean simplex of dimension \(n>0\) and let \(x_i\) denote its barycentric coordinate functions. Then
where \(h_i\) denotes the distance between \(v_i\) and \(\sigma _i = \sigma \setminus \{v_i\}\) and \(N_i\) denotes the outwardpointing unit normal of \(\sigma _i\).
Proof
This immediately follows from two basic facts: First, \(dx_i (v_jv_0) = \delta _{{ij}}\) for \(i,j> 0\). Second, \(h_i = \langle v_0v_i, N_i\rangle \). \(\square \)
Lemma 11.10 yields almost immediately a higher dimensional analogue of the wellknown cotangent formula for surfaces.
Theorem 11.11
(Cotangent Formula) Let \(\sigma \) be a simplex of a Euclidean simplicial complex \(\mathcal {X}\) and let \(\dim \sigma >1\). If \(i\ne j\),
Here \(\alpha _\sigma ^{{ij}}\) denotes the angle between the faces \(\sigma \setminus \{i\}\) and \(\sigma \setminus \{j\}\). Moreover,
where \(h_i\) denotes the distance between the vertex \(i\) and the face \(\sigma \setminus \{i\}\).
Proof
Clearly, if \(\{i,j\}\not \subset \sigma \), then \(\int _{\sigma } \langle dx_i , dx_j \rangle = 0\). Now, let \(\{i,j\}\subset \sigma \), \(i\ne j\). With the notation of Lemma 11.10, we have
Furthermore, \(\cos \alpha _\sigma ^{{ij}}{=} \langle N_i, N_j\rangle \) and \(n!\, \mathrm {vol}\,\sigma {=} (n2)!\, h_ih_j \sin \alpha _\sigma ^{{ij}}\, \mathrm {vol}\,\bigl (\sigma \setminus \{i,j\}\bigr )\). This yields the first part of the theorem. Similarly, \(n\,\mathrm {vol}\,\sigma = h_i\,\mathrm {vol}\,\bigl (\sigma \setminus \{i\}\bigr )\). Setting then \(i=j\) yields the second part. \(\square \)
Definition 11.12
Let \(\mathcal {X}\) be an \(n\)dimensional simplicial manifold and let \(\varOmega \in \varOmega ^2(\mathcal {X}, \mathbb R)\). Let \(\sigma \) be an \(n\)simplex and \(i,j,k,l\) be vertices of \(\mathcal {X}\). Then, let
where we choose for the integration an arbitrary discrete metric on \(\mathcal {X}\).
Remark 11.13
Just like the functions \(\Theta _{\sigma ,i,j}^\varOmega \), the values \(\varLambda _{\sigma ,i,j}^\varOmega \) and the functions \(\Xi _{\sigma ,i,j}^\varOmega \) and are welldefined (compare Remark 11.7).
Now, with these definitions, we can summarize the above discussion by the following theorem.
Theorem 11.14
(Discrete Dirichlet Energy) Let \(\mathrm L\) be a discrete hermitian line bundle with curvature \(\varOmega \) over an \(n\)dimensional Euclidean simplicial manifold \(\mathcal {X}\), then the Dirichlet product on \(\varGamma (\mathrm L)\) induced by the associated piecewisesmooth hermitian line bundle is given as follows: If \(\phi =\sum _i \phi _i\) and \(\psi = \sum _i \psi _i\) are two discrete sections,
where
12 Discrete Energies on Surfaces—An Example
While the computation of the Dirichlet product \(\langle \!\langle .,.\rangle \!\rangle _{\!D}\) and the metric \(\langle \!\langle .,.\rangle \!\rangle \) of discrete sections is quite complicated and tedious for higher dimensional simplicial manifolds, it is manageable for the \(2\)dimensional case. We are going to compute it explicitly.
Throughout this section let \(\mathrm L\) denote a discrete hermitian line bundle with curvature \(\varOmega \) over a Euclidean simplicial surface \(\mathcal {X}\) and let \(\sigma =\{i,j,k\}\) be one of its triangles.
The metric \(\langle \!\langle .,.\rangle \!\rangle \) is easily obtained. We basically just need to compute the values \(\Theta _{\sigma ,i,i}^\varOmega (i,i)\) and \(\Theta _{\sigma ,i,j}^\varOmega (i,j)\), which can be done over the standard triangle. We get
Now, we compute the Dirichlet product \(\langle \!\langle .,.\rangle \!\rangle _{\!D}\) on \(\mathcal {X}\). For \(n=2\), the expressions \(W_{\sigma ,i,i}^\varOmega \) and \(W_{\sigma ,i,j}^\varOmega \) simplify drastically. First, we look at the diagonal terms. We have
and with
we get the following formula:
Now we would like to obtain a similar formula for the offdiagonal terms. Since \(dx_i+dx_j= dx_k\), we have \(c_\sigma ^{jk} + c_\sigma ^{ki}= c_\sigma ^{kk}\). Hence,
This time the expressions become more complicated. We get
Thus,
Now, let us look at the second sum in Eq. (11). We have
The formula for \(\Theta _{\sigma ,i,j}^\varOmega (i,j)\) is already given in Eq. (12). Further, we have
Thus we get
Hence, with
Equation (11) becomes
Since \(n=2\), the weights \(c_\sigma ^{{ij}}\) are just given as follows:
where \(\ell _{{ij}}\) denotes the edge length. We would like to express them explicitly in terms of the Euclidean metric \(g\) of \(\sigma \). In fact, we can distinguish the vertex \(k\) as origin and use the hat functions \(x_i\) and \(x_j\) as coordinates on \(\sigma \). With respect to these coordinates, the metric is given by a matrix:
In terms of \(g\) the cotangent weights are given as follows:
and we have rederived the formulas in [8]:
References
Avron, J., Osadchy, D., Seiler, R.: A topological look at the quantum Hall effect. Phys. Today 56, 38–42 (2003)
Bott, R.: On some recent interactions between mathematics and physics. Canad. Math. Bull. 28, 129–164 (1985)
Christiansen, S., Halvorsen, T.: A gauge invariant discretization on simplicial grids of the Schrödinger eigenvalue problem in an electromagnetic field. SIAM J. Numer. Anal. 49, 331–345 (2011)
Christiansen, S., Halvorsen, T.: A simplicial gauge theory. J. Math. Phys. 53 (2012)
Desbrun, M., Kanso, E., Tong, Y.: Discrete differential forms for computational modeling. In: Discrete Differential Geometry, pp. 287–324. Birkhäuser Basel (2008)
Halvorsen, T., Sørensen, T.: Simplicial gauge theory and quantum gauge theory simulation. Nucl. Phys. B 854, 166–183 (2012)
Hatcher, A.: Algebraic Topology. Cambridge University Press (2002)
Knöppel, F., Crane, K., Pinkall, U., Schröder, P.: Globally optimal direction fields. ACM Trans. Graph. 32 (2013)
Knöppel, F., Crane, K., Pinkall, U., Schröder, P.: Stripe patterns on surfaces. ACM Trans. Graph. 34 (2015)
Kobayashi, S.: La connexion des variétés fibrés I and II. Comptes Rendus de l’Académie Sciences, Paris 54(318–319), 443–444 (1954)
Kostant, B.: Quantization and unitary representations. In: Lectures in Modern Analysis and Applications III, vol. 170, pp. 87–208. Springer (1970)
Kreft, C., Seiler, R.: Models of the Hofstadter type. J. Math. Phys. 37, 5207–5243 (1996)
Morrison, K.: YangMills connections on surfaces and representations of the path group. Proc. Am. Math. Soc. 112, 1101–1106 (1991)
Munkres, J.R.: Elements of algebraic topology. In: Advanced Book Classics. Perseus Books (1984)
Sasaki, K., Kawazoe, Y., Saito, R.: AharonovBohm effect in higher genus materials. Physica A 321, 369–375 (2004)
Seifert, H., Threlfall, W.: Lehrbuch der Topologie: mit 132 Figuren. Chelsea Scientific Books, Chelsea (1934)
Simms, D.J., Woodhouse, N.M.J.: Lectures on geometric quantization. In: Lecture Notes in Physics. Springer, Berlin (1976)
Weil, A.: Introduction a l’etude des varietes Kähleriennes. Actualités Scientifiques et Industrielles. Hermann (1958)
Weißmann, S., Pinkall, U., Schröder, P.: Smoke rings from smoke. ACM Trans. Graph. 33 (2014)
Acknowledgments
This research was supported by the DFG Collaborative Research Center TRR 109, “Discretization in Geometry and Dynamics”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is distributed under the terms of the Creative Commons AttributionNoncommercial 2.5 License (http://creativecommons.org/licenses/bync/2.5/) which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
The images or other third party material in this chapter are included in the work’s Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work’s Creative Commons license and the respective action is not permitted by statutory regulation, users will need to obtain permission from the license holder to duplicate, adapt or reproduce the material.
Copyright information
© 2016 The Author(s)
About this chapter
Cite this chapter
Knöppel, F., Pinkall, U. (2016). Complex Line Bundles Over Simplicial Complexes and Their Applications. In: Bobenko, A. (eds) Advances in Discrete Differential Geometry. Springer, Berlin, Heidelberg. https://doi.org/10.1007/9783662504475_6
Download citation
DOI: https://doi.org/10.1007/9783662504475_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 9783662504468
Online ISBN: 9783662504475
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)