Related papers: On $t$-perfect triangulations of the projective pl…

We introduce the notion of geometric purity in rigidly-compactly generated tt-categories by considering exact triangles that are pure at each tt-stalk. We develop a systematic study of this concept, including examples and applications. In…

We observe that Hall's free projective extension $P \mapsto F(P)$ of partial planes is a Borel map, and use a modification of the construction introduced in [9] to conclude that the class of countable non-Desarguesian projective planes is…

Let $K$ and $L$ be two convex bodies in ${\mathbb R^4}$, such that their projections onto all $3$-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfy an additional condition and some…

We give an elementary proof of the following projectivity criterion of Huybrechts: a compact K\"ahler surface is projective if and only if the dual K\"ahler cone contains an inner integral point.

Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the…

We show that a Kirchberg algebra is semiprojective if and only if it is KK-semiprojective. In particular, this shows that a Kirchberg algebra in the UCT-class is semiprojective if and only if its K-theory is finitely generated, thereby…

Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following…

A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane…

We derive a simple bijection between geometric plane perfect matchings on $2n$ points in convex position and triangulations on $n+2$ points in convex position. We then extend this bijection to monochromatic plane perfect matchings on…

A $3$-connected graph $G$ is essentially $4$-connected if, for any $3$-cut $S\subseteq V(G)$ of $G$, at most one component of $G-S$ contains at least two vertices. We prove that every essentially $4$-connected maximal planar graph $G$ on…

A polarity of a projective plane is a map, often assumed to be involutive, mapping a generic point to a generic line and reciprocally. The most classical polarity is the polarity with respect to a conic, but other exist: the harmonic…

A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient…

Let R be a commutative domain. We prove that an R-module B is projective if and only if Ext^1(B,T)=0 for any torsion module T. This answers in the affirmative a question raised by Kaplansky in 1962.

We classify completely the infinite, planar triangulations satisfying a weak spatial Markov property, without assuming one-endedness nor finiteness of vertex degrees. In particular, the Uniform Infinite Planar Triangulation (UIPT) is the…

Let $S$ be a non-uniruled (i.e., non-birationally ruled) smooth projective surface. We show that the tangent bundle $T_S$ is pseudo-effective if and only if the canonical divisor $K_S$ is nef and the second Chern class vanishes, i.e.,…

In this paper, we prove the ampleness conjecture and Serrano's conjecture for strictly nef divisors on K-trivial fourfolds. Specifically, we show that any strictly nef divisors on projective fourfolds with trivial canonical bundle and…

Let $(P_1,...,P_n)$ be an $n$--tuple of projections in a unital $C^*$--algebra $\aa$. We say $\pn$ is complete in $\aa$ if $\aa$ is the linear direct sum of the closed subspaces $P_1\aa,...,P_n\aa$. In this paper, we give some necessary and…

An empty pentagon in a point set P in the plane is a set of five points in P in strictly convex position with no other point of P in their convex hull. We prove that every finite set of at least 328k^2 points in the plane contains an empty…

We show by finding an explicit parametrization that a 4th degree surface which arises as a necessary condition for the existence of a perfect cuboid is a rational surface, i.e. birationally equivalent over $\mathbb Q$ to a plane.

Finite projective planes are constructed using groups that satisfy simple-looking conditions. The resulting projective planes include many known planes and possibly new ones, and are precisely those having a collineation group fixing a flag…