Related papers: Integration of Cocycles and Lefschetz Number Formu…
In a recent paper by Zhao and the author, the Lie algebras $A[D]=A\otimes F[D]$ of Weyl type were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and…
Let $\Gamma$ be a finitely generated discrete group acting properly and cocompactly on a smooth manifold M. By employing heat-kernel techniques we prove a geometric formula for the pairing of the index class associated to a…
In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the…
We present a new solution to the index problem for hypoelliptic operators in the Heisenberg calculus on contact manifolds, by constructing the appropriate topological K-theory cocycle for such operators. Its Chern character gives a…
We construct the explicit formula for the (2n+1)-cocycle of the Lie algebra of (pseudo)differential operators on a n-dimensional space. We prove that this formula in fact defines a cocycle for n=1 and n=2.
Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $\alpha\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb…
Let $M$ be a manifold and $T^*M$ be the cotangent bundle. We introduce a 1-cocycle on the group of diffeomorphisms of $M$ with values in the space of linear differential operators acting on $C^{\infty} (T^*M).$ When $M$ is the…
A hypoelliptic operator in the Heisenberg calculus on a compact contact manifold is a Fredholm operator. Its symbol determines an element in the K-theory of the noncommutative algebra of Heisenberg symbols. We construct a periodic cyclic…
The Lefschetz number and fixed point index can be thought of as two different descriptions of the same invariant. The Lefschetz number is algebraic and defined using homology. The index is defined more directly from the topology and is a…
We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…
We prove a Lefschetz hyperplane theorem for the determinantal loci of a morphism between two holomorphic vector bundles $E$ and $F$ over a complex manifold under the condition that $E^*\ox F$ is Griffiths $k$-positive. We apply this result…
Let $G$ be a locally semisimple ind-group, $P$ be a parabolic subgroup, and $E$ be a finite-dimensional $P$-module. We show that, under a certain condition on $E$, the nonzero cohomologies of the homogeneous vector bundle…
In this paper, we start from an extension of the notion of holonomy on diffeological bundles, reformulate the notion of regular Lie group or Fr\"olicher Lie groups, state an Ambrose-Singer theorem that enlarges the one stated in \cite{Ma2},…
According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$. Dao conjectured a generalization for…
Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…
We study the contact Lefschetz condition on compact contact solvmanifolds, as introduced by B.\ Cappelletti-Montano, A.\ De Nicola and I.\ Yudin. We seek to fill the gap in the literature concerning Benson-Gordon type results,…
We study the Lefschetz standard conjecture on a smooth complex projective variety X. In degree 2, we reduce it to a local statement concerning deformations of vector bundles on X. When X is hyperk\"ahler, we show that the existence of…
For an arbitrary Riemannian manifold $X$ and Hermitian vector bundles $E$ and $F$ over $X$ we define the notion of the normal symbol of a pseudodifferential operator $P$ from $E$ to $F$. The normal symbol of $P$ is a certain smooth function…
Let $E_1,\dots ,E_k$ and $E$ be natural vector bundles defined over the category $\Cal Mf_m^+$ of smooth oriented $m$--dimensional manifolds and orientation preserving local diffeomorphisms, with $m\geq 2$. Let $M$ be an object of $\Cal…
Let $(M,F)$ be a Finsler manifold. We construct a 1-cocycle on $\Diff(M)$ with values in the space of differential operators acting on sections of some bundles, by means of the Finsler function $F.$ As an operator, it has several…