The Free Functional Calculus in General
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915315448807424 |
|---|---|
| author | Bushelli, Julian |
| author_facet | Bushelli, Julian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_00170 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The Free Functional Calculus in General Bushelli, Julian Category Theory Functional Analysis Operator Algebras 18A25 (primary) 47A60, 46M15, 32A38, 46H30 (secondary) 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. |
| title | The Free Functional Calculus in General |
| topic | Category Theory Functional Analysis Operator Algebras 18A25 (primary) 47A60, 46M15, 32A38, 46H30 (secondary) |
| url | https://arxiv.org/abs/2506.00170 |