A framework for higher gauge theory based on a 2-group is presented, by constructing a groupoid of connections on a manifold acted on by a 2-group of gauge transformations, following previous work by the authors where the general notion of the action of a 2-group on a category was defined. The connections are discretized, given by assignments of 2-group data to 1- and 2-cells coming from a given cell structure on the manifold, and likewise the gauge transformations are given by 2-group assignments to 0-cells. The 2-cells of the manifold are endowed with a bigon structure, matching the 2-dimensional algebra of squares which is used for calculating with 2-group data. Showing that the action of the 2-group of gauge transformations on the groupoid of connections is well-defined is the central result. The effect, on the groupoid of connections, of changing the discretization is studied, and partial results and conjectures are presented around this issue. The transformation double category that arises from the action of a 2-group on a category, as defined in previous work by the authors, is described for the case at hand, where it becomes a transtormation double groupoid. Finally, examples of the construction are given for simple choices of manifold: the circle, the 2-sphere and the torus.
Finally, in work by one of us together with J. Nelson, see @cite_5 and references therein, models of quantum gravity in 2+1 dimensions are studied using traces of holonomies (Wilson loops). These exhibit area phases relating loops that are homotopic on the spatial surface, which strongly suggests an underlying HGT mechanism.
@cite_5
2097248522 1884565747 1893146140 2411856611
Wilson observables for 2 + 1 quantum gravity with negative cosmological constant, when the spatial manifold is a torus, exhibit several novel features: signed area phases relate the observables assigned to homotopic loops, and their commutators describe loop intersections, with properties that are not yet fully understood. We describe progress in our study of this bracket, which can be interpreted as a q-deformed Goldman bracket, and provide a geometrical interpretation in terms of a quantum version of Pick’s formula for the area of a polygon with integer vertices. We consider models given by Hamiltonians of the form View the MathML sourceH(I,f,p,q,t;e)=h(I)+?j=1n±(12pj2+Vj(qj))+eQ(I,f,p,q,t;e) Turn MathJax on where I?I?Rd,f?TdI?I?Rd,f?Td, p,q?Rnp,q?Rn, t?T1t?T1. These are higher dimensional analogues, both in the center and hyperbolic directions, of the models studied in , and and are usually called “a-priori unstable Hamiltonian systems”. All these models present the large gap problem. We show that, for 0<e«10<e«1, under regularity and explicit non-degeneracy conditions on the model, there are orbits whose action variables I perform rather arbitrary excursions in a domain of size O(1)O(1). This domain includes resonance lines and, hence, large gaps among d-dimensional KAM tori. This phenomenon is known as Arnold diffusion. The method of proof follows closely the strategy of and . The main new phenomenon that appears when the dimension d of the center directions is larger than one is the existence of multiple resonances in the space of actions I?I?RdI?I?Rd. We show that, since these multiple resonances happen in sets of codimension greater than one in the space of actions I, they can be contoured. This corresponds to the mechanism called diffusion across resonances in the Physics literature. The present paper, however, differs substantially from and . On the technical details of the proofs, we have taken advantage of the theory of the scattering map developed in [31]—notably the symplectic properties—which were not available when the above papers were written. We have analyzed the conditions imposed on the resonances in more detail. More precisely, we have found that there is a simple condition on the Melnikov potential which allows us to conclude that the resonances are crossed. In particular, this condition does not depend on the resonances. So that the results are new even when applied to the models in and This is the second in a series of papers in which we derive a @math -expansion for the two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In this model, two phases appear, which interact via a nonlocal Coulomb type energy. Here we focus on the sharp interface version of this energy in the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In our previous paper, we computed the @math -limit of the leading order energy, which yields the averaged behavior for almost minimizers, namely that the density of droplets should be uniform. Here we go to the next order and derive a next order @math -limit energy, which is exactly the Coulombian renormalized energy obtained by Sandier and Serfaty as a limiting interaction energy for vortices in the magnetic Ginzburg-Landau model. The derivation is based on the abstract scheme of Sandier-Serfaty that serves to obtain lower bounds for 2-scale energies and express them through some probabilities on patterns via the multiparameter ergodic theorem. Without thus appealing to the Euler-Lagrange equation, we establish for all configurations which have "almost minimal energy" the asymptotic roundness and radius of the droplets, and the fact that they asymptotically shrink to points whose arrangement minimizes the renormalized energy in some averaged sense. Via a kind of @math -equivalence, the obtained results also yield an expansion of the minimal energy for the original Ohta-Kawasaki energy. This leads to expecting to see triangular lattices of droplets as energy minimizers. Recent progress in motion planning has made it possible to determine homotopy inequivalent trajectories between an initial and terminal configuration in a robot configuration space. Current approaches have however either assumed the knowledge of differential one-forms related to a skeletonization of the collision space, or have relied on a simplicial representation of the free space. Both of these approaches are currently however not yet practical for higher dimensional configuration spaces. We propose 2D topological task projections (TTPs): mappings from the configuration space to 2-dimensional spaces where simplicial complex filtrations and persistent homology can identify topological properties of the high-dimensional free configuration space. Our approach only requires the availability of collision free samples to identify winding centers that can be used to determine homotopy inequivalent trajectories. We propose the Winding Augmented RRT and RRT* (WA-RRT RRT*) algorithms using which homotopy inequivalent trajectories can be found. We evaluate our approach in experiments with configuration spaces of planar linkages with 2–10 degrees of freedom. Results indicate that our approach can reliably identify suitable topological task projections and our proposed WA-RRT and WA-RRT* algorithms were able to identify a collection of homotopy inequivalent trajectories in each considered configuration space dimension.