All Questions
Tagged with incidence-geometry finite-geometry
15 questions
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 ...
- 35.5k
5
votes
1
answer
341
views
Which finite projective planes can have a symmetric incidence matrix?
As the title says. Which finite projective planes admit a symmetric incidence matrix?
I am not an expert in the field at all, but I consulted with one. He claimed that $PG(2, \mathbb F_q)$ can always ...
- 6,614
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....
- 114
16
votes
1
answer
395
views
Geometric interpretation of the exceptional isomorphism $PSp(4,3)=PSU(4,2^2)$
It is well-known that there is an isomorphism between $PSp(4,3)$ (the symplectic group of dimension $4$ over $\mathbb F_3$) and $PSU(4,2^2)$ (the unitary group defined by $4\times4$ unitary matrices ...
- 11.2k
5
votes
0
answers
119
views
What (if anything) is the connection between the Feit-Higman Theorem and the regular plane tilings?
Here are two facts that are superficially similar.
Tiling Theorem: The only regular tilings of $\mathbb{R}^2$ are achieved by triangles, squares, and hexagons.
Feit-Higman Theorem: The only finite ...
CommunityBot
- 1
2
votes
1
answer
302
views
For which finite projective planes can the incidence structure be written as a circulant matrix?
It is well known that the projective plane of order $2$ can be represented by the circulant matrix $M_2:=circ(x,x,1,x,1,1,1)= \begin{pmatrix}
x&x&1&x&1&1&1\\
1&x&x&...
- 1,300
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$ ...
- 223
5
votes
0
answers
89
views
Lines meeting a given set in a unique point
Let $p$ be a fixed prime, and suppose that $S$ is a subset of the affine plane $\mathbb F_p^2$. If $|S|\le p+1$, then by the pigeonhole principle, through any given point $s\in S$ there is a line $L=L(...
- 23k
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 ...
CommunityBot
- 1
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
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.
...
- 1,197
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} $ ...
- 1,197
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?
- 1,197
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, ...
- 1,197
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 ...
- 1,197