Related papers: Critical loci and second-order singularities in ar…

We prove some facts about locales $L$ equipped with the Scott topology $\Omega(L)$, in particular studying a canonical frame homomorphism $\phi:\Omega(L)\to L$ which is motivated by an application to cognitive science. Such a topological…

Let X be a smooth complex projective surface. We prove that for any sufficiently big m there exists a rational dominant map f from X into a complex rational ruled surface Y, such that f is generically finite of degree m and has monodromy…

We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We establish a localized Bochner-type rigidity theorem for harmonic maps between Riemannian manifolds. Let $f : (M,g) \to (\overline{M},\overline{g})$ be a harmonic map from a compact manifold. Instead of assuming a global nonpositivity…

Let $q$ be a nondegenerate quadratic form on $V$. Let $X\subset V$ be invariant for the action of a Lie group $G$ contained in $SO(V,q)$. For any $f\in V$ consider the function $d_f$ from $X$ to $C$ defined by $d_f(x)=q(f-x)$. We show that…

We prove in two different ways that the monodromy map from the space of irreducible $\mathfrak{sl}_2$-differential-systems on genus two Riemann surfaces, towards the character variety of $\mathrm{SL}_2$-representations of the fundamental…

A fine moduli space is constructed, for cyclic-by-$\mathsf{p}$ covers of an affine curve over an algebraically closed field $k$ of characteristic $\mathsf{p}>0$. An intersection of finitely many fine moduli spaces for cyclic-by-$\mathsf{p}$…

For any genuinely ramified morphism $f\, :\, Y\, \longrightarrow\, X$ between irreducible smooth projective curves we prove that $\overline{(Y\times_X Y) \setminus \Delta}$ is connected, where $\Delta\, \subset\, Y\times_X Y$ is the…

Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…

In this paper we study the variability and rigidity of secondary characteristic classes which arise from flat connections on a manifold. Considering the connection as a Lie-algebra valued one-form, we study the characteristic map from Lie…

A rational map $f:\widehat{\mathbb{C}}\to\widehat{\mathbb{C}}$ on the Riemann sphere $\widehat{\mathbb{C}}$ is called critically fixed if each critical point of $f$ is fixed under $f$. In this article, we study the properties of a…

For a topological space $X$ we study continuous maps $f : X\to \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We…

Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure…

In studies of smooth maps with good differential topological conditions such as immersions, embeddings, Morse functions and their higher dimensional versions including fold maps and application to geometry, especially algebraic and…

Let $Y_{1}, \ldots, Y_{q}$ be closed subschemes which are located in $\ell$-subgeneral position with index $\kappa$ in a complex projective variety $X$ of dimension $n.$ Let $A$ be an ample Cartier divisor on $X.$ We obtain that if a…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1, and f:M-->P be a smooth mapping. In a previous series of papers for the case when f is a Morse map the author calculated the homotopy types of…

The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…

A holomorphic mapping $H$ between two real-analytic CR manifolds $M$ and $M'$ is said to be locally rigid if any other holomorphic map $F\colon M \to M'$ which is close enough to $H$ is obtained by composing $H$ with suitable automorphisms…