Colouring lines in projective space

Let V be a vector space of dimension v over a field of order q. The q-Kneser graph has the k-dimensional subspaces of V as its vertices, where two subspaces α and β are adjacent if and only if is the zero subspace. This paper is motivated by the problem of determining the chromatic numbers of these graphs. This problem is trivial when k=1 (and the graphs are complete) or when v<2k (and the graphs are empty). We establish some basic theory in the general case. Then specializing to the case k=2, we show that the chromatic number is q²+q when v=4 and (q^v-1-1)/(q-1) when v>4. In both cases we characterise the minimal colourings.     

Hermitian geometries in projective space

Using a Hermitian form on a vector space over GF (l), we produce a geometry on the associated projective space and prove that this geometry is characterized by its plane sections.     

Real hypersurfaces in quaternionic projective space

Summary This paper is devoted to make a systematic study of real hypersurfaces of quaternionic projective space using focal set theory. We obtain three types of such real hypersurfaces. Two of them are known. Third type is new and in its study the first example of proper quaternion CR-submanifold appears. We study real hypersurfaces with constant principal curvatures and classify such hypersurfaces with at most two distinct principal curvatures. Finally we study the Ricci tensor of a real hypersurface of quaternionic projective space and classify pseudo-Einstein, almost-Einstein and Einstein real hypersurfaces.     

Coordinatization of affine and projective space

In this paper, the author gives an elementary proof of the theorem that each Desarguesian affine space is a vector space over a division ring and each Desarguesian projective space is the subspaces of a vector space over a division ring and conversely. A geometric characterization of the characteristic of a division ring is also given.     

Hartogs-Bochner type theorem in projective space

We prove the following Hartogs-Bochner type theorem: Let M be a connected C² hypersurface of P_n(C) (n≥2) which divides P_n(C) in two connected open sets Ω₁ and Ω₂. Suppose that M has at most one open CR orbit. Then there exists i∈{1,2} such that C¹ CR functions defined on M extends holomorphically to Ω _i . Supported by the TMR network.     

Visibility of the higher-dimensional central projection into the projective sphere

We can describe higher-dimensional classical spaces by analytical projective geometry, if we embed the d-dimensional real space onto a d + 1-dimensional real projective metric vector space. This method allows an approach to Euclidean, hyperbolic, spherical and other geometries uniformly [8]. To visualize d-dimensional solids, it is customary to make axonometric projection of them. In our opinion the central projection gives more information about these objects, and it contains the axonometric projection as well, if the central figure is an ideal point or an s-dimensional subspace at infinity. We suggest a general method which can project solids into any picture plane (space) from any central figure, complementary to the projection plane (space). Opposite to most of the other algorithms in the literature, our algorithm projects higher-dimensional solids directly into the two-dimensional picture plane (especially into the computer screen), it does not use the three-dimensional space for intermediate step. Our algorithm provides a general, so-called lexicographic visibility criterion in Definition and Theorem 3.4, so it determines an extended visibility of the d-dimensional solids by describing the edge framework of the two-dimensional surface in front of us. In addition we can move the central figure and the image plane of the projection, so we can simulate the moving position of the observer at fixed objects on the computer screen (see first our figures in reverse order). Supported by DAAD 2008 Multimedia Technology for Mathematics and Computer Science Education.     

The space of lines in cyclic covers of projective space

Take positive integers m, n and d. Let Y be an m-fold cyclic cover of ${\mathbb{P}}^n$ ramified over a general hypersurface $X\subset P^n$ of degree md. In this paper we study the space $F(Y)$ of lines in Y and show that it is smooth of dimension $2(n-1)-d(m-1)$ if $md>2n-3$ and $2(n-1)-d(m-1)\ge 0$. When $2(n-1)=d(m-1)$, our result gives a formula on the number of m-contact order lines of X (see Definition 1.2).     

Banach space sequences and projective tensor products

In this paper we use results from the theory of tensor products of Banach spaces to establish the isometry of the space of (1,p)-summing sequences (also known as strongly p-summable sequences) in a Banach space X, the space of nuclear X-valued operators on ?^p and the complete projective tensor product of ?^p with X. Through similar techniques from the theory of tensor products, the isometry of the sequence space L^p〈X〉 (recently introduced in a paper by Bu, Quaestiones Math. (2002), to appear), the space of nuclear X-valued operators on L^p(0,1) (with a suitable equivalent norm) and the complete projective tensor product of L^p(0,1) with X is established. Moreover, we find conditions for the space of (p,q)-summing multipliers to have the GAK-property (generalized AK-property), use multiplier sequences to characterize Banach space valued bounded linear operators on the vector sequence space of absolutely p-summable sequences in a Banach space and present short proofs for results on p-summing multipliers.     

Intrinsically linked signed graphs in projective space

We define a signed embedding of a signed graph into real projective space to be an embedding such that an embedded cycle is 0-homologous if and only if it is balanced. We characterize signed graphs that have a linkless signed embedding. In particular, we exhibit 46 graphs that form the complete minor-minimal set of signed graphs that contain a non-split link for every signed embedding. With one trivial exception, these graphs are derived from different signings of the seven Petersen family graphs.     

Codimension 2 subvarieties of projective space

The motivation for the present paper is theHartshorne Conjecture on complete intersections inP ⁿ , forn6, and in the codimension 2 case: Any smooth codimension 2 subvarietyX ofP ⁿ is conjectured to be a complete intersection forn6. We prove this conjecture for all varieties with degree below a certain bound, which represents an improvement of the numerical information available untill now.This research has been supported by a grant from theStefi andLars Fylkesaker Foundation