Showing 1–23 of 23 results for author: Gomi, K

A direct proof for the positive definiteness of four point metric spaces

Authors: Kiyonori Gomi

Abstract: We provide a direct and elementary proof for the fact that every four point metric space is positive definite, which was first proved by Meckes based on some embedding theorems of metric spaces. As an outcome of the direct proof, we also provide a condition for the magnitude of a finite metric space to obey the inclusion-exclusion principle with respect to a specific choice of subspaces. We provide a direct and elementary proof for the fact that every four point metric space is positive definite, which was first proved by Meckes based on some embedding theorems of metric spaces. As an outcome of the direct proof, we also provide a condition for the magnitude of a finite metric space to obey the inclusion-exclusion principle with respect to a specific choice of subspaces. △ Less

Submitted 3 December, 2023; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: LaTex 2e, 17 pages; a section about the inclusion-exclusion principle added

MSC Class: 51F99

Differential $KO$-theory via gradations and mass terms

Authors: Kiyonori Gomi, Mayuko Yamashita

Abstract: We construct models of the differential $KO$-theory and the twisted differential $KO$-theory, by refining Karoubi's $KO$-theory [Kar78] in terms of gradations on Clifford modules. In order for this, we set up the generalized Clifford superconnection formalism which generalizes the Quillen's superconnection formalism [Qui85]. One of our models can be regarded as classifying "fermionic mass terms" i… ▽ More We construct models of the differential $KO$-theory and the twisted differential $KO$-theory, by refining Karoubi's $KO$-theory [Kar78] in terms of gradations on Clifford modules. In order for this, we set up the generalized Clifford superconnection formalism which generalizes the Quillen's superconnection formalism [Qui85]. One of our models can be regarded as classifying "fermionic mass terms" in physics. △ Less

Submitted 14 January, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: 74 pages, minor changes in v2

'Real' gerbes and Dirac cones of topological insulators

Authors: Kiyonori Gomi, Guo Chuan Thiang

Abstract: A time-reversal invariant topological insulator occupying a Euclidean half-space determines a 'Quaternionic' self-adjoint Fredholm family. We show that the discrete spectrum data for such a family is geometrically encoded in a non-trivial 'Real' gerbe. The gerbe invariant, rather than a naïve counting of Dirac points, precisely captures how edge states completely fill up the bulk spectral gap in a… ▽ More A time-reversal invariant topological insulator occupying a Euclidean half-space determines a 'Quaternionic' self-adjoint Fredholm family. We show that the discrete spectrum data for such a family is geometrically encoded in a non-trivial 'Real' gerbe. The gerbe invariant, rather than a naïve counting of Dirac points, precisely captures how edge states completely fill up the bulk spectral gap in a topologically protected manner. △ Less

Submitted 10 October, 2021; v1 submitted 9 March, 2021; originally announced March 2021.

Comments: 57 pages, 3 figures, revised version for publication in CMP

Journal ref: Comm.Math.Phys. 388 (2021) 1507-1555

Twisted crystallograpic T-duality via the Baum--Connes isomorphism

Authors: Kiyonori Gomi, Yosuke Kubota, Guo Chuan Thiang

Abstract: We establish the twisted crystallographic T-duality, which is an isomorphism between Freed-Moore twisted equivariant K-groups of the position and momentum tori associated to an extension of a crystallographic group. The proof is given by identifying the map with the Dirac homomorphism in twisted Chabert--Echterhoff KK-theory. We also illustrate how to exploit it in K-theory computations. We establish the twisted crystallographic T-duality, which is an isomorphism between Freed-Moore twisted equivariant K-groups of the position and momentum tori associated to an extension of a crystallographic group. The proof is given by identifying the map with the Dirac homomorphism in twisted Chabert--Echterhoff KK-theory. We also illustrate how to exploit it in K-theory computations. △ Less

Submitted 21 June, 2021; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: 65 pages. Minor revisions. Final version to appear in Int. J. Math

Report number: RIKEN-iTHEMS-Report-20 MSC Class: 19L50; 46L60; 19K35

Journal ref: Int.J.Math. 32 (2021) 2150078

Magnitude homology of geodesic space

Authors: Kiyonori Gomi

Abstract: This paper studies the magnitude homology groups of geodesic metric spaces. We start with a description of the second magnitude homology of a general metric space in terms of the zeroth homology groups of certain simplicial complexes. Then, on a geodesic metric space, we interpret the description by means of geodesics. The third magnitude homology of a geodesic metric space also admits a descripti… ▽ More This paper studies the magnitude homology groups of geodesic metric spaces. We start with a description of the second magnitude homology of a general metric space in terms of the zeroth homology groups of certain simplicial complexes. Then, on a geodesic metric space, we interpret the description by means of geodesics. The third magnitude homology of a geodesic metric space also admits a description in terms of a simplicial complex. Under an assumption on a metric space, the simplicial description allows us to introduce an invariant of third magnitude homology classes as an intersection number. Finally, we provide a complete description of all the magnitude homology groups of a geodesic metric space which fulfils a certain non-branching assumption. △ Less

Submitted 29 April, 2025; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: 39 pages, LateX 2e. Some lemmas are added in order to elaborate the argument

MSC Class: 55N35; 51F99; 18G40

Smoothness filtration of the magnitude complex

Authors: Kiyonori Gomi

Abstract: We introduce an intrinsic filtration to the magnitude chain complex of a metric space, and study basic properties of the associated spectral sequence of the magnitude homology. As an application, the third magnitude homology of the circle is computed. We introduce an intrinsic filtration to the magnitude chain complex of a metric space, and study basic properties of the associated spectral sequence of the magnitude homology. As an application, the third magnitude homology of the circle is computed. △ Less

Submitted 28 February, 2019; v1 submitted 18 September, 2018; originally announced September 2018.

Comments: 18 pages, LaTeX 2e; The calculation in Section 4 is simplified

Crystallographic T-duality

Authors: Kiyonori Gomi, Guo Chuan Thiang

Abstract: We introduce the notion of crystallographic T-duality, inspired by the appearance of $K$-theory with graded equivariant twists in the study of topological crystalline materials. Besides giving a range of new topological T-dualities, it also unifies many previously known dualities, motivates generalisations of the Baum-Connes conjecture to graded groups, provides a powerful tool for computing topol… ▽ More We introduce the notion of crystallographic T-duality, inspired by the appearance of $K$-theory with graded equivariant twists in the study of topological crystalline materials. Besides giving a range of new topological T-dualities, it also unifies many previously known dualities, motivates generalisations of the Baum-Connes conjecture to graded groups, provides a powerful tool for computing topological phase classification groups, and facilitates the understanding of crystallographic bulk-boundary correspondences in physics. △ Less

Submitted 31 January, 2019; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: 49 pages, 4 figures, 3 tables. Revised version with expanded appendix, for publication in J. Geom. Phys

MSC Class: 19L50; 46L60

Journal ref: J.Geom.Phys,139:50-77,2019

Crystallographic bulk-edge correspondence: glide reflections and twisted mod 2 indices

Authors: Kiyonori Gomi, Guo Chuan Thiang

Abstract: A 2-torsion topological phase exists for Hamiltonians symmetric under the wallpaper group with glide reflection symmetry, corresponding to the unorientable cycle of the Klein bottle fundamental domain. We prove a mod 2 twisted Toeplitz index theorem, which implies a bulk-edge correspondence between this bulk phase and the exotic topological zero modes that it acquires along a boundary glide axis. A 2-torsion topological phase exists for Hamiltonians symmetric under the wallpaper group with glide reflection symmetry, corresponding to the unorientable cycle of the Klein bottle fundamental domain. We prove a mod 2 twisted Toeplitz index theorem, which implies a bulk-edge correspondence between this bulk phase and the exotic topological zero modes that it acquires along a boundary glide axis. △ Less

Submitted 11 October, 2018; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 50 pages, 9 figures. References added, figures improved, Appendix B on integer crystallographic bulk-edge correspondence added, typos corrected for publication in LMP

MSC Class: 19L50 (Primary) 19K56; 47L80 (Secondary)

Journal ref: Lett.Math.Phys.,109:857-904,2019

Freed-Moore K-theory

Authors: Kiyonori Gomi

Abstract: The twisted equivariant K-theory given by Freed and Moore is a K-theory which unifies twisted equivariant complex K-theory, Atiyah's `Real' K-theory, and their variants. In a general setting, we formulate this K-theory by using Fredholm operators, and establish basic properties such as the Bott periodicity and the Thom isomorphism. We also provide formulations of the K-theory based on Karoubi's gr… ▽ More The twisted equivariant K-theory given by Freed and Moore is a K-theory which unifies twisted equivariant complex K-theory, Atiyah's `Real' K-theory, and their variants. In a general setting, we formulate this K-theory by using Fredholm operators, and establish basic properties such as the Bott periodicity and the Thom isomorphism. We also provide formulations of the K-theory based on Karoubi's gradations in both infinite and finite dimensions, clarifying their relationship with the Fredholm formulation. △ Less

Submitted 20 February, 2021; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: 61 pages, LaTeX 2e; Some proof are revised

MSC Class: 19L50

The FKMM-invariant in low dimension

Authors: Giuseppe De Nittis, Kiyonori Gomi

Abstract: In this paper we investigate the problem of the cohomological classification of "Quaternionic" vector bundles in low-dimension ($d\leqslant 3$). We show that there exists a characteristic classes $κ$, called the FKMM-invariant, which takes value in the relative equivariant Borel cohomology and completely classifies "Quaternionic" vector bundles in low-dimension. The main subject of the paper conce… ▽ More In this paper we investigate the problem of the cohomological classification of "Quaternionic" vector bundles in low-dimension ($d\leqslant 3$). We show that there exists a characteristic classes $κ$, called the FKMM-invariant, which takes value in the relative equivariant Borel cohomology and completely classifies "Quaternionic" vector bundles in low-dimension. The main subject of the paper concerns a discussion about the surjectivity of $κ$. △ Less

Submitted 15 February, 2017; originally announced February 2017.

Comments: 38 pages. Keywords: "Quaternionic" vector bundles, FKMM-invariant, Characteristic classes, Topological quantum systems. arXiv admin note: text overlap with arXiv:1603.09421

MSC Class: 57R22 (Primary); 53A55; 55N25; 53C80 (Secondary)

Twists on the Torus Equivariant under the 2-Dimensional Crystallographic Point Groups

Authors: Kiyonori Gomi

Abstract: A twist is a datum playing a role of a local system for topological $K$-theory. In equivariant setting, twists are classified into four types according to how they are realized geometrically. This paper lists the possible types of twists for the torus with the actions of the point groups of all the 2-dimensional space groups (crystallographic groups), or equivalently, the torus with the actions of… ▽ More A twist is a datum playing a role of a local system for topological $K$-theory. In equivariant setting, twists are classified into four types according to how they are realized geometrically. This paper lists the possible types of twists for the torus with the actions of the point groups of all the 2-dimensional space groups (crystallographic groups), or equivalently, the torus with the actions of all the possible finite subgroups in its mapping class group. This is carried out by computing Borel's equivariant cohomology and the Leray-Serre spectral sequence. As a byproduct, the equivariant cohomology up to degree three is determined in all cases. The equivariant cohomology with certain local coefficients is also considered in relation to the twists of the Freed-Moore $K$-theory. △ Less

Submitted 8 March, 2017; v1 submitted 30 September, 2015; originally announced September 2015.

Journal ref: SIGMA 13 (2017), 014, 38 pages

A variant of K-theory and topological T-duality for Real circle bundles

Authors: Kiyonori Gomi

Abstract: For a space with involutive action, there is a variant of K-theory. Motivated by T-duality in type II orbifold string theory, we establish that a twisted version of the variant enjoys a topological T-duality for Real circle bundles, i.e. circle bundles with real structure. For a space with involutive action, there is a variant of K-theory. Motivated by T-duality in type II orbifold string theory, we establish that a twisted version of the variant enjoys a topological T-duality for Real circle bundles, i.e. circle bundles with real structure. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: 49 pages, LaTeX 2e

Mickelsson's twisted K-theory invariant and its generalizations

Authors: Kiyonori Gomi

Abstract: Mickelsson's invariant is an invariant of certain odd twisted K-classes of compact oriented three dimensional manifolds. We reformulate the invariant as a natural homomorphism taking values in a quotient of the third cohomology, and provide a generalization taking values in a quotient of the fifth cohomology. These homomorphisms are related to the Atiyah-Hirzebruch spectral sequence. We also const… ▽ More Mickelsson's invariant is an invariant of certain odd twisted K-classes of compact oriented three dimensional manifolds. We reformulate the invariant as a natural homomorphism taking values in a quotient of the third cohomology, and provide a generalization taking values in a quotient of the fifth cohomology. These homomorphisms are related to the Atiyah-Hirzebruch spectral sequence. We also construct some characteristic classes for odd twisted K-theory in a similar vein. △ Less

Submitted 21 March, 2013; originally announced March 2013.

Comments: 45 pages, LaTeX 2e

A basis of the Atiyah-Segal invariant polynomials

Authors: Kiyonori Gomi

Abstract: For twisted K-theory whose twist is classified by a degree three integral cohomology of infinite order, universal even degree characteristic classes are in one to one correspondence with invariant polynomials of Atiyah and Segal. The present paper describes the ring of these invariant polynomials by a basis and structure constants. For twisted K-theory whose twist is classified by a degree three integral cohomology of infinite order, universal even degree characteristic classes are in one to one correspondence with invariant polynomials of Atiyah and Segal. The present paper describes the ring of these invariant polynomials by a basis and structure constants. △ Less

Submitted 3 June, 2010; originally announced June 2010.

Comments: 12 pages, LaTeX2e

Twisted K-theory and finite-dimensional approximation

Authors: Kiyonori Gomi

Abstract: We provide a finite-dimensional model of the twisted K-group twisted by any degree three integral cohomology class of a CW complex. One key to the model is Furuta's generalized vector bundle, and the other is a finite-dimensional approximation of Fredholm operators. We provide a finite-dimensional model of the twisted K-group twisted by any degree three integral cohomology class of a CW complex. One key to the model is Furuta's generalized vector bundle, and the other is a finite-dimensional approximation of Fredholm operators. △ Less

Submitted 20 July, 2008; v1 submitted 15 March, 2008; originally announced March 2008.

Comments: 26 pages, LaTeX 2e, Xypic; main theorem improved

MSC Class: 19L (Primary); 55N15; 55R65 (Secondary)

An analogue of the space of conformal blocks in (4k+2)-dimensions

Authors: Kiyonori Gomi

Abstract: Based on projective representations of smooth Deligne cohomology groups, we introduce an analogue of the space of conformal blocks to compact oriented (4k+2)-dimensional Riemannian manifolds with boundary. For the standard (4k+2)-dimensional disk, we compute the space concretely to prove that its dimension is finite. Based on projective representations of smooth Deligne cohomology groups, we introduce an analogue of the space of conformal blocks to compact oriented (4k+2)-dimensional Riemannian manifolds with boundary. For the standard (4k+2)-dimensional disk, we compute the space concretely to prove that its dimension is finite. △ Less

Submitted 25 May, 2007; originally announced May 2007.

Comments: 9 pages, LaTeX 2e

An approach toward a finite-dimensional definition of twisted K-theory

Authors: Kiyonori Gomi

Abstract: This is an expository account of the following result: we can construct a group by means of twisted Z_2-graded vectorial bundles which is isomorphic to K-theory twisted by any degree three integral cohomology class. This is an expository account of the following result: we can construct a group by means of twisted Z_2-graded vectorial bundles which is isomorphic to K-theory twisted by any degree three integral cohomology class. △ Less

Submitted 8 March, 2008; v1 submitted 31 December, 2006; originally announced January 2007.

Comments: 10 pages, LaTeX 2e; main statement improved, sketch of proof added

Projective unitary representations of smooth Deligne cohomology groups

Authors: Kiyonori Gomi

Abstract: We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence classes of irreducible representations is finite, and is determined by the co… ▽ More We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence classes of irreducible representations is finite, and is determined by the cohomology of the manifold. △ Less

Submitted 7 March, 2006; v1 submitted 10 October, 2005; originally announced October 2005.

Comments: 34 pages, LaTeX 2e; Lemma 6.4 is replaced, Subsection 7.2 is deleted

Differential characters and the Steenrod squares

Authors: Kiyonori Gomi

Abstract: The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that the homomorphism factors through the Steenrod squaring operation of degree 2k. A simple application shows that five-dimensional Chern-Simons theory for pairs o… ▽ More The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that the homomorphism factors through the Steenrod squaring operation of degree 2k. A simple application shows that five-dimensional Chern-Simons theory for pairs of B-fields is SL(2, Z)-invariant on spin manifolds. △ Less

Submitted 16 October, 2006; v1 submitted 2 November, 2004; originally announced November 2004.

Comments: 10 pages, LaTeX 2e, Introduction revised

Reduction of strongly equivariant bundle gerbes with connection and curving

Authors: Kiyonori Gomi

Abstract: From a certain strongly equivariant bundle gerbe with connection and curving over a smooth manifold on which a Lie group acts, we construct under some conditions a bundle gerbe with connection and curving over the quotient space. In general, the construction requires a choice, and we can consequently obtain distinct stable isomorphism classes of bundle gerbes with connection and curving over the… ▽ More From a certain strongly equivariant bundle gerbe with connection and curving over a smooth manifold on which a Lie group acts, we construct under some conditions a bundle gerbe with connection and curving over the quotient space. In general, the construction requires a choice, and we can consequently obtain distinct stable isomorphism classes of bundle gerbes with connection and curving over the quotient space. A bundle gerbe naturally arising in Chern-Simons theory provides an example of the reduction. △ Less

Submitted 16 December, 2004; v1 submitted 8 June, 2004; originally announced June 2004.

Comments: 47 pages, LaTex 2e, Xypic, errors corrected

Relationship between equivariant gerbes and gerbes over the quotient space

Authors: Kiyonori Gomi

Abstract: By means of cohomology groups, we study relationships between equivariant gerbes with connection over a manifold with a Lie group action and gerbes with connection over the quotient space. By means of cohomology groups, we study relationships between equivariant gerbes with connection over a manifold with a Lie group action and gerbes with connection over the quotient space. △ Less

Submitted 5 August, 2003; originally announced August 2003.

Comments: 21 pages, LaTeX 2e, XyPic

Equivariant smooth Deligne cohomology

Authors: Kiyonori Gomi

Abstract: On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant gerbes with connection. On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant gerbes with connection. △ Less

Submitted 29 July, 2003; originally announced July 2003.

Comments: 27 pages. Uses XyPic

Connections and curvings on lifting bundle gerbes

Authors: Kiyonori Gomi

Abstract: We construct a connection and a curving on a bundle gerbe associated with lifting a structure group of a principal bundle to a central extension. The construction is based on certain structures on the bundle, i.e. connections and splittings. The Deligne cohomology class of the lifting bundle gerbe with the connection and with the curving coincides with the obstruction class of the lifting proble… ▽ More We construct a connection and a curving on a bundle gerbe associated with lifting a structure group of a principal bundle to a central extension. The construction is based on certain structures on the bundle, i.e. connections and splittings. The Deligne cohomology class of the lifting bundle gerbe with the connection and with the curving coincides with the obstruction class of the lifting problem with these structures. △ Less

Submitted 9 November, 2001; v1 submitted 24 July, 2001; originally announced July 2001.

Comments: 18 pages, LaTeX; The definition of splitting is modified. Section 3 and 4 of the old version are united

MSC Class: 55R65 (Primary) 57R20; 14F43 (Secondary)

Journal ref: J. London Math. Soc. (2) 67 (2003), no. 2, 510--526.