Related papers: Addendum to `Fake Projective Planes'
The main two families of real hypersurfaces in complex space forms are Hopf and ruled. However, very little is known about real hypersurfaces in the indefinite complex projective space $\cpn$. In a previous work, Kimura and the second…
An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…
This report gives an overview of the history of finite projective planes and their properties before going on to outline the proof that no projective plane of order 10 exists. The report also investigates the search carried out by…
This small note, without claim of originality, constructs the projective plane over the octonionic numbers and recalls how this can be used to rule out the existence of higher-dimensional real division algebras, using Adams' solution of the…
Aronhold's classical result states that a plane quartic can be recovered by the configuration of any Aronhold systems of bitangents, i.e. special 7-tuples of bitangents such that the six points at which any subtriple of bitangents touches…
A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring $R/I_\Lambda$ and the inverse system algebra $R/I_\Delta$. We give a…
We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of…
We build unbounded classes of plane and projective plane multiwheels that are 4-critical that are received summing odd wheels as edge sums modulo two. These classes can be considered as ascending from single common graph that can be…
Planar functions over finite fields give rise to finite projective planes. They were also used in the constructions of DES-like iterated ciphers, error-correcting codes, and codebooks. They were originally defined only in finite fields with…
Bedford asked if there exists a birational self map $f$ of the complex projective plane such that for any automorphism $A$ of the complex projective plane $A\circ f$ is not conjugate to an automorphism. Blanc gave such a $f$ of degree $6$…
We introduce new invariants of a class of toric surfaces (including the projective plane) that arise from appropriate enumeration of real curves of genus one and two. These invariants admit a refinement similar to the one introduced by…
Some forms of Lie algebras of types E_6, E_7, and E_8 are constructed using the exterior cube of a rank 9 finitely generated projective module.
We construct a projective variety with discrete, non-finitely generated automorphism group. As an application, we show that there exists a complex projective variety with infinitely many non-isomorphic real forms.
We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…
We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all…
This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a…
We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all…
We use the Borisov-Keum equations of a fake projective plane and the Borisov-Yeung equations of the Cartwright-Steger surface to show the existence of a regular surface with canonical map of degree 36 and of an irregular surface with…
We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find…
We study the number of planes for four dimensional projective hypersurfaces which has so-called inductive structure. We also determine transcendental lattices for cubic fourfolds of this type.