Factorization in $SL^\infty$

Richard Lechner

DOI: https://doi.org/10.1007/s11856-018-1719-8

2016-11-02

Abstract:We show that the non-separable Banach space $SL^\infty$ is primary. This is achieved by directly solving the infinite dimensional factorization problem in $SL^\infty$. In particular, we bypass Bourgain's localization method.

Functional Analysis

What problem does this paper attempt to address?

Factorization in mixed norm Hardy and BMO spaces

Richard Lechner

DOI: https://doi.org/10.4064/sm8751-6-2017

2016-10-06

Abstract:Let $1\leq p,q < \infty$ and $1\leq r \leq \infty$. We show that the direct sum of mixed norm Hardy spaces $\big(\sum_n H^p_n(H^q_n)\big)_r$ and the sum of their dual spaces $\big(\sum_n H^p_n(H^q_n)^*\big)_r$ are both primary. We do so by using Bourgain's localization method and solving the finite dimensional factorization problem. In particular, we obtain that the spaces $\big(\sum_{n\in \mathbb N} H_n^1(H_n^s)\big)_r$, $\big(\sum_{n\in \mathbb N} H_n^s(H_n^1)\big)_r$, as well as $\big(\sum_{n\in \mathbb N} BMO_n(H_n^s)\big)_r$ and $\big(\sum_{n\in \mathbb N} H^s_n(BMO_n)\big)_r$, $1 < s < \infty$, $1\leq r \leq \infty$, are all primary.

Functional Analysis
The factorizations of finite classical groups

Cai Heng Li,Lei Wang,Binzhou Xia

2024-07-25

Abstract:We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups.

Group Theory
Assembly of Constructible Factorization Algebras

Eilind Karlsson,Claudia I. Scheimbauer,Tashi Walde

2024-09-02

Abstract:We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras from the data on the individual strata together with module structures associated to the relative links; thus answering a question by Ayala. Along the way, we give detailed proofs of the following facts which are also of independent interest: constructibility is a local condition; the $\infty$-category of disks is a localization of any sufficiently fine poset of disks; constructibility implies the Weiss condition on disks; constructible factorization algebras are algebras for the $\infty$-operad of embedded disks. For each of these, variants or special cases already existed, but they were either incomplete or not general enough.

Algebraic Topology,Category Theory,Quantum Algebra
Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Divyang Bhimani,Joachim Toft

2024-05-11

Abstract:We deduce factorization properties for a quasi-Banach module over a quasi-Banach algebra. Especially we extend a result by Hewitt and prove that if any such algebra which possess a bounded left approximate identity, then any element in the module can be factorized. As applications, we deduce factorization properties for Wiener amalgam spaces, for an extended family of modulation spaces and for Schatten symbol classes in pseudo-differential calculus under multiplications like convolutions, twisted convolutions and symbolic products. For example we show for Wiener amalgam spaces that WL^{1,r}*WL^{p,q}=WL^{p,q} when r in (0,1], and p and q are finite and larger than r. In particular we improve Rudin's identity L^1*L^1=L^1.

Functional Analysis
Factorization in Haar system Hardy spaces

Richard Lechner,Thomas Speckhofer

2023-10-17

Abstract:A Haar system Hardy space is the completion of the linear span of the Haar system $(h_I)_I$, either under a rearrangement-invariant norm $\|\cdot \|$ or under the associated square function norm \begin{equation*} \Bigl\| \sum_Ia_Ih_I \Bigr\|_{*} = \Bigl\| \Bigl( \sum_I a_I^2 h_I^2 \Bigr)^{1/2} \Bigr\|. \end{equation*} Apart from $L^p$, $1\le p<\infty$, the class of these spaces includes all separable rearrangement-invariant function spaces on $[0,1]$ and also the dyadic Hardy space $H^1$. Using a unified and systematic approach, we prove that a Haar system Hardy space $Y$ with $Y\ne C(\Delta)$ ($C(\Delta)$ denotes the continuous functions on the Cantor set) has the following properties, which are closely related to the primariness of $Y$: For every bounded linear operator $T$ on $Y$, the identity $I_Y$ factors either through $T$ or through $I_Y - T$, and if $T$ has large diagonal with respect to the Haar system, then the identity factors through $T$. In particular, we obtain that \begin{equation*} \mathcal{M}_Y = \{ T\in \mathcal{B}(Y) : I_Y \ne ATB\text{ for all } A, B\in \mathcal{B}(Y) \} \end{equation*} is the unique maximal ideal of the algebra $\mathcal{B}(Y)$ of bounded linear operators on $Y$. Moreover, we prove similar factorization results for the spaces $\ell^p(Y)$, $1\le p \leq \infty$, and use them to show that they are primary.

Functional Analysis
Factorization algebra

Kevin Costello,Owen Gwilliam

2023-10-27

Abstract:Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their global structure encompasses Hochschild homology and conformal blocks. In the setting of quantum field theory, factorization algebras articulate a minimal set of axioms satisfied by the observables of a theory, and they capture concepts like the operator product and correlation functions. In this survey article for the Encyclopedia of Mathematical Physics, 2nd Edition, we give the definitions and key examples, compare this approach with other approaches to mathematically formalizing field theory, describe key results, and explain how higher symmetries can be encoded in this framework.

Mathematical Physics
Factorizations of almost simple linear groups

Cai Heng Li,Lei Wang,Binzhou Xia

DOI: https://doi.org/10.48550/arXiv.2106.03109

2021-06-06

Group Theory

Abstract:This is the first one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with almost simple linear groups.
Strategically reproducible bases and the factorization property

Richard Lechner,Pavlos Motakis,Paul F. X. Müller,Thomas Schlumprecht

DOI: https://doi.org/10.1007/s11856-020-2011-2

2018-09-26

Abstract:We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the space $L^1$. Moreover, we show the strategical reproducibility is inherited by unconditional sums.

Functional Analysis
Factorizations of Schur functions

Ramlal Debnath,Jaydeb Sarkar

DOI: https://doi.org/10.48550/arXiv.1908.01850

2021-03-05

Abstract:The Schur class, denoted by $\mathcal{S}(\mathbb{D})$, is the set of all functions analytic and bounded by one in modulus in the open unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$, that is \[ \mathcal{S}(\mathbb{D}) = \{\varphi \in H^\infty(\mathbb{D}): \|\varphi\|_{\infty} := \sup_{z \in \mathbb{D}} |\varphi(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur functions. A classical result going back to I. Schur states: A function $\varphi: \mathbb{D} \rightarrow \mathbb{C}$ is in $\mathcal{S}(\mathbb{D})$ if and only if there exist a Hilbert space $\mathcal{H}$ and an isometry (known as colligation operator matrix or scattering operator matrix) \[ V = \begin{bmatrix} a & B \\ C & D \end{bmatrix} : \mathbb{C} \oplus \mathcal{H} \rightarrow \mathbb{C} \oplus \mathcal{H}, \] such that $\varphi$ admits a transfer function realization corresponding to $V$, that is \[ \varphi(z) = a + z B (I_{\mathcal{H}} - z D)^{-1} C \quad \quad (z \in \mathbb{D}). \] An analogous statement holds true for Schur functions on the bidisc. On the other hand, Schur-Agler class functions on the unit polydisc in $\mathbb{C}^n$ is a well-known "analogue" of Schur functions on $\mathbb{D}$. In this paper, we present algorithms to factorize Schur functions and Schur-Agler class functions in terms of colligation matrices. More precisely, we isolate checkable conditions on colligation matrices that ensure the existence of Schur (Schur-Agler class) factors of a Schur (Schur-Agler class) function and vice versa.

Functional Analysis,Complex Variables,Operator Algebras,Optimization and Control
Factorization homology of enriched $\infty$-categories

David Ayala,John Francis,Aaron Mazel-Gee,Nick Rozenblyum

2024-05-11

Abstract:For an arbitrary symmetric monoidal $\infty$-category $\mathcal{V}$, we define the factorization homology of $\mathcal{V}$-enriched $(\infty,1)$-categories over (possibly stratified) 1-manifolds and study some of its basic properties. In the case of spectral enrichment, we show that the value of factorization homology on a circle is topological Hochschild homology.

Algebraic Topology,Mathematical Physics,Category Theory,Quantum Algebra
Factorization theory: From commutative to noncommutative settings

Nicholas R. Baeth,Daniel Smertnig

DOI: https://doi.org/10.1016/j.jalgebra.2015.06.007

2015-09-02

Abstract:We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several notions of factorizations as well as distances between them are introduced. In addition, arithmetical invariants characterizing the non-uniqueness of factorizations such as the catenary degree, the $\omega$-invariant, and the tame degree, are extended from commutative to noncommutative settings. We introduce the concept of a cancellative semigroup being permutably factorial, and characterize this property by means of corresponding catenary and tame degrees. Also, we give necessary and sufficient conditions for there to be a weak transfer homomorphism from a cancellative semigroup to its reduced abelianization. Applying the abstract machinery we develop, we determine various catenary degrees for classical maximal orders in central simple algebras over global fields by using a natural transfer homomorphism to a monoid of zero-sum sequences over a ray class group. We also determine catenary degrees and the permutable tame degree for the semigroup of non zero-divisors of the ring of $n \times n$ upper triangular matrices over a commutative domain using a weak transfer homomorphism to a commutative semigroup.

Rings and Algebras
From subfactor planar algebras to subfactors

Vijay Kodiyalam,V. S. Sunder

DOI: https://doi.org/10.48550/arXiv.0807.3704

2008-07-24

Abstract:We present a purely planar algebraic proof of the main result of a paper of Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a subfactor planar algebra whose standard invariant is given by that planar algebra.

Operator Algebras
On tensor products of representations of Lie superalgebras

Abhishek Das,Santosha Pattanayak

2024-03-30

Abstract:We consider typical finite dimensional complex irreducible representations of a basic classical simple Lie superalgebra, and give a sufficient condition on when unique factorization of finite tensor products of such representations hold. We also prove unique factorization of tensor products of singly atypical finite dimensional irreducible modules for $\mathfrak{sl}(m+1,n+1)$, $\mathfrak{osp}(2,2n)$, $G(3)$ and $F(4)$ under an additional assumption. This result is a Lie superalgebra analogue of Rajan's fundamental result \cite{MR2123935} on unique factorization of tensor products for finite dimensional complex simple Lie algebras.

Representation Theory
Simplices of maximally amenable extensions in II$_1$ factors

Srivatsav Kunnawalkam Elayavalli,Gregory Patchell

2024-10-16

Abstract:For every $n\in \mathbb{N}$ we obtain a separable II$_1$ factor $M$ and a maximally abelian subalgebra $A\subset M$ such that the space of maximally amenable extensions of $A$ in $M$ is affinely identified with the $n$ dimensional $\mathbb{R}$-simplex. This moreover yields first examples of masas in II$_1$ factors $A\subset M$ admitting exactly $n$ maximally amenable factorial extensions. Our examples of such $M$ are group von Neumann algebras of free products of lamplighter groups amalgamated over the acting group. A conceptual ingredient that goes into obtaining this result is a simultaneous relative asymptotic orthogonality property, extending prior works in the literature. The proof uses technical tools including our uniform-flattening strategy for commutants in ultrapowers of II$_1$ factors.

Operator Algebras,Group Theory
Banach property (T) for $\rm SL_n (\mathbb{Z})$ and its applications

Izhar Oppenheim

DOI: https://doi.org/10.1007/s00222-023-01211-7

2023-08-29

Abstract:We prove that a large family of higher rank simple Lie groups (including $\rm SL_n (\mathbb{R})$ for $n \geq 3$) and their lattices have Banach property (T) with respect to all super-reflexive Banach spaces. Two consequences of this result are: First, we deduce Banach fixed point properties with respect to all super-reflexive Banach spaces for a large family of higher rank simple Lie groups. For example, we show that for every $n \geq 4$, the group $\rm SL_n (\mathbb{R})$ and all its lattices have the Banach fixed point property with respect to all super-reflexive Banach spaces. Second, we settle a long standing open problem and show that the Margulis expanders (Cayley graphs of $\rm SL_{n} (\mathbb{Z} / m \mathbb{Z} )$ for a fixed $n \geq 3$ and $m$ tending to infinity) are super-expanders. All of our results stem from proving Banach property (T) for $\rm SL_3 (\mathbb{Z})$. Our method of proof for $\rm SL_3 (\mathbb{Z})$ relies on a novel proof for relative Banach property (T) for the uni-triangular subgroup of $\rm SL_3 (\mathbb{Z})$. This proof of relative property (T) is new even in the classical Hilbert setting and is interesting in its own right.

Group Theory,Functional Analysis
There is no separable universal II_1-factor

Narutaka Ozawa

DOI: https://doi.org/10.48550/arXiv.math/0210411

2002-11-02

Abstract:Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor can contain all separable II_1-factors in it. We also show that the full group C*-algebras of some of these groups fail the lifting property.

Operator Algebras
Factorization in Denjoy-Carleman classes associated to representations of $(\mathbb{R}^{d},+)$

Andreas Debrouwere,Bojan Prangoski,Jasson Vindas

DOI: https://doi.org/10.1016/j.jfa.2020.108831

2020-11-01

Abstract:For two types of moderate growth representations of $(\mathbb{R}^d,+)$ on sequentially complete locally convex Hausdorff spaces (including F-representations [J. Funct. Anal. 262 (2012), 667-681], we introduce Denjoy-Carleman classes of ultradifferentiable vectors and show a strong factorization theorem of Dixmier-Malliavin type for them. In particular, our factorization theorem solves [Conjecture 6.; J. Funct. Anal. 262 (2012), 667-681] for analytic vectors of representations of $G =(\mathbb{R}^d,+)$. As an application, we show that various convolution algebras and modules of ultradifferentiable functions satisfy the strong factorization property.

Functional Analysis
Factorization centers in dimension two and the Grothendieck ring of varieties

Hsueh-Yung Lin,Evgeny Shinder,Susanna Zimmermann

2023-06-11

Abstract:We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $\phi : X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $\phi$. This implies that nontrivial L-equivalences of $0$-dimensional varieties cannot be constructed based on birational automorphisms of a surface. It also implies that rationality centers are well-defined for every rational surface $X$, namely there exists a $0$-dimensional variety intrinsic to $X$, which is blown up in any rationality construction of $X$.

Algebraic Geometry
Factorization of Laurent series over commutative rings

Gyula Lakos

DOI: https://doi.org/10.1016/j.laa.2009.08.018

2010-02-21

Abstract:We generalize the Wiener-Hopf factorization of Laurent series to more general commutative coefficient rings, and we give explicit formulas for the decomposition. We emphasize the algebraic nature of this factorization.

Rings and Algebras

Factorization in $SL^\infty$

Factorization in mixed norm Hardy and BMO spaces

The factorizations of finite classical groups

Assembly of Constructible Factorization Algebras

Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Factorization in Haar system Hardy spaces

Factorization algebra

Factorizations of almost simple linear groups

Strategically reproducible bases and the factorization property

Factorizations of Schur functions

Factorization homology of enriched $\infty$-categories

Factorization theory: From commutative to noncommutative settings

From subfactor planar algebras to subfactors

On tensor products of representations of Lie superalgebras

Simplices of maximally amenable extensions in II$_1$ factors

Banach property (T) for $\rm SL_n (\mathbb{Z})$ and its applications

There is no separable universal II_1-factor

Factorization in Denjoy-Carleman classes associated to representations of $(\mathbb{R}^{d},+)$

Factorization centers in dimension two and the Grothendieck ring of varieties

Factorization of Laurent series over commutative rings