Related papers: Slicing criterion for ind-smooth ring maps

We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…

In this paper, we explore the theme of orbifold stratified spaces and establish a general criterion for them to be smooth orbifolds. This criterion utilizes the notion of linear stratification on the gluing bundles for the orbifold…

Let $M$ be an uniformizable Anderson t-motive and $L(M)$ its lattice. First, we prove by an explicit construction that for the non-mixed $M$ the lattice map $M\mapsto L(M)$ is not injective. Second, we show that some lattices which do not…

Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems,…

We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational…

We define a version of stable maps into the classifying stack $B\mathrm{GL}_N$, and develop a corresponding notion of $K$-theoretic Gromov-Witten invariants. In this setting, the evaluation morphisms are not of finite type; the definition…

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…

For pairs of integers (n,m) and (d,e) satisfying some nedesary conditions, we construct a local flat ring morphism of noetherian local rings u:A -->B such that dim(A)=n, depth(A)=d, dim(B)=m, depth(B)=e.

We study learning of indexed families from positive data where a learner can freely choose a hypothesis space (with uniformly decidable membership) comprising at least the languages to be learned. This abstracts a very universal learning…

We study the structure induced on a smooth manifold by a continuous selection of smooth functions. In case such selection is suitably generic, it provides a stratification of the manifold, whose strata are algebraically defined smooth…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

In \cite{tva}, Bertrand Toen and Michel Vaquie defined a scheme theory for a closed monoidal category $(C,\otimes,1)$. In this article, we define a notion of smoothness in this relative (and not necesarilly additive) context which…

Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi…

We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…

We show under some natural smoothness assumptions that pure in-plane drill rotations as deformation mappings of a $C^2$-smooth regular shell surface to another one parametrized over the same domain are impossible provided that the rotations…

Motivated by a question of Tsai-Tsui-Wang, we consider the rigidity of map from manifolds with positive Ricci curvature to manifolds with positive sectional curvature. We show that if the Ricci curvature of the domain dominates that of the…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This…

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…

We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli…