arXiv subjects

Fuyuta Komura

Publications and source records attributed to Fuyuta Komura.

10 recordsLinked to original sources

arXiv2026

Cartan-preserving *-automorphism groups: realization and obstructions for compact abelian groups

In this paper, we investigate automorphism groups preserving Cartan subalgebras of C*-algebras. First, we describe these groups in terms of automorphisms and 1-cocycles of twisted étale groupoids. As a consequence, we obtain a C*-algebraic analogue of a theorem of Feldman and Moore on Cartan-preserving automorphisms of von Neumann algebras. We then study Cartan-fixing automorphism groups. We show that every UCT Kirchberg algebra admits a Cartan subalgebra whose Cartan-fixing automorphism group contains every second countable compact abelian group. In contrast, for C*-algebras arising from expansive effective groupoids, we prove that compact Cartan-fixing automorphism groups must have finitely generated Pontryagin duals. As an application, we establish the existence of inequivalent Cartan subalgebras for Kirchberg algebras arising from expansive effective groupoids.

math.OA↗

arXiv2025

Weyl groups of groupoid C*-algebras

In the theory of C*-algebras, the Weyl groups were defined for the Cuntz algebras and graph algebras by Cuntz and Conti et al. respectively. In this paper, we introduce and investigate the Weyl groups of groupoid C*-algebras as a natural generalization of the existing Weyl groups. Then we analyse several groups of automorphisms on groupoid C*-algebras. Finally, we apply our results to Cuntz algebras, graph algebras and C*-algebras associated with Deaconu-Renault systems.

math.OA↗

arXiv2024

Submodules of normalisers in groupoid C*-algebras and discrete group coactions

In this paper, we investigate certain submodules in C*-algebras associated to effective étale groupoids. First, we show that a submodule generated by normalizers is a closure of the set of compactly supported continuous functions on some open set. As a corollary, we show that discrete group coactions on groupoid C*-algebras are induced by cocycles of étale groupoids if the fixed point algebras contain C*-subalgebras of continuous functions vanishing at infinity on the unit spaces. In the latter part, we prove the Galois correspondence result for discrete group coactions on groupoid C*-algebras.

math.OA↗

arXiv2023

-homomorphisms between groupoid C-algebras

In this paper, we investigate *-homomorphisms between C*-algebras associated to étale groupoids. First, we prove that such a *-homomorphism can be described by closed invariant subsets, groupoid homomorphisms and cocycles under some assumptions. Then we prove C*-rigidity results for étale groupoids which are not necessarily effective. As another application, we investigate certain subgroups of the automorphism groups of groupoid C*-algebras. More precisely, we show that the groups of automorphisms that globally preserve the function algebras on the unit spaces are isomorphic to certain semidirect product groups. As a corollary, we show that, if group actions on groupoid C*-algebras fix the function algebras on the unit spaces, then the actions factors through the abelianizations of the acting groups.

math.OA↗

arXiv2021

Reproducing kernel Hilbert C*-module and kernel mean embeddings

Kernel methods have been among the most popular techniques in machine learning, where learning tasks are solved using the property of reproducing kernel Hilbert space (RKHS). In this paper, we propose a novel data analysis framework with reproducing kernel Hilbert $C^*$-module (RKHM) and kernel mean embedding (KME) in RKHM. Since RKHM contains richer information than RKHS or vector-valued RKHS (vvRKHS), analysis with RKHM enables us to capture and extract structural properties in such as functional data. We show a branch of theories for RKHM to apply to data analysis, including the representer theorem, and the injectivity and universality of the proposed KME. We also show RKHM generalizes RKHS and vvRKHS. Then, we provide concrete procedures for employing RKHM and the proposed KME to data analysis.

stat.ML↗

arXiv2020

Kernel Mean Embeddings of Von Neumann-Algebra-Valued Measures

Kernel mean embedding (KME) is a powerful tool to analyze probability measures for data, where the measures are conventionally embedded into a reproducing kernel Hilbert space (RKHS). In this paper, we generalize KME to that of von Neumann-algebra-valued measures into reproducing kernel Hilbert modules (RKHMs), which provides an inner product and distance between von Neumann-algebra-valued measures. Von Neumann-algebra-valued measures can, for example, encode relations between arbitrary pairs of variables in a multivariate distribution or positive operator-valued measures for quantum mechanics. Thus, this allows us to perform probabilistic analyses explicitly reflected with higher-order interactions among variables, and provides a way of applying machine learning frameworks to problems in quantum mechanics. We also show that the injectivity of the existing KME and the universality of RKHS are generalized to RKHM, which confirms many useful features of the existing KME remain in our generalized KME. And, we investigate the empirical performance of our methods using synthetic and real-world data.

stat.ML↗

arXiv2020

A correspondence between inverse subsemigroups, open wide subgroupoids and Cartan intermediate C*-subalgebras

For a given inverse semigroup action on a topological space, one can associate an étale groupoid. We prove that there exists a correspondence between the certain subsemigroups and the open wide subgroupoids in case that the action is strongly tight. Combining with the recent result of Brown et. al, we obtain a correspondence between the certain subsemigroups of an inverse semigroup and the Cartan intermediate subalgebras of a groupoid C*-algebra.

math.OA↗

arXiv2020

Analysis via Orthonormal Systems in Reproducing Kernel Hilbert $C^*$-Modules and Applications

Kernel methods have been among the most popular techniques in machine learning, where learning tasks are solved using the property of reproducing kernel Hilbert space (RKHS). In this paper, we propose a novel data analysis framework with reproducing kernel Hilbert $C^*$-module (RKHM), which is another generalization of RKHS than vector-valued RKHS (vv-RKHS). Analysis with RKHMs enables us to deal with structures among variables more explicitly than vv-RKHS. We show the theoretical validity for the construction of orthonormal systems in Hilbert $C^*$-modules, and derive concrete procedures for orthonormalization in RKHMs with those theoretical properties in numerical computations. Moreover, we apply those to generalize with RKHM kernel principal component analysis and the analysis of dynamical systems with Perron-Frobenius operators. The empirical performance of our methods is also investigated by using synthetic and real-world data.

stat.ML↗

arXiv2020

Invariant sets and normal subgroupoids of universal étale groupoids induced by congruences of inverse semigroups

For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept to consider quotients of inverse semigroup. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.

math.GR↗

arXiv2018

Quotients of étale groupoids and the abelianizations of groupoid C*-algebras

In this paper, we introduce quotients of étale groupoids. Using the notion of quotients, we describe the abelianizations of groupoid C*-algebras. As another application, we obtain a simple proof that effectiveness of an étale groupoid is implied by the full uniqueness property of its groupoid C*-algebra.

math.OA↗