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 operators, are found. These geometrical structures are used to solve the problems of local as well as global equivalency of differential operators.
We study differential invariants of linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles over smooth manifolds with respect to groups of authomorphisms.
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras are homotopy equivalent. We apply this result to $L_\infty$-algebroids to show that two homotopy equivalent bundles have the same $L_\infty$-algebroid structures and explore some consequence on the theory of shifted Poisson structures.
It is known that, for Dirac operators on Riemann surfaces twisted by line bundles with Hermitian-Einstein connections, it is possible to obtain estimates for the first eigenvalue in terms of the topology of the twisting bundle \cite{JL2}. Attempts to generalize topological estimates for higher rank bundles or higher dimensional manifolds have been so far unsuccessful. In this work we construct a class of examples which indicates one problem that arises on such attempts to derive topological estimates.
Let K be a a Lie group, modeled on a locally convex space, and M a finite-dimensional paracompact manifold with corners. We show that each continuous principal K-bundle over M is continuously equivalent to a smooth one and that two smooth principal K-bundles over M which are continuously equivalent are also smoothly equivalent. In the concluding section, we relate our results to neighboring topics.
We study differential invariants of the third order linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles on two dimensional manifolds with respect to groups of authomorphisms.
The equivalence of principal bundles with transitive Lie groupoids due to Ehresmann is a well known result. A remarkable generalisation of this equivalence, due to Mackenzie, is the equivalence of principal bundle extensions with those transitive Lie groupoids over the total space of a principal bundle, which also admit an action of the structure group by automorphisms. This paper proves the existence of suitably equivariant transition functions for such groupoids, generalising consequently the classification of principal bundles by means of their transition functions, to extensions of princip…
This paper exhibits equivalences of 2-stacks between certain models of $\mathbb{S}^1$-gerbes and differential 3-cocycles. We focus primarily on the model of Dixmier-Douady bundles, and provide an equivalence between the 2-stack of Dixmier-Douady bundles and the 2-stack of differential 3-cocycles of height 1, where the 'height' is related to the presence of connective structure. Differential 3-cocycles of height 2 (resp. height 3) are shown to be equivalent to $\mathbb{S}^1$-bundle gerbes with connection (resp. with connection and curving). These equivalences extend to the equivariant setting o…
We establish a uniform comparison between the spectrum of the rough Laplacian (acting on sections of a vector bundle of complex rank one or of harmonic curvature) with the spectrum of a discrete operator (a generalization of a discrete magnetic Laplacian added with a potential) acting on a finite dimensional space coming from a discretization process. As an application, we obtain a comparison of the first positive eigenvalue of the rough Laplacian with the holonomy.
For any complex vector bundle $E^k$ of rank $k$ over a manifold $M^m$ with Chern classes $c_i \in H^{2i}(M^m,\Z)$ and any non-negative integers $l_1, >..., l_k$ we show the existence of a positive number $N(k,m)$ and the existence of a complex vector bundle $\hat E^k$ over $M^m$ whose Chern classes are $ N(k,m) \cdot l_i\cdot c_i\in H^{2i} (M^m,\Z)$. We also discuss a version of this statement for holomorphic vector bundles over projective algebraic manifolds.
We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds.
Let $X$ be a compact Riemann surface of genus $g\geq 2$ equipped with flat conical metric $|Ω|$, where $Ω$ be a holomorphic quadratic differential on $X$ with $4g-4$ simple zeroes. Let $K$ be the canonical line bundle on $X$. Introduce the Cauchy-Riemann operators $\bar \partial$ and $\partial$ acting on sections of holomorphic line bundles over $X$ ($K^2$ in the definition of $Δ^{(2)}_{|Ω|}$ below) and, respectively, anti-holomorphic line bundles ($\bar { K}^{-1}$ below). Consider the Laplace operator $Δ^{(2)}_{|Ω|}:=|Ω| \partial |Ω|^{-2}\bar\partial$ acting in the Hilbert space of square int…
The well known conformal covariance of the Dirac operator acting on spinor fields over a semi Riemannian spin manifold does not extend to powers thereof in general. For odd powers one has to add lower order curvature correction terms in order to obtain conformal covariance. We derive an algorithmic construction in terms of associated tractor bundles to compute these correction terms. Depending on the signature of the semi Riemannian manifold in question, the obtained conformal powers of the Dirac operator turn out to be formally self-adjoint with respect to the $L^2-$scalar product, or formall…
We prove identification of coefficients up to gauge by Cauchy data at the boundary for elliptic systems on oriented compact surfaces with boundary or domains of $\mathbb{C}$. In the geometric setting, we fix a Riemann surface with boundary, and consider both a Dirac-type operator plus potential acting on sections of a Clifford bundle and a connection Laplacian plus potential (i.e. Schrödinger Laplacian with external Yang-Mills field) acting on sections of a Hermitian bundle. In either case we show that the Cauchy data determines both the connection and the potential up to a natural gauge trans…
Given a compact Kähler manifold $X$, there is an equivalence of categories between the completely reducible flat vector bundles on $X$ and the polystable Higgs bundles $(E,\, θ)$ on $X$ with $c_1(E)= 0= c_2(E)$ \cite{SimC}, \cite{Cor}, \cite{UY}, \cite{DonI}. We extend this equivalence of categories to the context of compact Sasakian manifolds. We prove that on a compact Sasakian manifold, there is an equivalence between the category of semi-simple flat bundles on it and the category of polystable basic Higgs bundles on it with trivial first and second basic Chern classes. We also prove that a…
We study the contact equivalence problem for toric contact structures on $S^3$-bundles over $S^2$. That is, given two toric contact structures, one can ask the question: when are they equivalent as contact structures while inequivalent as toric contact structures? In general this appears to be a difficult problem. To find inequivalent toric contact structures that are contact equivalent, we show that the corresponding 3-tori belong to distinct conjugacy classes in the contactomorphism group. To show that two toric contact structures with the same first Chern class are contact inequivalent, we …
In the limit $\hbar\to 0$, we analyze a class of Schrödinger operators $H_\hbar = \hbar^2 L + \hbar W + V\cdot \mathrm{id}$ acting on sections of a vector bundle $\mathcal{Eh}$ over a Riemannian manifold $M$ where $L$ is a Laplace type operator, $W$ is an endomorphism field and the potential energy $V$ has a non-degenerate minimum at some point $p\in M$. We construct quasimodes of WKB-type near $p$ for eigenfunctions associated with the low lying eigenvalues of $H_\hbar$. These are obtained from eigenfunctions of the associated harmonic oscillator $H_{p, \hbar}$ at $p$, acting on smooth functi…
We consider natural differential operations acting on sections of tensor vector bundles. Arrising problems can be reformulated as invariant theoretical problems (the IT-reduction). We give examples of usage of the IT-reduction. In particular, on a manifold with a connection and a Poisson structure we construct the canonical quantization.
We prove that for a suitable class of metric measure spaces, the abstract notion of tangent module as defined by the first author can be isometrically identified with the space of $L^2$-sections of the `Gromov-Hausdorff tangent bundle'. The class of spaces $({\rm X},{\sf d},{\mathfrak m})$ we consider are PI spaces that for every $\varepsilon>0$ admit a countable collection of Borel sets $(U_i)$ covering ${\mathfrak m}$-a.e.\ ${\rm X}$ and corresponding $(1+\varepsilon)$-biLipschitz maps $φ_i:U_i\to{\mathbb R}^{k_i}$ such that $(φ_i)_*{\mathfrak m}\lower3pt\hbox{$|_{U_i}$}\ll\mathcal L^{k_i}$.…
A nice differential-geometric framework for (non-abelian) higher gauge theory is provided by principal 2-bundles, i.e. categorified principal bundles. Their total spaces are Lie groupoids, local trivializations are kinds of Morita equivalences, and connections are Lie-2-algebra-valued 1-forms. In this article, we construct explicitly the parallel transport of a connection on a principal 2-bundle. Parallel transport along a path is a Morita equivalence between the fibres over the end points, and parallel transport along a surface is an intertwiner between Morita equivalences. We prove that our …
We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect to thin homotopies between loops. The equivalence is established by a functor called regression, and complements a similar equivalence for bundles and gerbes equipped with connections, derived previously in Part II of this series of papers. The two equivalences provide a complete loop space formulation of the geometry of gerbes; functorial, monoidal, natura…
We study vector bundles over Lie groupoids, known as VB-groupoids, and their induced geometric objects over differentiable stacks. We establish a fundamental theorem that characterizes VB-Morita maps in terms of fiber and basic data, and use it to prove the Morita invariance of VB-cohomology, with implications to deformation cohomology of Lie groupoids and of classic geometries. We discuss applications of our theory to Poisson geometry, providing a new insight over Marsden-Weinstein reduction and the integration of Dirac structures. We conclude by proving that the derived category of VB-groupo…
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian semi-ring. By applying the Grothedieck construction one obtains the ring K, elements of which, modulo a complex torus of dimension the sum of the odd Betti numbers of the base, are uniquely determined by the corresponding element of ordinary K and the Chern-Weil form. This construction provides a simple model of differential K-theory, c.f.Hopkins-Singer (200…
Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of flags on each fiber. We call them flag structures. The construction of the canonical frames for these structures can be given in the two prolongation steps: the first step, based on our previous works, gives the canonical bundle of moving frames for the fixed submanifolds of flags on each fiber and the second step consists of the prolongation of the bundle ob…
In the present paper we develop a framework in which questions of quantum ergodicity for operators acting on sections of hermitian vector bundles over Riemannian manifolds can be studied. We are particularly interested in the case of locally symmetric spaces. For locally symmetric spaces, we extend the recent construction of Silberman and Venkatesh (math.RT/0407413) of representation theoretic lifts to vector bundles.
Let $(E,h)$ be a holomorphic Hermitian vector bundle over a polarized manifold. We provide a canonical quantization of the Laplacian operator acting on sections of the bundle of Hermitian endomorphisms of $E$. If $E$ is simple we obtain an approximation of the eigenvalues and eigenspaces of the Laplacian.
We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of principality for these bundles, which uses the notion of a subduction, generalising the notion of a Lie group(oid) principal bundle. We say two diffeological groupoids are Morita equivalent if and only if there exists a biprincipal bibundle between them. Using a Hilsum-Skandalis tensor product, we further define a composition of diffeological bibundles, and …
This paper describes an equivalence of the canonical category of $\mathbb N$-manifolds of degree $2$ with a category of involutive double vector bundles. More precisely, we show how involutive double vector bundles are in duality with double vector bundles endowed with a linear metric. We describe then how special sections of the metric double vector bundle that is dual to a given involutive double vector bundle are the generators of a graded manifold of degree $2$ over the double base. We discuss how split Poisson $\mathbb N$-manifolds of degree $2$ are equivalent to \emph{self-dual represent…
Exterior differential forms with values in the (Kostant's) symplectic spinor bundle on a manifold with a given metaplectic structure are decomposed into invariant subspaces. Projections to these invariant subspaces of a covariant derivative associated to a torsion-free symplectic connection are described.
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an alternate proof of the main result of [13], showing that the characterization of vector bundles by means of their Lie algebras of homogeneous differential operators also holds for vector bundles of rank 1 and over any base manifolds.
Let E be a Real or Quaternionic Hermitian vector bundle over a Klein surface M. We study the action of the gauge group of E on the space of Galois-invariant unitary connections and we show that the closure of a semi-stable orbit contains a unique unitary orbit of projectively flat, Galois-invariant connections. We then use this invariant-theoretic perspective to prove a version of the Narasimhan-Seshadri correspondence in this context: S-equivalence classes of semi-stable Real and Quaternionic vector bundes are in bijective correspondence with equivalence classes of certain appropriate represe…
In this paper, we prove the equivalence of the existence of extremal Kahler metrics and the properness of the modified K energy on projective bundles. Moreover, we discuss the relations of the lower boundedness of the K energy, the infimum of the Calabi energy and the extremal polynomials. In particular, we give an example where the modified K energy is bounded from below but not proper.
The tangent bundle of a Riemannian manifold (M,g) with non-degenerated g-natural metric G that admits a Killing vector field is investigated. Using Taylor's formula (TM,G) is decomposed into four classes that are investigated separately. The equivalence of the existence of Killing vector field on M and TM is proved. Key words: Riemannian manifold, tangent bundle, g-natural metric, Killing vector field, non-degenerate metric.
We consider Laplacians acting on sections of homogeneous vector bundles over symmetric spaces. By using an integral representation of the heat semi-group we find a formal solution for the heat kernel diagonal that gives a generating function for the whole sequence of heat invariants. We argue that the obtained formal solution correctly reproduces the exact heat kernel diagonal after a suitable regularization and analytical continuation.
We provide criteria for self-adjointness and τ-Fredhomness of first and second order differential operators acting on sections of infinite dimensional bundles, whose fibers are modules of finite type over a von Neumann algebra A endowed with a trace τ. We extend the Callias-type index to operators acting on sections of such bundles and show that this index is stable under compact perturbations.
A conjecture of Hirschowitz's predicts that a globally generated vector bundle $W$ on a compact complex manifold $A$ satisfies the formal principle, i.e., the formal neighborhood of its zero section determines the germ of neighborhoods in the underlying complex manifold of the vector bundle $W$. By applying Cartan's equivalence method to a suitable differential system on the universal family of the Douady space of the complex manifold, we prove that this conjecture is true if $A$ is a Fano manifold, or if the global sections of $W$ separate points of $A$. Our method shows more generally that f…
We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed…
We discuss nonabelian bundle gerbes and their differential geometry using simplicial methods. Associated to any crossed module there is a simplicial group NC, the nerve of the 1-category defined by the crossed module and its geometric realization |NC|. Equivalence classes of principal bundles with structure group |NC| are shown to be one-to-one with stable equivalence classes of what we call crossed module gerbes bundle gerbes. We can also associate to a crossed module a 2-category C'. Then there are two equivalent ways how to view classifying spaces of NC-bundles and hence of |NC|-bundles and…
Vector bundles and double vector bundles, or $2$-fold vector bundles, arise naturally for instance as base spaces for algebraic structures such as Lie algebroids, Courant algebroids and double Lie algebroids. It is known that all these structures possess a unified description using the language of super\-geometry and graded manifolds of degree $\leq 2$. Indeed, a link has been established between the super and classical pictures by the geometrization process, leading to an equivalence of the category of graded manifolds of degree $\leq 2$ and the category of (double) vector bundles with additi…
In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant connection.
The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_ρS^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an $LG \rtimes_ρS^1$-bundle.
Let $A$ be a diagonal linear operator on $\C^n$, with all eigenvalues satisfying $0<|α_i|<1$, and $M = (\C^n\backslash 0)/<A>$ the corresponding Hopf manifold. We show that any stable holomorphic bundle on $M$ can be lifted to a $G$-equivariant coherent sheaf on $\C^n$, where $G=(\C^*)^l$ is a Lie group acting on $\C^n$ and containing $A$. This is used to show that all stable bundles on $M$ are filtrable, that is, admit a filtration by a sequence $F_i$ of coherent sheaves, with all subquotients $F_i/F_{i-1}$ of rank 1.
This paper shows the equivalence of the categories of $N$-manifolds of degree $2$ with the category of double vector bundles endowed with a linear metric. Split Poisson $N$-manifolds of degree $2$ are shown to be equivalent to self-dual representations up to homotopy. As a consequence, the equivalence above induces an equivalence between so called metric VB-algebroids and Poisson $N$-manifolds of degree $2$. Then a new description of split Lie $2$-algebroids is given, as well as their "duals", the Dorfman $2$-representations. We show that Dorfman $2$-representations are equivalent in a simple …
A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids. Basic properties of the Poisson K-ring are proved and the Poisson K-rings are calculated for a number of examples. In particular, for the zero Poisson structure the K-ring is the ordinary K-theory of the manifold and for the dual space to a Lie algebra the K-ring is the ring of virtual representations of the Lie algebra. It is also shown that the K-ring is an in…
We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-bundle over the Swann bundle of M.
We establish, via geometric quantization of the supercotangent bundle sM of (M,g), a correspondence between its conformal geometry and those of the spinor bundle. In particular, the Kosmann Lie derivative of spinors is obtained by quantization of the comoment map, associated to the new Hamiltonian action of conf(M,g) on sM. We study then the conf(M,g)-module structures induced on the space of differential operators acting on spinor densities and on its spaces of symbols (functions on sM). In the conformally flat case, we classify their conformal invariants, including the conformally odd powers…
An instanton $(E, D)$ on a (pseudo-)hyperkähler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on $M$ and equivalence classes of certain holomorphic functions taking values in the Lie algebra of $G^\mathbb{C}$ defined on an appropriate $SL_2(\mathbb{C})$-bundle over $M$. Our reformulation affords…
