Related papers: Remark on the Serre-Swan theorem for graded manifo…

Using the Cartan-Kahler theory, and results on real algebraic structures, we prove two embedding theorems. First, the interior of a smooth, compact 3-manifold may be isometrically embedded into a G_2-manifold as an associative submanifold.…

We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite…

By a theorem of Mclean, the deformation space of an associative submanifold Y of an integrable G_2 manifold (M,\phi) can be identified with the kernel of a Dirac operator D:\Omega^{0}(\nu) -->\Omega^{0}(\nu) on the normal bundle \nu of Y.…

We prove the additive version of the conjecture proposed by Ginzburg and Kaledin. This conjecture states that if X/G is an orbifold modeled on a quotient of a smooth affine symplectic variety X (over C) by a finite group G\subset Aut(X) and…

This article grew out of an effort to understand the smooth mapping class groups of certain 4-manifolds in a geometric manner. We prove a smooth analog of the Birman-Hilden theorem for manifolds that admit a hyperk\"ahler structure. This…

In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an…

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends…

We prove a general relative higher index theorem for complete manifolds with positive scalar curvature towards infinity. We apply this theorem to study Riemannian metrics of positive scalar curvature on manifolds. For every two metrics of…

Let $\cA$ be a commutative unital Banach algebra, $\g$ be a semisimple complex Lie algebra and $G(\cA)$ be the 1-connected Banach--Lie group with Lie algebra $\g \otimes \cA$. Then there is a natural concept of a parabolic subgroup $P(\cA)$…

Let $M$ be a smooth manifold. When $\Gamma$ is a group acting on the manifold $M$ by diffeomorphisms one can define the $\Gamma$-co-invariant cohomology of $M$ to be the cohomology of the differential complex…

To study coisotropic reduction in the context of deformation quantization we introduce constraint manifolds and constraint algebras as the basic objects encoding the additional information needed to define a reduction. General properties of…

Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…

We prove an analogue of Kac's Theorem, describing the dimension vectors of indecomposable coherent sheaves, or parabolic bundles, over weighted projective lines. We use a theorem of Peng and Xiao to associate a Lie algebra to the category…

We show that Jordan-Lie-Banach algebras, which provide an abstract characterization of quantum theory equivalent to C^* algebras, can always be canonically represented in terms of smooth functions on a K\"ahler manifold.

Based on a fact that complex Clifford algebras of even dimension are isomorphic to the matrix ones, we consider bundles in Clifford algebras whose structure group is a general linear group acting on a Clifford algebra by left…

Let $G$ be a finite group and $\Y$ a $G$-gerbe over an orbifold $\B$. A disconnected orbifold $\hat{\Y}$ and a flat U(1)-gerbe $c$ on $\hat{\Y}$ is canonically constructed from $\Y$. Motivated by a proposal in physics, we study a…

Let $G$ be a real reductive connected Lie group and $\sigma$ an involution of $G$. Let $H$ denote the identity component of the group of fixed points of $\sigma$, $\mathfrak g$ the Lie algebra of $G$ and $\mathfrak q$ the -1 eigenspace of…

We prove that a formal curve $\Gamma$ that is invariant by a $C^\infty$ vector field $\xi$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $\xi$ is not identically zero along $\Gamma$. This means that…

We introduce C-Algebras of compact Riemann surfaces $\Sigma$ as non-commutative analogues of the Poisson algebra of smooth functions on $\Sigma$. Representations of these algebras give rise to sequences of matrix-algebras for which…