Questions tagged [incidence-geometry]
Abstract incidence geometries like projective spaces, polar spaces, generalized polygons, as well as incidence problems in the real or complex Euclidean spaces (eg. Szemerédi–Trotter theorem).
90 questions
2
votes
0
answers
267
views
On the determinant of incidence matrices (of graphs and other geometries)
Let $\Gamma = (P,L,I)$ be a point-line geometry (here, $P$ is the point set, $L$ the line set, and $I$ is the symmetric incidence relation). (As an example, $\Gamma$ could be a graph.) I suppose $\...
- 4,595
-1
votes
1
answer
310
views
Lower bound on the distance set using incidences of points and circles
Suppose that $P$ is a set of $N$ points in the plane. Can we get a lower bound for the cardinality of the distance set $d(P)$ from the Szemerédi–Trotter theorem?
Here is my try.
The Szemerédi–Trotter ...
- 597
4
votes
3
answers
781
views
Does there exist a finite hyperbolic geometry in which every line contains at least 3 points, but not every line contains the same number of points?
It seems to me that the answer should be yes, but my naive attempts to come up with an example have failed.
Just to clarify, by finite hyperbolic geometry I mean a finite set of points and lines such ...
- 1,701
31
votes
2
answers
1k
views
The Sylvester-Gallai theorem over $p$-adic fields
The famous Sylvester-Gallai theorem states that for any finite set $X$ of points in the plane $\mathbf{R}^2$, not all on a line, there is a line passing through exactly two points of $X$.
What ...
- 20.8k
5
votes
1
answer
401
views
Can all lines in the euclidian plane be ordinary?
Is there a set $X \subset \mathbb{R}^2$ such that every straight line in the plane is ordinary in relation to it? i.e. if $r$ is any straight line then $|r \cap X|=2$.
7
votes
1
answer
348
views
Can one axiomatize projective lines using the cross-ratio?
I known axiomatizations of projective spaces of dimension > 2 and also of projective planes (either those obeying the axiom of Pappus, which come from fields, or those obeying the axiom of Desargues, ...
- 22.3k
11
votes
2
answers
792
views
Blocking sets in three dimensional finite affine spaces
What is the smallest possible size of a set of points in $\mathbb{F}_q^3$ which intersects (blocks) every line?
Clearly the union of three affine hyperplanes that intersect in a singleton, say $x = 0,...
- 1,197
15
votes
4
answers
966
views
Synthetic projective lines
The classical synthetic notion of projective plane consists of a set of points, a set of lines, and a relation of incidence between the two, such that any two distinct points lie on a unique line and ...
- 66.8k
3
votes
3
answers
749
views
Is the sumset or the sumset of the square set always large?
Let A be a finite subset of $\mathbb{N}$, $\mathbb{R}$, or a sufficiently small subset of $\mathbb{F}_{p}$.
Do we have a lower bound of the form $|A|^{1+\delta}$ on the following quantity:
$$\max (|\...
- 13k
32
votes
0
answers
1k
views
Minimal number of intersections in a convex $n$-gon?
For a convex polygon $P$, draw all the diagonals of $P$ and consider the intersection points made by those diagonals. Let $f(n)$ be the minimal number of such intersections where $P$ ranges over all ...
- 1,474
8
votes
2
answers
972
views
Incidence geometry and matrices
Supposing I have a $0/1$ or $\pm1$ matrix $A$ of size $m\times n$, is there a minimum $d$ (that works for every $m\times n$ $A$) such that there exists $m$ lines $r_1,\dots,r_m$, $n$ lines $s_1,\dots,...
- 13.9k
9
votes
1
answer
372
views
Generalized geometries
Let $S$ be a non-empty set. A geometry of type $n$ for $n\geq 1$
on $S$ (consisting of at least $n$ elements) is a set ${\mathfrak P}\subseteq
{\mathcal P}(S)$ such that
all members of $\mathfrak P$ ...
- 48.9k
6
votes
1
answer
458
views
Applications of small Kakeya sets over finite fields
It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$.
For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...
- 1,197
7
votes
0
answers
123
views
Points on $k$ Circles
Let $k$ be a fixed positive integer. We want to find the minimum number $f(k)$, such that for a set of finite points in the plane, if any $f(k)$ of them are on $k$ circles, then all of them are on $k$ ...
- 628
39
votes
2
answers
1k
views
How close can one get to the missing finite projective planes?
This question can be interpreted as an instance of the Zarankiewicz problem. Suppose we have an $n\times n$ matrix with entries in $\{0,1\}$ with no $\begin{pmatrix}1 & 1\\ 1& 1\end{pmatrix} $ ...
- 85.6k
1
vote
1
answer
340
views
Is there a "Bipartite" Szemeredi-Trotter theorem?
One version of the Szemeredi-Trotter theorem states the following:
Given a set of $L$ lines in the plane, the number of points incident to at least $k$ lines is bounded above by a constant times $L/k ...
- 13
10
votes
1
answer
516
views
Subplanes of Finite Projective Planes
If a finite projective plane $\pi_1$ of order $m$ contains, as a sub plane, a
finite projective plane $\pi_2$ of order $n$, then $m \geq n^2$ with equality holding only in the case of a Baer sub plane....
- 349
2
votes
0
answers
67
views
Point sets with tangents through every point
Let $D=(P,L)$ be either a $(v,k,\lambda)$-design or a near-linear space (or, more generally, any incidence structure with "points" and sets of points which are called "blocks" or "lines") and let $S \...
- 6,962
7
votes
1
answer
436
views
When is a 0-1 matrix a one-intersection incidence matrix?
The following problem is what motivated my previous MO question.
It is easily seen that for any given 0-1 matrix $M$, one can always find
a set $\mathcal P$ of points, and a set $\mathcal C$ of simple ...
- 23k
16
votes
3
answers
2k
views
Fano plane drawings: embedding PG(2,2) into the real plane
By a drawing of the Fano plane I mean a system of seven simple curves and
seven points in the real plane such that
every point lies on exactly three curves, and every curve contains
exactly three ...
- 23k
3
votes
2
answers
244
views
Incidence matrices of generalized quadrangles
Is there somewhere a database of incidence matrices of generalized quadrangles that one can download?
- 6,962
2
votes
1
answer
277
views
Is any $G$-set a coset geometry (in the sense of Tits-Buekenhout)?
Hi there!
Let $X$ be a left $G$-set, and $\Delta=${$x_1,\ldots,x_n$} a fundamental domain of $G$ in $X$. In other words, $G$ acts on $X$ from the left, and {$Gx_1,\ldots,Gx_n$} is the orbit space $X/...
- 2,527
4
votes
1
answer
463
views
Covering all, but $k$ points with affine subspaces
For non-negative integer $d\le n$ and $k\le 2^n$, how many affine subspaces of co-dimension $d$ are needed to cover all, but exactly $k$ elements of the vector space ${\mathbb F}_2^n$, and what are ...
- 23k
0
votes
1
answer
443
views
About a graph embedding from R^3 to...
I was working on something and stumbled upon the following situation. I have in front of me a configuration $L$ of lines in $\mathbb{R}^{3}$ and say I consider the graph $G$ having as vertex set $L$ ...
- 625
2
votes
0
answers
281
views
Axiomatization of the incidence geometry of the Euclidean plane
There are several well-known axiomatizations of Euclidean plane geometry, the language of which is usually considered to include at least the relations of
incidence (point-line, point-segment, or ...
user1448
2
votes
0
answers
157
views
A relation on triplets of points in the plane
This question is a follow up of my previous one (Planar sets closed under intersection of circles, Planar sets closed under intersection of circles) and is motivated by G. Zaimi's answer https://...
- 52.4k
4
votes
1
answer
319
views
Planar sets closed under intersection of circles
Let $P$ be the plane with a point at infinity. By plane, I mean the Euclidian plane, and therefore it has circles. A line is also a circle, though its center is at infinity. If $A\subset P$ has ...
- 52.4k
6
votes
2
answers
992
views
On the joints problem in finite fields
The original version of the so-called "joints problem" consists of the following:
Let $L$ be a set of lines in $\mathbb{R}^{3}$. Determine the maximum number of "joints" determined by these lines, ...
- 625
4
votes
0
answers
443
views
Intersection of pencils in $\mathcal{R}^2$
Consider $9n$ pencils through non-collinear points $p_1, \ldots , p_{9n}$ in $R^2$ each consisting of at most $n$ concurrent lines. Define the intersection $S$ of these pencils to be the set of points ...
6
votes
2
answers
713
views
Reference on the Veblen-Young characterization of projective spaces
Can someone point me to a modern treatment of the Veblen-Young characterization of projective spaces of dimension greater than $2$ as $P(V)$ for some vector space $V$?
[Added: see here for a ...
- 47.3k
14
votes
0
answers
552
views
Who conjectured that a transitive projective plane is Desarguesian?
The only known finite projective plane with a transitive automorphism group is the Desarguesian plane $PG(2,q)$ and it seems likely that there are no others, although this is not (quite) proved.
...
- 12.7k
23
votes
3
answers
2k
views
Why do all incidence theorems follow from Pappus' theorem?
In Hilbert and Cohn-Vossen's ``Geometry and the Imagination,"
they state in the last paragraph of Chapter 20 that "Any
theorems concerned solely with incidence relations in the
[Euclidean projective]...
- 418
4
votes
1
answer
802
views
What is the automorphism group of this geometry?
Define the following incidence structure of rank three. The points are the elements of $\mathbb{Z}_7=$ {$0,\ldots,6$}. The lines of type 1 are the triples $(x,x+1,x+3)$ modulo $7$. The lines of type 2 ...
- 499
3
votes
1
answer
502
views
A question about the number of intersections of lines in $R^{3}$
Suppose I have n lines in $R^{3}$ with the conditions that: no 3 lines in one plane, no 3 lines intersect at one point, for fixed 2 lines, no 3 lines intersect these 2 lines at the same time.
what is ...
- 215
7
votes
1
answer
416
views
A rank 3 geometry for the sporadic simple group of Suzuki
I am actually studying coset geometries (in the sense of Tits and Buekenhout) for the sporadic simple group of Suzuki. I came aware that Buekenhout found in 1979 a geometry over the following diagram
...
- 499
18
votes
1
answer
2k
views
A geometric series equalling a power of an integer
The following problem cropped up whilst considering generalised quadrangles with a product structure, and it boils down to a simple number theoretic problem. Let $s$ be an integer greater than 2 and ...
- 623
5
votes
2
answers
1k
views
Geometric interpretation of $BN$-pairs
My question is relative to a geometric interpretation of the $BN$-pairs that arise in Tits' theory of buildings. Here is a definition that comes from an article by G. Stroth (Nonspherical spheres).
$[...
- 499
41
votes
2
answers
5k
views
Projective Plane of Order 12
I asked this question on the new Theoretical Computer Science "overflow" site, and commenters suggested I ask it here. That question is here, and it contains additional links, which I doubt I can ...
- 881
9
votes
2
answers
471
views
Can any properties of a ring other than being a field be captured by the geometry of its 2-dimensional free module?
Can any properties of a ring other than being a field be captured by the geometry of its 2-dimensional free module?
Background:
In his wonderful, wonderful book Geometric Algebra, Emil Artin describes ...
- 573
7
votes
4
answers
1k
views
Is the theory of incidence geometry complete?
Consider the basic axioms of planar incidence geometry, which allow us to speak of in-betweeness, collinearity and concurrency. These axioms per se are not complete, since for example, Desargues ...
user2529