Related papers: Basic Forms and Orbit Spaces: a Diffeological Appr…

Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

If $X$ is a connected complex manifold with $d_X = 2$ that admits the holomorphic and transitive action of a (connected) Lie group $G$, then the action extends to an action of the complexification $\hat{G}$ of $G$ on $X$ except when either…

Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $\phi$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action:…

We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

It is well known that a countable group admits a left-invariant total order if and only if it acts faithfully on R by orientation preserving homeomorphisms. Such group actions are special cases of group actions on simply connected…

Let $M$ be a smooth manifold and $\Gamma$ a group acting on $M$ by diffeomorphisms; which means that there is a group morphism $\rho:\Gamma\rightarrow \mathrm{Diff}(M)$ from $\Gamma$ to the group of diffeomorphisms of $M$. For any such…

We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases…

Starting from any proper action of any locally compact quantum group on any discrete quantum space, we show that its equivariant representation theory yields a concrete unitary 2-category of finite type Hilbert bimodules over the discrete…

We define a set of boundary conditions that ensure the presence of a null hypersurface with the essential characteristics of a horizon, using the formalism of weakly isolated horizons as a guide. We then determine the diffeomorphisms that…

We consider the equivalence problem for symplectic and conformal symplectic group actions on submanifolds and functions of symplectic and contact linear spaces. This is solved by computing differential invariants via the Lie-Tresse theorem.

Let G/H be a strongly regular homogeneous space such that H is a Lie group of inner type. We show that G/H admits a proper action of a discrete non-virtually abelian subgroup of G if and only if G/H admits a proper action of a subgroup L of…

In this paper we consider a diffeomorphism $f$ of a compact manifold $M$ which contracts an invariant foliation $W$ with smooth leaves. If the differential of $f$ on $TW$ has narrow band spectrum, there exist coordinates $H _x:W_x\to T_xW$…

We recall the main facts about the odd Laplacian acting on half-densities on an odd symplectic manifold and discuss a homological interpretation for it suggested recently by P. {\v{S}}evera. We study the relationship of odd symplectic…

In this paper we will show that the pull-back of any regular differential form defined on the smooth locus of a good quotient of dimension three and four to any resolution yields a regular differential form.

In a natural way, the local diffeomorphisms of a manifold onto itself act on the reference frame bundles of any order and on the bundles associated with them. Due to the transitivity, the invariants by diffeomorphisms of an associated…

What is the shape of space in a spacetime? One way of addressing this issue is to consider edgeless spacelike submanifolds of the spacetime. An alternative is to foliate the spacetime by timelike curves and consider the quotient obtained by…

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…

We investigate a class of actions of real Lie groups on complex spaces. Using moment map techniques we establish the existence of a quotient and a version of Luna's slice theorem as well as a version of the Hilbert-Mumford criterion. A…