相关论文: Completeness and compactness for varieties over lo…

A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…

For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K,…

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

We study completeness of a topological vector space with respect to different filters on the set N of all naturals. In the metrizable case all these kinds of completeness are the same, but in non-metrizable case the situation changes. For…

We prove compactification theorems for some complete K\"ahler manifolds with nonnegative Ricci curvature. Among other things, we prove that a complete noncompact K\"ahler Ricci flat manifold with maximal volume growth and quadratic…

Let X be a compact complex surface with a real foliation. If all leaves are compact complex curves, the foliation must be holomorphic.

We establish how a higher local field can be described as a locally convex vector space once an embedding of a local field into it has been fixed. This extends previous results that had been obtained in the two-dimensional case. In…

We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…

We call a flag variety admissible if its automorphism group is the projective general linear group. (This holds in most cases.) Let $K$ be a field of characteristic $0$, containing all roots of unity. Let the $K$-variety $X$ be a form of an…

We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets…

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

Looking at the finite \'etale congruence covers $X(p)$ of a complex algebraic variety $X$ equipped with a variation of integral polarized Hodge structures whose period map is quasi-finite, we show that both the minimal gonality among all…

In this article, we extend the van Hamel-Lichtenbaum duality theorem to (not necessarily smooth) proper and geometrically integral varieties defined over a $p$-adic field $k$. More precisely, we prove that for such variety $X$ there exists…

For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…

A transversely holomorphic foliation on a compact complex manifold, exhibits a compact stable leaf if and only if the set of compact leaves is not a meager subset of the manifold.

H-holomorphic maps are a parameter version of J-holomorphic maps into contact manifolds. They have arisen in efforts to prove the existence of higher--genus holomorphic open book decompositions and efforts to prove the existence of finite…

It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…

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.