Related papers: Higher order reduction theorems for classical conn…

We examine the reduction process of a system of second-order ordinary differential equations which is invariant under a Lie group action. With the aid of connection theory, we explain why the associated vector field decomposes in three…

This paper deals with the problem of describing the vector spaces of divergence-free, natural tensors on a pseudo-Riemannian manifold that are second-order; i.e., that are defined using only second derivatives of the metric. The main result…

In this paper, metric reduction in generalized geometry is investigated. We show how the Bismut connections on the quotient manifold are obtained from those on the original manifold. The result facilitates the analysis of generalized…

In this paper, we establish the parahoric reduction theory of formal connections (or Higgs fields) on a formal principal bundle with parahoric structures, which generalizes Babbitt-Varadarajan's result for the case without parahoric…

The linear transports along paths in vector bundles introduced in Ref. [1] are applied to the special case of tensor bundles over a given differentiable manifold. Links with the transports along paths generated by derivations of tensor…

The structure of topological quantum field theories on the compact Kahler manifold is interpreted. The BRST transformations of fields are derived from universal bundle and the observables are found from the second Chern class of universal…

The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential…

We generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use…

Adopting the global approach to tangent bundles of order two established in[1], we develop this approach to find new results. We also generalize various results of [3], [4] and [6] to the geometry of tangent bundles of order two.

The operation of tensor product of Cohomological Field Theories (or algebras over genus zero moduli operad) introduced in an earlier paper by the authors is described in full detail, and the proof of a theorem on additive relations between…

We introduce the concept of a higher algebroid, generalizing the notions of an algebroid and a higher tangent bundle. Our ideas are based on a description of (Lie) algebroids as vector bundle comorphisms - differential relations of a…

In this paper we classify invariant noncommutative connections in the framework of the algebra of endomorphisms of a complex vector bundle. It has been proven previously that this noncommutative algebra generalizes in a natural way the…

3+1 decompositions of differential forms on a Lorentzian manifold (M,g;+ - - -) with respect to arbitrary observer field and the decomposition of the standard operations acting on them are studied, making use of the ideas of the theory of…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

We explicitly present homological residue fields for tensor triangulated categories as categories of comodules in a number of examples across algebra, geometry, and topology. Our results indicate that, despite their abstract nature, they…

We prove a duality theorem applicable to a a wide range of specialisations, as well as to some generalisations, of tangles in graphs. It generalises the classical tangle duality theorem of Robertson and Seymour, which says that every graph…

In contrast with QFT, classical field theory can be formulated in a strict mathematical way by treating classical fields as sections of smooth fibre bundles. Addressing to the theoreticians, these Lectures aim to compile the relevant…

We generalize the Harnack-Thom theorem to relate the ranks of the Lawson homology groups with $\Z_2$-coefficients of a real quasiprojective variety with the ranks of its reduced real Lawson homology groups. In the case of zero-cycle group,…