Related papers: $C^{m_0}$-Smoothness of Evaluation Maps

Let $\Phi$ be a flow on a smooth, compact, finite-dimensional manifold $M$. Consider the subsets $E(\Phi)$ and $D(\Phi)$ of $C^{\infty}(M,M)$ consisting of smoothh mappings and diffeomorphisms (respectively) of $M$ preserving the foliation…

Let $S$ be a smooth algebraic surface in $\mathbb{P}^3(\mathbb{C})$. A curve $C$ in $S$ has a cohomology class $\eta_C \in H^1 \hspace{-3pt}\left( \Omega^1_S \right)$. Define $\alpha(C)$ to be the equivalence class of $\eta_C$ in the…

We show that any smooth permutation $\sigma\in S_n$ is characterized by the set ${\mathbf{C}}(\sigma)$ of transpositions and $3$-cycles in the Bruhat interval $(S_n)_{\leq\sigma}$, and that $\sigma$ is the product (in a certain order) of…

We prove in an elementary fashion that the image of a commutative monotone $\sigma$-complete $C^*$-algebra under a $\sigma$-normal morphism is again monotone $\sigma$-complete and give an application of this result in spectral theory.

We obtain some classification result for the mapping class groups of compact orientable surfaces in terms of measure equivalence. In particular, the mapping class groups of different closed surfaces can not be measure equivalent. Moreover,…

We give new contributions to the existence problem of canonical surfaces of high degree. We construct several families (indeed, connected components of the moduli space) of surfaces $S$ of general type with $p_g=5,6$ whose canonical map has…

We construct membrane homology groups $\h(M)$ associated with each compact connected oriented smooth manifold, and show that $\h(M)$ is matrix graded algebra.

Locally stable maps $S^3\to\mathbb{R}^4$ are classified up to homotopy through locally stable maps. The equivalence class of a map $f$ is determined by three invariants: the isotopy class $\sigma(f)$ of its framed singularity link, the…

We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a…

We compute the (stable) \'etale cohomology of $\mathrm{Hom}_{n}(C, \mathcal{P}(\vec{\lambda}))$, the moduli stack of degree $n$ morphisms from a smooth projective curve $C$ to the weighted projective stack $\mathcal{P}(\vec{\lambda})$, the…

Let $P$ be a completely positive map on $M_n(\mathbb{C})$ and let $E_P$ be the associated \emph{GNS}-$C^*$-correspondence. We prove a result that implies, in particular, that the Cuntz-Pimsner algebra of $E_P$, $\mathcal{O}(E_P)$, is…

We provide a straightforward generalization of a positive map in $M_3(\mathbb{C})$ considered recently by Miller and Olkiewicz \cite{Miller}. It is proved that these maps are optimal and indecomposable. As a byproduct we provide a class of…

For a given smooth compact manifold $M$, we introduce an open class $\mathcal G(M)$ of Riemannian metrics, which we call \emph{metrics of the gradient type}. For such metrics $g$, the geodesic flow $v^g$ on the spherical tangent bundle $SM…

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate…

In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…

In this note, we prove a rigidity result for proper holomorphic maps between unit balls that have many symmetries and which extend to $\mathcal{C}^2$-smooth maps on the boundary.

In this article we prove that each integral cycle $T$ in an oriented Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by an integral cycle in the same homology class which is a smooth submanifold $\Sigma$ of nearly the…

Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. $\mathrm{Hom}(\pi,G)_0$ denotes the null-component of the space of homomorphisms from $\pi$ to $G$, and $\mathrm{map}_*(B\pi,BG)_0$ denotes the null-component of…

In this paper we classify all $\aleph_0$-categorical and $C$-minimal sets up to elementary equivalence.

We study the space of oriented genus g subsurfaces of a fixed manifold M, and in particular its homological properties. We construct a "scanning map" which compares this space to the space of sections of a certain fibre bundle over M…