arXiv research

Higher gauge theory via differential nonabelian cohomology

Building on the theory of elliptic operators, we give a unified treatment of the following topics: - the problem of homotopy invariance of Novikov's higher signatures on closed manifolds; - the problem of cut-and-paste invariance of Novikov's higher signatures on closed manifolds; - the problem of defining higher signa…

Study fractional structures on bundle gerbe modules using rational homotopy theory.

Groups $Π_k(X;σ)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $π_k(X;p)$ is the limit case for flags $σ$ contracted to a point $p$. Calculus of exterior forms with values in algebra $A$ is developped of which the limit cases are differential forms calculus (for $A=\bb R…

Extends adjoint representation concept to higher Lie groupoids.

Defines new link-homotopy invariants using Milnor's higher order link invariants.

Unified classification of equivariant principal bundles using higher homotopy theory.

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group actions on these manifolds, we introduce a theory of homotopy moment maps. Such a…

By explicitly comparing constructions, we prove that the higher torsion invariants of smooth bundles defined by Igusa and Klein via Morse theory agree with the higher torsion invariants defined by Badzioch, Dorabiala, Dwyer, Weiss, and Williams using homotopy theoretical methods.

New algebra models refine complex manifold homotopy groups.

We study noncommutative eta- and rho-forms for homotopy equivalences. We prove a product formula for them and show that the rho-forms are well-defined on the structure set. We also define an index theoretic map from L-theory to C*-algebraic K-theory and show that it is compatible with the rho-forms. Our approach, which…

We formalize higher dimensional and higher gauge WZW-type sigma-model local prequantum field theory, and discuss its rationalized/perturbative description in (super-)Lie n-algebra homotopy theory (the true home of the "FDA"-language used in the supergravity literature). We show generally how the intersection laws for s…

New method recovers differential cohomology from diffeological spaces.

Smooth actions of infinite groups linked to homotopy theory.

RSHT algorithm simplifies complex shapes to points.

Study extends gauge-theoretic invariant to higher-dimensional Kahler surfaces and calculates homotopy groups.

We associate a homotopy Poisson-n algebra to any higher symplectic structure, which generalizes the common symplectic Poisson algebra of smooth functions. This provides robust n-plectic prequantum data for most approaches to quantization. UPDATE: It has been brought to my attention that the exterior product does not cl…

This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey ex…

New homotopy types defined for links in thickened surfaces with higher genus.

Cyclification of orbifolds explained in cohesive higher topos theory.

Given a suitable link map f into a manifold M, we constructed, in [10], link homotopy invariants kappa(f) and mu(f). In the present paper we study the case M=S^n x R^{m - n} in detail. Here mu(f) turns out to be the starting term of a whole sequence mu^(s)(f), s = 0, 1, ..., of higher mu-invariants which together captu…

This article reviews $\infty$-bundles and their applications in geometry and physics.

The paper constructs infinite rank summands in diffeomorphism groups via Seiberg-Witten theory.

We construct a higher Whitehead torsion map, using algebraic K-theory of spaces, and show that it satisfies the usual properties of the classical Whitehead torsion. This is used to describe a "geometric assembly map" defined on stabilized structure spaces in purely homotopy theoretic terms.

Study realizes symplectic algebras and homotopy types on manifolds.

Scalable spaces are simply connected manifolds with nice cohomology properties.

Extends Chern character to non-abelian cohomology, linking to physics.

Graphs with given k vertices generate an (acyclic) simplicial complex. We describe the homology of its quotient complex, formed by all connected graphs, and demonstrate its applications to the topology of braid groups, knot theory, combinatorics, and singularity theory. The multidimensional analogues of this complex ar…

We construct a parallel transport on higher loop spaces of a manifold in term of a higher dimensional generalization of iterated path integrals. Under mild assumptions, we define a de Rham complex on higher loop spaces and we recover a known result of Hain of a de Rham structure on higher homotopy groups of a manifold.…

New model calculates Wilson surfaces in higher gauge theory.

Coarse geometry, and in particular coarse homotopy theory, has proven to be a powerful tool for approaching problems in geometric group theory and higher index theory. In this paper, we continue to develop theory in this area by proving a Coarse Lifting Lemma with respect to a certain class of bornologous surjective ma…

Geometric models for representations up to homotopy using simplicial vector bundles.

We present the notion of higher Kirillov brackets on the sections of an even line bundle over a supermanifold. When the line bundle is trivial we shall speak of higher Jacobi brackets. These brackets are understood furnishing the module of sections with an $L_{\infty}$-algebra, which we refer to as a homotopy Kirillov …

This thesis extends Hamiltonian actions to multisymplectic geometry, classifying actions on spheres and constructing homotopy comomentum maps.

Study homotopy sheaves on categories and their presheaves, proving descent properties.

We prove that the higher signature for any close oriented manifold is a simple-homotopy invariant.

New method uses iterated integrals to bridge geometric and homotopy information.

Paper constructs a transfer map for codimension 2 submanifolds in higher index theory.

Study the landscape of Lipschitz functions between manifolds using persistent homology.

The paper studies higher geometric structures and connections on manifolds, constructing moduli stacks and proving equivalence criteria.

This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions of 'quantum invariants' of manifolds inspired by ideas originating from physics.…

We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbif…

This is the first of two papers devoted to showing how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures on the symplectic cohomology of open symplectic manifolds. Using the SFT of Hamiltonian mapping tori we show how to define a …

We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element $Δ$. Given this, we introduce an infinite sequence of higher brackets on the image of the project…

In this paper we show how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures in Hamiltonian Floer theory. Using the SFT of Hamiltonian mapping tori we show how to define a homotopy extension of the well-known Lie bracket and discus…

Starting from a higher Courant bracket associated to exceptional generalized geometry, we provide a systematic derivation of all types of fluxes and their Bianchi identities for four-dimensional compactifications of M-theory. We show that these fluxes may be understood as generalized Wess-Zumino terms in certain topolo…

New tools prove smooth actions on exotic spheres.

Simplified and extended a method for rearranging infinite configurations of cubes.