LemmaStatement: AI-generatedProof: AI-generated

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Invariant metric, product arrangements and essentiality

Statement

A finite real reflection arrangement in a finite-dimensional real vector space $E$ means the set $A (W) = {Fix (r) : r \in W is a reflection}$ for a finite subgroup $W \leq G L (E)$ generated by reflections. Here a reflection is an involution with a codimension-one fixed subspace. A product arrangement on $E = E_{1} \oplus E_{2}$ consists of the hyperplanes $H_{1} \oplus E_{2}$ and $E_{1} \oplus H_{2}$ from arrangements on the two factors; a positive-dimensional empty factor is allowed. The arrangement is irreducible when it has no such decomposition with both $E_{i} \neq 0$ . For every such finite real reflection group $W$ , the space $E$ admits a $W$ -invariant positive-definite inner product. In that metric every reflection is the orthogonal reflection in its fixed hyperplane, and distinct reflections have distinct fixed hyperplanes. If additionally $\dim E > 1$ and $A (W)$ is irreducible, then $E^{W} = 0$ (the action is essential).

Statement references

Linear hyperplane arrangements and local finiteness

Real and complex inner product spaces, with the inner product linear in the first argument

Orthogonality and the orthogonal complement

Internal direct sum V = ⨁_i<n Uᵢ: the sum is everything and each summand meets the sum of the others only in 0_V

The fixed-point sets Xᵍ and X^G of a group action

The subgroup ⟨ S ⟩ generated by a subset, the cyclic subgroup ⟨ g ⟩, and cyclic groups

Facts & Assumptions

[F1]

A linear hyperplane has codimension one, and arrangements record distinct hyperplanes themselves, as in Linear hyperplane arrangements and local finiteness.

[F2]

A real inner product is a symmetric bilinear form with $(x, x) > 0$ for $x \neq 0$ and $(0, 0) = 0$ (Real and complex inner product spaces, with the inner product linear in the first argument).

[F3]

Orthogonality means $(x, y) = 0$ , and $K^{⊥} = {x \in E : (x, k) = 0 for every k \in K}$ (Orthogonality and the orthogonal complement).

[F4]

For two subspaces, $E = U \oplus V$ means $U + V = E$ and $U \cap V = {0}$ (Internal direct sum V = ⨁_i<n Uᵢ: the sum is everything and each summand meets the sum of the others only in 0_V).

[F5]

For any subspace $K$ of a finite-dimensional real inner product space $E$ , one has $E = K \oplus K^{⊥}$ , with unique decompositions into the two subspaces (For a subspace W of a finite-dimensional inner product space, V=W⊕ W^⊥).

[F6]

For the natural action of $W$ on $E$ , $E^{g} = {x \in E : g x = x}$ and $E^{W} = {x \in E : g x = x for every g \in W}$ ; the notation $Fix (r)$ means $E^{r}$ (The fixed-point sets Xᵍ and X^G of a group action).

[F7]

If $R$ is the set of reflections in $W$ , saying that $W$ is generated by reflections means $W = ⟨ R ⟩$ , the smallest subgroup of $W$ containing $R$ (The subgroup ⟨ S ⟩ generated by a subset, the cyclic subgroup ⟨ g ⟩, and cyclic groups).

[F8]

For a real linear endomorphism $T$ of $E$ and $λ \in R$ , its $λ$ -eigenspace is $E_{λ} (T) = {v \in E : T (v) = λ v}$ , including the zero vector (Eigenvalues, eigenvectors, eigenspaces E_λ(T)=ker(T-λ I), and the spectrum σ_F(T) of an endomorphism).

Proof

Given: A finite group $W$ generated by real linear reflections on $E$ , its arrangement as in Linear hyperplane arrangements and local finiteness, and the product and irreducibility conventions in the Statement. Goal: Construct the invariant metric and prove reflection uniqueness for every such finite group, and prove essentiality under the additional dimension and irreducibility hypotheses.

Proof technique: direct.

1.1givenF1F2F3F4F6F8algebra

Choose a basis of $E$ , let $(,)_{0}$ be its Euclidean inner product, and set $(x, y) = \sum_{w \in W} (w x, w y)_{0}$ . This is bilinear and symmetric; for $x \neq 0$ its identity summand is positive and the other diagonal summands are nonnegative, so it is an inner product by [F2]. Reindexing by $w \mapsto w g$ proves $W$ -invariance. For an involutive reflection $r$ , the $+ 1$ and $- 1$ eigenspaces are perpendicular by [F3]: $(u, v) = (r u, r v) = - (u, v)$ . The identity $x = (x + r x) / 2 + (x - r x) / 2$ decomposes $E$ as their direct sum. Their dimensions are therefore $\dim E - 1$ and $1$ . Thus $r$ is uniquely determined by its fixed hyperplane, acting as $+ 1$ there and $- 1$ on its orthogonal line.

2.1step 1.1givenF1F3F4F5F6F7algebra

Put $K = E^{W} = ⋂_{H \in A (W)} H$ , the equality holding because reflections generate $W$ . In the finite-dimensional real inner product space constructed in step 1.1, $K$ is a subspace, so [F5] gives $E = K \oplus L$ for $L = K^{⊥}$ . The space $L$ is $W$ -stable: for $g \in W$ , $ℓ \in L$ and $k \in K$ , invariance gives $(g ℓ, k) = (ℓ, g^{- 1} k) = (ℓ, k) = 0$ . For each arrangement hyperplane $H$ , one has $K \subseteq H$ . Writing $h = k + ℓ$ by [F5] gives $ℓ = h - k \in H \cap L$ ; hence $H = K \oplus (H \cap L)$ by [F4]. Since $H$ has codimension one in $E$ , $H \cap L$ has codimension one in $L$ .

3.1step 1.1step 2.1givenF1F4F6algebra∎

For the essentiality assertion, now assume $\dim E > 1$ and $A (W)$ is irreducible. If $0 \neq K \neq E$ , then both $K$ and $L$ are nonzero. The hyperplanes described in step 2.1 constitute the product of the empty arrangement on $K$ and the arrangement ${H \cap L : H \in A (W)}$ on $L$ , contrary to irreducibility. If $K = E$ , then $W = 1$ and the arrangement is empty; for $\dim E > 1$ , a basis line and the span of the remaining basis vectors are nonzero complementary subspaces, and decompose that empty arrangement as a product, again contradicting irreducibility. Hence $K = 0$ . This proves essentiality and all metric assertions.

Depends on

Used by · 4

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.