Related papers: The smooth Hom-stack of an orbifold
Morita equivalence classes of Lie groupoids serve as models for differentiable stacks, which are higher spaces in differential geometry, generalizing manifolds and orbifolds. Representations up to homotopy of Lie groupoids provide a higher…
We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…
Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $\text{Nil}$. We show that the diffeomorphism group $\text{Diff}(X)$ deformation retracts to the isometry group $\text{Isom}(X)$. Combining this with…
Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the…
The complement of the hyperplanes $\{x_i=x_j\}$, for all $i\neq j$ in $M^n$, for $M$ an aspherical $2$-manifold, is known to be aspherical. Here we consider the situation, when $M$ is a $2$-dimensional orbifold. We prove this complement to…
We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We…
We extend the proof of automatic continuity for homeomorphism groups of manifolds to non-compact manifolds and manifolds with marked points and their mapping class groups. Specifically, we show that, for any manifold $M$ homeomorphic to the…
Let $M$ be a closed manifold and let $N$ be a connected manifold without boundary. For each $k\in\mathbb{N}$ the set of $k$ times continuously differentiable maps between $M$ and $N$ has the structure of a smooth Banach manifold where the…
Let $\mathcal H_c(M)$ stand for the path connected identity component of the group of all compactly supported homeomorphisms of a manifold $M$. It is shown that $\mathcal H_c(M)$ is perfect and simple under mild assumptions on $M$. Next,…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
Suppose $G$ is a connected complex Lie group and $H$ is a closed complex subgroup such that $X := G/H$ is Kaehler and the codimension of the top non-vanishing homology group of $X$ with coefficients in $\mathbb Z_2$ is less than or equal to…
Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly…
Suppose a finite group acts on a scheme X and a finite-dimensional Lie algebra g. The corresponding equivariant map algebra is the Lie algebra M of equivariant regular maps from X to g. We classify the irreducible finite-dimensional…
Results on characterization of manifolds in terms of certain Lie algebras growing on them, especially Lie algebras of differential operators, are reviewed and extended. In particular, we prove that a smooth (real-analytic, Stein) manifold…
We prove that the mapping stack Map(Y,X) of topological stacks X and Y is again a topological stack if Y admits a compact groupoid presentation. If Y admits a locally compact groupoid presentation, we show that Map(Y,X) is a paratopological…
For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is…
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
In this paper, we introduce the notion of a (regular) Hom-Lie group. We associate a Hom-Lie algebra to a Hom-Lie group and show that every regular Hom-Lie algebra is integrable. Then, we define a Hom-exponential (Hexp) map from the Hom-Lie…
An involutive distribution $C$ on a smooth manifold $M$ is a Lie-algebroid acting on sections of the normal bundle $TM/C$. It is known that the Chevalley-Eilenberg complex associated to this representation of $C$ possesses the structure…
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…