Related papers: On Diff(M)-pseudo-differential operators and the g…

We study the action of the diffeomorphism group $\Diff(M)$ on the space of proper immersions $\Imm_{\text{prop}}(M,N)$ by composition from the right. We show that smooth transversal slices exist through each orbit, that the quotient space…

Let $B(E,F)$ denote the set of all bounded linear operators from $E$ into $F$, and $B^+(E,F)$ the set of double splitting operators in $B(E,F)$. When both $E,F$ are infinite dimensional , in $B(E,F)$ there are not more elementary…

The set of unrestricted homotopy classes $[M,S^n]$ where $M$ is a closed and connected spin $(n+1)$-manifold is called the $n$-th cohomotopy group $\pi^n(M)$ of $M$. Moreover it is known that $\pi^n(M) = H^n(M;\mathbb Z) \oplus \mathbb Z_2$…

Let $G$ be a compact Lie group that acts smoothly on a closed manifold $M$. Using a general Simonenko principle, we derive a novel criterion for the Fredholm property of $G$-pseudodifferential operators acting on Sobolev spaces of sections…

Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…

We outline how Drinfeld twist deformation techniques can be applied to the deformation quantization of principal bundles into noncommutative principal bundles, and more in general to the deformation of Hopf-Galois extensions. First we twist…

We study fiber bundles where the fibers are not a group $G$, but a free $G$-space with disjoint orbits. These bundles closely resemble principal bundles, hence we call them semi-principal bundles. The study of such bundles is facilitated by…

We extend the deformation to the normal cone and tangent groupoid constructions from finite-dimensional manifolds to infinite-dimensional Banach and Fredholm manifolds. Next, we generalize the concept of Fredholm filtrations to get a more…

Let $\pi\colon P\to M$ be a principal bundle and $p$ an invariant polynomial of degree r on the Lie algebra of the structure group. The theory of Chern-Simons differential characters is exploited to define an homology map $\chi^{k} :…

We consider an arbitrary linear elliptic first--order differential operator A with smooth coefficients acting between sections of complex vector bundles E,F over a compact smooth manifold M with smooth boundary N. We describe the analytic…

We study the Disc-structure space $S^{\rm Disc}_\partial(M)$ of a compact smooth manifold $M$. Informally speaking, this space measures the difference between $M$, together with its diffeomorphisms, and the diagram of ordered framed…

We consider the space $\mathcal M_{q,n}$ of regular $q$-tuples of commuting nilpotent endomorphisms of $k^n$ modulo simultaneous conjugation. We show that $\mathcal M_{q,n}$ admits a natural homogeneous space structure, and that it is an…

We give a formalism for constructing hidden sector bundles as extensions of sums of line bundles in heterotic $M$-theory. Although this construction is generic, we present it within the context of the specific Schoen threefold that leads to…

Let $G$ be a compact Lie group. We introduce a semiclassical framework, called Borel-Weil calculus, to investigate $G$-equivariant (pseudo)differential operators acting on $G$-principal bundles over closed manifolds. In this calculus, the…

Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…

The space of linear differential operators on a smooth manifold $M$ has a natural one-parameter family of $Diff(M)$ (and $Vect(M)$)-module structures, defined by their action on the space of tensor-densities. It is shown that, in the case…

We deal with the asymptotic behaviour for $\lambda\to+\infty$ of the counting function $N_P(\lambda)$ of certain positive selfadjoint operators $P$ with double order $(m,\mu)$, $m,\mu>0$, $m\not=\mu$, defined on a manifold with ends $M$.…

Several authors have recently constructed characteristic classes for classes of infinite rank vector bundles appearing in topology and physics. These include the tangent bundle to the space of maps between closed manifolds, the infinite…

We construct persistent bundles over configuration spaces of hard spheres and use the characteristic classes of these persistent bundles to give obstructions for embedding problems. The configuration spaces of $k$-hard spheres ${\rm…

This paper develops the tools of formal algebraic geometry in the setting of noncommutative manifolds, roughly ringed spaces locally modeled on the free associative algebra. We define a notion of noncommutative coordinate system, which is a…