Showing 1–50 of 69 results for author: Konno, H

On localizing groups of exotic diffeomorphisms of 4-manifolds

Authors: Hokuto Konno, Abhishek Mallick

Abstract: Ruberman in the 90's showed that the group of exotic diffeomorphisms of closed 4-manifolds can be infinitely generated. We provide various results on the question of when such infinite generation can localize to a smaller embedded submanifold of the original manifold. Our results include: (1) All known infinitely generated groups of exotic diffeomorphisms of 4-manifolds detected by families Seiber… ▽ More Ruberman in the 90's showed that the group of exotic diffeomorphisms of closed 4-manifolds can be infinitely generated. We provide various results on the question of when such infinite generation can localize to a smaller embedded submanifold of the original manifold. Our results include: (1) All known infinitely generated groups of exotic diffeomorphisms of 4-manifolds detected by families Seiberg-Witten theory do not localize to any topologically (locally-flatly) embedded rational homology balls in the ambient 4-manifold. (2) Many exotic diffeomorphisms cannot be obtained as Dehn twists along homology spheres (under mild assumptions). (3) There is no contractible 4-manifolds with Seifert fibered boundary that have a universal property for exotic diffeomorphisms analogous to a universal cork. In addition, there is no universal compact 4-manifold $W$ such that the set of exotic diffeomorphisms of a 4-manifold can localize to an embedding of $W$. (4) Certain infinite generations of exotic diffeomorphism groups do localize to a non-compact subset $V$ with a small Betti number, but not to any compact subset of $V$. (5) An analogous result holds for map** class groups of 4-manifolds. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 26 pages, 3 figures

Report number: RIKEN-iTHEMS-Report-24

Elliptic Quantum Toroidal Algebra U_{t_1,t_2,p}(gl_{1,tor}), Vertex Operators and L-operators

Authors: Hitoshi Konno, Andrey Smirnov

Abstract: We propose new vertex operators, both the type I and the type II dual, of the elliptic quantum toroidal algebra U_{t_1,t_2,p}(gl_{1,tor}) by combining representations of U_{t_1,t_2,p}(gl_{1,tor}) and the notions of the elliptic stable envelopes for the instanton moduli space M(n,r). The vertex operators reproduce the shuffle product formula of the elliptic stable envelopes by their composition. We… ▽ More We propose new vertex operators, both the type I and the type II dual, of the elliptic quantum toroidal algebra U_{t_1,t_2,p}(gl_{1,tor}) by combining representations of U_{t_1,t_2,p}(gl_{1,tor}) and the notions of the elliptic stable envelopes for the instanton moduli space M(n,r). The vertex operators reproduce the shuffle product formula of the elliptic stable envelopes by their composition. We also show that the vacuum expectation value of a composition of the vertex operators gives a correct formula of the K-theoretic vertex function for M(n,r). We then derive exchange relations among the vertex operators and construct a L-operator satisfying the RLL=LLR^* relation with R and R^* being elliptic dynamical instanton R-matrices defined as transition matrices of the elliptic stable envelopes. Assuming a universal form of L, we define a comultiplication Δin terms of it. It turns out that the new vertex operators are intertwining operators of the U_{t_1,t_2,p}(gl_{1,tor})-modules w.r.t Δ. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Comments: 42 pages

MSC Class: 17B37

Elliptic Quantum Groups

Authors: Hitoshi Konno

Abstract: We expose the elliptic quantum groups in the Drinfeld realization associated with both the affine Lie algebra \g and the toroidal algebra \g_tor. There the level-0 and level \not=0 representations appear in a unified way so that one can define the vertex operators as intertwining operators of them. The vertex operators are key for many applications such as a derivation of the elliptic weight funct… ▽ More We expose the elliptic quantum groups in the Drinfeld realization associated with both the affine Lie algebra \g and the toroidal algebra \g_tor. There the level-0 and level \not=0 representations appear in a unified way so that one can define the vertex operators as intertwining operators of them. The vertex operators are key for many applications such as a derivation of the elliptic weight functions, integral solutions of the (elliptic) q-KZ equation and a formulation of algebraic analysis of the elliptic solvable lattice models. Identifying the elliptic weight functions with the elliptic stable envelopes we make a correspondence between the level-0 representation of the elliptic quantum group and the equivariant elliptic cohomology. We also emphasize a characterization of the elliptic quantum groups as $q$-deformations of the W-algebras. △ Less

Submitted 18 May, 2024; originally announced May 2024.

Comments: 32 pages, to appear in the Encyclopedia of Mathematical Physics 2nd Edition

MSC Class: 17B37

Elliptic Quantum Toroidal Algebras, Z-algebra Structure and Representations

Authors: Hitoshi Konno, Kazuyuki Oshima

Abstract: We introduce a new elliptic quantum toroidal algebra U_{q,κ,p}(g_tor) associated with an arbitrary toroidal algebra g_tor. We show that U_{q,κ,p}(g_tor) contains two elliptic quantum algebras associated with a corresponding affine Lie algebra bg as subalgebras. They are analogue of the horizontal and the vertical subalgebras in the quantum toroidal algebra U_{q,κ}(g_tor). A Hopf algebroid structur… ▽ More We introduce a new elliptic quantum toroidal algebra U_{q,κ,p}(g_tor) associated with an arbitrary toroidal algebra g_tor. We show that U_{q,κ,p}(g_tor) contains two elliptic quantum algebras associated with a corresponding affine Lie algebra bg as subalgebras. They are analogue of the horizontal and the vertical subalgebras in the quantum toroidal algebra U_{q,κ}(g_tor). A Hopf algebroid structure is introduced as a co-algebra structure of U_{q,κ,p}(g_tor) using the Drinfeld comultiplication. We also investigate the Z-algebra structure of U_{q,κ,p}(g_tor) and show that the Z-algebra governs the irreducibility of the level (k(\not=0),l)-infinite dimensional U_{q,κ,p}(g_tor)-modules in the same way as in the elliptic quantum group U_{q,p}(g). As an example, we construct the level (1,l) irreducible representation of U_{q,κ,p}(g_tor) for the simply laced gtor. We also construct the level (0,1) representation of U_{q,κ,p}(g_N,tor) and discuss a conjecture on its geometric interpretation as an action on the torus equivariant elliptic cohomology of the affine A_{N-1} quiver variety. △ Less

Submitted 18 May, 2024; originally announced May 2024.

Comments: 47 pages

MSC Class: 17B37

Journal ref: Algebras and Representation Theory 2024

The homology of moduli spaces of 4-manifolds may be infinitely generated

Authors: Hokuto Konno

Abstract: For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the map** class group $π_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there exist simply-connected closed smooth 4-manifolds whose map** class groups are not finitely generated. More generally, for each $k>0$, we prove that there are sim… ▽ More For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the map** class group $π_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there exist simply-connected closed smooth 4-manifolds whose map** class groups are not finitely generated. More generally, for each $k>0$, we prove that there are simply-connected closed smooth 4-manifolds $X$ for which $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ are not finitely generated. The infinitely generated subgroup of $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ which we detect are topologically trivial, and unstable under the connected sum of $S^2 \times S^2$. The proof uses characteristic classes obtained from Seiberg-Witten theory. △ Less

Submitted 28 October, 2023; originally announced October 2023.

Comments: 19 pages

Report number: RIKEN-iTHEMS-Report-23

Exotic Dehn twists on 4-manifolds

Authors: Hokuto Konno, Abhishek Mallick, Masaki Taniguchi

Abstract: We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic diffeomorphisms of 4-manifolds with $\neq S^3$ boundary that survive after one stabilization. We also construct the smallest closed 4-manifold known to support… ▽ More We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic diffeomorphisms of 4-manifolds with $\neq S^3$ boundary that survive after one stabilization. We also construct the smallest closed 4-manifold known to support an exotic diffeomorphism. These exotic diffeomorphisms are the Dehn twists along certain Seifert fibered 3-manifolds. As a consequence, we get loops of diffeomorphisms of 3-manifolds that topologically extend to some 4-manifolds $X$ but not smoothly so, implying the non-surjectivity of $π_1(\mathrm{Diff}(X)) \to π_1(\mathrm{Homeo}(X))$. Our method uses $2$-parameter families Seiberg-Witten theory over $\mathbb{RP}^2$, while known methods to detect exotic diffeomorphisms used $1$-parameter families gauge-theoretic invariants. Using a similar strategy, we construct a new kind of exotic diffeomorphisms of 4-manifolds, given as commutators of diffeomorphisms. △ Less

Submitted 30 March, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 29 pages, 1 figure. Minor improvements in some of the main theorems. We also thank the anonymous referee for an insightful report

Report number: RIKEN-iTHEMS-Report-23

From diffeomorphisms to exotic phenomena in small 4-manifolds

Authors: Hokuto Konno, Abhishek Mallick, Masaki Taniguchi

Abstract: We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect… ▽ More We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect a homeomorphism of a 4-manifold that is not topologically isotopic to any diffeomorphism and give lower bounds of relative genera of certain knots. Our primary tools are constraints on diffeomorphisms of 4-manifolds obtained from families Seiberg-Witten theory. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 50 pages, 16 figures

Report number: RIKEN-iTHEMS-Report-23

Involutions, links, and Floer cohomologies

Authors: Hokuto Konno, ** Miyazawa, Masaki Taniguchi

Abstract: We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented links with non-zero determinant. This framework generalizes the previous work of the authors regarding Floer homotopy type for spin 3-manifolds with involution… ▽ More We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented links with non-zero determinant. This framework generalizes the previous work of the authors regarding Floer homotopy type for spin 3-manifolds with involutions and for knots. Based on this Floer cohomological setting, we prove Frøyshov-type inequalities which relate topological quantities of 4-manifolds with certain equivariant homology cobordism invariants. The inequalities and homology cobordism invariants have applications to the topology of unoriented surfaces, Nielsen realization problem for non-spin 4-manifolds, and non-smoothable unoriented surfaces in 4-manifolds. △ Less

Submitted 16 April, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 43 pages, Added Remark 1.19 to mention upcoming work by Arabadji and Baykur on the Nielsen realization problem for non-spin 4-manifolds. Fixed typo in Theorem 1.6

Report number: RIKEN-iTHEMS-Report-23

Homological instability for moduli spaces of smooth 4-manifolds

Authors: Hokuto Konno, Jianfeng Lin

Abstract: We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between various moduli spaces, such as topological and smooth moduli spaces of 4-manifolds, and moduli spaces of 4-manifolds with positive scalar curvature metrics. To pr… ▽ More We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between various moduli spaces, such as topological and smooth moduli spaces of 4-manifolds, and moduli spaces of 4-manifolds with positive scalar curvature metrics. To prove these results, we use the Seiberg-Witten equations to construct a new characteristic class of families of 4-manifolds, which is unstable and detects the difference between the smooth and topological categories in dimension 4. △ Less

Submitted 24 October, 2023; v1 submitted 6 November, 2022; originally announced November 2022.

Comments: 70 pages, 1 figure, added contents on formally smooth bundles (Section 4)

Report number: RIKEN-iTHEMS-Report-22 MSC Class: 57R57; 57R50; 57K41; 57S05

Exotic codimension-1 submanifolds in 4-manifolds and stabilizations

Authors: Hokuto Konno, Anubhav Mukherjee, Masaki Taniguchi

Abstract: In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give new constructions of exotic embeddings of 3-spheres in 4-manifolds with diffeomorphic complements. In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give new constructions of exotic embeddings of 3-spheres in 4-manifolds with diffeomorphic complements. △ Less

Submitted 29 November, 2022; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: 10 pages, 1 figure, An error in one of main results (Theorem 1.4, corresponding to Theorem 1.3 of v1) was corrected by restricting a class of 3-manifolds in the statement. The authors are grateful to Inanc Baykur for pointing out the mistake in v1. We changed the introduction accordingly and added a few new questions and remarks

Report number: RIKEN-iTHEMS-Report-22

A note on generalized Thurston--Bennequin inequalities

Authors: Nobuo Iida, Hokuto Konno, Masaki Taniguchi

Abstract: We give a generalized Thurston--Bennequin-type inequality for links in $S^3$ using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary. As a special case, we also give an adjunction inequality for smoothly embedded orientable surfaces with negative intersection in a closed oriented smooth 4-manifold whose non-equivariant Bauer--Furuta invariant is non-zero. We give a generalized Thurston--Bennequin-type inequality for links in $S^3$ using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary. As a special case, we also give an adjunction inequality for smoothly embedded orientable surfaces with negative intersection in a closed oriented smooth 4-manifold whose non-equivariant Bauer--Furuta invariant is non-zero. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 7 pages

Report number: RIKEN-iTHEMS-Report-22

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Authors: Nobuo Iida, Hokuto Konno, Anubhav Mukherjee, Masaki Taniguchi

Abstract: We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and using these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further we develop some techniques that have been used to show the existence of exotic codimension-2 submanifolds and exotic codimension-1 submanifolds in 4-manifolds. We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and using these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further we develop some techniques that have been used to show the existence of exotic codimension-2 submanifolds and exotic codimension-1 submanifolds in 4-manifolds. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 45 pages, 2 figures

Report number: RIKEN-iTHEMS-Report-22

Dehn twists and the Nielsen realization problem for spin 4-manifolds

Authors: Hokuto Konno

Abstract: We prove that, for a closed oriented smooth spin 4-manifold $X$ with non-zero signature, the Dehn twist about a $(+2)$- or $(-2)$-sphere in $X$ is not homotopic to any finite order diffeomorphism. In particular, we negatively answer the Nielsen realization problem for each group generated by the map** class of a Dehn twist. We also show that there is a discrepancy between the Nielsen realization… ▽ More We prove that, for a closed oriented smooth spin 4-manifold $X$ with non-zero signature, the Dehn twist about a $(+2)$- or $(-2)$-sphere in $X$ is not homotopic to any finite order diffeomorphism. In particular, we negatively answer the Nielsen realization problem for each group generated by the map** class of a Dehn twist. We also show that there is a discrepancy between the Nielsen realization problems in the topological category and smooth category for connected sums of copies of $K3$ and $S^{2} \times S^{2}$. The main ingredients of the proofs are Y. Kato's 10/8-type inequality for involutions and a refinement of it. △ Less

Submitted 25 February, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: 14 pages, minor update, accepted version, to appear in Algebr. Geom. Topol

Report number: RIKEN-iTHEMS-Report-22

Elliptic Quantum Toroidal Algebra $U_{q,t,p}(gl_{1,tor})$ and Affine Quiver Gauge Theories

Authors: Hitoshi Konno, Kazuyuki Oshima

Abstract: We introduce a new elliptic quantum toroidal algebra $U_{q,t,p}(gl_{1,tor})$. Various representations in the quantum toroidal algebra $U_{q,t}(gl_{1,tor})$ are extended to the elliptic case including the level (0,0) representation realized by using the elliptic Ruijsenaars difference operator. Intertwining operators of $U_{q,t,p}(gl_{1,tor})$-modules w.r.t. the Drinfeld comultiplication are also c… ▽ More We introduce a new elliptic quantum toroidal algebra $U_{q,t,p}(gl_{1,tor})$. Various representations in the quantum toroidal algebra $U_{q,t}(gl_{1,tor})$ are extended to the elliptic case including the level (0,0) representation realized by using the elliptic Ruijsenaars difference operator. Intertwining operators of $U_{q,t,p}(gl_{1,tor})$-modules w.r.t. the Drinfeld comultiplication are also constructed. We show that $U_{q,t,p}(gl_{1,tor})$ gives a realization of the affine quiver $W$-algebra $W_{q,t}(Γ(\widehat{A}_0))$ proposed by Kimura-Pestun. This realization turns out to be useful to derive the Nekrasov instanton partition functions, i.e. the $χ_{y^-}$ and elliptic genus, of the 5d and 6d lifts of the 4d $\mathcal{N}=2^*$ theories and provide a new Alday-Gaiotto-Tachikawa correspondence. △ Less

Submitted 22 February, 2023; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: 63 pages, 3 figures, to be published in Letters in Mathematical Physics

Involutions, knots, and Floer K-theory

Authors: Hokuto Konno, ** Miyazawa, Masaki Taniguchi

Abstract: We establish a version of Seiberg--Witten Floer $K$-theory for knots, as well as a version of Seiberg-Witten Floer $K$-theory for 3-manifolds with involution. The main theorems are 10/8-type inequalities for knots and for involutions. The 10/8-inequality for knots yields numerous applications to knots, such as lower bounds on stabilizing numbers and relative genera. We also give obstructions to ex… ▽ More We establish a version of Seiberg--Witten Floer $K$-theory for knots, as well as a version of Seiberg-Witten Floer $K$-theory for 3-manifolds with involution. The main theorems are 10/8-type inequalities for knots and for involutions. The 10/8-inequality for knots yields numerous applications to knots, such as lower bounds on stabilizing numbers and relative genera. We also give obstructions to extending involutions on 3-manifolds to 4-manifolds, and detect non-smoothable involutions on 4-manifolds with boundary. △ Less

Submitted 23 December, 2021; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 69 pages, 1 figure, 5 tables. Many applications and calculations were added. Some properties of the kappa invariant were added

Report number: RIKEN-iTHEMS-Report-21

Positive scalar curvature and homology cobordism invariants

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give ob… ▽ More We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give obstructions to positive scalar curvature metrics on spin rational homology $S^{1} \times S^{3}$, typically described as the coincidence of various Frøyshov-type invariants. This coincidence also yields alternative proofs of two known obstructions by Jianfeng Lin and by the authors for the same class of 4-manifolds. △ Less

Submitted 25 May, 2021; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: 35 pages. Section 7 has been added. Some minor changes were also made

Report number: RIKEN-iTHEMS-Report-21

A note on exotic families of 4-manifolds

Authors: Tsuyoshi Kato, Hokuto Konno, Nobuhiro Nakamura

Abstract: We present a pair of smooth fiber bundles over the circle with a common $4$-dimensional fiber with the following properties: (1) their total spaces are diffeomorphic to each other; (2) they are isomorphic to each other as topological fiber bundles; (3) they are not isomorphic to each other as smooth fiber bundles. In particular, we exhibit an example with non-simply-connected fiber. We present a pair of smooth fiber bundles over the circle with a common $4$-dimensional fiber with the following properties: (1) their total spaces are diffeomorphic to each other; (2) they are isomorphic to each other as topological fiber bundles; (3) they are not isomorphic to each other as smooth fiber bundles. In particular, we exhibit an example with non-simply-connected fiber. △ Less

Submitted 25 October, 2021; v1 submitted 1 January, 2021; originally announced January 2021.

Comments: 11 pages

Report number: RIKEN-iTHEMS-Report-20

The groups of diffeomorphisms and homeomorphisms of 4-manifolds with boundary

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Frøyshov invariant or th… ▽ More We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Frøyshov invariant or the Manolescu invariants $α, β, γ$ of $\partial X$, the inclusion map $\mathrm{Diff}(X,\partial) \hookrightarrow \mathrm{Homeo}(X,\partial)$ between the groups of diffeomorphisms and homeomorphisms which fix the boundary pointwise is not a weak homotopy equivalence. This combined with a classical result in dimension 3 implies that the inclusion map $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ is also not a weak homotopy equivalence under the same assumption on $\partial X$. Our constraints generalize both of constraints on smooth families of closed 4-manifolds proven by Baraglia and a Donaldson-type theorem for smooth 4-manifolds with boundary originally due to Frøyshov. △ Less

Submitted 3 February, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 46 pages Subsection 4.1 is added. Examples are added

Report number: RIKEN-iTHEMS-Report-20

Constraints on families of smooth 4-manifolds from $\mathrm{Pin}^{-}(2)$-monopole

Authors: Hokuto Konno, Nobuhiro Nakamura

Abstract: Using the Seiberg-Witten monopole equations, Baraglia recently proved that for most of simply-connected closed smooth $4$-manifolds $X$, the inclusions $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ are not weak homotopy equivalences. In this paper, we generalize Baraglia's result using the $\mathrm{Pin}^{-}(2)$-monopole equations instead. We also give new examples of $4$-manifolds $X$ for w… ▽ More Using the Seiberg-Witten monopole equations, Baraglia recently proved that for most of simply-connected closed smooth $4$-manifolds $X$, the inclusions $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ are not weak homotopy equivalences. In this paper, we generalize Baraglia's result using the $\mathrm{Pin}^{-}(2)$-monopole equations instead. We also give new examples of $4$-manifolds $X$ for which $π_{0}(\mathrm{Diff}(X)) \to π_{0}(\mathrm{Homeo}(X))$ are not surjections. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 14 pages

Report number: RIKEN-iTHEMS-Report-19

Journal ref: Algebr. Geom. Topol. 23 (2023) 419-438

A note on the Nielsen realization problem for K3 surfaces

Authors: David Baraglia, Hokuto Konno

Abstract: We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $π_{0}(Diff(K3)) \to Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second is that, there exists a subgroup $G$ of $π_{0}(Diff(K3))$ of order two over which there is no splitting of the map $Diff(K3) \to π_{0}(Diff(K3))$, but there is a… ▽ More We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $π_{0}(Diff(K3)) \to Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second is that, there exists a subgroup $G$ of $π_{0}(Diff(K3))$ of order two over which there is no splitting of the map $Diff(K3) \to π_{0}(Diff(K3))$, but there is a splitting of $Homeo(K3) \to π_{0}(Homeo(K3))$ over the image of $G$ in $π_{0}(Homeo(K3))$, which is non-trivial. The third is that the map $π_{1}(Diff(K3)) \to π_{1}(Homeo(K3))$ is not surjective. Our proof of these results is based on Seiberg-Witten theory and the global Torelli theorem for $K3$ surfaces. △ Less

Submitted 11 August, 2019; originally announced August 2019.

Comments: 8 pages

Report number: RIKEN-iTHEMS-Report-19

Journal ref: Proc. Amer. Math. Soc. 151 (2023), no. 9, 4079-4087

Rigidity of the mod 2 families Seiberg-Witten invariants and topology of families of spin 4-manifolds

Authors: Tsuyoshi Kato, Hokuto Konno, Nobuhiro Nakamura

Abstract: We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families p… ▽ More We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of 4-manifolds $M$ for which the inclusion maps $\operatorname{Diff}(M) \hookrightarrow \operatorname{Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series of non-smoothable topological actions on some spin 4-manifolds. △ Less

Submitted 21 November, 2020; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 40 pages, to appear in Compositio Mathematica

Report number: RIKEN-iTHEMS-Report-19

On the Bauer-Furuta and Seiberg-Witten invariants of families of $4$-manifolds

Authors: David Baraglia, Hokuto Konno

Abstract: We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the families Seiberg-Witten invariants leading to a series of mod $2$ relations between… ▽ More We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the families Seiberg-Witten invariants leading to a series of mod $2$ relations between these invariants and the Chern classes of the spin$^c$ index bundle of the family. As a result we discover a new aspect of the ordinary Seiberg-Witten invariants of a $4$-manifold $X$: they obstruct the existence of certain families of $4$-manifolds with fibres diffeomorphic to $X$. As a concrete geometric application, we shall detect a non-smoothable family of $K3$ surfaces. Our formalism also leads to a simple new proof of the families wall crossing formula. Lastly, we introduce $K$-theoretic Seiberg-Witten invariants and give a formula expressing the Chern character of the $K$-theoretic Seiberg-Witten invariants in terms of the cohomological Seiberg-Witten invariants. This leads to new divisibility properties of the families Seiberg-Witten invariants. △ Less

Submitted 20 December, 2021; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: 76 pages, accepted version. To appear in J. Topology

MSC Class: 57R57; 57R22

Journal ref: J. Topol. Vol. 15 no. 2, 505-586 (2022)

A gluing formula for families Seiberg-Witten invariants

Authors: David Baraglia, Hokuto Konno

Abstract: We prove a gluing formula for the families Seiberg-Witten invariants of families of $4$-manifolds obtained by fibrewise connected sum. Our formula expresses the families Seiberg-Witten invariants of such a connected sum family in terms of the ordinary Seiberg-Witten invariants of one of the summands, under certain assumptions on the families. We construct some variants of the families Seiberg-Witt… ▽ More We prove a gluing formula for the families Seiberg-Witten invariants of families of $4$-manifolds obtained by fibrewise connected sum. Our formula expresses the families Seiberg-Witten invariants of such a connected sum family in terms of the ordinary Seiberg-Witten invariants of one of the summands, under certain assumptions on the families. We construct some variants of the families Seiberg-Witten invariants and prove the gluing formula also for these variants. One variant incorporates a twist of the families moduli space using the charge conjugation symmetry of the Seiberg-Witten equations. The other variant is an equivariant Seiberg-Witten invariant of smooth group actions. We consider several applications of the gluing formula including: obstructions to smooth isotopy of diffeomorpihsms, computation of the mod $2$ Seiberg-Witten invariants of spin structures, relations between mod $2$ Seiberg-Witten invariants of $4$-manifolds and obstructions to the existence of invariant metrics of positive scalar curvature for smooth group actions on $4$-manifolds. △ Less

Submitted 30 December, 2018; originally announced December 2018.

Comments: 54 pages

MSC Class: 57R57; 57R22; 57M60

Journal ref: Geom. Topol. 24 (2020) 1381-1456

A fractional generalized Cauchy process

Authors: Yusuke Uchiyama, Takanori Kadoya, Hidetoshi Konno

Abstract: This paper presents a fractional generalized Cauchy process (FGCP) with an additive and a multiplicative Gaussian white noise for describing subordinated anomalous fluctuations. The FGCP displays intermittent dynamics during random time durations, whose analytical representation is given by the It$\hat{\rm o}$ stochastic integral. The associated probability density function is given by the Tsallis… ▽ More This paper presents a fractional generalized Cauchy process (FGCP) with an additive and a multiplicative Gaussian white noise for describing subordinated anomalous fluctuations. The FGCP displays intermittent dynamics during random time durations, whose analytical representation is given by the It$\hat{\rm o}$ stochastic integral. The associated probability density function is given by the Tsallis $q$-Gaussian distribution at the stationary state. The method of fractional Feynman-Kac formula shows that weak ergodicity breaking of the FGCP depends on the existence of the subordinator and/or the divergence of variance. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Journal ref: Phys. Rev. E 99, 032119 (2019)

Positive scalar curvature and $10/8$-type inequalities on $4$-manifolds with periodic ends

Authors: Hokuto Konno, Masaki Taniguchi

Abstract: We show $ 10/8$-type inequalities for some end-periodic $4$-manifolds which have positive scalar curvature metrics on the ends. As an application, we construct a new family of closed $4$-manifolds which do not admit positive scalar curvature metrics. We show $ 10/8$-type inequalities for some end-periodic $4$-manifolds which have positive scalar curvature metrics on the ends. As an application, we construct a new family of closed $4$-manifolds which do not admit positive scalar curvature metrics. △ Less

Submitted 27 June, 2021; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: 36 pages, 1 figure

Journal ref: Invent. math. (2020)

Characteristic classes via 4-dimensional gauge theory

Authors: Hokuto Konno

Abstract: We construct characteristic classes of 4-manifold bundles using $SO(3)$-Yang-Mills theory and Seiberg-Witten theory for families. We construct characteristic classes of 4-manifold bundles using $SO(3)$-Yang-Mills theory and Seiberg-Witten theory for families. △ Less

Submitted 26 March, 2018; originally announced March 2018.

Comments: 48 pages

Journal ref: Geom. Topol. 25 (2021) 711-773

Elliptic Stable Envelopes and Finite-dimensional Representations of Elliptic Quantum Group

Authors: Hitoshi Konno

Abstract: We construct a finite dimensional representation of the face type, i.e dynamical, elliptic quantum group associated with $sl_N$ on the Gelfand-Tsetlin basis of the tensor product of the $n$-vector representations. The result is described in a combinatorial way by using the partitions of $[1,n]$. We find that the change of basis matrix from the standard to the Gelfand-Tsetlin basis is given by a sp… ▽ More We construct a finite dimensional representation of the face type, i.e dynamical, elliptic quantum group associated with $sl_N$ on the Gelfand-Tsetlin basis of the tensor product of the $n$-vector representations. The result is described in a combinatorial way by using the partitions of $[1,n]$. We find that the change of basis matrix from the standard to the Gelfand-Tsetlin basis is given by a specialization of the elliptic weight function obtained in the previous paper[Konno17]. Identifying the elliptic weight functions with the elliptic stable envelopes obtained by Aganagic and Okounkov, we show a correspondence of the Gelfand-Tsetlin bases (resp. the standard bases) to the fixed point classes (resp. the stable classes) in the equivariant elliptic cohomology $E_T(X)$ of the cotangent bundle $X$ of the partial flag variety. As a result we obtain a geometric representation of the elliptic quantum group on $E_T(X)$. △ Less

Submitted 17 June, 2018; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: 48 pages, corrected formulas for quasi-periodicity in 3.4.4., to appear in Journal of Integrable Systems

Positive scalar curvature and higher-dimensional families of Seiberg-Witten equations

Authors: Hokuto Konno

Abstract: We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of Seiberg-Witten equations. Our invariant yields an application to the homotopy groups of the space of positive scalar curvature metrics on a 4-manifold. We also study t… ▽ More We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of Seiberg-Witten equations. Our invariant yields an application to the homotopy groups of the space of positive scalar curvature metrics on a 4-manifold. We also study the extension problem for families of 4-manifolds using our invariant. △ Less

Submitted 30 May, 2019; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 22 pages, accepted for publication by the Journal of Topology

Elliptic Weight Functions and Elliptic q-KZ Equation

Authors: Hitoshi Konno

Abstract: By using representation theory of the elliptic quantum group U_{q,p}(sl_N^), we present a systematic method of deriving the weight functions. The resultant sl_N type elliptic weight functions are new and give elliptic and dynamical analogues of those obtained in the trigonometric case. We then discuss some basic properties of the elliptic weight functions. We also present an explicit formula for f… ▽ More By using representation theory of the elliptic quantum group U_{q,p}(sl_N^), we present a systematic method of deriving the weight functions. The resultant sl_N type elliptic weight functions are new and give elliptic and dynamical analogues of those obtained in the trigonometric case. We then discuss some basic properties of the elliptic weight functions. We also present an explicit formula for formal elliptic hypergeometric integral solution to the face type, i.e. dynamical, elliptic q-KZ equation. △ Less

Submitted 30 October, 2017; v1 submitted 23 June, 2017; originally announced June 2017.

Comments: 44 pages, Proposition 5.4 corrected, typos fixed, to appear in Journal of Integrable Systems

A cohomological Seiberg-Witten invariant emerging from the adjunction inequality

Authors: Hokuto Konno

Abstract: We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a 4-manifold. We also give examples of 4-manifolds which admit positive scalar curvature metrics and for which this invariant does not vanish. This non-vanishing resu… ▽ More We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a 4-manifold. We also give examples of 4-manifolds which admit positive scalar curvature metrics and for which this invariant does not vanish. This non-vanishing result of our invariant provides a new class of adjunction-type genus constraints on configurations of embedded surfaces in a 4-manifold whose Seiberg-Witten invariant vanishes. △ Less

Submitted 3 November, 2021; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 55 pages, 8 figures, Subsection 2.2 was added, accepted for publication by the Journal of Topology

Lagrangian Mean Curvature Flows and Moment maps

Authors: Hiroshi Konno

Abstract: In this paper, we construct various examples of Lagrangian mean curvature flows in Calabi-Yau manifolds, using moment maps for actions of abelian Lie groups on them. The examples include Lagrangian self-shrinkers and translating solitons in the Euclidean spaces. Moreover, our method can be applied to construct examples of Lagrangian mean curvature flows in non-flat Calabi-Yau manifolds. In particu… ▽ More In this paper, we construct various examples of Lagrangian mean curvature flows in Calabi-Yau manifolds, using moment maps for actions of abelian Lie groups on them. The examples include Lagrangian self-shrinkers and translating solitons in the Euclidean spaces. Moreover, our method can be applied to construct examples of Lagrangian mean curvature flows in non-flat Calabi-Yau manifolds. In particular, we describe Lagrangian mean curvature flows in 4-dimensional Ricci-flat ALE spaces in detail and investigate their singularities. △ Less

Submitted 21 November, 2017; v1 submitted 28 February, 2017; originally announced March 2017.

Comments: 34 pages, 1 figure; (ver. 2) The figure is fixed to be displayed correctly. Author's e-mail address is added.;(ver.3) A reference is added together with a related comment; (ver. 4) minor revision

MSC Class: 53C44; 53D12; 53D20

Elliptic Quantum Groups U_{q,p}(gl_N) and E_{q,p}(gl_N)

Authors: Hitoshi Konno

Abstract: We reformurate a central extension of Felder's elliptic quantum group in the FRST formulation as a topological algebra E_{q,p}(gl_N) over the ring of formal power series in p. We then discuss the isomorphism between E_{q,p}(gl_N) and the elliptic algebra U_{q,p}(gl_N) of the Drinfeld realization. An evaluation H-algebra homomorphism from U_{q,p}(gl_N) to a dynamical extension of the quantum affine… ▽ More We reformurate a central extension of Felder's elliptic quantum group in the FRST formulation as a topological algebra E_{q,p}(gl_N) over the ring of formal power series in p. We then discuss the isomorphism between E_{q,p}(gl_N) and the elliptic algebra U_{q,p}(gl_N) of the Drinfeld realization. An evaluation H-algebra homomorphism from U_{q,p}(gl_N) to a dynamical extension of the quantum affine algebra U_q(gl_N) resolves the problem into the one discussed by Ding and Frenkel in the trigonometric case. We also provide some useful formulas for the elliptic quantum determinants. △ Less

Submitted 3 October, 2016; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: 60 pages; v2: typos corrected. To appear in Advanced Studies in Pure Mathematics

MSC Class: 17B37; 20G42; 81R10; 81R50

Bounds on genus and configurations of embedded surfaces in 4-manifolds

Authors: Hokuto Konno

Abstract: For several embedded surfaces with zero self-intersection number in 4-manifolds, we show that an adjunction-type genus bound holds for at least one of the surfaces under certain conditions. For example, we derive certain adjunction inequalities for surfaces embedded in $m\mathbb{CP}^2\# n(-\mathbb{CP}^2)$ ($m, n \geq 2$). The proofs of these results are given by studying a family of Seiberg-Witten… ▽ More For several embedded surfaces with zero self-intersection number in 4-manifolds, we show that an adjunction-type genus bound holds for at least one of the surfaces under certain conditions. For example, we derive certain adjunction inequalities for surfaces embedded in $m\mathbb{CP}^2\# n(-\mathbb{CP}^2)$ ($m, n \geq 2$). The proofs of these results are given by studying a family of Seiberg-Witten equations. △ Less

Submitted 13 April, 2017; v1 submitted 1 July, 2015; originally announced July 2015.

Comments: 25pages, 2figures. v3: Section 2 is divided into two parts: Subsection 2.1 and Subsection 2.2

Journal ref: J. Topol. 9 (2016), no. 4, 1130-1152

Can Passenger's Active Head Tilt Decrease The Severity of Carsickness? - Effect of Head Tilt on Severity of Motion Sickness in a Lateral Acceleration Environment

Authors: Takahiro Wada, Hiroyuki Konno, Satoru Fujisawa, Shunichi Doi

Abstract: Objective: We investigated the effect of the passenger head-tilt strategy on the severity of carsickness in lateral acceleration situations in automobiles. Background: It is well known that the driver is generally less susceptible to carsickness than are the passengers. However, it is also known that the driver tilts his or her head toward the curve center when negotiating a curve, whereas the pas… ▽ More Objective: We investigated the effect of the passenger head-tilt strategy on the severity of carsickness in lateral acceleration situations in automobiles. Background: It is well known that the driver is generally less susceptible to carsickness than are the passengers. However, it is also known that the driver tilts his or her head toward the curve center when negotiating a curve, whereas the passenger's head moves in the opposite direction. Therefore, we hypothesized that the head-tilt strategy has the effect of reducing the severity of carsickness. Method: A passenger car was driven on a quasi-oval track with a pylon slalom while the participant sat in the navigator seat. The experiment was terminated when either the participant felt the initial symptoms of motion sickness or the car finished 20 laps. In the natural head-tilt condition, the participants were instructed to sit naturally, to relax, and not to oppose the lateral acceleration intentionally. In the active head-tilt condition, the participants were asked to tilt their heads against the centrifugal acceleration, thus imitating the driver's head tilt. Results: The number of laps achieved in the active condition was significantly greater than that in the natural condition. In addition, the subjective ratings of motion sickness and symptoms in the active condition were significantly lower than those in the natural condition. Conclusion: We suggest that an active head tilt against centrifugal acceleration reduces the severity of motion sickness. Application: Potential applications of this study include development of a methodology to reduce carsickness. △ Less

Submitted 30 April, 2015; originally announced April 2015.

Journal ref: Human Factors, 54(2), pp.71-78, 2012

Elliptic Quantum Group U_{q,p}(B_N^{(1)}) and Vertex Operators

Authors: Hitoshi Konno, Kazuyuki Oshima

Abstract: Assuming the existence of the L-operators, we study the Hopf algebroid structure of U_{q,p}(B_N^{(1)}). As an application, we derive the type I and II vertex operators, which intertwine the U_{q,p}(B_N^{(1)})-modules of generic level, by assuming some analytic properties of the L-operators. For the level-1 case, we construct their free field realizations and show that the results satisfy the desir… ▽ More Assuming the existence of the L-operators, we study the Hopf algebroid structure of U_{q,p}(B_N^{(1)}). As an application, we derive the type I and II vertex operators, which intertwine the U_{q,p}(B_N^{(1)})-modules of generic level, by assuming some analytic properties of the L-operators. For the level-1 case, we construct their free field realizations and show that the results satisfy the desired commutation relations with coefficients given by the elliptic dynamical R-matrices of the B_N^{(1)} type. △ Less

Submitted 14 July, 2014; originally announced July 2014.

Comments: 53 pages

Elliptic Algebra U_{q,p}(g^) and Quantum Z-algebras

Authors: Rasha M. Farghly, Hitoshi Konno, Kazuyuki Oshima

Abstract: A new definition of the elliptic algebra U_{q,p}(g^) associated with an untwisted affine Lie algebra g^ is given as a topological algebra over the ring of formal power series in p. We also introduce a quantum dynamical analogue of Lepowsky-Wilson's Z-algebras. The Z-algebra governs the irreducibility of the infinite dimensional U_{q,p}(g^)-modules. Some level-1 examples indicate a direct connectio… ▽ More A new definition of the elliptic algebra U_{q,p}(g^) associated with an untwisted affine Lie algebra g^ is given as a topological algebra over the ring of formal power series in p. We also introduce a quantum dynamical analogue of Lepowsky-Wilson's Z-algebras. The Z-algebra governs the irreducibility of the infinite dimensional U_{q,p}(g^)-modules. Some level-1 examples indicate a direct connection of the irreducible U_{q,p}(g^)-modules to those of the W-algebras associated with the coset g^ \oplus g^ \supset (g^)_{diag} with level (r-g-1,1) (g:the dual Coxeter number), which includes Fateev- Lukyanov's WB_l-algebra. △ Less

Submitted 14 July, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 34 pages, published in Algebras and Representation Theory. Some misprints have been fixed

Exact Form-Factor Results for the Longitudinal Structure Factor of the Massless XXZ Model in Zero Field

Authors: J. -S. Caux, H. Konno, M. Sorrell, R. Weston

Abstract: We consider the XXZ quantum spin chain in its massless, disordered regime at zero field. We derive an exact expression for the two-spinon form-factor of $S^z=1/2σ^z$ by taking a limit of the massive XYZ form-factors found by Lashkevich and by Lukyanov and Terras. This result is used to find the two-spinon contribution to the spectral decomposition of the longitudinal structure factor… ▽ More We consider the XXZ quantum spin chain in its massless, disordered regime at zero field. We derive an exact expression for the two-spinon form-factor of $S^z=1/2σ^z$ by taking a limit of the massive XYZ form-factors found by Lashkevich and by Lukyanov and Terras. This result is used to find the two-spinon contribution to the spectral decomposition of the longitudinal structure factor $S^{zz}(k,w)$. We find that this contribution provides an accurate approximation to the full structure factor over a wide range of the anisotropy parameter. The asymptotic behaviour of $S^{zz}(k,w)$ is computed as the upper and lower $w$ thresholds of the two-spinon $(w,k)$ band are approached, and an analysis of the region of validity of this threshold behaviour is performed. Our results reproduce and refine existing threshold behaviour predictions and extend these results to an accurate description throughout the two-spinon continuum. △ Less

Submitted 30 October, 2011; originally announced October 2011.

Comments: 39 pages, 10 figures, dedicated to Prof. M. Jimbo

Journal ref: J. Stat. Mech. (2012) P01007

Convergence of Kähler to real polarizations on flag manifolds via toric degenerations

Authors: Mark D. Hamilton, Hiroshi Konno

Abstract: In this paper we construct a family of complex structures on a complex flag manifold that converge to the real polarization coming from the Gelfand-Cetlin integrable system, in the sense that holomorphic sections of a prequantum line bundle converge to delta-function sections supported on the Bohr-Sommerfeld fibers. Our construction is based on a toric degeneration of flag varieties and a deformat… ▽ More In this paper we construct a family of complex structures on a complex flag manifold that converge to the real polarization coming from the Gelfand-Cetlin integrable system, in the sense that holomorphic sections of a prequantum line bundle converge to delta-function sections supported on the Bohr-Sommerfeld fibers. Our construction is based on a toric degeneration of flag varieties and a deformation of Kähler structure on toric varieties by symplectic potentials. △ Less

Submitted 4 May, 2011; originally announced May 2011.

Comments: 30 pages

Tracking the effects of interactions on spinons in gapless Heisenberg chains

Authors: J. -S. Caux, H. Konno, M. Sorrell, R. Weston

Abstract: We consider the effects of interactions on the nature of spinon excitations in Heisenberg spin-1/2 chains. We explicitly compute the two-spinon part of the longitudinal structure factor of the infinite chain in zero field for all values of anisotropy in the gapless antiferromagnetic regime, via an exact algebraic approach. Our results allow us to quantitatively describe the behaviour of these fund… ▽ More We consider the effects of interactions on the nature of spinon excitations in Heisenberg spin-1/2 chains. We explicitly compute the two-spinon part of the longitudinal structure factor of the infinite chain in zero field for all values of anisotropy in the gapless antiferromagnetic regime, via an exact algebraic approach. Our results allow us to quantitatively describe the behaviour of these fundamental excitations for cases ranging from free to fully coupled chains, thereby explicitly map** the effects of `turning on the interactions' in a strongly-correlated system. △ Less

Submitted 22 March, 2011; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 5 pages, 8 figures

Journal ref: Phys. Rev. Lett. 106, 217203 (2011)

Elliptic Quantum Group U_{q,p}(\hat{sl}_2), Hopf Algebroid Structure and Elliptic Hypergeometric Series

Authors: Hitoshi Konno

Abstract: We propose a new realization of the elliptic quantum group equipped with the H-Hopf algebroid structure on the basis of the elliptic algebra U_{q,p}(\hat{sl}_2). The algebra U_{q,p}(\hat{sl}_2) has a constructive definition in terms of the Drinfeld generators of the quantum affine algebra U_q(\hat{sl}_2) and a Heisenberg algebra. This yields a systematic construction of both finite and infinite-… ▽ More We propose a new realization of the elliptic quantum group equipped with the H-Hopf algebroid structure on the basis of the elliptic algebra U_{q,p}(\hat{sl}_2). The algebra U_{q,p}(\hat{sl}_2) has a constructive definition in terms of the Drinfeld generators of the quantum affine algebra U_q(\hat{sl}_2) and a Heisenberg algebra. This yields a systematic construction of both finite and infinite-dimensional dynamical representations and their parallel structures to U_q(\hat{sl}_2). In particular we give a classification theorem of the finite-dimensional irreducible pseudo-highest weight representations stated in terms of an elliptic analogue of the Drinfeld polynomials. We also investigate a structure of the tensor product of two evaluation representations and derive an elliptic analogue of the Clebsch-Gordan coefficients. We show that it is expressed by using the very-well-poised balanced elliptic hypergeometric series 12V11. △ Less

Submitted 15 March, 2008; originally announced March 2008.

Comments: 42 pages

MSC Class: 17B37; 81R10

Elliptic Quantum Group U_{q,p}(\hat{sl}_2) and Vertex Operators

Authors: Hitoshi Konno

Abstract: Introducing an H-Hopf algebroid structure into U_{q,p}(\widedhat{sl}_2), we investigate the vertex operators of the elliptic quantum group U_{q,p}(\widedhat{sl}_2) defined as intertwining operators of infinite dimensional U_{q,p}(\widedhat{sl}_2)-modules. We show that the vertex operators coincide with the previous results obtained indirectly by using the quasi-Hopf algebra B_{q,λ}(\hat{sl}_2).… ▽ More Introducing an H-Hopf algebroid structure into U_{q,p}(\widedhat{sl}_2), we investigate the vertex operators of the elliptic quantum group U_{q,p}(\widedhat{sl}_2) defined as intertwining operators of infinite dimensional U_{q,p}(\widedhat{sl}_2)-modules. We show that the vertex operators coincide with the previous results obtained indirectly by using the quasi-Hopf algebra B_{q,λ}(\hat{sl}_2). This shows a consistency of our H-Hopf algebroid structure even in the case with non-zero central element. △ Less

Submitted 12 March, 2008; v1 submitted 25 February, 2008; originally announced February 2008.

Comments: 15 pages. Typos fixed. Version to appear in J.Phys.A :Math.and Theor., special issue on Recent Developments in Infinite Dimensional Algebras and Their Applications to Quantum Integrable Systems 2007

MSC Class: 17B37; 81R10

Journal ref: J.Phys.A41:194012,2008

The Geometry of Toric Hyperkähler Varieties

Authors: Hiroshi Konno

Abstract: In this survey article we describe the geometry of toric hyperkähler varieties, which are hyperkähler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation of hyperkähler structures of these spaces with many improved results and proofs. In this survey article we describe the geometry of toric hyperkähler varieties, which are hyperkähler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation of hyperkähler structures of these spaces with many improved results and proofs. △ Less

Submitted 9 September, 2007; originally announced September 2007.

Comments: 20pages. To appear in AMS Contemporary Mathematics (Proceedings of the Toric Topology Conference, Osaka, Japan

MSC Class: 53C26; 53D20; 14L24

Dynamical R Matrices of Elliptic Quantum Groups and Connection Matrices for the q-KZ Equations

Authors: Hitoshi Konno

Abstract: For any affine Lie algebra ${\mathfrak g}$, we show that any finite dimensional representation of the universal dynamical $R$ matrix ${\cal R}(λ)$ of the elliptic quantum group ${\cal B}_{q,λ}({\mathfrak g})$ coincides with a corresponding connection matrix for the solutions of the $q$-KZ equation associated with $U_q({\mathfrak g})$. This provides a general connection between… ▽ More For any affine Lie algebra ${\mathfrak g}$, we show that any finite dimensional representation of the universal dynamical $R$ matrix ${\cal R}(λ)$ of the elliptic quantum group ${\cal B}_{q,λ}({\mathfrak g})$ coincides with a corresponding connection matrix for the solutions of the $q$-KZ equation associated with $U_q({\mathfrak g})$. This provides a general connection between ${\cal B}_{q,λ}({\mathfrak g})$ and the elliptic face (IRF or SOS) models. In particular, we construct vector representations of ${\cal R}(λ)$ for ${\mathfrak g}=A_n^{(1)}$, $B_n^{(1)}$, $C_n^{(1)}$, $D_n^{(1)}$, and show that they coincide with the face weights derived by Jimbo, Miwa and Okado. We hence confirm the conjecture by Frenkel and Reshetikhin. △ Less

Submitted 19 December, 2006; originally announced December 2006.

Comments: This is a contribution to the Proc. of the O'Raifeartaigh Symposium on Non-Perturbative and Symmetry Methods in Field Theory (June 2006, Budapest, Hungary), published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 091, 25 pages

The Vertex-Face Correspondence and Correlation Functions of the Fusion Eight-Vertex Model I: The General Formalism

Authors: Takeo Kojima, Hitoshi Konno, Robert Weston

Abstract: Based on the vertex-face correspondence, we give an algebraic analysis formulation of correlation functions of the $k\times k$ fusion eight-vertex model in terms of the corresponding fusion SOS model. Here $k\in Z_{>0}$. A general formula for correlation functions is derived as a trace over the space of states of lattice operators such as the corner transfer matrices, the half transfer matrices… ▽ More Based on the vertex-face correspondence, we give an algebraic analysis formulation of correlation functions of the $k\times k$ fusion eight-vertex model in terms of the corresponding fusion SOS model. Here $k\in Z_{>0}$. A general formula for correlation functions is derived as a trace over the space of states of lattice operators such as the corner transfer matrices, the half transfer matrices (vertex operators) and the tail operator. We give a realization of these lattice operators as well as the space of states as objects in the level $k$ representation theory of the elliptic algebra $U_{q,p}(\hat{sl}_2)$. △ Less

Submitted 17 May, 2005; v1 submitted 21 April, 2005; originally announced April 2005.

Comments: 54 pages, minor corrections to original version

MSC Class: 82B23 (Primary) 81R50; 81R12 (Secondary)

Journal ref: Nucl.Phys. B720 (2005) 348-398

Fusion of Baxter's Elliptic $R$-matrix and the Vertex-Face Correspondence

Authors: Hitoshi Konno

Abstract: The matrix elements of the $2\times 2$ fusion of Baxter's elliptic $R$-matrix, $R^{(2,2)}(u)$, are given explicitly. Based on a note by Jimbo, we give a formula which show that $R^{(2,2)}(u)$ is gauge equivalent to Fateev's $R$-matrix for the 21-vertex model. Then the crossing symmetry formula for $R^{(2,2)}(u)$ is derived. We also consider the fusion of the vertex-face correspondence relation a… ▽ More The matrix elements of the $2\times 2$ fusion of Baxter's elliptic $R$-matrix, $R^{(2,2)}(u)$, are given explicitly. Based on a note by Jimbo, we give a formula which show that $R^{(2,2)}(u)$ is gauge equivalent to Fateev's $R$-matrix for the 21-vertex model. Then the crossing symmetry formula for $R^{(2,2)}(u)$ is derived. We also consider the fusion of the vertex-face correspondence relation and derive a crossing symmetry relation between the fusion of the intertwining vectors and their dual vectors. △ Less

Submitted 30 March, 2005; originally announced March 2005.

Comments: To appear in the proceedings of the workshop ``Solvable Lattice Models 2004", July 20--23, 2004, RIMS Koukyuroku, Kyoto University

The Vertex-Face Correspondence and the Elliptic 6j-symbols

Authors: Hitoshi Konno

Abstract: A new formula connecting the elliptic $6j$-symbols and the fusion of the vertex-face intertwining vectors is given. This is based on the identification of the $k$ fusion intertwining vectors with the change of base matrix elements from Sklyanin's standard base to Rosengren's natural base in the space of even theta functions of order $2k$. The new formula allows us to derive various properties of… ▽ More A new formula connecting the elliptic $6j$-symbols and the fusion of the vertex-face intertwining vectors is given. This is based on the identification of the $k$ fusion intertwining vectors with the change of base matrix elements from Sklyanin's standard base to Rosengren's natural base in the space of even theta functions of order $2k$. The new formula allows us to derive various properties of the elliptic $6j$-symbols, such as the addition formula, the biorthogonality property, the fusion formula and the Yang-Baxter relation. We also discuss a connection with the Sklyanin algebra based on the factorised formula for the $L$-operator. △ Less

Submitted 30 March, 2005; originally announced March 2005.

Comments: 23 pages

The Drinfeld Realization of the Elliptic Quantum Group B_{q,lambda}(A_2^(2))

Authors: Takeo Kojima, Hitoshi Konno

Abstract: We construct a realization of the L-operator satisfying the RLL-relation of the face type elliptic quantum group B_{q,lambda}(A_2^(2)). The construction is based on the elliptic analogue of the Drinfeld currents of U_q(A_2^(2)), which forms the elliptic algebra U_{q,p}(A_2^(2)). We give a realization of the elliptic currents E(z), F(z) and K(z) as a tensor product of the Drinfeld currents of U_q… ▽ More We construct a realization of the L-operator satisfying the RLL-relation of the face type elliptic quantum group B_{q,lambda}(A_2^(2)). The construction is based on the elliptic analogue of the Drinfeld currents of U_q(A_2^(2)), which forms the elliptic algebra U_{q,p}(A_2^(2)). We give a realization of the elliptic currents E(z), F(z) and K(z) as a tensor product of the Drinfeld currents of U_q(A_2^(2)) and a Heisenberg algebra. In the level-one representation, we also give a free field realization of the elliptic currents. Applying these results, we derive a free field realization of the U_{q,p}(A_2^(2))-analogue of the B_{q,lambda}(A_2^(2)) -intertwining operators. The resultant operators coincide with those of the vertex operators in the dilute A_L model, which is known to be a RSOS restriction of the A_2^(2) face model. △ Less

Submitted 7 January, 2004; originally announced January 2004.

Comments: 40 pages

MSC Class: 17B37; 81R50; 82B23

The Elliptic Algebra U_{q,p}(sl_N^) and the Deformation of W_N Algebra

Authors: Takeo Kojima, Hitoshi Konno

Abstract: After reviewing the recent results on the Drinfeld realization of the face type elliptic quantum group B_{q,lambda}(sl_N^) by the elliptic algebra U_{q,p}(sl_N^), we investigate a fusion of the vertex operators of U_{q,p}(sl_N^). The basic generating functions Λ_j(z) (j=1,2,.. N-1) of the deformed W_N algebra are derived explicitly. After reviewing the recent results on the Drinfeld realization of the face type elliptic quantum group B_{q,lambda}(sl_N^) by the elliptic algebra U_{q,p}(sl_N^), we investigate a fusion of the vertex operators of U_{q,p}(sl_N^). The basic generating functions Λ_j(z) (j=1,2,.. N-1) of the deformed W_N algebra are derived explicitly. △ Less

Submitted 17 July, 2003; originally announced July 2003.

Comments: 15 pages, to appear in Journal of physics A special issue - RAQIS03

The elliptic algebra U_{q,p}(\hat{sl}_N) and the Drinfeld realization of the elliptic quantum group B_{q,λ}(\hat{sl}_N)

Authors: Takeo Kojima, Hitoshi Konno

Abstract: By using the elliptic analogue of the Drinfeld currents in the elliptic algebra U_{q,p}(\hat{sl}_N), we construct a L-operator, which satisfies the RLL-relations characterizing the face type elliptic quantum group B_{q,λ}(\hat{sl}_N). For this purpose, we introduce a set of new currents K_j(v) (1\leq j\leq N) in U_{q,p}(\hat{sl}_N). As in the N=2 case, we find a structure of U_{q,p}(\hat{sl}_N)… ▽ More By using the elliptic analogue of the Drinfeld currents in the elliptic algebra U_{q,p}(\hat{sl}_N), we construct a L-operator, which satisfies the RLL-relations characterizing the face type elliptic quantum group B_{q,λ}(\hat{sl}_N). For this purpose, we introduce a set of new currents K_j(v) (1\leq j\leq N) in U_{q,p}(\hat{sl}_N). As in the N=2 case, we find a structure of U_{q,p}(\hat{sl}_N) as a certain tensor product of B_{q,λ}(\hat{sl}_N) and a Heisenberg algebra. In the level-one representation, we give a free field realization of the currents in U_{q,p}(\hat{sl}_N). Using the coalgebra structure of B_{q,λ}(\hat{sl}_N) and the above tensor structure, we derive a free field realization of the U_{q,p}(\hat{sl}_N)-analogue of B_{q,λ}(\hat{sl}_N)-intertwining operators. The resultant operators coincide with those of the vertex operators in the A_{N-1}^{(1)}-type face model. △ Less

Submitted 24 October, 2002; originally announced October 2002.

Comments: 47 pages, Latex, No figures

MSC Class: 17B37; 81R50; 82B23

Journal ref: Commun.Math.Phys. 239 (2003) 405-447

On Lepowsky-Wilson's Z-algebra

Authors: Y. Hara, M. Jimbo, H. Konno, S. Odake, J. Shiraishi

Abstract: We show that the deformed Virasoro algebra specializes in a certain limit to Lepowsky-Wilson's Z-algebra. This leads to a free field realization of the affine Lie algebra \hat{sl_2} which respects the principal gradation. We discuss some features of this bosonization including the screening current and vertex operators. We show that the deformed Virasoro algebra specializes in a certain limit to Lepowsky-Wilson's Z-algebra. This leads to a free field realization of the affine Lie algebra \hat{sl_2} which respects the principal gradation. We discuss some features of this bosonization including the screening current and vertex operators. △ Less

Submitted 22 May, 2000; originally announced May 2000.

Comments: 8 pages

Journal ref: Recent Developments in Infinite-Diminsional Lie Algebras and Conformal Field Theory, Proceedings of the Conference on Infinite-dimensional Lie Theory, Contemporary Mathematics 297, AMS, Providence, 2002.