Pascal's triangle of configurations
type: Item
instance of: scholarly article
title: Pascal's triangle of configurations
zbMATH Open document ID: 1415.51002
DOI: 10.1007/978-3-319-78434-2_10
author: Gábor Gévay
publication date: 2019-04-30T00:00:00Z
review text: Let $n\geq 3$ be an integer and consider the $d$-dimensional real projective space $\mathbb{P}^{d}$ with $2 \leq d \leq n-1$. Choose $n$ hyperplanes in $\mathbb{P}^{d}$ in general position. Now, every $d$ hyperplanes of this arrangement meet in a point, and every $d-1$ hyperplanes meet in a line. Thus, we have altogether $\binom{n}{d}$ points and $\binom{n}{d-1}$ lines. The incidence between the points and lines is determined by the containment between the corresponding subsets, and it is clear that each point is incident with $d$ of the $\binom{n}{ d-1}$ lines and each line is incident with $n-d+1$ of the $\binom{n}{d}$ points. Taking a suitable projection, we obtain a planar point-line configuration of type \[ \left( \binom{n}{d}_{d} , \binom{n}{d-1} _{n-d+1} \right). \] We call the configuration obtained by the above construction a Desargues-Cayley-Danzer configuration. We denote such a configuration (i.e., its realization) by $\mathrm{DCD}(n,d)$. One can show, for instance, that for all $n > 4$ the configuration $\mathrm{DCD}(n,d)$ is movable, which means that its geometric realizations do not form a single class under projective transformations. Let us recall that by the incidence sum of configurations $\mathcal{C}_{1}$ and $\mathcal{C}_{2}$ one means the configuration $\mathcal{C}$ which is the disjoint union of $\mathcal{C}_{1}$ and $\mathcal{C}_{2}$ together with a specified set $I \subseteq \mathcal{P}_{1} \times \mathcal{L}_{2} \cup \mathcal{P}_{2} \times \mathcal{L}_{1}$ of incident point-line pairs, where $\mathcal{P}_{i}$ denotes the point set and $\mathcal{L}_{i}$ denotes the set of lines for each $\mathcal{C}_{i}$. We denote it by $\mathcal{C}_{1} \oplus_{I} \mathcal{C}_{2}$. Theorem A. For all integers $n\geq 3$ and $d \in (2,n-1)$, the configuration $\mathrm{DCD}(n,d)$ is the incident sum of the form $\mathcal{C}_{1} \oplus_{I} \mathcal{C}_{2}$ such that \begin{itemize} \item[(i)] $\mathcal{C}_{1} = \mathrm{DCD}(n-1, d-1)$, $\mathcal{C}_{2} = \mathr…
reviewed by: Piotr Pokora
Mathematics Subject Classification ID: 51A20
Mathematics Subject Classification ID: 52C35
zbMATH DE Number: 7049366
zbMATH Keywords: combinatorial configuration
zbMATH Keywords: Desargues-Cayley-Danzer configuration
zbMATH Keywords: geometric configuration
zbMATH Keywords: incidence sum
zbMATH Keywords: incidence theorem
zbMATH Keywords: point-circle configuration
MaRDI profile type: Publication
full work available at URL: 978-3-319-78434-2 10
OpenAlex ID: W2808314432
description: scientific article; zbMATH DE number 7049366