Related papers: Connectivity and a Problem of Formal Geometry

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let…

Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)

In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces

Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of…

In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based systems. We firstly present a weighted Algebra of…

Nonsingular projective varieties which are both convex and rationally connected are considered. We ask whether such varieties must be algebraic homogeneous spaces G/P. In case X is a complete intersection, an affirmative answer is obtained…

This is, mostly, a survey of results about the birational geometry of rationally connected manifolds, using rational curves analogous to lines in ${\mathbb P}^n$ ({\it quasi-lines}). Various characterizations of a Zariski neighbourhood of a…

A linkage $\mathcal{L}$ consists of a graph $G=(V,E)$ and an edge-length function $\ell$. Deciding whether $\mathcal{L}$ can be realized as a planar straight-line embedding in $\mathbb{R}^2$ with edge length $\ell(e)$ for all $e \in E$ is…

We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…

In this paper we study the Grassmannian of submodules of a given dimension inside a finitely generated projective module $P$ for a finite dimensional algebra $\Lambda$ over an algebraically closed field. The orbit of such a submodule $C$…

This paper is concerned with singular projective rationally connected threefolds $X$ which carry non-zero pluri-forms, \textit{i.e.} $H^0(X,(\Omega_X^1)^{[\otimes m]}) \neq \{0\}$ for some $m > 0$, where $(\Omega_X^1)^{[\otimes m]}$ is the…

Let $L$ be a simply-connected simple connected algebraic group over a number field $F$, and $H$ be a semisimple absolutely maximal connected $F$-subgroup of $L$. Under a cohomological condition, we prove an asymptotic formula for the number…

Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.

The purpose of this article is to give an interpretation of real projective structures and associated cohomology classes in terms of connections, sections, etc. satisfying elliptic partial differential equations in the spirit of Hodge…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…

Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…