Related papers: The fundamental theorem of affine geometry on tori

The fundamental theorem of affine geometry is a classical and useful result. For finite-dimensional real vector spaces, the theorem roughly states that a bijective self-mapping which maps lines to lines is affine. In this note we prove…

The fundamental theorem of affine geometry says that a self-bijection $f$ of a finite-dimensional affine space over a possibly skew field takes left affine subspaces to left affine subspaces of the same dimension, then $f$ of the expected…

Let $L^0$ be the algebra of equivalence classes of real valued random variables on a given probability space, and $(L^0)^n$ the $n$-ary Cartesian power of $L^0$ for each integer $n\geq 2$. We consider $(L^0)^n$ as a free module over $L^0$…

We consider several characterizations of $\mathbb R$-linear mappings. In particular, we give a characterization of linear mappings whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point)…

We determine those maps between affine or projective spaces that are linear in the abstract sense of transforming collinear points into collinear points and whose restriction to any line is constant or injective. Our results are extensions…

Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…

A map $f: \ff^n \to \ff^n$ over a field $\ff$ is called affine if it is of the form $f(x)=Ax+b$, where the matrix $A \in \ff^{n\times n}$ is called the linear part of affine map and $b \in \ff^n$. The affine maps over $\ff=\rr$ or $\cc$ are…

We prove that, if the closed unit ball of a normed space $X$ has sufficiently many extreme points, then every mapping $\Phi$ from $X$ into itself with the following property is affine: For any pair of points in $X$, there exists a (not…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

We give an affine proof of Feuerbach's theorem, by constructing an explicit affine map which takes the nine-point circle of any given Euclidean triangle to the incircle and fixes the Feuerbach point. The proof is shown to be valid in any…

Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which…

In this paper we construct $n$-valued maps on $k$-dimensional tori, where $n,k\geq 2$, that are not homotopic to affine $n$-valued maps. This is in high contrast with the single valued case, where any such map is homotopic to an affine…

We study reversibility and strong reversibility of affine automorphisms of the two-torus, written as $f_{A,\bar{a}}(\bar{x})=A\bar{x}+\bar{a} \ (\mathrm{mod}\ \mathbb{Z}^2)$. We derive explicit criteria for the reversibility of such maps in…

The main result of this paper is that every (separated) toric variety which has a semigroup structure compatible with multiplication on the underlying torus is necessarily affine. In the course of proving this statement, we also give a…

We prove that up to automorphisms a line admits a unique embedding into the regular part of of a simplicial toric variety of dimension n>=4 over an algebraically closed field of characteristic zero which is smooth in codimension 2.

We study proper holomorphic maps of annuli in complex Euclidean spaces, that is, domains with $U(n)$ as the automorphism group. By the Hartogs phenomenon and a result of Forstneri\v{c}, such maps are always rational and extend to proper…

By providing explicit definitions, we show that in both affine and projective geometry of dimension $\geq 3$, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate…

A multiparameter quantum affine space of rank $n$ is the $\mathbb F$-algebra generated by indeterminates $X_1, \cdots, X_n$ satisfying $X_iX_j = q_{ij} X_jX_i \ (1 \le i < j \le n)$ where $q_{ij}$ are nonzero scalars in $\mathbb F^\ast$.…

Let $\varphi\colon X\to Y$ be an affine continuous surjection between compact convex sets. Suppose that the canonical copy of the space of real-valued affine continuous functions on $Y$ in the space of real-valued affine continuous…

Kelly's theorem states that a set of $n$ points affinely spanning $\mathbb{C}^3$ must determine at least one ordinary complex line (a line passing through exactly two of the points). Our main theorem shows that such sets determine at least…