Related papers: Hartogs-Bochner type theorem in projective space

We prove, assuming the generalized Riemann hypothesis, the Andre-Oort conjecture for Hilbert modular surfaces. More precisely, let K be a real quadratic field and let S be the coarse moduli space of complex abelian surfaces with…

Let $H$ be an infinite-dimensional braided Hopf algebra and assume that the braiding is symmetric on $H$ and its quasi-dual $H^d$. We prove the Blattner-Montgomery duality theorem, namely we prove $$ (R # H)# H^{d} \cong R \otimes (H #…

In this paper, we show Langton's type theorem on separatedness and properness of moduli functor of torsion free semistable sheaves on algebraic orbifolds over an algebraically closed field k

Let $(M^{n+1},g)$ be a closed Riemannian manifold of dimension $3\le n+1\le 5$. We show that, if the metric $g$ is generic or if the metric $g$ has positive Ricci curvature, then $M$ contains infinitely many geometrically distinct constant…

In the framework of superanalysis we get a functions theory close to complex analysis, under a suitable condition (A) on the real superalgebras in consideration. Under the condition (A), we get an integral representation formula for the…

Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By…

We prove that there is a one-to-one, bounded, holomorphic function on a region $\Omega$ iff $S^{2} - \Omega$ is not totally disconnected. This paper has been withdrawn by the author since Theorem 3 is incorrect.

The article proves an assertion analogous to the Littlewood-Paley theorem for the orthoprojectors onto mutually orthogonal subspaces of piecewise polynomial functions on the cube $ I^d. $ This assertion provides an upper estimate for the…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

Berge's maximum theorem gives conditions ensuring the continuity of an optimised function as a parameter changes. In this paper we state and prove the maximum theorem in terms of the theory of monoidal topology and the theory of double…

For a large class of convex domains in $\bf C^n$, it is shown that an $L^p$ function on the boundary is CR if there are holomorphic extensions on almost all slices of D by complex lines parallel to the coordinate axes. As an application, a…

We prove that, given a path of Beltrami differentials on $\mathbb C$ that live in and vary holomorphically in the Sobolev space $W^{l,\infty}_{loc}(\Omega)$ of an open subset $\Omega\subset \mathbb C$, the canonical solutions to the…

It is shown that the Bishop-Phelps-Bollob\'as theorem holds for bilinear forms on the complex $C_0(L_1)\times C_0(L_2)$ for arbitrary locally compact topological Hausdorff spaces $L_1$ and $L_2$.

Let $X$ be a completely regular space. For a non-vanishing self-adjoint Banach subalgebra $H$ of $C_B(X)$ which has local units we construct the spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the Stone-Cech compactification of…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

Consider an o-minimal structure on the real field. Let $M$ be a definable $C^r$ manifold, where $r$ is a nonnegative integer. We first demonstrate an equivalence of the category of definable $C^r$ vector bundles over $M$ with the category…

This paper looks at the splitting problem for globally hyperbolic spacetimes with timelike Ricci curvature bounded below containing a (spacelike, acausal, future causally complete) hypersurface with mean curvature bounded from above. For…

Let $\mathbb Q_{\epsilon_i}^{n_i}$ denote the simply connected space form of dimension $n_i\ge 2$ and constant sectional curvature $\epsilon_i$. We prove that any connected isoparametric hypersurface of $\mathbb…

There are many non-trivial entire spacelike graphs with constant mean curvature $H$ (CMC $H$, for short) in the isotropic 3-space $\mathbb{I}^3$. In this paper, we show a value distribution theorem of Gaussian curvature of complete…

In this paper, we use the viewpoint of Gromov-Haustorff convergence to give some new comprehension of well known theorem,it is Huber's classification theorem\cite{Huber}\cite{MS}for complete Riemannian surfaces immersed in $\mathbb{R}^n$…