Related papers: Smoothness in Relative Geometry

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

Traditional category theory is typically based on set-theoretic principles and ideas, which are often non-constructive. An alternative approach to formalizing category theory is to use E-category theory, where hom sets become setoids. Our…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Following ideas of Bondarko, we construct a DG category whose homotopy category is equivalent to the full subcategory of motives over a base-scheme $S$ generated by the motives of smooth projective $S$-schemes, assuming that $S$ is itself…

We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of \'etale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically \'etale morphisms are…

Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi stable real (or complex) Frechet algebras.

We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between…

We introduce the notion of torsion-simple objects in an abelian category: these are the objects which are always either torsion or torsion-free with respect to any torsion pair. We present some general results concerning their properties,…

We define a notion of smooth cohomology for $ C^* $-algebras which admit a faithful trace. We show that if $ \A\subseteq B(\h) $ is a $ C^* $-algebra with a faithful normal trace $ \tau $ on the ultra-weak closure $ \bar{\A} $ of $…

We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…

The notion of a spherical space over an arbitrary base scheme is introduced as a generalization of a spherical variety over an algebraically closed field. It is studied how the sphericity condition behaves in families. In particular it is…

We give the construction of the universal, natural up to homotopy Chern-Weil differential graded algebra homomorphism: $$cw: \mathcal{I} (G) \to \Omega ^{\bullet } (BG, \mathbb{R})$$ for infinite dimensional Milnor regular Lie groups $G$,…

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…

Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the…

This article mainly aims to overview the recent efforts on developing algebraic geometry for an arbitrary compact almost complex manifold. We review the results obtained by the guiding philosophy that a statement for smooth maps between…

The K-rings of non-singular complex pro jective varieties as well as quasi- toric manifolds were described in terms of generators and relations in an earlier work of the author with V. Uma. In this paper we obtain a similar description for…

Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ \delta\colon…

In this note we introduce the notion of a smooth structure on a conical pseudomanifold $M$ in terms of $C^\infty$-rings of smooth functions on $M$. For a finitely generated smooth structure $C^\infty (M)$ we introduce the notion of the Nash…

Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…