-
Algebraic aspects and functoriality of the set of affiliated operators
Authors:
Indrajit Ghosh,
Soumyashant Nayak
Abstract:
In this article, we aim to provide a satisfactory algebraic description of the set of affiliated operators for von Neumann algebras. Let $\mathscr{M}$ be a von Neumann algebra acting on a Hilbert space $\mathcal{H}$, and let $\mathscr{M}_{\text{aff}}$ denote the set of unbounded operators of the form $T = AB^{\dagger}$ for $A, B \in \mathscr{M}$ with $\ker(B)\subseteq\ker(A)$ , where…
▽ More
In this article, we aim to provide a satisfactory algebraic description of the set of affiliated operators for von Neumann algebras. Let $\mathscr{M}$ be a von Neumann algebra acting on a Hilbert space $\mathcal{H}$, and let $\mathscr{M}_{\text{aff}}$ denote the set of unbounded operators of the form $T = AB^{\dagger}$ for $A, B \in \mathscr{M}$ with $\ker(B)\subseteq\ker(A)$ , where $(\cdot)^{\dagger}$ denotes the Kaufman inverse. We show that $\mathscr{M}_{\text{aff}}$ is closed under product, sum, Kaufman-inverse and adjoint, and has the structure of a right near-semiring; Moreover, the above quotient representation of an operator in $\mathscr{M}_{\text{aff}}$ is essentially unique. The Murray-von Neumann affiliated operators for $\mathscr{M}$ turn out to be precisely the closed operators in $\mathscr{M}_{\text{aff}}$. Let $Φ$ be a unital normal homomorphism between represented von Neumann algebras $(\mathscr{M}; \mathcal{H})$ and $(\mathscr{N}; \mathcal{K})$. With the help of the quotient representation, we obtain a canonical extension of $Φ$ to a mapping $Φ_{\text{aff}} : \mathscr{M}_{\text{aff}} \to \mathscr{N}_{\text{aff}}$ which respects sum, product, Kaufman-inverse, and adjoint. Thus $\mathscr{M}_{\text{aff}}$ is intrinsically associated with $\mathscr{M}$ and transforms functorially as we change representations of $\mathscr{M}$. Furthermore, $Φ_{\text{aff}}$ preserves operator properties such as being symmetric, or positive, or accretive, or sectorial, or self-adjoint, or normal, and also preserves the Friedrichs and Krein-von Neumann extensions of densely-defined closed positive operators. As a proof of concept, we transfer some well-known results about closed unbounded operators to the setting of closed affiliated operators for properly infinite von Neumann algebras, via `abstract nonsense'.
△ Less
Submitted 31 August, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
On Murray-von Neumann algebras -- I: Topological, Order-Theoretic and Analytical Aspects
Authors:
Soumyashant Nayak
Abstract:
For a countably decomposable finite von Neumann algebra $\mathscr{R}$, we show that any choice of a faithful normal tracial state on $\mathscr{R}$ engenders the same measure topology on $\mathscr{R}$ in the sense of Nelson (J. Func. Anal., 15 (1974), 103--116). Consequently it is justified to speak of `the' measure topology of $\mathscr{R}$. Having made this observation, we extend the notion of me…
▽ More
For a countably decomposable finite von Neumann algebra $\mathscr{R}$, we show that any choice of a faithful normal tracial state on $\mathscr{R}$ engenders the same measure topology on $\mathscr{R}$ in the sense of Nelson (J. Func. Anal., 15 (1974), 103--116). Consequently it is justified to speak of `the' measure topology of $\mathscr{R}$. Having made this observation, we extend the notion of measure topology to general finite von Neumann algebras and denominate it the $\mathfrak{m}$-topology. We note that the procedure of $\mathfrak{m}$-completion yields Murray-von Neumann algebras in a functorial manner and provides them with an intrinsic description as unital ordered complex topological $*$-algebras. This enables the study of abstract Murray-von Neumann algebras avoiding reference to a Hilbert space. Furthermore, it makes apparent the appropriate notion of Murray-von Neumann subalgebras, and the intrinsic nature of the spectrum and point spectrum of elements, independent of their ambient Murray-von Neumann algebra. In this context, we show the well-definedness of the Borel function calculus for normal elements and use it along with approximation techniques in the $\mathfrak{m}$-topology to transfer many standard operator inequalities involving bounded self-adjoint operators to the setting of (unbounded) self-adjoint operators in Murray-von Neumann algebras. On the algebraic side, Murray-von Neumann algebras have been described as the Ore localization of finite von Neumann algebras with respect to their corresponding multiplicative subset of non-zero-divisors. Our discussion reveals that, in addition, there are fundamental topological, order-theoretic and analytical facets to their description.
△ Less
Submitted 15 December, 2022; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Matrix algebras over algebras of unbounded operators
Authors:
Soumyashant Nayak
Abstract:
Let $\mathscr{M}$ be a $II_1$ factor acting on the Hilbert space $\mathscr{H}$, and $\mathscr{M}_{\textrm{aff}}$ be the Murray-von Neumann algebra of closed densely-defined operators affiliated with $\mathscr{M}$. Let $τ$ denote the unique faithful normal tracial state on $\mathscr{M}$. By virtue of Nelson's theory of non-commutative integration, $\mathscr{M}_{\textrm{aff}}$ may be identified with…
▽ More
Let $\mathscr{M}$ be a $II_1$ factor acting on the Hilbert space $\mathscr{H}$, and $\mathscr{M}_{\textrm{aff}}$ be the Murray-von Neumann algebra of closed densely-defined operators affiliated with $\mathscr{M}$. Let $τ$ denote the unique faithful normal tracial state on $\mathscr{M}$. By virtue of Nelson's theory of non-commutative integration, $\mathscr{M}_{\textrm{aff}}$ may be identified with the completion of $\mathscr{M}$ in the measure topology. In this article, we show that $M_n(\mathscr{M}_{\textrm{aff}}) \cong M_n(\mathscr{M})_{\textrm{aff}}$ as unital ordered complex topological $*$-algebras with the isomorphism extending the identity mapping of $M_n(\mathscr{M}) \to M_n(\mathscr{M})$. Consequently, the algebraic machinery of rank identities and determinant identities are applicable in this setting. As a step further in the Heisenberg-von Neumann puzzle discussed by Kadison-Liu (SIGMA, 10 (2014), Paper 009), it follows that if there exist operators $P, Q$ in $\mathscr{M}_{\textrm{aff}}$ satisfying the commutation relation $Q \; \hat \cdot \; P \; \hat - \; P \; \hat \cdot \; Q = {i\mkern1mu} I$, then at least one of them does not belong to $L^p(\mathscr{M}, τ)$ for any $0 < p \le \infty$. Furthermore, the respective point spectrums of $P$ and $Q$ must be empty. Hence the puzzle may be recasted in the following equivalent manner - Are there invertible operators $P, A$ in $\mathscr{M}_{\textrm{aff}}$ such that $P^{-1} \; \hat \cdot \; A \; \hat \cdot \; P = I \; \hat + \; A$? This suggests that any strategy towards its resolution must involve the study of conjugacy invariants of operators in $\mathscr{M}_{\textrm{aff}}$ in an essential way.
△ Less
Submitted 13 January, 2020; v1 submitted 17 December, 2018;
originally announced December 2018.
-
Detecting Capable Lie Superalgebra
Authors:
Rudra Narayan Padhan,
Saudamini Nayak,
K. C Pati
Abstract:
In this article we show that distributive law holds for non-abelian tensor product of Lie superalgebras under certain direct sums. There by we obtain a rule for non-abelian exterior square of a Lie superalgebra. We define capable Lie superalgebra and then give some characterization. Specifically we prove that epicenter of a Lie superalgebra is equal to exterior center. Finally we classify all capa…
▽ More
In this article we show that distributive law holds for non-abelian tensor product of Lie superalgebras under certain direct sums. There by we obtain a rule for non-abelian exterior square of a Lie superalgebra. We define capable Lie superalgebra and then give some characterization. Specifically we prove that epicenter of a Lie superalgebra is equal to exterior center. Finally we classify all capable Lie superalgebras whose derived subalgebra dimension is at most one. As an application to those results we have shown that there exists at least one non-abelian nilpotent capable Lie superalgebra $L$ of dimension $m+n \geq 3$ where $\dim L=(m \mid n)$.
△ Less
Submitted 12 May, 2020; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Numerical Solution of Fuzzy Stochastic Differential Equation
Authors:
Sukanta Nayak,
Snehashish Chakraverty
Abstract:
In this paper an alternative approach to solve uncertain Stochastic Differential Equation (SDE) is proposed. This uncertainty occurs due to the involved parameters in system and these are considered as Triangular Fuzzy Numbers (TFN). Here the proposed fuzzy arithmetic in [2] is used as a tool to handle Fuzzy Stochastic Differential Equation (FSDE). In particular, a system of Ito stochastic differe…
▽ More
In this paper an alternative approach to solve uncertain Stochastic Differential Equation (SDE) is proposed. This uncertainty occurs due to the involved parameters in system and these are considered as Triangular Fuzzy Numbers (TFN). Here the proposed fuzzy arithmetic in [2] is used as a tool to handle Fuzzy Stochastic Differential Equation (FSDE). In particular, a system of Ito stochastic differential equations is analysed with fuzzy parameters. Further exact and Euler Maruyama approximation methods with fuzzy values are demonstrated and solved some standard SDE.
△ Less
Submitted 3 February, 2015;
originally announced February 2015.
-
Affine Kac-Moody symmetric spaces associated with untwisted Kac-Moody algebras
Authors:
Saudamini Nayak,
S. S. Rout,
K. C. Pati
Abstract:
In this paper we have computed all the affine Kac-Moody symmetric spaces which are tame Frechet manifolds starting from the Vogan diagrams related to the affine untwisted Kac-Moody algebras. The detail computation of affine Kac-Moody symmetric spaces associated with A_1^(1) and A_2^(1) are shown algebraically to corroborate our method.
In this paper we have computed all the affine Kac-Moody symmetric spaces which are tame Frechet manifolds starting from the Vogan diagrams related to the affine untwisted Kac-Moody algebras. The detail computation of affine Kac-Moody symmetric spaces associated with A_1^(1) and A_2^(1) are shown algebraically to corroborate our method.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
