Second-Order Closure and the Structural Necessity of the Imaginary Unit presents a structural derivation of the imaginary unit from oriented positive quadratic data. The paper starts from an oriented positive quadratic plane, consisting of a two-dimensional real vector space, a positive definite symmetric bilinear form, and an orientation. From this primitive datum, the paper constructs an oriented area form and then a uniquely determined quarter-turn operator. This operator preserves the quadratic form, squares to minus the identity, and rotates every nonzero vector in the positive orientation. The central claim is that the imaginary unit is not first an arbitrary formal symbol adjoined to the real numbers. Rather, at the primitive structural level, the role of the imaginary unit is forced by the oriented positive second-order structure itself. The canonical quarter-turn operator generates a two-dimensional real algebra with exactly the multiplication law of the complex numbers. A key distinction is made between the internal structure and external notation. The internally generated algebra is canonical once the orientation is fixed. However, an external identification with the standard complex numbers sends the canonical quarter-turn generator to either i or -i. These two choices differ by complex conjugation. Orientation reversal changes the sign of the quarter-turn operator and corresponds internally to conjugation. The paper also explains the higher-dimensional situation. The result propagates through oriented two-dimensional blocks. A direct sum of such blocks carries a block-diagonal complex structure and can be identified, after an external choice, with a complex vector space. With one unpaired real line, the corresponding structure is a complex block part plus a real residual direction. The paper does not claim that an arbitrary positive higher-dimensional quadratic space carries a canonical complex structure without additional block or global complex data. This first version is intended as a structural and axiomatic account of the origin of the imaginary generator. It does not attempt to derive complex analysis, holomorphic functions, spectral theory, or quantum mechanics. Its purpose is more primitive: to isolate the second-order geometric conditions under which an internal square root of minus the identity, and hence the algebraic role of the imaginary unit, becomes necessary.
Anonymous (Mon,) studied this question.