Related papers: Inherited conics in Hall planes
We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…
In this paper, we study the p-ary linear code C(PG(n, q)), q = p^h, p prime, h >= 1, generated by the incidence matrix of points and hyperplanes of a Desarguesian projective space PG(n, q), and its dual code. We link the codewords of small…
The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…
We identify the algebra of regular functions on the space of quartic polynomials in three complex variables invariant under SL(3,C) with an algebra of meromorphic automorphic forms on the complex 6-ball. We also discuss the underlying…
Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the…
Consider a finite collection of affine hyperplanes in $\mathbb R^d$. The hyperplanes dissect $\mathbb R^d$ into finitely many polyhedral chambers. For a point $x\in \mathbb R^d$ and a chamber $P$ the metric projection of $x$ onto $P$ is the…
An untouchable set in a projective plane is a set of points such that no line of the plane meets the set in exactly one point. Recently, H\'eger and Nagy (Avoiding Secants of Given Size in Finite Projective Planes, J. Combin. Des.…
A weak version of Birkhoff's generalization of the Perron-Frobenius theorem states that every endomorphism of a finite-dimensional real vector that leaves invariant a non-degenerate closed convex cone has an eigenvector in that cone. Here,…
We study a class of continuous deformations of branched complex projective structures on closed surfaces of genus $g\geq 2$, which preserve the holonomy representation of the structure and the order of the branch points. In the case of…
The paper is devoted to a detailed self-contained exposition of a part of the theory of affine planes leading to a construction of affine (or, equivalently, projective) planes not satisfying the Desarques axiom. It is intended to complement…
Let $\mathrm{PG}(3, q)$ denote the three-dimensional projective space over the finite field with $q$ elements. A line-spread of $\mathrm{PG}(3, q)$ is a collection $\mathcal{S}$ of mutually skew lines such that every point of…
We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably…
This paper is devoted to the study of the log-convexity of combinatorial sequences. We show that the log-convexity is preserved under componentwise sum, under binomial convolution, and by the linear transformations given by the matrices of…
One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has…
High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and…
The twisted Connes-Moscovici higher index theorem is generalized to the case of good orbifolds. The higher index is shown to be a rational number, and in fact non-integer in specific examples of 2-orbifolds. This results in a…
In this paper, we characterise ovoidal cones by their intersection numbers. We first show that a set of points of $\mathrm{PG}(4,q)$ which intersects planes in $1$, $q+1$ or $2q+1$ points is either an ovoidal cone or a parabolic quadric,…
Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 +…
We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study…
The purpose of this work is to define a derived Hall algebra $\mathcal{DH}(T)$, associated to any dg-category $T$ (under some finiteness conditions). Our main theorem states that $\mathcal{DH}(T)$ is associative and unital. It is shown that…