Publications

1. Algebraic aspects and functoriality of the set of affiliated operators I. Ghosh and S. Nayak

   International Mathematics Research Notices, Volume 2024, Issue 21, Nov 2024, Pages 13525-13562

   IMRN arXiv ResearchGate

   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 \(\text{null} (B) \subseteq \text{null} (A)\), where \((\cdot)^{\dagger}\) denotes the Kaufman inverse. We show that \(\mathscr{M}_{\text{aff}}\) is closed under sum, product, 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. Thus we may view \(\mathscr{M}_{\text{aff}}\) as the multiplicative monoid of unbounded operators on \(\mathcal{H}\) generated by \(\mathscr{M}\) and \(\mathscr{M} ^{\dagger}\). We further show that our definition of affiliation, as reflected in \(\mathscr{M}_{\text{aff}}\), subsumes the traditional one. Let \(\Phi\) be a unital normal \(*\)-homomorphism between represented von Neumann algebras \((\mathscr{M}; \mathcal{H})\) and \((\mathscr{N}; \mathcal{K})\). Using the quotient representation, we obtain a canonical extension of \(\Phi\) to a mapping \(\Phi_{\text{aff}} : \mathscr{M}_{\text{aff}} \to \mathscr{N}_{\text{aff}}\) which is a near-semiring homomorphism that respects Kaufman-inverse and adjoint; in addition, \(\Phi_{\text{aff}}\) respects Murray-von Neumann affiliation of operators and also respects strong-sum and strong-product. Thus \(\mathscr{M}_{\text{aff}}\) is intrinsically associated with \(\mathscr{M}\) and transforms functorially as we change representations of \(\mathscr{M}\). Furthermore, \(\Phi_{\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'.

Preprints

1. An Operator Theoretic Characterization of Properly Infinite von Neumann Algebras I. Ghosh and K. K. Mukherjee

   pre-print, Feb 2026

   Abstract
2. A Complete Characterization of Regular Inclusions of Finite Dimensional \(C^*\)-algebras K. C. Bakshi, I. Ghosh and S. Kumar

   pre-print, Aug 2026

   arXiv ResearchGate

   Abstract

   We give a complete characterization of regular (in the sense of Kumjian and Renault) unital inclusions of finite-dimensional \(C^*\)-algebras. For subalgebras \(\bigoplus_j( \mathbb{M}_{d_j}(\mathbb{C}) \otimes \mathbb{I}_{p_j})\) of \(\mathbb{M}_n(\mathbb{C})\), we show that regularity depends only on equality of the multiplicities \(p_j\), while unitary regularity—characterized recently by the first author and Silambarasan—additionally requires equality of the \(d_j\); we recover the latter via a streamlined alternative proof. Extending this to inclusions of arbitrary finite-dimensional \(C^*\)-algebras, encoded by an inclusion matrix \(\Lambda\), we show that regularity is equivalent to an explicit row/column condition on \(\Lambda\)—coinciding with the normalizer matrix introduced by the first author and Silambarasan—so that the device used there to detect unitary regularity is shown to characterize regularity in general; unitary regularity is recovered by a further dimension-equality condition.
3. A Complete Characterization of Cartan Inclusions of Finite Dimensional \(C^*\)-algebras I. Ghosh and S. Kumar

   pre-print, Aug 2026

   arXiv ResearchGate

   Abstract

   We give a complete characterization of Cartan inclusions of finite dimensional \(C^*\)-algebras in terms of their inclusion matrices. More precisely, for a unital inclusion \(\mathcal{B}\subseteq\mathcal{A}\) with inclusion matrix \(\Lambda=(\Lambda_{ij})\), where Cartan means that \(\mathcal{B}\) is a generalized Cartan subalgebra of \(\mathcal{A}\) in the sense of Exel, we prove that the inclusion is Cartan if and only if \[ \sum_i \Lambda_{ij}\leq 1 \] for every \(j\). We call matrices satisfying this condition multiplicity free. Thus, our characterization provides a purely combinatorial criterion for determining when a finite dimensional inclusion is Cartan. We further prove that every Cartan inclusion admits a unique conditional expectation from \(\mathcal{A}\) onto \(\mathcal{B}\). Conversely, we show that, for unital inclusions of finite dimensional \(C^*\)-algebras, the uniqueness of the conditional expectation is sufficient for the inclusion to be Cartan. Consequently, a unital inclusion \(\mathcal{B}\subseteq\mathcal{A}\) of finite dimensional \(C^*\)-algebras is Cartan if and only if there exists a unique conditional expectation from \(\mathcal{A}\) onto \(\mathcal{B}\).
4. Regularity for Subfactors K. C. Bakshi and I. Ghosh

   pre-print, Sep 2026

   arXiv

   Abstract

   We study three naturally associated notions of regularity for a unital inclusion of von Neumann algebras \(\mathcal{B} \subseteq \mathcal{M}\): regularity, groupoid regularity, and unitary regularity. We first observe that regularity and groupoid regularity are unconditionally equivalent by showing that the standard normaliser and the groupoid normaliser of \(\mathcal{B}\) in \(\mathcal M\) generate the same linear span. The central question addressed in this work is whether regularity implies unitary regularity. For arbitrary von Neumann subalgebras, we demonstrate that this implication fails dramatically; we construct explicit examples to show that every factor (of type \(\mathrm{I}_\infty\), \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), and \(\mathrm{III}\)) contains a regular von Neumann subalgebra that is not unitarily regular. In stark contrast, we prove that the behaviour changes completely in the setting of subfactors. For subfactor inclusions across all these types, regularity always implies unitary regularity, and thus all three notions of regularity coincide. Finally, we establish an analogous result for irreducible unital inclusions of simple \(C^*\)-algebras admitting a conditional expectation of finite Watatani index. In this setting, we prove that regularity, unitary regularity, being a generalised Cartan subalgebra, and arising from a crossed product by a finite group are all mutually equivalent conditions.
5. Kadison-Kastler Distance and Interior Angle for Masas: Connections with Entropy and Probabilistic Index I. Ghosh and S. Kumar

   pre-print, Aug 2026

   Abstract

   None

Ongoing Work

• Work in Progress
  A Royal Road to the Basic Theory of Unbounded Operators on Hilbert Space I. Ghosh, G. Maiti and S. Nayak
• Work in Progress
  On the Value of Connes-Størmer Entropy K. C. Bakshi, I. Ghosh and S. Nayak
• Work in Progress
  On Interior Angle Between Intermediate Subalgebras K. C. Bakshi, I. Ghosh and V. P. Gupta