Related papers: Nagata compactification for algebraic spaces

We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are…

We prove that under [CH], finite compactifications of $\omega^* \setminus \{x\}$ are homeomorphic to $\omega^*$. Moreover, in each case, the remainder consists almost exclusively of $P$-points, apart from possibly one point. Similar results…

We give an elementary proof of a compact embedding theorem in abstract Sobolev spaces. The result is first presented in a general context and later specialized to the case of degenerate Sobolev spaces defined with respect to nonnegative…

We prove a theorem concerning the Noether symmetries for the area minimizing Lagrangian under the constraint of a constant volume in an n-dimensional Riemannian space. We illustrate the application of the theorem by a number of examples.

To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…

We investigate the approximation of Monge--Kantorovich problems on general compact metric spaces, showing that optimal values, plans and maps can be effectively approximated via a fully discrete method. First we approximate optimal values…

In this paper we prove a compactness theorem for a sequence of harmonic maps which are defined on a converging sequence of Riemannian manifolds.

We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.

We prove a global compactness result for Palais-Smale sequences associated with a class of quasi-linear elliptic equations on exterior domains.

A relatively simple algebraic framework is given, in which all the compact symmetric spaces can be described and handled without distinguishing cases. We also give some applications and further results.

In 1962-63, M. Nagata showed that an abstract variety could be embedded into a complete variety. Later, P. Deligne translated Nagata's proof into the language of schemes, but did not publish his notes. This paper, which is to appear as an…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

Given a closed Riemannian manifold $(N^{n+1},g)$, $n+1 \geq 3$ we prove the compactness of the space of singular, minimal hypersurfaces in $N$ whose volumes are uniformly bounded from above and the $p$-th Jacobi eigenvalue $\lambda_p$'s are…

Let $R$ be a complete discrete valuation ring, $k(\eta)$ its fraction field, $S:={\rm Spec} R$, $(G_{\eta},\mathcal{L}_{\eta})$ a polarized abelian variety over $k(\eta)$ with $\mathcal{L}_{\eta}$ ample cubical and $\mathcal{G}$ the N\'eron…

We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…

We show that the partial compactification of a stratum of Abelian differentials previously considered by Mirzakhani and Wright is not an algebraic variety. Despite this, we use a combination of algebro-geometric and other methods to provide…

It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open problem. We resolve it in the negative by constructing a locally…

We establish the relative minimal model program with scaling for locally projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…