Related papers: Hartogs-Bochner type theorem in projective space

We use two ingredients to prove the hyperbolicity of generic hypersurfaces of sufficiently high degree and of their complements in the complex projective space. One is the pullbacks of appropriate low pole order meromorphic jet…

We prove that for any non-compact connected surface $M$ the group $H_c(M)$ of compactly suported homeomorphisms of $M$ endowed with the Whitney topology is homeomorphic to $R^\infty\times l_2$ or $Z\times R^\infty\times l_2$.

We prove a sharp continuum Beck-type theorem for hyperplanes. Our work is inspired by foundational work of Beck on the discrete problem, as well as refinements due to Do and Lund. The inductive proof uses recent breakthrough results in…

Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)

We consider an alternative approach to a fundamental CR invariant - the Catlin multitype. It is applied to a general smooth hypersurface in $\mathbbC^{n+1}$, not necessarily pseudoconvex. Using this approach, we prove biholomorphic…

We discuss the problem of the existence of envelopes of holomorphy of the A-crosses, which leads us to the far-reaching generalizations of the famous Hartogs theorem. We also take under consideration the issue of the existence of "nice"…

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space $X$ and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category…

Let $C_2$ be the cyclic group of order two. We present a structure theorem for the $RO(C_2)$-graded Bredon cohomology of $C_2$-spaces using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}.$ We show that, as a module…

Let $M$ be a manifold homotopy equivalent to the complex projective space $\C P^m$. Petrie conjectured that $M$ has standard total Pontrjagin class if $M$ admits a non-trivial action by $S^1$. We prove the conjecture for $m<12$ under the…

In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that…

Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote…

In this paper we prove the Hodge conjecture for products of the form $S_1 \times ... S_n$, where $S_i$ are smooth projective surfaces such that $p_g(S_i)=1, q(S_i)=2$. We also prove the Hodge conjecture for arbitrary self-products of a K3…

In this paper we give an algebraic characterization of the projections lattice of $M_n(\mathbb C)$ and we extend it to the case of $B(H)$, with $H$ separable Hilbert space.

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…

We recall the complex structure on the generalised loop spaces $W^{k,2}(S,X)$, where $S$ is a compact real manifold with boundary and $X$ is a complex manifold, and prove a Hartogs-type extension theorem for holomorphic maps from certain…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

We construct a Spanier-Whitehead type duality functor relating finite $\mathcal{C}$-spectra to finite $\mathcal{C}^{\mathrm{op}}$-spectra and prove that every $\mathcal{C}$-homology theory is given by taking the homotopy groups of a…

We present a new topological method to study the discriminantal loci of an algebraic variety defined in a product of projective spaces. Our approach relies on an efficient use of groupoid to describe the monodromy. As an example, we treat…

We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an…