Bismuth's theorem Symmetry ring and Bismuth condition decomposition

Description This repository presents a coherent collection of papers developing the Bismuth Framework, a symmetry-based theory of integration that unifies algebraic structure, geometric calculus, and categorical universality. The central idea is that integration acts on geometric integrands rather than on scalar expressions, and that for any measure-preserving involutive symmetry T, integration is structurally insensitive to the anti-invariant component of the measured object. This principle is formalized through a canonical projection operator—the Bismuth Operator—which enables systematic simplification of integrals prior to differentiation or parametrization. Rather than using symmetry as a heuristic for cancellation, the Bismuth Framework treats symmetry as an algebraic projection mechanism. Difficult integrals are simplified by projecting the integrand onto its symmetry-invariant component, a process referred to as domain folding. The repository contains the following works: 1. A Symmetry-Invariant Real-Analytic Ring on a Connected Domain This paper establishes the algebraic foundation of the framework. It defines \mathcal{A}_T(D) = \{ f : D \to \mathbb{C} \mid f \text{ is real-analytic and } f \circ T = f \}, the ring of real-analytic functions invariant under a bijective symmetry T. Key results: Proof that \mathcal{A}_T(D) is a commutative ring with unity. Proof that when D is connected, \mathcal{A}_T(D) is an integral domain, using the identity principle for real-analytic functions. This ring provides the algebraic target space of the Bismuth projection. 2. The Bismuth Decomposition and Domain Folding This paper introduces the operational core of the theory. Definition of the Bismuth projection\Pi_T(\omega) = \tfrac12(\omega + T^\*\omega)acting on differential forms. Proof of Bismuth’s Theorem:integration depends only on the invariant component \Pi_T(\omega), while the anti-invariant component integrates to zero. Introduction of domain folding: an algebraic method that simplifies integrals before applying Green’s, Gauss’, or Stokes’ theorem. A complete worked example on the unit disk showing how a transcendental integrand collapses to a polynomial without computing derivatives. This paper demonstrates that symmetry can simplify integrals even when the final result is not zero—something classical parity arguments do not capture. 3. Bismuth’s Theorem: Structural Orthogonality in Integration This work places the framework in a geometric-analytic context. Integration is interpreted as a linear functional that is orthogonal to anti-invariant directions. The theory is formulated directly in terms of differential forms, clarifying why the operator applies to: Green-type integrals, Flux and circulation integrals, and complex integrals via \partial_{\bar z}-distributions. The framework naturally explains residue-type phenomena as symmetry-invariant singularities. 4. Categorical Foundations: The Bismuth Functor This note formalizes the projection operator at the categorical level. Definition of the Bismuth Functor \mathcal{B}_T, mapping from the category of T-equivariant vector spaces to the category of invariant modules. Proof that the functor is left adjoint to the inclusion functor. This establishes the Bismuth projection as the universal and optimal symmetry-extraction mechanism, justifying algebraically why anti-symmetric components may be discarded. Scope and Relevance The Bismuth Framework applies to: multivariable calculus, vector calculus (Green, Gauss, Stokes), complex analysis, and abstract representation theory. It provides a constructive, operator-based alternative to symmetry arguments traditionally used only for cancellation, revealing a deeper structural principle behind integration. The framework is self-contained, rigorous, and suitable both for theoretical development and for concrete computational use.