Related papers: The Nash-Tognoli theorem over the rationals and it…
Let $M$ be a compact nonnegatively curved Riemannian manifold admitting an isometric action by a compact Lie group $\mathsf G$ in a way that the quotient space $M/\mathsf G$ has nonempty boundary. Let $\pi : M \to M/\mathsf G$ denote the…
We show that if $X\subseteq \mathbb{P}^{n-1}$, defined over $\mathbb{Q}$ by a cubic form that splits off two forms, with $n\geq 11$, then $X(\mathbb{Q})$ is non-empty. The same holds for an $(m_1,m_2)$-form with $m_1\geq 4$ and $m_2\geq 5$.
Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that…
We extend the spectral generalization of the Cheeger-Gromoll splitting theorem to smooth metric measure space. We show that if a complete non-compact weighted Riemannian manifold $(M,g,e^{-f}\,dvolg)$ of dimension $n\ge 2$ has at least two…
Let $X$ be a projective algebraic manifold and let $CH^r(X)$ be the Chow group of algebraic cycles of codimension $r$ on $X$, modulo rational equivalence. Working with a candidate Bloch-Beilinson filtration $\{F^{\nu}\}_{\nu\geq 0}$ on…
Let $k$ be a field, $X$ a variety with tame quotient singularities and $\tilde{X}\to X$ a resolution of singularities. Any smooth rational point $x\in X(k)$ lifts to $\tilde{X}$ by the Lang-Nishimura theorem, but if $x$ is singular this…
We prove a splitting theorem for a smooth noncompact manifold with (possibly noncompact) boundary. We show that if a noncompact manifold of dimension $n\geq 2$ has $\lambda_1(-\alpha\Delta+\operatorname{Ric})\geq 0$ for some…
Although the Nash theorem solves the isometric embedding problem, matters are inherently more involved if one is further seeking an embedding that is well-behaved from the standpoint of submanifold geometry. More generally, consider a…
The aim of this article is the proof of the following result: Let M be a connected manifold endowed with a regular Cartan geometry modelled on the boundary X of the d-dimensional real (resp. complex, resp. quaternionic, resp. octonionic)…
It is proved that any smooth manifold $\mathcal M$ of dimension $m$ admits a smooth polynomially convex embedding into $\mathbb C^n$ when $n\geq \lfloor 5m/4\rfloor$. Further, such embeddings are dense in the space of smooth maps from…
Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…
For $n\geq 3$, let $\mathscr{M} \subseteq\mathbb{R}^{n}$ be a compact hypersurface, parametrized by a homogeneous function of degree $d\in \mathbb{R}_{>1}$, with non-vanishing curvature away from the origin. Consider the number…
In this work we study some properties and applications of Nash manifolds with corners. Our first main result shows how to `build' a Nash manifold with corners ${\mathcal Q}\subset{\mathbb R}^n$ from a suitable Nash manifold…
Let $X\subseteq \mathbb{P}^3$ be a smooth projective surface of degree $d\ge 4$ defined over a number field $K$, and let $N_{X^{\prime}}(B)$ be the number of rational points of $X$ of height at most $B$ that do not lie on lines contained in…
We prove that for every compact, connected, differentiable 3--manifold $M$ there is a compact complex manifold $X$ which can be obtained from projective 3--space by a sequence of smooth, real blow ups and downs such that $M$ is…
We prove that hypersurfaces defined by irreducible square-free polynomials have rational singularities. As an easy consequence, we deduce that certain (possibly non-square-free) polynomials associated to pairs of square-free polynomials…
If $M$ is a finite volume complete hyperbolic 3-manifold with one cusp and no 2-torsion, the geometric component $X_M$ of its $\SL(2,\BC)$-character variety is an affine complex curve, which is smooth at the discrete faithful representation…
We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…
We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth…
Let $X$ be an $n$-dimensional smooth complex projective variety embedded in $\mathbb{C}\mathbb{P}^{N}$. We construct a smooth family $\mathcal{X}$ over $\mathbb{C}$ with an embedding in $\mathbb{C}\mathbb{P}^{N} \times \mathbb{C}$ whose…