Algebras of analytic functionals and homological epimorphisms

This paper extends the author's previous result on solvable Lie algebras by proving that the Arens-Michael envelope and other completion homomorphisms for algebras of analytic functionals on connected complex Lie groups are homological epimorphisms, even without the assumption of solvability and including the case of Banach PI-algebras.

The Gist

The Big Picture: A Bridge Between Two Worlds

Imagine you have a complex, messy machine (a Lie Group, which is a mathematical object describing symmetry and movement). You want to study how this machine behaves when you plug it into different types of power outlets.

• Outlet A (The Local View): This is a very sensitive, high-resolution outlet. It sees every tiny vibration and nuance of the machine. In math, this is the Algebra of Analytic Functionals. It's precise but hard to work with because it's so detailed.
• Outlet B (The Global View): This is a standard, robust outlet. It smooths out the tiny vibrations and only cares about the big picture. It's easier to plug things into, but you lose some fine detail. In math, this is the Arens–Michael Envelope (a "completion" of the algebra).

The Question: If you plug your machine into the smooth, robust Outlet B, do you lose any essential information about how the machine works? Or is the connection so perfect that the "big picture" version tells you everything the "high-resolution" version does?

In mathematical terms, the author is asking: Is the map from the detailed algebra to the smooth algebra a "Homological Epimorphism"?

What is a "Homological Epimorphism"? (The Magic Bridge)

Think of a Homological Epimorphism not as a simple bridge, but as a perfect, lossless translation.

Imagine you have a book written in a complex, ancient language (the detailed algebra). You want to translate it into modern English (the smooth algebra).

• A normal translation might lose the poetry, the rhythm, or the hidden meanings.
• A Homological Epimorphism is a translation so perfect that if you read the modern English version, you can reconstruct the ancient text exactly, and all the "deep structures" (like the plot twists, the character arcs, and the hidden symbols) remain intact.

In math, these "deep structures" are called cohomology and homology. They measure things like holes, loops, and connections in the algebraic space. If the map is a homological epimorphism, it means the "holes" and "loops" in the detailed world are exactly the same as in the smooth world.

The Old Problem: The "Solvable" Rule

For a long time, mathematicians (starting with Joseph Taylor in the 1970s) knew that this "perfect translation" only worked if the machine (the Lie Group) was Solvable.

• Solvable Machine: Think of a machine made of simple gears that can be taken apart layer by layer until you just have a single axle. These are predictable and easy to understand.
• Non-Solvable Machine: Think of a machine with a complex, tangled knot in the middle that cannot be untangled. These are chaotic and hard to predict.

The old rule was: "You can only get a perfect translation if the machine is simple (Solvable). If it's a tangled knot (Non-Solvable), the translation fails, and you lose information."

The New Discovery: Breaking the Rule

O. Yu. Aristov's paper proves that this rule is wrong for a specific, very important type of machine: Complex Lie Groups.

He shows that even if the machine is a tangled knot (non-solvable), the translation to the smooth world is still perfect.

The Analogy:
Imagine you have a chaotic, swirling storm (a non-solvable group).

• Old View: "If you try to map this storm to a calm, flat map, the map will be wrong. The storm's chaos will be lost."
• Aristov's View: "Actually, if you use the right kind of map (the Arens–Michael envelope), the map captures the storm's essence perfectly, even though the storm is chaotic. The 'holes' and 'loops' of the storm are preserved exactly."

How Did He Do It? (The Lego Strategy)

To prove this, Aristov didn't try to solve the whole chaotic machine at once. Instead, he used a strategy called decomposition (breaking things down).

1. The Lego Breakdown: He showed that any complex group can be built like a tower of Legos. You start with a simple base, add a layer, then another layer, and so on.
2. The Smashing Technique: He used a mathematical tool called a "Smash Product." Imagine taking two Lego structures and smashing them together to make a bigger one.
3. The Induction: He proved that if you smash together two "perfectly translatable" pieces, the result is also "perfectly translatable."
   • He showed that the "tangled" parts of the machine (the non-solvable parts) are actually just "flat" or "trivial" in a specific mathematical sense. They don't mess up the translation.
   • The "chaotic" parts turn out to be harmless to the homological properties.

Why Does This Matter? (The "Why Should I Care?")

You might ask, "Who cares about translating abstract algebra?"

1. Spectral Theory (The X-Ray): In physics and engineering, we often study operators (machines that transform data). We want to know their "spectrum" (their frequencies or eigenvalues). This paper helps mathematicians define the spectrum of complex, non-commuting machines more accurately. It ensures that when we switch from a detailed model to a simpler, more usable model, we don't accidentally change the physics of the system.
2. Simplifying the Complex: It gives mathematicians permission to use simpler, smoother tools to study very complex, chaotic systems without fear of losing the core truth.
3. The "PI" Connection: The paper also proves this works for a specific class of algebras called PI-algebras (which satisfy polynomial identities). This is like saying, "Even if we add a rule that the machine must follow a specific pattern, the perfect translation still holds."

Summary in One Sentence

O. Yu. Aristov discovered that for complex symmetry groups, the "rough, smooth version" of the math is a perfect, lossless reflection of the "detailed, complex version," even when the group is chaotic and non-solvable, overturning a 50-year-old belief that this was only possible for simple groups.

He did this by breaking the complex groups down into smaller, manageable Lego-like pieces and showing that the "chaos" doesn't actually break the mathematical bridge between the two worlds.

Technical Summary

1. Problem Statement and Context

The paper addresses a fundamental question in the homological theory of topological algebras and spectral theory, originally posed by Joseph Taylor in the 1970s. The core problem concerns the relationship between a topological algebra $A$ and its Arens–Michael envelope (the completion of $A$ with respect to all continuous submultiplicative seminorms, denoted $\widehat{A}$).

Specifically, the paper investigates when the canonical homomorphism $A \to \widehat{A}$ is a homological epimorphism. A continuous homomorphism $\phi: A \to B$ is a homological epimorphism if the derived functor of the restriction of scalars is fully faithful, or equivalently, if the multiplication map $B \otimes_A^{\mathbb{L}} B \to B$ is an isomorphism in the derived category. This property is crucial because it implies that the continuous cohomology (and spectral theory) of $A$ and $B$ coincide.

Previous Results:
In a previous work (Aristov, arXiv:2404.19433), it was established that for a finite-dimensional complex Lie algebra $\mathfrak{g}$, the Arens–Michael envelope of its universal enveloping algebra $U(\mathfrak{g}) \to \widehat{U(\mathfrak{g})}$ is a homological epimorphism if and only if $\mathfrak{g}$ is solvable. For non-solvable algebras, this property fails.

The Gap:
The paper focuses on the algebra of analytic functionals $A(G)$ on a connected complex Lie group $G$. While $A(G)$ is closely related to $U(\mathfrak{g})$ (specifically, if $G$ is simply connected, $A(G) \cong U(\mathfrak{g})$), the structure of $A(G)$ for general $G$ involves more complex topological and geometric features. The open question was whether the solvability restriction on $\mathfrak{g}$ is necessary for $A(G)$, or if the geometric structure of the group $G$ allows the homological epimorphism property to hold even for non-solvable groups.

2. Methodology

The author employs a sophisticated blend of homological algebra, the theory of topological algebras, and the structure theory of complex Lie groups. The methodology relies on three main pillars:

1. Iterated Analytic Smash Products:
   The paper utilizes a decomposition technique developed in the author's previous work [10]. It establishes that the algebra of analytic functionals $A(G)$ and its completions can be decomposed into iterated analytic smash products (a topological version of semidirect products).

   • The group $G$ is decomposed into a series of subgroups (involving the Morimoto subgroup, the linearization, and a solvable part).
   • The algebra $A(G)$ is shown to be isomorphic to an iterated smash product of algebras associated with these subgroups.
   • This allows the problem to be reduced to analyzing the homological properties of the "building blocks" (typically algebras of the form $A(\mathbb{C})$ or $A(\mathbb{C}^*)$).

2. Relative Homological Triviality:
   The author introduces and utilizes the concept of relative homological triviality. An algebra $A$ is relatively homologically trivial over a subalgebra $R$ if $A$ is a projective module in the relative category of $R$-bimodules.

   • The paper proves that for certain subgroups (specifically, linearly complex reductive groups), the algebra $A(G)$ is homologically trivial.
   • This triviality allows the author to "ignore" certain non-solvable parts of the group (like the reductive quotient $G/B$) when computing homological dimensions, effectively reducing the problem to the solvable case.

3. Weighted Completions and Localization:
   The paper studies completions of $A(G)$ with respect to submultiplicative weights $\omega$. It defines a weight as localizing if the map $A(G) \to A_{\omega}^\infty(G)$ is a homological epimorphism.

   • The author constructs a maximal weight $\omega_{max}$ that dominates all weights with specific "exponential distortion" properties on the nilpotent radical.
   • The proof involves showing that this maximal weight is localizing, which implies that the Arens–Michael envelope (and the PI-envelope) are homological epimorphisms.

3. Key Contributions and Results

The paper's primary contribution is the removal of the solvability constraint for algebras of analytic functionals on complex Lie groups.

Main Theorem (Theorem 3.1):
Let $G$ be a connected complex Lie group. Then the canonical homomorphisms:

1. $A(G) \to \widehat{A(G)}$ (Arens–Michael envelope)
2. $A(G) \to \widehat{A(G)}_{PI}$ (Envelope in the class of Banach PI-algebras)

are homological epimorphisms.

Key Distinction from Previous Work:
Unlike the case for universal enveloping algebras $U(\mathfrak{g})$, where solvability is a necessary condition, for the algebra of analytic functionals $A(G)$, the property holds regardless of whether the Lie algebra $\mathfrak{g}$ is solvable or not.

Supporting Theorems:

• Theorem 3.2 (General Weight Theorem): For a connected complex Lie group $G$, let $\Lambda$ be its linearization, and $N'$ a normal integral subgroup containing the exponential radical. If $\omega_{max}$ is the maximal weight with exponential distortion on $N'$, then $A(G) \to A_{\omega_{max}}^\infty(G/\Lambda)$ is a homological epimorphism.
• Theorem 3.4 (Decomposition Theorem): Provides a criterion for a weight to be localizing based on the decomposition of the group into a semidirect product of copies of $\mathbb{C}$ and a linearly complex reductive group.
• Theorem 3.6: Re-confirms that for the universal enveloping algebra $U(\mathfrak{g})$, the PI-envelope is a homological epimorphism if and only if $\mathfrak{g}$ is solvable. This highlights that the "failure" of the property for non-solvable $U(\mathfrak{g})$ is due to the algebraic structure, which is "smoothed out" or "absorbed" in the analytic functional setting $A(G)$ due to the presence of the group structure and the specific topology of analytic functionals.

4. Significance and Implications

1. Spectral Theory:
   The results have profound implications for the spectral theory of operators. Since homological epimorphisms preserve continuous cohomology and the Taylor spectrum, the theorem implies that the spectral theory of holomorphic representations of a complex Lie group $G$ in locally convex spaces is equivalent to its spectral theory in Banach spaces (specifically those satisfying polynomial identities). This unifies the spectral theories for commutative and non-commutative settings in a way previously thought impossible for non-solvable groups.

2. Resolution of Taylor's Question:
   The paper provides a nuanced answer to Taylor's original question. It shows that the obstruction to the Arens–Michael envelope being a homological epimorphism is not inherent to the "non-solvability" of the group itself, but rather to the specific algebraic construction of the universal enveloping algebra. The analytic functional algebra $A(G)$ possesses enough "flexibility" (via the group structure and analytic continuation) to overcome the homological obstructions present in $U(\mathfrak{g})$.

3. Methodological Advancement:
   The paper advances the technique of iterative smash product decomposition for topological algebras. By successfully applying this to the maximal weight completion, it opens the door for analyzing other completions and homological properties of algebras associated with infinite-dimensional groups or more general complex manifolds.

4. PI-Algebras:
   The inclusion of the PI-envelope result is significant because PI-algebras (algebras satisfying polynomial identities) are a natural class for studying non-commutative geometry and quantum groups. The result confirms that the homological stability extends to this broader class of completions for analytic functionals.

Conclusion

O. Yu. Aristov's paper demonstrates that the algebra of analytic functionals $A(G)$ on a connected complex Lie group is homologically "well-behaved" with respect to its Arens–Michael and PI-envelopes, regardless of the solvability of the underlying Lie algebra. This is achieved by leveraging the geometric decomposition of the group and the relative homological triviality of reductive components. The result bridges a gap between the rigid algebraic constraints of universal enveloping algebras and the flexible analytic structure of group algebras, offering new tools for non-commutative spectral theory.