Related papers: Invariant vector fields and groupoids
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of…
We introduce the notion of a quandle with a good involution and its homology groups. Carter et al. defined quandle cocycle invariants for oriented links and oriented surface-links. By use of good involutions, quandle cocyle invariants can…
We propose a new polymerization scheme for scalar fields coupled to gravity. It has the advantage of being a (non-bijective) canonical transformation of the fields and therefore ensures the covariance of the theory. We study it in detail in…
This short report establishes some basic properties of smooth vector fields on product manifolds. The main results are: (i) On a product manifold there always exists a direct sum decomposition into horizontal and vertical vector fields.…
The supersymmetric version of a topological quantum field theory describing flat connections, the super BF-theory, is studied in the superspace formalism. A set of observables related to topological invariants is derived from the curvature…
It is shown that target space diffeomorphism invariance of a generic Lagrangian for a set of scalar fields leads to an analog of Einstein equations for the geometry of a level set of these fields.
Let $V$ and $W$ be finite dimensional real vector spaces and let $G\subset\GL(V)$ and $H\subset\GL(W)$ be finite subgroups. Assume for simplicity that the actions contain no reflections. Let $Y$ and $Z$ denote the real algebraic varieties…
A big-isotropic structure is a generalization of the notion of Dirac structure, due to Vaisman. We discuss the inverse problem of deciding if a vector field is Hamiltonian having a big-isotropic structure as underlying geometry. In [1] we…
The purpose of this paper is to investigate the gauge symmetry of classical field theories in integral formalism. A gauge invariant theory is defined in terms of the invariance of the physical observables under the coordinate…
In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the…
Let $G$ be a Lie group acting on a vector space $V$. Given a set of $G$-invariants, one can ask the question : does this set of invariants characterize the group $G$ ? We recall here some known results, ask questions and state some…
We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is…
The purpose of this paper is to define some notions of movability for morphisms of inverse systems which extend the movability properties of inverse systems and which are compatible with the equivalence relations which define pro-morphisms…
The study of symmetries in the realm of manifolds can be approached in two different ways. On one hand, Killing vector fields on a (pseudo-)Riemannian manifold correspond to the directions of local isometries within it. On the other hand,…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…
We use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
Into this note we collect topics related to homogeneous vector bundles, elliptic adjoint orbits and so forth.
The aim of this work is to offer a family of invariants that allows us to classify finite potent endomorphisms on arbitrary vector spaces, generalizing the classification of endomorphisms on finite-dimensional vector spaces. As a particular…