The Free Functional Calculus in General

TL;DR

This paper extends the classical free analysis framework to include broader functions like the Schur complement, using a categorial approach to define and analyze free functions and their algebraic structures.

Contribution

It introduces a categorial generalization of free functions, including polynomials and rational expressions, and proves an inverse function theorem within this broader context.

Findings

Develops a categorial structure for free functions

Constructs algebraic frameworks for free polynomials

Proves an inverse function theorem in the generalized setting

Abstract

The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important functions, such as the Schur complement. This paper presents a generalization of free functions, viewing them as a natural categorial structure: functors between functor categories that commute with natural transformation. We study this construction on general additive categories; we define, characterize and categorize certain sorts of free maps, such as polynomials and rational expressions, and then prove an analogue of the inverse function theorem, demonstrating a natural lifting of a proof into this broader context. We then provide some algebraic basis for this theory, constructing vector spaces, an additive category of free polynomials, and defining a class of products that allows us to form true ring structures on any vector space of free nc polynomials.