Related papers: An effective Schmidt's subspace theorem for hypers…
We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…
A classical result of Milman roughly states that every Lipschitz function on $\mathbb{S}^n$ is almost constant on a sufficiently high-dimensional sphere $\mathbb{S}^m\subset \mathbb{S}^n$. In this paper we extend the result by proving that…
By studying $\mathbb{A}^1$-curves on varieties, we propose a geometric approach to strong approximation problem over function fields of complex curves. We prove that strong approximation holds for smooth, low degree affine complete…
By the Lefschetz hyperplane theorem, if X is a smooth quasi-projective variety and C a general curve section of X then the fundamental group of C surjects onto the fundamental group of X. Here we consider when this conclusion holds for a…
Extensions of the photon and graviton soft theorems are derived in 4d local effective field theories with massless particles of arbitrary spin. We prove that effective operators can result in new terms in the soft theorems at subleading…
In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e.…
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is…
In this paper, we derive a new form of maximum principle for smooth functions on a complete noncompact Riemannian manifold $M$ for which there exists a bounded vector field $X$ such that $\langle\nabla f,X\rangle\geq 0$ on $M$ and…
The purpose of this article is twofold. The first is to prove a second main theorem for meromorphic mappings of $\C^m$ into a complex projective variety intersecting hypersurfaces in subgeneral position with truncated counting functions.…
On a smooth asymptotically flat Riemannian manifold with non-compact boundary, we prove a positive mass theorem for metrics which are only continuous across a compact hypersurface. As an application, we obtain a positive mass theorem on…
We prove a general solvable subgroup theorem in terms of length functions. As applications, we obtain a solvable subgroup theorem in dynamical systems: any solvable group of finite Hirsch length acting on a smooth manifold with uniformly…
We derive a soft theorem for a massless scalar in an effective field theory with generic field content using the geometry of field space. This result extends the geometric soft theorem for scalar effective field theories by allowing the…
We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…
We prove a half-space theorem for an ideal Scherk graph $\Sigma\subset M\times\mathbb R$ over a polygonal domain $D\subset M,$ where $M$ is a Hadamard surface whose curvature is bounded above by a negative constant. More precisely, we show…
We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of…
In this paper, we extend the fundamental theorem for submanifolds to general ambient spaces by viewing it as a higher codimensional Cartan-Ambrose-Hicks theorem. The key ingredient in obtaining this is a generalization of development of…
Let $X$ be a proper homogeneous space for a connected algebraic group $G$ over an algebraically closed field. For locally closed smooth affine subvarieties $W,Z\subset X$, we show that \[ (-1)^{\dim X-\dim W+\dim Z}\chi(gW\cap Z)\geq 0 \]…
Let $X$ be a hypersurface in $\mathbb{P}^N$ with $N\geq 3$ defined over a finite field. The main result of this note is the classification, up to projective equivalence, of hypersurfaces $X$ as above without a linear component when the…
We establish Marstrand-type projection theorems for orthogonal projections along geodesics onto m-dimensional subspaces of hyperbolic $n$-space by a geometric argument. Moreover, we obtain a Besicovitch-Federer type characterization of…