Related papers: Hartogs-Bochner type theorem in projective space
We establish half-space type results for a class of height-dependent weighted minimal surfaces in $\mathbb{R}^3$, namely critical points of a weighted area functional whose weight depends on the height. When the weight has at most quadratic…
Suppose that Y is a cyclic cover of projective space branched over a hyperplane arrangement D, and that U is the complement of the ramification locus in Y. The first theorem implies that the Beilinson-Hodge conjecture holds for U if certain…
This paper deals with extension of analytic covers. We prove topological extension theorems for analytic covers. The main result is an extension theorem which only uses the extension of the ramification divisor. We give also a Thullen-type…
Given $r_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq 0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq r_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
In non-archimedean setting, we establish a Lehto--Virtanen-type theorem for a morphism from the punctured Berkovich closed unit disk $\overline{\mathsf{D}}\setminus\{0\}$ in the Berkovich affine line to the Berkovich projective line…
Given an \'etale double covering $\pi\, :\, \widetilde{C}\, \longrightarrow\, C$ of compact Riemannsurfaces with $C$ of genus at least two, we use the Prym variety of the cover to construct canonical projective structures on both…
In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…
Let $V$ be a projective subvariety of $\mathbb P^n(\mathbb C)$. A family of hypersurfaces $\{Q_i\}_{i=1}^q$ in $\mathbb P^n(\mathbb C)$ is said to be in $N$-subgeneral position with respect to $V$ if for any $1\le i_1<\cdots <i_{N+1}$, $…
The Hofer-Zehnder theorem states that almost every hypersurface in a thickening of a hypersurface $S$ in a symplectic manifold $(M,\omega)$ carries a closed characteristic provided that $S$ bounds a compact submanifold and $(M,\omega)$ has…
In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…
The Chern-Moser normal form and its analog on finite type hypersurfaces in general do not respect symmetries. Extending the work of N. K. Stanton, we consider the local equivalence problem for symmetric Levi degenerate hypersurfaces of…
Recently the author presented a new approach to solving the coefficient problems for various classes of holomorphic functions $f(z) = \sum\limits_0^\infty c_n z^n$, not necessarily univalent. This approach is based on lifting the given…
In the setting of spaces of homogeneous type, we study some Hardy type inequalities, which notably appeared in the proofs of local T(b) theorems as in [AR]. We give some suffi cient conditions ensuring their validity, related to the…
Let B be the open unit ball in C^2 and let a, b, c be three points in C^2 which do not lie in a complex line, such that the complex line through a and b meets B and such that <a|b> is different from 1 if one of the points a, b is in B and…
It is shown using a space-time curvature classification and decomposition that for certain holonomy types of a space-time, proper projective vector fields cannot exist. Existence is confirmed, by example, for the remaining holonomy types.…
This is an expository proof that, if $M$ is a compact $n$-manifold with no boundary, then the set of holonomies of strictly-convex real-projective structures on $M$ is a subset of $\operatorname{Hom}(\pi_1M,\operatorname{PGL}(n+1,\mathbb…
We prove that the pluri-fine topology on any open set $\Omega$ in $\mathbb{C}^{n}$ is locally connected. This answers a question by Fuglede in [4]. See also Bedford [6].
Let $\{(A_i,B_i)\}_{i=1}^{m}$ be a collection of pairs of sets with $|A_i|=a$ and $|B_i|=b$ for $1\leq i\leq m$. Suppose that $A_i\cap B_j=\emptyset$ if and only if $i=j$, then by the famous Bollob\'{a}s theorem, we have the size of this…
We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…