Holonomy and Parallel Transport for Abelian Gerbes

In this paper, we establish a one-to-one correspondence between U(1)-gerbes with connections, on the one hand, and their holonomies, for simply connected manifolds, or their parallel transports, in the general case, on the other hand. This result is a higher-order analogue of the familiar equivalence between bundles with connections and their holonomies for connected manifolds. The holonomy of a gerbe with group U(1) on a simply connected manifold M is a group morphism from the thin second homotopy group to U(1), satisfying a smoothness condition, where a homotopy between maps from [0,1]² to M is thin when its derivative is of rank 2. For the non-simply connected case, holonomy is replaced by a parallel transport functor between two special Lie groupoids, which we call Lie 2-groups. The reconstruction of the gerbe and connection from its holonomy is carried out in detail for the simply connected case.     

Webs and projective structures on a plane

We prove that there is a one-to-one correspondence between projective structures defined by torsion-free connections with skew-symmetric Ricci tensor and Veronese webs on a plane. The correspondence is used to characterise the projective structures in terms of second order ODEs.     

Limit holonomy and extension properties of Sobolev and Yang-Mills bundles

We consider the local behavior of Sobolev connections in a neighborhood of a singularity of codimension 2 and determine sufficient conditions for existence and local constancy of the limit holonomy of such connection. We prove that every Sobolev connection on an mdimensional manifold with locally L^m/2-integrable curvature and trivial limit holonomy extends through singularity of codimension 2. Additionally, if the connection satisfies the Yang-Mills-Higgs equation, the extension also satisfies the equation.     

Singular superspaces

We introduce a wide category of superspaces, called locally finitely generated, which properly includes supermanifolds, but enjoys much stronger permanence properties, as are prompted by applications. Namely, it is closed under taking finite fibre products (i.e. is finitely complete) and thickenings by spectra of Weil superalgebras. Nevertheless, in this category, morphisms with values in a supermanifold are still given in terms of coordinates. This framework gives a natural notion of relative supermanifolds over a locally finitely generated base. Moreover, the existence of inner homs, whose source is the spectrum of a Weil superalgebra, is established; they are generalisations of the Weil functors defined for smooth manifolds.     

Fuzzy Galois Connections

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided.     

Irreducible holonomy algebras of Riemannian supermanifolds

Possible irreducible holonomy algebras \mathfrakg ì \mathfrakosp(p, q|2m){\mathfrak{g}\subset\mathfrak{osp}(p, q|2m)} of Riemannian supermanifolds under the assumption that \mathfrakg{\mathfrak{g}} is a direct sum of simple Lie superalgebras of classical type and possibly of a 1-dimensional center are classified. This generalizes the classical result of Marcel Berger about the classification of irreducible holonomy algebras of pseudo-Riemannian manifolds.     

The Furstenberg Boundary of Groupoids

Siberian Mathematical Journal - Let $ {\mathcal{G}} $ be a locally compact groupoid. We show that there is a one-to-one correspondence between $ {\mathcal{G}} $ -spaces and the groupoid...     

On the enumeration of certain sets of planted plane trees

Using the definition of planted plane trees given by D. A. Klarner (“A correspondence between sets of trees,” Indag. Math.31 (1969), 292–296) the number of nonisomorphic classes of certain sets of these trees is enumerated by obtaining a one-to-one correspondence between these classes and certain sets of nondecreasing vectors with integral components. A one-to-one correspondence between sets of (r + 1)-ary sequences and a certain set of planted plane trees is also established, which permits enumeration of this set. Finally, a natural generalization of Klarner's one-to-one correspondence between the above sets of trees and certain sets of edge-chromatic trees is obtained.     

Partition and composition matrices

This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another.We show that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel.We show that composition matrices on X are in one-to-one correspondence with (2+2)-free posets on X. Also, composition matrices whose rows satisfy a column-ordering relation are shown to be in one-to-one correspondence with parking functions. Finally, we show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on {1,…,n}.     

Correspondence between fuzzy measures and classical measures

In this paper we study the question whether, given a fuzzy measure (as defined in [3] and [4]). there exists a classical measure such that the fuzzy measure of a measurable fuzzy set μ equals the classical measure of the area below the membership function of μ. The results are that in the case of finite additivity there is a one-to-one correspondence between classical measures and fuzzy measures, whereas in the case of countable additivity this result only holds for generated fuzzy σ-algebras. Finally, some connections of that problem with the existence of an extension of a fuzzy measure defined on an arbitrary fuzzy σ-algebra σ to the generated fuzzy σ-algebra $\text{σ}$ are discussed.     

On homogeneous connections with exotic holonomy

In Proc. Symp. Pure Math. 53 (1991), 33–88, Bryant gave examples of torsion free connections on four-manifolds whose holonomy is exotic, i.e. is not contained on Berger's classical list of irreducible holonomy representations. The holonomy in Bryant's examples is the irreducible four-dimensional representation of S1(2, #x211D;) (G1(2, #x211D;) resp.) and these connections are called H ₃-connections (G ₃-connections resp.).In this paper, we give a complete classification of homogeneous G ₃-connections. The moduli space of these connections is four-dimensional, and the generic homogeneous G ₃-connection is shown to be locally equivalent to a left-invariant connection on U(2). Thus, we prove the existence of compact manifolds with G ₃-connections. This contrasts a result in by Schwachhöfer (Trans. Amer. Math. Soc. 345 (1994), 293–321) which states that there are no compact manifolds with an H ₃-connection.     

Extensions of locally compact quantum groups and the bicrossed product construction

In the framework of locally compact quantum groups, we study cocycle actions. We develop the cocycle bicrossed product construction, starting from a matched pair of locally compact quantum groups. We define exact sequences and establish a one-to-one correspondence between cocycle bicrossed products and cleft extensions. In this way, we obtain new examples of locally compact quantum groups.     

Quasi-isometries between graphs and trees

Criteria for quasi-isometry between trees and general graphs as well as for quasi-isometries between metrically almost transitive graphs and trees are found. Thereby we use different concepts of thickness for graphs, ends and end spaces. A metrically almost transitive graph is quasi-isometric to a tree if and only if it has only thin metric ends (in the sense of Definition 3.6). If a graph is quasi-isometric to a tree then there is a one-to-one correspondence between the metric ends and those d-fibers which contain a quasi-geodesic. The graphs considered in this paper are not necessarily locally finite.     

The derivative of global surface-holonomy for a non-abelian gerbe

Starting with a non-abelian gerbe represented by a non-abelian differential cocycle, with values in a given crossed-module, this paper explicitly calculates a formula for the derivative of the associated surface holonomy of squares mapped into the base manifold; with spheres later considered as a special case. While the definitions in this paper used for gerbes, their connections, and the induced holonomy will initially be simplicial, translations into a cubical setting will be provided to aide in explicit coordinate-based calculations. While there are many previously published results on the properties of these non-abelian gerbes, including some calculations of the derivative over a single open set, this paper endeavors to take these local calculations and glue them together across multiple open sets in order to obtain a single expression for the change in surface holonomy with respect to a one-parameter family of squares.     

On the full holonomy group of Lorentzian manifolds

The classification of restricted holonomy groups of \(n\) -dimensional Lorentzian manifolds was obtained about ten years ago. However, up to now, not much is known about the structure of the full holonomy group. In this paper we study the full holonomy group of Lorentzian manifolds with a parallel null line bundle. Based on the classification of the restricted holonomy groups of such manifolds, we prove several structure results about the full holonomy. We establish a construction method for manifolds with disconnected holonomy starting from a Riemannian manifold and a properly discontinuous group of isometries. This leads to a variety of examples, most of them being quotients of pp-waves with disconnected holonomy, including a non-flat Lorentzian manifold with infinitely generated holonomy group. Furthermore, we classify the full holonomy groups of solvable Lorentzian symmetric spaces and of Lorentzian manifolds with a parallel null spinor. Finally, we construct examples of globally hyperbolic manifolds with complete spacelike Cauchy hypersurfaces, disconnected full holonomy and a parallel spinor.     

Leaf closures of Riemannian foliations: A survey on topological and geometric aspects of Killing foliations

A smooth foliation is Riemannian when its leaves are locally equidistant. The closures of the leaves of a Riemannian foliation on a simply-connected manifold, or more generally of a Killing foliation, are described by flows of transverse Killing vector fields. This offers significant technical advantages in the study of this class of foliations, which nonetheless includes other important classes, such as those given by the orbits of isometric Lie group actions. Aiming at a broad audience, in this survey we introduce Killing foliations from the very basics, starting with a brief revision of the main objects appearing in this theory, such as pseudogroups, sheaves, holonomy and basic cohomology. We then review Molino’s structural theory for Riemannian foliations and present its transverse counterpart in the theory of complete pseudogroups of isometries, emphasizing the connections between these topics. We also survey some classical results and recent developments in the theory of Killing foliations. Finally, we review some topics in the theory of singular Riemannian foliations, including the recent proof of Molino’s conjecture, and discuss singular Killing foliations.     

On Pseudo-Riemannian Manifolds Whose Ricci Tensor is Parallel

Ricci-parallel Riemannian manifolds have a diagonal Ricci endomorphism Ric and are therefore, at least locally, a product of Einstein manifolds. This fails in the pseudo-Riemannian case. Using, on the one side, a general result in linear algebra due to Klingenberg and on the other side, a theorem on the holonomy of pseudo-Riemannian manifolds, this work classifies the different types of pseudo-Riemannian manifolds whose Ricci tensor is parallel.     

对称等仿射球和极小对称Lagrange子流形的对应

利用对称空间的对偶性,本文建立局部强凸对称等仿射球之集与某复空间形式中的极小对称Lagrange子流形之集间的对应关系,在自然定义的等价意义下,这是一一对应关系.作为这种对应关系的直接应用,本文用完全不同的方法重新证明胡泽军等人最近建立的一个重要定理.该定理对具有平行Fubini-Pick形式的局部强凸等仿射球进行了完全分类.     

How the Curvature Generates the Holonomy of a Connection in an Arbitrary Fibre Bundle

For an arbitrary fibre bundle with a connection, the holonomy group of which is a Lie transformation group, it is shown how the parallel displacement along a null-homotopic loop can be obtained from the curvature by integration. The result also sheds some new light on the situation for vector bundles and principal fibre bundles. The Theorem of Ambrose–Singer is derived as a corollary in our general setting. The curvature of the connection is interpreted as a differential 2-form with values in the holonomy algebra bundle, the elements of which are special vector fields on the fibres of the given bundle. Received: May 16, 2006; Revised: July 30, 2006; Accepted: August 2, 2006