Related papers: Connectivity and a Problem of Formal Geometry
Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number…
Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function…
We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…
This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…
In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an…
We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and…
Let $P_{\lambda\Sigma_n}$ be the Ehrhart polynomial associated to an intergal multiple $\lambda$ of the standard symplex $\Sigma_n \subset \mathbb{R}^n$. In this paper we prove that if $(M, L)$ is an $n$-dimensional polarized toric manifold…
Take a holomorphic Lie algebroid $(V,\, \phi)$ on a compact connected Riemann surface $X$ such that the anchor map $\phi$ is not surjective. Let $P$ be a parabolic subgroup of a complex reductive affine algebraic group $G$ and $E_P\,…
Let $X$ be a smooth projective algebraic variety over a number field $k$ and $P$ in $X(k)$. In 2007, the second author conjectured that, in a precise sense, if rational points on $X$ are dense enough, then the best rational approximations…
We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…
We prove a connectedness result for products of weighted projective spaces.
We introduce the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z in P^n - M of codimension p. This notion is…
All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces…
Suppose $X$ is a smooth, proper, geometrically connected curve over $\mathbb F_q$ with an $\mathbb F_q$-rational point $x_0$. For any $\mathbb F_q^{\times}$-character $\sigma$ of $\pi_1(X)$ trivial on $x_0$, we construct a functor $\mathbb…
Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion planning issues are topical. This computational problem is…
A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally…
This is an expository article, which contributes to the Proceedings of the conference "Groups of Automorphisms in Birational and Affine Geometry", held in Trento in 2012. We propose that (rational) fibrations on the projective space $\p^n$…
This paper is concerned with projective rationally connected surfaces $X$ with canonical singularities and having non-zero pluri-forms, i.e. $(\Omega_X^1)^{[\otimes m]}$ has non-zero global sections for some m > 0, where…
Analogue to Fontaine's computation for $\Omega_{\bar{\mathbb{Z}}_p/\mathbb{Z}_p}$, we compute the structure of $\Omega_{\mathcal{O}_{\bar{K}_0}/\mathcal{O}_{K_0}}$ (here $K_0$ is the completion of $\mathbb{Q}_p(T)$ at place $p$) and prove…