Related papers: Locally complete intersection maps and the proxy s…

This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.

We prove that a linear mapping on the algebra \(\mathfrak{sl}_n\) of all trace zero complex matrices is a local automorphism if and only if it is an automorphism or an anti-automorphism. We also show that a linear mapping on a simple…

Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the…

In this paper all rings are commutative. We prove some new results on flat epimorphisms of rings and pointwise localizations. Especially among them, it is proved that a ring $R$ is an absolutely flat (von-Neumann regular) ring if and only…

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…

We prove a structure theorem for compact aspherical Lorentz manifolds with abundant local symmetry. If M is a compact, aspherical, real-analytic, complete Lorentz manifold such that the isometry group of the universal cover has semisimple…

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…

Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$…

We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of…

We study infinite intersections of open subschemes and the corresponding intersection of Hilbert schemes. If $\{U_i\}$ is the collection of open subschemes of a variety $X$ containing a fixed point $P$, then we show that the Hilbert functor…

Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global…

We define a variant of intersection space theory that applies to many compact complex and real analytic spaces $X$, including all complex projective varieties; this is a significant extension to a theory which has so far only been shown to…

Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if…

The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps…

We prove that some symetric semi-riemannian manifolds do not admit a proper domain which is divisible by the action of a discrete group of isometries. In other words, if a closed semi-riemannian manifold is locally isometric to such a…

We prove that, in certain situations, intersection numbers on formal schemes that come in profinite families vary locally constantly in the parameter. To this end, we define the product $S\times M$ of a profinite set $S$ with a locally…

Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is…

We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective'…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…