arXiv subjects
Publications and source records attributed to P. Bressler.
We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.
This is the first in a series of articles devoted to deformation quantization of gerbes. Here we give basic definitions and interpret deformations of a given gerbe as Maurer-Cartan elements of a differential graded Lie algebra (DGLA). We classify all deformations of a given gerbe on a symplectic manifold, as well as provide a deformation-theoretic interpretation of the first Rozansky-Witten class.
If E is a C^\infty complex vector bundle on an oriented C^\infty manifold Σ, diffeomorphic to a circle, then the space of sections of E has a canonical polarization in the sense of Pressley and Segal and so one has its determinantal gerbe with lien C^*, the group of nonzero complex numbers. If q:Σ-->B is a smooth family of circles as above and E is a vector bundle on Σ, then the smooth direct image q_*(E) is an infinite-dimensional bundle with fibers as above and so we have its determinantal gerbe on B with lien being the sheaf of invertible complex valued C^\infty functions, it gives a class in H^3(B, Z). In this paper we consider a family q:Σ-->B as above but with fibers being compact oriented C^\infty manifolds of dimension d. For a bundle E on Σone expects q_*(E) to possess a determinantal d-gerbe and hence to give a class in H^{d+2}(B, Z). We construct directly, by means of a version of the Chern-Weil theory, the real version of this would be class. We further prove a real version of the Grothendieck-Riemann-Roch theorem describing this class as a direct image of a certain characteristic class of E.
In this paper we compute the deformation theory of a special class of algebras, namely of Azumaya algebras on a manifold ($C^{\infty}$ or complex analytic).
The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.
Let $A$ be a star product on a symplectic manifold $(M,ω_0)$, $\frac{1}{t}[ω]$ its Fedosov class, where $ω$ is a deformation of $ω_0$. We prove that for a complex polarization of $ω$ there exists a commutative subalgebra, $O$, in $A$ that is isomorphic to the algebra of functions constant along the polarization. Let $F(A)$ consists of elements of $A$ whose commutator with $O$ belongs to $O$. Then, $F(A)$ is a Lie algebra which is an $O$-extension of the Lie algebra of derivations of $O$. We prove a formula which relates the class of this extension, the Fedosov class, and the Chern class of $P$.
We deduce the Riemann-Roch type formula expressing the microlocal Euler class of a perfect complex of D-modules in terms of the Chern character of the associated symbol complex and the Todd class of the manifold from the Riemann-Roch type theorem for periodic cyclic cocycles of a symplectic deformation quantization. The proof of the latter is contained in the sequel to this paper.
We introduce the notion of filtered perversity of a filtered differential complex on a complex analytic manifold $X$, without any assumptions of coherence, with the purpose of studying the connection between the pure Hodge modules and the \lt-complexes. We show that if a filtered differential complex $(\cM^\bullet,F_\bullet)$ is filtered perverse then $\aDR(\cM^\bullet,F_\bullet)$ is isomorphic to a filtered $\cD$-module; a coherence assumption on the cohomology of $(\cM^\bullet,F_\bullet)$ implies that, in addition, this $\cD$-module is holonomic. We show the converse: the de Rham complex of a holonomic Cohen-Macaulay filtered $\cD$-module is filtered perverse.
We give a proof of a conjecture of P. Schapira and J.-P. Schneiders on the characteristic classes of D-modules.
We study the intersection cohomology of the theta divisors on Jacobians of nonhyperelliptic curves.