Related papers: An Open Mapping Theorem

We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admits a surjective morphism from…

We introduce moment maps for continuous unitary representations of general topological groups. For solvable separable locally compact groups, we prove that the closure of the image of the moment map of any representation is convex.

Let $\kappa$ be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally $\kappa$-presentable categories with $\kappa$-accessible right adjoints to its locally full sub-2-category of…

We make two observations regarding the invertibility of Keller maps. i.e., polynomial maps for which the determinant of their Jacobian matrix is identically equal to 1. In our first result, we show that if P is a n-dimensional Keller map,…

Let K be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K)…

We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…

We extend and improve the result of Makkai and Par\'e that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption…

Let X be a complex nonsingular affine algebraic variety, K a holomorphically convex subset of X, and Y a homogeneous variety for some complex linear algebraic group. We prove that a holomorphic map f:K-->Y can be uniformly approximated on K…

We characterize continuum as the smallest cardinality of a family of compact sets needed to cover a locally compact group for which the Open Mapping Theorem does not hold.

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

For a Hamiltonian action of a compact group $U$ of isometries on a compact K\"ahler manifold $Z$ and a compatible subgroup $G$ of $U^{\mathbb{C}}$, we prove that for any closed $G$--invariant subset $Y\subset Z$ the image of the gradient…

We prove that for every proper Hamiltonian action of a Lie group G in finite dimensions the momentum map is locally G-open relative to its image (i.e. images of G-invariant open sets are open). As an application we deduce that in a…

We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification…

Every locally compact local group is locally isomorphic to a topological group.

Let $G $ be a group of cardinality $\kappa>\aleph_0 $ endowed with a topology $\tau $ such that $|U|=\kappa$ for every non-empty $U\in\tau$ and $\tau$ has a base of cardinality $\kappa$. We prove that $G$ could be factorized $G=AB$ (i.e.…

We prove that the space of surjective holomorphic maps from a compact complex manifold to a compact K\"ahler manifold with trivial canonical class and finite fundamental group is discrete.

A topological group G is h-complete if every continuous homomorphic image of G is (Raikov-)complete; we say that G is hereditarily h-complete if every closed subgroup of G is h-complete. In this paper, we establish open-map properties of…

We show that any complex (respectively real) representation of finite group naturally generates a open-closed (respectively Klein) topological field theory over complex numbers. We relate the 1-point correlator for the projective plane in…

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$