Showing 1–18 of 18 results for author: Kajiura, H

Homological mirror symmetry of $\mathbb{F}_1$ via Morse homotopy

Authors: Masahiro Futaki, Hiroshige Kajiura

Abstract: This is a sequel to our paper arXiv:2008.13462, where we proposed a definition of the Morse homotopy of the moment polytope of toric manifolds. Using this as the substitute of the Fukaya category of the toric manifolds, we proved a version of homological mirror symmetry for the projective spaces and their products via Strominger-Yau-Zaslow construction of the mirror dual Landau-Ginzburg model. In… ▽ More This is a sequel to our paper arXiv:2008.13462, where we proposed a definition of the Morse homotopy of the moment polytope of toric manifolds. Using this as the substitute of the Fukaya category of the toric manifolds, we proved a version of homological mirror symmetry for the projective spaces and their products via Strominger-Yau-Zaslow construction of the mirror dual Landau-Ginzburg model. In this paper we go this way further and extend our previous result to the case of the Hirzebruch surface $\mathbb{F}_1$. △ Less

Submitted 12 December, 2020; originally announced December 2020.

Comments: 22 pages

Homological mirror symmetry of $\mathbb{C}P^n$ and their products via Morse homotopy

Authors: Masahiro Futaki, Hiroshige Kajiura

Abstract: We propose a way of understanding homological mirror symmetry when a complex manifold is a smooth compact toric manifold. So far, in many example, the derived category $D^b(coh(X))$ of coherent sheaves on a toric manifold $X$ is compared with the Fukaya-Seidel category of the Milnor fiber of the corresponding Landau-Ginzburg potential. We instead consider the dual torus fibration $π:M \to B$ of th… ▽ More We propose a way of understanding homological mirror symmetry when a complex manifold is a smooth compact toric manifold. So far, in many example, the derived category $D^b(coh(X))$ of coherent sheaves on a toric manifold $X$ is compared with the Fukaya-Seidel category of the Milnor fiber of the corresponding Landau-Ginzburg potential. We instead consider the dual torus fibration $π:M \to B$ of the complement of the toric divisors in $X$, where $\bar{B}$ is the dual polytope of the toric manifold $X$. A natural formulation of homological mirror symmetry in this set-up is to define $Fuk(\bar{M})$ a variant of the Fukaya category and show the equivalence $D^b(coh(X)) \simeq D^b(Fuk(\bar{M}))$. As an intermediate step, we construct the category $Mo(P)$ of weighted Morse homotopy on $P:=\bar{B}$ as a natural generalization of the weighted Fukaya-Oh category proposed by Kontsevich-Soibelman. We then show a full subcategory $Mo_{\mathcal{E}}(P)$ of $Mo(P)$ generates $D^b(coh(X))$ for the cases $X$ is a complex projective space and their products. △ Less

Submitted 19 April, 2022; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: Version published in JMP, minor mistakes in v1 corrected. 31 pages

Journal ref: J. Math. Phys. 62, 032307 (2021)

Approximation of integration over finite groups, difference sets and association schemes

Authors: Hiroki Kajiura, Makoto Matsumoto, Takayuki Okuda

Abstract: Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$ into irreducible components of ${\mathbb C}^G$ as a representation of $G\times G$, we define non-negative real numbers $V(f)$ and $D(Y)$, each depending only on… ▽ More Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$ into irreducible components of ${\mathbb C}^G$ as a representation of $G\times G$, we define non-negative real numbers $V(f)$ and $D(Y)$, each depending only on $f$, $Y$, respectively, such that an inequality of the form $|I_G(f)-I_Y(f)|\leq V(f)\cdot D(Y)$ holds. We give a lower bound of $D(Y)$ depending only on $\#Y$ and $\#G$. We show that the lower bound is achieved if and only if $\#\{(x,y)\in Y^2 \mid x^{-1}y \in [a]\}/\#[a]$ is independent of the choice of the conjugacy class $[a]\subset G$ for $a \neq 1$. We call such a $Y\subset G$ as a pre-difference set in $G$, since the condition is satisfied if $Y$ is a difference set. If $G$ is abelian, the condition is equivalent to that $Y$ is a difference set. We found a non-trivial pre-difference set in the dihedral group of order 16, where no non-trivial difference set exists. The pre-difference sets in non-abelian groups of order 16 are classified. A generalization to commutative association schemes is also given. △ Less

Submitted 22 July, 2020; v1 submitted 2 March, 2019; originally announced March 2019.

Comments: 20 pages

MSC Class: 05E30; 20D60; 65C05; 65D30; 65D32

Fukaya categories of two-tori revisited

Authors: Hiroshige Kajiura

Abstract: We construct an A-infinity structure of the Fukaya category explicitly for any flat symplectic two-torus. The structure constants of the non-transversal A-infinity products are obtained as derivatives of those of transversal A-infinity products. We construct an A-infinity structure of the Fukaya category explicitly for any flat symplectic two-torus. The structure constants of the non-transversal A-infinity products are obtained as derivatives of those of transversal A-infinity products. △ Less

Submitted 30 November, 2018; originally announced November 2018.

MSC Class: 53D37; 18G55; 18E30

Comments on the shifts and the signs in A-infinity categories

Authors: Hiroshige Kajiura

Abstract: We discuss that there exist at least two different choices in the signs of the induced A-infinity structures in shifting the degree of objects in an A-infinity category. We show that both of these choices are naturalin the sense that they are compatible with the homological perturbation theory of A-infinity categories. These different choices give different triangulated categories out of an A-infi… ▽ More We discuss that there exist at least two different choices in the signs of the induced A-infinity structures in shifting the degree of objects in an A-infinity category. We show that both of these choices are naturalin the sense that they are compatible with the homological perturbation theory of A-infinity categories. These different choices give different triangulated categories out of an A-infinity category. △ Less

Submitted 30 November, 2018; originally announced November 2018.

MSC Class: 18G55; 18E30

Characterization of matrices $B$ such that $(I,B,B^2)$ generates a digital net with $t$-value zero

Authors: Hiroki Kajiura, Makoto Matsumoto, Kosuke Suzuki

Abstract: We study $3$-dimensional digital nets over $\mathbb{F}_2$ generated by matrices $(I,B,B^2)$ where $I$ is the identity matrix and $B$ is a square matrix. We give a characterization of $B$ for which the $t$-value of the digital net is $0$. As a corollary, we prove that such $B$ satisfies $B^3=I$. We study $3$-dimensional digital nets over $\mathbb{F}_2$ generated by matrices $(I,B,B^2)$ where $I$ is the identity matrix and $B$ is a square matrix. We give a characterization of $B$ for which the $t$-value of the digital net is $0$. As a corollary, we prove that such $B$ satisfies $B^3=I$. △ Less

Submitted 7 January, 2018; originally announced January 2018.

MSC Class: 11K31; 11K38

Homotopy theory of $C_\infty$-algebras and characteristic classes of fiber bundles

Authors: Hiroshige Kajiura, Takahiro Matsuyuki, Yuji Terashima

Abstract: In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with family of metrics. In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with family of metrics. △ Less

Submitted 28 May, 2019; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: 16 pages. New examples have been added. The title has been changed. Typos have been fixed

MSC Class: 57R20; 55R40; 18G55

Triangulated categories of matrix factorizations for regular systems of weights with $ε=-1$

Authors: Hiroshige Kajiura, Kyoji Saito, Atsushi Takahashi

Abstract: We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the associated Grothendieck group, the strongly exceptional collection defines a root basis of a generalized root system of sign (l,0,2) and a Coxeter element of finit… ▽ More We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the associated Grothendieck group, the strongly exceptional collection defines a root basis of a generalized root system of sign (l,0,2) and a Coxeter element of finite order, whose primitive eigenvector is a regular element in the expanded symmetric domain of type IV with respect to the Weyl group. △ Less

Submitted 1 August, 2007; originally announced August 2007.

Comments: 57 pages, 5 figures

Report number: RIMS-1600

An $A_\infty$-structure for lines in a plane

Authors: Hiroshige Kajiura

Abstract: As an explicit example of an $A_\infty$-structure associated to geometry, we construct an $A_\infty$-structure for a Fukaya category of finitely many lines (Lagrangians) in $\R^2$, ie., we define also {\em non-transversal} $A_\infty$-products. This construction is motivated by homological mirror symmetry of (two-)tori, where $\R^2$ is the covering space of a two-torus. The strategy is based on a… ▽ More As an explicit example of an $A_\infty$-structure associated to geometry, we construct an $A_\infty$-structure for a Fukaya category of finitely many lines (Lagrangians) in $\R^2$, ie., we define also {\em non-transversal} $A_\infty$-products. This construction is motivated by homological mirror symmetry of (two-)tori, where $\R^2$ is the covering space of a two-torus. The strategy is based on an algebraic reformulation of Morse homotopy theory through homological perturbation theory (HPT) as discussed by Kontsevich and Soibelman in math.SG/0011041, where we introduce a special DG category which is a key idea of our construction. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Comments: 28 pages

Report number: RIMS-1585, IHES/M/07/10

Homotopy algebra of open-closed strings

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: This paper is a survey of our previous works on open-closed homotopy algebras, together with geometrical background, especially in terms of compactifications of configuration spaces (one of Fred's specialities) of Riemann surfaces, structures on loop spaces, etc. We newly present Merkulov's geometric A_infty-structure [Internat. Math. Res. Notices (1999) 153--164, arxiv:math/0001007] as a specia… ▽ More This paper is a survey of our previous works on open-closed homotopy algebras, together with geometrical background, especially in terms of compactifications of configuration spaces (one of Fred's specialities) of Riemann surfaces, structures on loop spaces, etc. We newly present Merkulov's geometric A_infty-structure [Internat. Math. Res. Notices (1999) 153--164, arxiv:math/0001007] as a special example of an OCHA. We also recall the relation of open-closed homotopy algebras to various aspects of deformation theory. △ Less

Submitted 5 April, 2009; v1 submitted 30 June, 2006; originally announced June 2006.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 18G55; 81T18

Journal ref: Geom. Topol. Monogr. 13 (2008) 229-259

Matrix Factorizations and Representations of Quivers II: type ADE case

Authors: Hiroshige Kajiura, Kyoji Saito, Atsushi Takahashi

Abstract: We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading. We study a triangulated category of graded matrix factorizations for a polynomial of type ADE. We show that it is equivalent to the derived category of finitely generated modules over the path algebra of the corresponding Dynkin quiver. Also, we discuss a special stability condition for the triangulated category in the sense of T. Bridgeland, which is naturally defined by the grading. △ Less

Submitted 3 April, 2006; v1 submitted 7 November, 2005; originally announced November 2005.

Comments: v2: typos corrected, added an appendix by K.Ueda

Report number: YITP-05-65, RIMS-1521

Star product formula of theta functions

Authors: Hiroshige Kajiura

Abstract: As a noncommutative generalization of the addition formula of theta functions, we construct a class of theta functions which are closed with respect to the Moyal star product of a fixed noncommutative parameter. These theta functions can be regarded as bases of the space of holomorphic homomorphisms between holomorphic line bundles over noncommutative complex tori. As a noncommutative generalization of the addition formula of theta functions, we construct a class of theta functions which are closed with respect to the Moyal star product of a fixed noncommutative parameter. These theta functions can be regarded as bases of the space of holomorphic homomorphisms between holomorphic line bundles over noncommutative complex tori. △ Less

Submitted 14 October, 2005; originally announced October 2005.

Comments: 12 pages

Journal ref: Lett.Math.Phys. 75 (2006) 279-292

Categories of holomorphic line bundles on higher dimensional noncommutative complex tori

Authors: Hiroshige Kajiura

Abstract: We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them introduced by A. Schwarz. We obtain differential graded (DG) categories as full subcategories of curved DG categories of Heisenberg modules over the complex noncommuta… ▽ More We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them introduced by A. Schwarz. We obtain differential graded (DG) categories as full subcategories of curved DG categories of Heisenberg modules over the complex noncommutative tori. Also, we present the explicit composition formula of morphisms, which in fact depends on the noncommutativity. △ Less

Submitted 14 October, 2005; originally announced October 2005.

Comments: 28 pages

Journal ref: J.Math.Phys.48:053517,2007

Open-closed homotopy algebra in mathematical physics

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA… ▽ More In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA with Kontsevich's deformation quantization and with the B-models of homological mirror symmetry. An explicit form of the minimal model for an OCHA is given as well as its relation to the perturbative expansion of open-closed string field theory. We show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures ($A_\infty$-algebras) by closed strings ($L_\infty$-algebras). △ Less

Submitted 30 June, 2006; v1 submitted 14 October, 2005; originally announced October 2005.

Comments: 38 pages, 4 figures; v2: published version

Report number: YITP-05-62

Journal ref: J.Math.Phys.47:023506,2006

Homotopy algebras inspired by classical open-closed string field theory

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: We define a homotopy algebra associated to classical open-closed strings. We call it an open-closed homotopy algebra (OCHA). It is inspired by Zwiebach's open-closed string field theory and also is related to the situation of Kontsevich's deformation quantization. We show that it is actually a homotopy invariant notion; for instance, the minimal model theorem holds. Also, we show that our open-c… ▽ More We define a homotopy algebra associated to classical open-closed strings. We call it an open-closed homotopy algebra (OCHA). It is inspired by Zwiebach's open-closed string field theory and also is related to the situation of Kontsevich's deformation quantization. We show that it is actually a homotopy invariant notion; for instance, the minimal model theorem holds. Also, we show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures (A(infinity)-algebras) by closed strings (L(infinity)-algebras). △ Less

Submitted 30 June, 2006; v1 submitted 12 October, 2004; originally announced October 2004.

Comments: 30 pages, 14 figures; v2: added an appendix by M.Markl, ambiguous terminology fixed, minor corrections; v3: published version

Report number: YITP-05-62 MSC Class: 18G55; 81T18; 81T30

Journal ref: Commun.Math.Phys. 263 (2006) 553-581

Homological mirror symmetry on noncommutative two-tori

Authors: Hiroshige Kajiura

Abstract: Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector bundles on noncommutative two-tori as a category in the B-model side. We define the corresponding Fukaya's category in the A-model side, and prove the equivalenc… ▽ More Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector bundles on noncommutative two-tori as a category in the B-model side. We define the corresponding Fukaya's category in the A-model side, and prove the equivalence of the two categories at the level of cyclic categories. We further write down explicitly Feynman rules for higher Massey products derived from the cyclic DG category. As a background of these arguments, a physical explanation of the mirror symmetry for noncommutative two-tori is also given. △ Less

Submitted 24 June, 2004; originally announced June 2004.

Comments: 39 pages

Noncommutative homotopy algebras associated with open strings

Authors: Hiroshige Kajiura

Abstract: We discuss general properties of $A_\infty$-algebras and their applications to the theory of open strings. The properties of cyclicity for $A_\infty$-algebras are examined in detail. We prove the decomposition theorem, which is a stronger version of the minimal model theorem, for $A_\infty$-algebras and cyclic $A_\infty$-algebras and discuss various consequences of it. In particular it is applie… ▽ More We discuss general properties of $A_\infty$-algebras and their applications to the theory of open strings. The properties of cyclicity for $A_\infty$-algebras are examined in detail. We prove the decomposition theorem, which is a stronger version of the minimal model theorem, for $A_\infty$-algebras and cyclic $A_\infty$-algebras and discuss various consequences of it. In particular it is applied to classical open string field theories and it is shown that all classical open string field theories on a fixed conformal background are cyclic $A_\infty$-isomorphic to each other. The same results hold for classical closed string field theories, whose algebraic structure is governed by cyclic $L_\infty$-algebras. △ Less

Submitted 6 February, 2007; v1 submitted 23 June, 2003; originally announced June 2003.

Comments: 92 pages, 16 figuers; based on Ph.D thesis submitted to Graduate School of Mathematical Sciences, Univ. of Tokyo on January, 2003; v2: explanation improved, references added, published version

MSC Class: 18G55;81T18;81T30

Journal ref: Rev.Math.Phys.19:1-99,2007

Kronecker foliation, D1-branes and Morita equivalence of Noncommutative two-tori

Authors: Hiroshige Kajiura

Abstract: It is known that the physics of open strings on a D2-brane on a two-torus is realized from the viewpoint of deformation quantization in the Seiberg-Witten limit. We study its T-dual theory, i.e. D1-brane physics on two-tori. Such theory is described by Kronecker foliation. The algebra of open strings on the D1-brane is then identified with the crossed product representation of a noncommutative t… ▽ More It is known that the physics of open strings on a D2-brane on a two-torus is realized from the viewpoint of deformation quantization in the Seiberg-Witten limit. We study its T-dual theory, i.e. D1-brane physics on two-tori. Such theory is described by Kronecker foliation. The algebra of open strings on the D1-brane is then identified with the crossed product representation of a noncommutative two-torus. The Morita equivalence of noncommutative two-tori is also realized geometrically along this line. As an application, Heisenberg modules and the tensor product between them are discussed from these geometric viewpoints. We show they are related to the homological mirror symmetry of two-tori. △ Less

Submitted 10 July, 2002; originally announced July 2002.

Comments: 29 pages, 7 figures

Journal ref: JHEP 0208:050,2002