Related papers: Slicing criterion for ind-smooth ring maps
We study smooth maps that arise in derived algebraic geometry. Given a map $A \to B$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of To\"{e}n-Vezzosi if and only…
One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…
We introduce the notion of a logarithmic stable map from a minimal log prestable curve to a log twisted semi-stable variety of form $xy=0$. We study the compactification of the moduli spaces of such maps and provide a perfect obstruction…
We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional…
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…
The notion of smoothness was introduced originally in the context of step systems on connected graphs. Smoothness turns out to be a very general property of metrics defined by a five-point condition. Restricted to graphs, it is closely…
The generalisation of the well-known (Hilbert polynomial) criterion for flatness of a projective morphism of Noetherian schemes is given for the case of nonreduced base of the morphism.
We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate…
We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic…
Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…
Given a map of simplicial topological spaces, mild conditions on degeneracies and the levelwise maps imply that the geometric realization of the simplicial map is a cofibration. These conditions are not formal consequences of model category…
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.
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…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
In the past 15 years a study of ``noncommutative projective geometry'' has flourished. By using and generalizing techniques of commutative projective geometry, one can study certain noncommutative graded rings and obtain results for which…
We announce a generalization of Zimmer's cocycle superrigidity theorem proven using harmonic map techniques. This allows us to generalize many results concerning higher rank lattices to all lattices in semisimple groups with property $(T)$.…
When we have a proper action of a Lie group on a manifold, it is well known that we get a stratification by orbit types and it is known that this stratification satisfies the Whitney (b) condition. In a previous article we have seen that…
Fold maps are smooth maps at each singular point of which it is represented as the product map of a Morse function and the identity map. Round fold maps are, in short, such maps the sets of all singular points of which are embedded…
We consider the problem of characterizing, for certain natural number $m$, the local $\mathcal{C}^m$-non-integrability near elliptic fixed points of smooth planar measure preserving maps. Our criterion relates this non-integrability with…
Non-smooth vector fields does not have necessarily the property of uniqueness of solution passing through a point and this is responsible to enrich the behavior of the system. Even on the plane non-smooth vector fields can be chaotic, a…