arXiv research

Higher gauge theory via differential nonabelian cohomology

New knot coloring layers simplify homology calculations.

We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive struct…

Local Kan conditions enable differentiation of simplicial manifolds.

Explains model structures for higher orbifolds and applies them to quantum cohomology.

In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic fibration to model principal bundles of higher groupoids, we use inner Kan fibra…

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…

Introduces new connections in higher geometry.

The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that differentials are Borel functions, higher order rectifiability of the set of differentiabili…

The paper proposes a method to compute higher infinitesimals in numerical and symbolic analysis.

We use the Frölicher-Nijenhuis formalism to reformulate the inverse problem of the calculus of variations for a system of differential equations of order 2k in terms of a semi-basic 1-form of order k. Within this general context, we use the homogeneity proposed by Crampin and Saunders in [14] to formulate and discuss t…

The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for functions. We emphasize that for every subset $A$ of the Euclidean space and for eve…

What are called secondary characteristic classes in Chern-Weil theory are a refinement of ordinary characteristic classes of principal bundles from cohomology to differential cohomology. We consider the problem of refining the construction of secondary characteristic classes from cohomology sets to cocycle spaces; and …

This paper proves cohomology invariants for differentiable stacks.

New principle for optimal control with higher order differential constraints.

Recalls and refines the concept of algebraically rectifiable curves.

Higher-dimensional spacetimes have well-behaved boundaries.

We review and elaborate on some aspects of the quantization of certain classes of higher abelian gauge theories using techniques of generalized differential cohomology. Particular emphasis is placed on the examples of generalized Maxwell theory and Cheeger-Simons cohomology, and of Ramond-Ramond fields in Type II super…

Noncommutative geometry connects higher order connections to quantization.

Expands differential geometry to higher-order infinitesimals.

In this paper we present a recurrent relation for counting meaningful compositions of the higher-order differential operations on the space $R^{n}$ (n=3,4,...) and extract the non-trivial compositions of order higher than two.

This paper completes the construction of arbitrary order conformally invariant differential operators in higher spin spaces. Jan Slovák has classified all conformally invariant differential operators on locally conformally flat manifolds. We complete his results in higher spin theory by giving explicit expressions for …

We construct in projective differential geometry of the real dimension $2$ higher symmetry algebra of the symplectic Dirac operator ${D}\kern-0.5em\raise0.22ex\hbox{/}_s$ acting on symplectic spinors. The higher symmetry differential operators correspond to the solution space of a class of projectively invariant overde…

Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cu…

In this paper, we adapt part of Weinberger, Xie and Yu's breakthrough work, to define additive higher rho invariant for topological structure group by differential geometric version of signature operators, or in other words, unbounded Hilbert-Poincaré complexes.

Study proves higher-order conformal forms don't exist in odd dimensions.

We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A moti…

This paper deals with the enumeration of the higher order non-trivial compositions of the differential operations and the directional derivative in the space $R^n$ ($n \geq 3$). We present the recurrences for a counting the higher order non-trivial compositions.

For a smooth manifold $M$, it was shown in \cite{BPH} that every affine connection on the tangent bundle $TM$ naturally gives rise to covariant differentiation of multivector fields (MVFs) and differential forms along MVFs. In this paper, we generalize the covariant derivative of \cite{BPH} and construct covariant deri…

Any nonpositively curved symmetric space admits a topological compactification, namely the Hadamard compactification. For rank one spaces, this topological compactification can be endowed with a differentiable structure such that the action of the isometry group is differentiable. Moreover, the restriction of the actio…

Introduces a new operator generating higher Koszul brackets on differential forms.

The purpose of this article is to present the theory of higher order connections on vector bundles from a viewpoint inspired by projective differential geometry.

Defines a bundle map for currents on manifolds using higher covariant derivatives.

Geometrically solves differentiating simplicial manifolds.

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…

In this paper we consider successive iterations of the first-order differential operations in space ${\bf R}^3.$

Motivated by obtaining a consistent mathematical description for the radiation reaction of point charged particles in linear classical electrodynamics, a theory of generalized higher order tensors and differential forms is introduced. The generalization of some fundamental notions of the differential geometry and the t…

Solves differentiation for Lie ∞-groups using formal groupoids.

This paper generalizes Bismut's equivariant Chern character to the setting of abelian gerbes. In particular, associated to an abelian gerbe with connection, an equivariantly closed differential form is constructed on the space of maps of a torus into the manifold. These constructions are made explicit using a new local…

We show how the relation between Poisson brackets and symplectic forms can be extended to the case of inhomogeneous multivector fields and inhomogeneous differential forms (or pseudodifferential forms). In particular we arrive at a notion which is a generalization of a symplectic structure and gives rise to higher Pois…

The paper extends Riemann-Hilbert correspondence to foliations.

The Bers embebbing realizes the Teichmüller space of a Fuchsian group $G$ as a open, bounded and contractible subset of the complex Banach space of bounded quadratic differentials for $G$. It utilizes the schlicht model of Teichmüller space, where each point is represented by an injective holomorphic function on the di…

We study higher-order conservation laws of the non-linearizable elliptic Poisson equation $\frac{{\partial}^2 u}{\partial z \partial \bar{z}} = -f(u)$ as elements of the characteristic cohomology of the associated exterior differential system. The theory of characteristic cohomology determines a normal form for diffe…

GENIE accelerates DDM synthesis with higher-order solvers.

Geometric AD framework simplifies derivative computation in JAX.

Constructs a new geometric structure on surfaces to generalize Teichmüller theory.

New method recovers differential cohomology from diffeological spaces.

Superposition rules form a class of functions that describe general solutions of systems of first-order ordinary differential equations in terms of generic families of particular solutions and certain constants. In this work we extend this notion and other related ones to systems of higher-order differential equations …