Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 61536

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

9 votes
2 answers
379 views

Does the Affine Pappus Axiom imply the Affine Desargues Axiom in affine planes?

I am interested in the affine version of the well-known Hessenberg's Theorem (saying that Pappian projective planes are Desarguesian). First I introduce all necessary definitions. Definition L. A line …
Taras Banakh's user avatar
  • 41.8k
7 votes
1 answer
341 views

A corollary of the affine Desargues axiom

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\ …
Taras Banakh's user avatar
  • 41.8k
4 votes

Semialgebraic sets containing irrational power functions

The answer to this question is negative: Jut take $\alpha$ such that $2^\alpha=3$. Taking into account that $2^n\ne 3^m$ for any natural numbers $n,m$, we can prove that the number $\alpha=\log_23$ i …
Taras Banakh's user avatar
  • 41.8k
3 votes
Accepted

A corollary of the affine Desargues axiom

Under one additional condition, the answer to this problem is affirmative. The proof involves the following implication of the Affine Desargues Axiom: The Affine Moufang Axiom: for every parallel li …
Taras Banakh's user avatar
  • 41.8k
3 votes

A graphic representation of classical unitals on 28 points

Now I have understood how to draw the classical unital, $U_q$ at least for $q=3$. It is known that this unital is isomorphic to the subset of the projective plane $PG(2,9)$, defined by the equation $X …
Taras Banakh's user avatar
  • 41.8k
2 votes
Accepted

Is every Cartesian biaffine plane affine?

The answer to this question is "No". A non-affine biaffine Cartesian plane can be constructed as follows. First, we fix a suitable terminology. Every function $F:X\to Y$ is identified with its graph …
Taras Banakh's user avatar
  • 41.8k
2 votes
2 answers
317 views

A graphic representation of classical unitals on 28 points

I would like to understand the geometry of the classical unitals. They are block designs containing $q^3+1$ points and whose blocks have cardinality $q+1$, where $q$ is a prime power. For $q=2$ (if I …
Taras Banakh's user avatar
  • 41.8k
2 votes
1 answer
101 views

Is every Cartesian biaffine plane affine?

This question concerns the (synthetic) geometry of linear spaces. Definition 1. A linear space is a pair $(P,\mathcal L)$ consisting of a set $P$ whose elements are called points and a family $\mathca …
Taras Banakh's user avatar
  • 41.8k
2 votes
0 answers
164 views

A direct proof that every projectivity between parallel lines is affine

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\ …
Taras Banakh's user avatar
  • 41.8k
1 vote

Square lying on moving chord of a simple closed curve

This is yet another idea to to resolve this resistant problem. Let us parametrize everything. Identify the plane containing the moving square with the complex plane $\mathbb C$ and let $\mathbb T=\{z\ …
Taras Banakh's user avatar
  • 41.8k
1 vote
1 answer
162 views

Collineations of projective spaces and isomorphisms of fields

For a (topological) field $F$ by $FP^2$ we denote the projective plane, i.e., the quotient space of $F^3\setminus\{0\}^3$ by the equivalence relation $\vec x\sim\vec y$ iff $\vec x=\lambda\vec y$ for …
Taras Banakh's user avatar
  • 41.8k
1 vote

Does the Affine Pappus Axiom imply the Affine Desargues Axiom in affine planes?

It seems that the proof from the book posted by @ihromant follows the lines of the original Hessenberg's proof from his paper in Mathematische Annalen of 1905:
Taras Banakh's user avatar
  • 41.8k