Fiber Product of Kuranishi Structures

Kenji Fukaya,Yong─Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1007/978-981-15-5562-6_4

2020-01-01

Abstract:Before studying fiber products we consider direct products. Let Xi, i = 1, 2 be separable metrizable spaces, Zi ⊆ Xi compact subsets, and $\widehat {\mathcal U}_i$ Kuranishi structures of Zi ⊆ Xi.

What problem does this paper attempt to address?

From Good Coordinate Systems to Kuranishi Structures and Back with CF-Perturbations

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1007/978-981-15-5562-6_9

2020-01-01

Abstract:As we explained at the end of Chap. 4, it is more canonical to define the notion of fiber products of spaces with Kuranishi structure than to define that of fiber products of spaces with a good coordinate system. On the other hand, in Chap. 7, we gave the definition of CF-perturbation and of the pushout of differential forms via good coordinate systems. In this chapter, we describe how we go from a good coordinate system to a Kuranishi structure and back together with CF-perturbations on them, and prove in Theorem 9.14 that we can define the pushout via the Kuranishi structure itself in such a way that the outcome is independent of the auxiliary choice of good coordinate system.
Admissible Kuranishi Structures

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1007/978-981-15-5562-6_25

2020-01-01

Abstract:In this chapter we introduce the notion of an admissible Kuranishi structure. For this purpose we introduce the notion of an admissible orbifold, an admissible vector bundle, and various admissible objects associated to them, like an admissible section, and provide their fundamental properties.
Structure of the Kuranishi Spaces of pairs of Kähler manifolds and Polystable Higgs bundles

Takashi Ono

2023-10-13

Abstract:Let $X$ be a compact Kähler manifold and $(E,\overline\partial_E,\theta)$ be a Higgs bundle over it. We study the structure of the Kuranishi space for the pair $(X, E,\theta)$ when the Higgs bundle admits a harmonic metric or equivalently when the Higgs bundle is polystable and the Chern classes are 0. Under such assumptions, we show that the Kuranishi space of the pair $(X,E,\theta)$ is isomorphic to the direct product of the Kuranishi space of $(E,\theta)$ and the Kuranishi space of $X$. Moreover, when $X$ is a Riemann surface and $(E,\overline\partial_E,\theta)$ is stable and the degree is 0, we show that the deformation of the pair $(X,E,\theta)$ is unobstructed and calculate the dimension of the Kuranishi space.

Algebraic Geometry,Differential Geometry
On General fiber product rings, Poincaré series and their structure

T. H. Freitas,J. A. Lima

2024-06-28

Abstract:The present paper deals with the investigation of the structure of general fiber product rings $R\times_TS$, where $R$, $S$ and $T$ are local rings with common residue field. We show that the Poincaré series of any $R$-module over the fiber product ring $R\times_TS$ is bounded by a rational function. In addition, we give a description of ${\rm depth}(R\times_TS)$, which is an open problem in this theory. As a biproduct, using the characterization of the Betti numbers over $R\times_TS$ obtained, we provide certain cases of the Cohen-Macaulayness of $R\times_TS$ and, in particular, we show that $R\times_TS$ is always non-regular. Some positive answers for the Buchsbaum-Eisenbud-Horrocks and Total rank conjectures over $R\times_TS$ are also established.

Commutative Algebra
The Condensed Fiber Product and Zesting

Colleen Delaney,César Galindo,Julia Plavnik,Eric C. Rowell,Qing Zhang

2024-10-12

Abstract:We introduce the condensed fiber product of two $G$-crossed braided fusion categories, generalizing existing constructions in the literature. We show that this product is closely related to the cohomological construction known as zesting. Furthermore, the condensed fiber product defines a monoidal structure on the 2-category of $G$-crossed and braided extensions of braided categories with a fixed transparent symmetric pointed subcategory.

Quantum Algebra
Technical details on Kuranishi structure and virtual fundamental chain

kenji fukaya,yonggeun oh,hiroshi ohta,kaoru ono

2012-01-01

Abstract: This is an expository article on the theory of Kuranishi structure and is based on a series of pdf files we uploaded for the discussion of the google group named `Kuranishi' (with its administrator H. Hofer). There we replied to several questions concerning Kuranishi structure raised by K. Wehrheim. At this stage we submit this article to the e-print arXiv, all the questions or objections asked in that google group were answered, supplemented or confuted by us. We first discuss the abstract theory of Kuranishi structure and virtual fundamental chain/cycle. This part can be read independently from other parts. We then describe the construction of Kuranishi structure on the moduli space of pseudoholomorphic curves, including the complete analytic detail of the gluing construction as well as the smoothness of the resulting Kuranishi structure. The case of S^1 equivariant Kuranishi structure which appears in the study of time independent Hamiltonian and the moduli space of Floer's equation is included.
Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

2024-02-15

Abstract:This is the second of a series of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks. Using the notion of obstruction bundle data introduced in [FOOO8], we give a systematic way of constructing a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks which are compatible at the boundary and corners. More specifically, it defines a tree like K-system in the sense of [FOOO6, Definition 21.9]. The method given in this paper does not only simplify the description of the constructions in the earlier literature, but also is designed to provide a systematic utility tool for the construction of a system of Kuranishi structures in the future research. We also establish its uniqueness.

Symplectic Geometry
Some Kähler Structures on Products of 2-Spheres

Jean-Francois Lafont,Gangotryi Sorcar,Fangyang Zheng

DOI: https://doi.org/10.4171/lem/64-1/2-5

2019-01-01

L’Enseignement Mathématique

Abstract:We consider a family of K\"ahler structures on products of 2-spheres, arising from complex Bott manifolds. These are obtained via iterated $\mathbb P^1$-bundle constructions, generalizing the classical Hirzebruch surfaces. We show that the resulting K\"ahler structures all have identical Chern classes. We construct Bott diagrams, which are rooted forests with an edge labelling by positive integers, and show that these classify these K\"ahler structures up to biholomorphism.
Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.48550/arXiv.1710.01459

2021-03-22

Abstract:This is the first of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks, using the exponential decay estimate given in [FOOO7]. This article completes the construction of a Kuranishi structure of a single moduli space. This article is an improved version of [FOOO4, Part 4] and its mathematical content is taken from our earlier writing [FOn,FOOO2,FOOO4,FOOO7]. The version 2 contains a correction of typological errors in the statement of Lemma 10.11 and the statement of Proposition 10.4. The proof of them are not changed. (Note these places were written in the same way as version 1 in the version published in Surveys in Differential Geometry.)

Symplectic Geometry,Differential Geometry
Kuranishi structure, Pseudo-holomorphic curve, and Virtual fundamental chain: Part 1

kenji fukaya,yonggeun oh,hiroshi ohta,kaoru ono

2015-01-01

Abstract: This is the first part of the article we promised at the end of [FOOO13, Section 1]. We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version appeared in [FOn] and also in [FOOO4, Section A1, Section 7.5], [FOOO7, Section 12], [Fu2]. In Part 1, we focus on the construction of the virtual fundamental chain on a single space with Kuranishi structure. We mainly discuss the de Rham version and so work over $\mathbb R$-coefficients, but we also include a self-contained account of the way how to work over $\mathbb Q$-coefficients in case the dimension of the space with Kuranishi structure is $\le 1$. Part 1 of this document is independent of our earlier writing [FOOO13]. We also do not assume the reader have any knowledge on the pseudo-holomorphic curve, in Part 1. Part 2 (resp. Part 3), which will appear in the near future, discusses the case of a system of Kuranishi structures and its simultaneous perturbations (resp. the way to implement the abstract story in the study of moduli spaces of pseudo-holomorphic curves).
Kuranishi structure, Pseudo-holomorphic curve, and virtual fundamental chain: Part 2

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

2017-01-01

Abstract:This article is the second part of the article we promised to write at the end of Section 1 of [FOOO15] (arXiv:1209.4410). (Part I appeared in [Part I] (arXiv:1503.07631).) We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version that appeared in [FOn] and also in Section A1, Section 7.5 [FOOO4], Section 12 [FOOO7], [Fu2]. This article is independent of our earlier writing [FOOO15]. We also do not assume that the readers have any knowledge on the pseudo-holomorphic curve. In this second part, we consider a system of spaces with Kuranishi structures (abbreviated as a K-system) and its simultaneous perturbations.
On products of K-moduli spaces

Thedoros S. Papazachariou

2024-05-14

Abstract:We study the K-moduli space of products of Fano varieties in relation to the product of K-moduli spaces of the product components. We show that there exists a well-defined morphism from the product of K-moduli stacks of Fano varieties to the K-moduli stack of their product. Furthermore, we show that this morphism is an isomorphism if any two varieties with different irreducible components are non-isomorphic, and a torsor if they are. Our results rely on the theory of stacks and previous work by Zhuang.

Algebraic Geometry
Deformation of product of complex Fano manifolds

Qifeng Li

DOI: https://doi.org/10.48550/arXiv.1803.03883

2018-03-11

Abstract:Let X be a connected family of complex Fano manifolds. We show that if some fiber is the product of two manifolds of lower dimensions, then so is every fiber. Combining with previous work of Hwang and Mok, this implies immediately that if a fiber is (possibly reducible) Hermitian symmetric space of compact type, then all fibers are isomorphic to the same variety.

Algebraic Geometry
Cartan projections of fiber products and non‐quasi‐isometric embeddings

Konstantinos Tsouvalas

DOI: https://doi.org/10.1112/jlms.70004

2024-10-17

Journal of the London Mathematical Society

Abstract:Abstract Let be a finitely generated group and be a normal subgroup of . The fiber product of with respect to is the subgroup of the direct product . For every representation , where is a local field, we establish upper bounds for the norm of the Cartan projection of in terms of a fixed word length function on . As an application, we exhibit examples of finitely generated and finitely presented fiber products , where is linear and Gromov hyperbolic, such that does not admit linear representations that are quasi‐isometric embeddings.

mathematics
A Stringy Product on Twisted Orbifold K-theory

Alejandro Adem,Yongbin Ruan,Bin Zhang

2006-01-01

Abstract:In this paper we define an associative stringy product for the twisted orbifold K-theory of a compact, almost complex orbifold X. This product is defined on the twisted K-theory of the inertia orbifold of X, where the twisting gerbe is assumed to be in the image of the inverse transgression map.
Kuranishi homology and Kuranishi cohomology: a User's Guide

Dominic Joyce

DOI: https://doi.org/10.48550/arXiv.0710.5634

2008-10-22

Abstract:A Kuranishi space is a topological space with a Kuranishi structure, defined by Fukaya and Ono. Kuranishi structures occur naturally on moduli spaces of J-holomorphic curves in symplectic geometry. This paper is a brief introduction to the author's book <a class="link-https" data-arxiv-id="0707.3572" href="https://arxiv.org/abs/0707.3572">arXiv:0707.3572</a>. Let Y be an orbifold and R a Q-algebra. We define the Kuranishi homology KH_*(Y;R) of Y with coefficients in R. The chain complex KC_*(Y;R) defining KH_*(Y;R) is spanned over R by [X,f,G], for X a compact oriented Kuranishi space with corners, f : X --> Y smooth, and G "gauge-fixing data" which makes Aut(X,f,G) finite. Our main result is that KH_*(Y;R) is isomorphic to singular homology. We define a Poincare dual theory of Kuranishi cohomology KH^*(Y;R), isomorphic to compactly-supported cohomology, using a cochain complex KC^*(Y;R) spanned over R by [X,f,C], for X a compact Kuranishi space with corners, f : X --> Y a submersion, and C "co-gauge-fixing data". We also define simpler theories of Kuranishi bordism KB_*(Y;R) and Kuranishi cobordism KB^*(Y;R), for R a commutative ring. These are new topological invariants, and we show they are very large. These theories are powerful new tools in symplectic geometry. Defining virtual cycles and chains for moduli spaces of J-holomorphic curves is trivial in Kuranishi (co)homology. There is no need to perturb moduli spaces, and no problems with transversality. This gives major simplifications in Lagrangian Floer cohomology.

Symplectic Geometry,Differential Geometry,K-Theory and Homology
On Félix-Tanré rational models for polyhedral products

Katsuhiko Kuribayashi

2024-10-10

Abstract:The Félix-Tanré rational model for the polyhedral product of a fibre inclusion is considered. In particular, we investigate the rational model for the polyhedral product of a pair of Lie groups corresponding to arbitrary simplicial complex and the rational homotopy group of the polyhedral product. Furthermore, it is proved that for a partial quotient $N$ associated with a toric manifold $M$, the following conditions are equivalent: (i) $N=M$. (ii) The odd-degree rational cohomology of $N$ is trivial. (iii) The torus bundle map from $N$ to the Davis-Januszkiewicz space is formalizable.

Algebraic Topology
Products of manifolds with fibered corners

Chris Kottke,Frédéric Rochon

2023-06-23

Abstract:Manifolds with fibered corners arise as resolutions of stratified spaces, in many body compactifications of vector spaces, moduli spaces, and other settings. We define a category of fibered corners manifolds which has products and transverse fiber products, generalizing both the resolutions of products of stratified spaces and many body products, which are special cases. The product in the fibered corners category is a resolution of the cartesian product by blow-up which we call the 'ordered product'. This ordered product is a natural product for wedge (aka incomplete edge) metrics and quasi-fibered boundary metrics, a class which includes QAC and QALE metrics.

Differential Geometry

Fiber Product of Kuranishi Structures

From Good Coordinate Systems to Kuranishi Structures and Back with CF-Perturbations

Admissible Kuranishi Structures

Structure of the Kuranishi Spaces of pairs of Kähler manifolds and Polystable Higgs bundles

On General fiber product rings, Poincaré series and their structure

The Condensed Fiber Product and Zesting

Technical details on Kuranishi structure and virtual fundamental chain

Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II

Some Kähler Structures on Products of 2-Spheres

Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I

Kuranishi structure, Pseudo-holomorphic curve, and Virtual fundamental chain: Part 1

Kuranishi structure, Pseudo-holomorphic curve, and virtual fundamental chain: Part 2

On products of K-moduli spaces

Deformation of product of complex Fano manifolds

Cartan projections of fiber products and non‐quasi‐isometric embeddings

A Stringy Product on Twisted Orbifold K-theory

Kuranishi homology and Kuranishi cohomology: a User's Guide

On Félix-Tanré rational models for polyhedral products

Products of manifolds with fibered corners