In geometry, smooth projective planes are special projective planes. The most prominent example of a smooth projective plane is the real projective plane . Its geometric operations of joining two distinct points by a line and of intersecting two lines in a point are not only continuous but even smooth (infinitely differentiable ). Similarly, the classical planes over the complex numbers, the quaternions, and the octonions are smooth planes. However, these are not the only such planes.
A smooth projective plane consists of a point space and a line space that are smooth manifolds and where both geometric operations of joining and intersecting are smooth.
The geometric operations of smooth planes are continuous; hence, each smooth plane is a compact topological plane. [1] Smooth planes exist only with point spaces of dimension 2m where , because this is true for compact connected projective topological planes. [2] [3] These four cases will be treated separately below.
Theorem. The point manifold of a smooth projective plane is homeomorphic to its classical counterpart, and so is the line manifold. [4]
Automorphisms play a crucial role in the study of smooth planes. A bijection of the point set of a projective plane is called a collineation, if it maps lines onto lines. The continuous collineations of a compact projective plane form the group . This group is taken with the topology of uniform convergence. We have: [5]
Theorem. If is a smooth plane, then each continuous collineation of is smooth; in other words, the group of automorphisms of a smooth plane coincides with . Moreover, is a smooth Lie transformation group of and of .
The automorphism groups of the four classical planes are simple Lie groups of dimension 8, 16, 35, or 78, respectively. All other smooth planes have much smaller groups. See below.
A projective plane is called a translation plane if its automorphism group has a subgroup that fixes each point on some line and acts sharply transitively on the set of points not on .
Theorem. Every smooth projective translation plane is isomorphic to one of the four classical planes. [6]
This shows that there are many compact connected topological projective planes that are not smooth. On the other hand, the following construction yields real analytic non-Desarguesian planes of dimension 2, 4, and 8, with a compact group of automorphisms of dimension 1, 4, and 13, respectively: [7] represent points and lines in the usual way by homogeneous coordinates over the real or complex numbers or the quaternions, say, by vectors of length . Then the incidence of the point and the line is defined by , where is a fixed real parameter such that . These planes are self-dual.
Compact 2-dimensional projective planes can be described in the following way: the point space is a compact surface , each line is a Jordan curve in (a closed subset homeomorphic to the circle), and any two distinct points are joined by a unique line. Then is homeomorphic to the point space of the real plane , any two distinct lines intersect in a unique point, and the geometric operations are continuous (apply Salzmann et al. 1995 , §31 to the complement of a line). A familiar family of examples was given by Moulton in 1902. [8] [9] These planes are characterized by the fact that they have a 4-dimensional automorphism group. They are not isomorphic to a smooth plane. [10] More generally, all non-classical compact 2-dimensional planes such that are known explicitly; none of these is smooth:
Theorem. If is a smooth 2-dimensional plane and if , then is the classical real plane . [11]
All compact planes with a 4-dimensional point space and have been classified. [12] Up to duality, they are either translation planes or they are isomorphic to a unique so-called shift plane. [13] According to Bödi (1996 , Chap. 10), this shift plane is not smooth. Hence, the result on translation planes implies:
Theorem. A smooth 4-dimensional plane is isomorphic to the classical complex plane, or . [14]
Compact 8-dimensional topological planes have been discussed in Salzmann et al. (1995 , Chapter 8) and, more recently, in Salzmann (2014). Put . Either is the classical quaternion plane or . If , then is a translation plane, or a dual translation plane, or a Hughes plane. [15] The latter can be characterized as follows: leaves some classical complex subplane invariant and induces on the connected component of its full automorphism group. [16] [17] The Hughes planes are not smooth. [18] [19] This yields a result similar to the case of 4-dimensional planes:
Theorem. If is a smooth 8-dimensional plane, then is the classical quaternion plane or .
Let denote the automorphism group of a compact 16-dimensional topological projective plane . Either is the smooth classical octonion plane or . If , then fixes a line and a point , and the affine plane and its dual are translation planes. [20] If , then also fixes an incident point-line pair, but neither nor are known explicitly. Nevertheless, none of these planes can be smooth: [21] [22] [23]
Theorem. If is a 16-dimensional smooth projective plane, then is the classical octonion plane or .
The last four results combine to give the following theorem:
If is the largest value of , where is a non-classical compact 2m-dimensional topological projective plane, then whenever is even smooth.
The condition, that the geometric operations of a projective plane are complex analytic, is very restrictive. In fact, it is satisfied only in the classical complex plane. [24] [25]
Theorem. Every complex analytic projective plane is isomorphic as an analytic plane to the complex plane with its standard analytic structure.
In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them.
In mathematics, a quadric or quadric surface, is a generalization of conic sections. It is a hypersurface in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an operator is necessarily a bounded operator, and so continuous.
In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.
In mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus g > 1, stating that the number of such automorphisms cannot exceed 84(g − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve. The theorem is named after Adolf Hurwitz, who proved it in.
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.
In 4-dimensional topology, a branch of mathematics, Rokhlin's theorem states that if a smooth, closed 4-manifold M has a spin structure, then the signature of its intersection form, a quadratic form on the second cohomology group , is divisible by 16. The theorem is named for Vladimir Rokhlin, who proved it in 1952.
In quantum computing, quantum finite automata (QFA) or quantum state machines are a quantum analog of probabilistic automata or a Markov decision process. They provide a mathematical abstraction of real-world quantum computers. Several types of automata may be defined, including measure-once and measure-many automata. Quantum finite automata can also be understood as the quantization of subshifts of finite type, or as a quantization of Markov chains. QFAs are, in turn, special cases of geometric finite automata or topological finite automata.
In mathematics, in the field of differential geometry, the Yamabe invariant, also referred to as the sigma constant, is a real number invariant associated to a smooth manifold that is preserved under diffeomorphisms. It was first written down independently by O. Kobayashi and R. Schoen and takes its name from H. Yamabe.
In mathematics, the Noether inequality, named after Max Noether, is a property of compact minimal complex surfaces that restricts the topological type of the underlying topological 4-manifold. It holds more generally for minimal projective surfaces of general type over an algebraically closed field.
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.
In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : V → W that is:
In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. The Yang–Mills equations arise in physics as the Euler–Lagrange equations of the Yang–Mills action functional. However, the Yang–Mills equations have independently found significant use within mathematics.
In algebraic geometry, Behrend's trace formula is a generalization of the Grothendieck–Lefschetz trace formula to a smooth algebraic stack over a finite field, conjectured in 1993 and proven in 2003 by Kai Behrend. Unlike the classical one, the formula counts points in the "stacky way"; it takes into account the presence of nontrivial automorphisms.
Topological geometry deals with incidence structures consisting of a point set and a family of subsets of called lines or circles etc. such that both and carry a topology and all geometric operations like joining points by a line or intersecting lines are continuous. As in the case of topological groups, many deeper results require the point space to be (locally) compact and connected. This generalizes the observation that the line joining two distinct points in the Euclidean plane depends continuously on the pair of points and the intersection point of two lines is a continuous function of these lines.
In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the general linear group of X, the group of invertible linear transformations from X to itself.
In geometry, a valuation is a finitely additive function on a collection of admissible subsets of a fixed set with values in an abelian semigroup. For example, the Lebesgue measure is a valuation on finite unions of convex bodies of Euclidean space . Other examples of valuations on finite unions of convex bodies are the surface area, the mean width, and the Euler characteristic.
In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS Y without any need to extend definitions from real/complex-valued functions to Y-valued functions.
In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a physical model of some natural phenomenon.
