Related papers: Rigidity of morphisms for log schemes
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We extend our generic rigidity theory for periodic frameworks in the plane to frameworks with a broader class of crystallographic symmetry. Along the way we introduce a new class of combinatorial matroids and associated linear…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
In this paper, we prove some rigidity theorems for compact Bach-flat $n$-manifold with the positive constant scalar curvature. In particular, our conditions in Theorem 1.4 have the additional properties of being sharp.
In this research oriented manuscript, foundational aspects of rigid geometry are discussed, putting emphasis on birational side of formal schemes and topological feature of rigid spaces. Besides the rigid geometry itself, topics include the…
We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal…
An algebraic deformation theory of dialgebra morphisms is obtained.
We establish Bochner-type formulas for operators related to $CR$ automorphisms and spherical $CR$ structures. From such formulas, we draw conclusions about rigidity by making assumptions on the Tanaka-Webster curvature and torsion.
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax of the program algebra PGA. Two different semantic…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
In structural rigidity, one studies frameworks of bars and joints in Euclidean space. Such a framework is an articulated structure consisting of rigid bars, joined together at joints around which the bars may rotate. In this paper, we will…
We extend to the critical (intermediate) regularity several results concerning rigidity for centralizers and group actions on the interval.
Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square Sq_{B/A} M, which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction…
We derive general structure and rigidity theorems for submetries $f: M \to X$, where $M$ is a Riemannian manifold with sectional curvature $\sec M \ge 1$. When applied to a non-trivial Riemannian submersion, it follows that $diam X \leq…
We construct a polarization on the relative log de Rham cohomology groups of a projective log deformation. To this end, we study the behavior of weight and Hodge filtrations under the cup product and construct a trace morphism for a log…
We consider the effect of surface roughness on solid-solid contact in a Stokes flow. Various models for the roughness are considered, and a unified methodology is given to derive the corresponding asymptotics of the drag force. In this way,…
Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…
Motivated by the intermediate Lang conjectures on hyperbolicity and rational points, we prove new finiteness results for non-constant morphisms from a fixed variety to a fixed variety defined over a number field by applying Faltings's…
In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…