Showing 1–14 of 14 results for author: Kuo, C

Tropical Lagrangian coamoebae and free resolutions

Authors: Christopher Kuo, Harold Williams

Abstract: We study the coamoebae of Lagrangian submanifolds of $(\mathbb{C}^\times)^n$, specifically how the combinatorics of their degenerations encodes the homological algebra of mirror coherent sheaves. Concretely, to a minimal free resolution $F^\bullet$ of a module $M$ over $\mathbb{C}[z_1^{\pm 1}, \dotsc, z_n^{\pm 1}]$ we associate a simplicial complex $T(F^\bullet) \subset T^n$. We call… ▽ More We study the coamoebae of Lagrangian submanifolds of $(\mathbb{C}^\times)^n$, specifically how the combinatorics of their degenerations encodes the homological algebra of mirror coherent sheaves. Concretely, to a minimal free resolution $F^\bullet$ of a module $M$ over $\mathbb{C}[z_1^{\pm 1}, \dotsc, z_n^{\pm 1}]$ we associate a simplicial complex $T(F^\bullet) \subset T^n$. We call $T(F^\bullet)$ a tropical Lagrangian coamoeba. We show that the discrete information in $F^\bullet$ can often be recovered from $T(F^\bullet)$, and that more generally $M$ is mirror to a certain constructible sheaf supported on $T(F^\bullet)$. The resulting interplay between coherent sheaves on $(\mathbb{C}^\times)^n$ and simplicial complexes in $T^n$ provides a higher-dimensional generalization of the spectral theory of dimer models in $T^2$, as well as a symplectic counterpart to the theory of brane brick models. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 43 pages

Relative Calabi-Yau structure on microlocalization

Authors: Christopher Kuo, Wenyuan Li

Abstract: For an oriented manifold $M$ and a compact subanalytic Legendrian $Λ\subseteq S^*M$, we construct a canonical strong smooth relative Calabi--Yau structure on the microlocalization at infinity and its left adjoint $m_Λ^l: \operatorname{μsh}_Λ(Λ) \rightleftharpoons \operatorname{Sh}_Λ(M)_0 : m_Λ$ between compactly supported sheaves on $M$ with singular support on $Λ$ and microsheaves on $Λ$. We also… ▽ More For an oriented manifold $M$ and a compact subanalytic Legendrian $Λ\subseteq S^*M$, we construct a canonical strong smooth relative Calabi--Yau structure on the microlocalization at infinity and its left adjoint $m_Λ^l: \operatorname{μsh}_Λ(Λ) \rightleftharpoons \operatorname{Sh}_Λ(M)_0 : m_Λ$ between compactly supported sheaves on $M$ with singular support on $Λ$ and microsheaves on $Λ$. We also construct a canonical strong Calabi-Yau structure on microsheaves $\operatorname{μsh}_Λ(Λ)$. Our approach does not require local properness and hence does not depend on arborealization. We thus obtain a canonical smooth relative Calabi-Yau structure on the Orlov functor for wrapped Fukaya categories of cotangent bundles with Weinstein stops, such that the wrap-once functor is the inverse dualizing bimodule. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Comments: 50 pages, 1 figure. Comments are welcome!

The microlocal Riemann-Hilbert correspondence for complex contact manifolds

Authors: Laurent Côté, Christopher Kuo, David Nadler, Vivek Shende

Abstract: Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence. Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence. △ Less

Submitted 13 April, 2025; v1 submitted 23 June, 2024; originally announced June 2024.

Comments: 67 pages

Duality and kernels in microlocal geometry

Authors: Christopher Kuo, Wenyuan Li

Abstract: We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_Λ(M)$ and microsheaves with isotropic supports $\operatorname{μsh}_Λ(Λ)$ and obtain a classification result of colimit-preserving functors by convolutions of sheaf kernels. Moreover, for sheaves with isotropic singular supports and compact supports $\operatorname{Sh}_Λ^b(M)_0$, the standard categ… ▽ More We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_Λ(M)$ and microsheaves with isotropic supports $\operatorname{μsh}_Λ(Λ)$ and obtain a classification result of colimit-preserving functors by convolutions of sheaf kernels. Moreover, for sheaves with isotropic singular supports and compact supports $\operatorname{Sh}_Λ^b(M)_0$, the standard categorical duality and Verdier duality are related by the wrap-once functor, which is the inverse Serre functor in proper objects, and we thus show that the Verdier duality extends naturally to all compact objects $\operatorname{Sh}_Λ^c(M)_0$ when the wrap-once functor is an equivalence, for instance, when $Λ$ is a full Legendrian stop or a swappable Legendrian stop. △ Less

Submitted 3 April, 2025; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: 33 pages, 3 figures. This article extends certain results from arXiv:2210.06643, which no longer includes them since v4. v3: Sec 1 the discussion of miraculous duality is modified, Thm 1.8 is removed and Cor 1.8 on the relation to toric mirror symmetry is added; Sec 2.1 & 2.3 the part regarding microsheaves is modified; Sec 4.3 the relation between duality and wrapping is added. Published in IMRN

MSC Class: 53Dxx (Primary) 55N30 (Secondary)

On the Hochschild cohomology of Tamarkin categories

Authors: Christopher Kuo, Vivek Shende, Bingyu Zhang

Abstract: To any open subset of a cotangent bundle, Tamarkin has associated a certain quotient of a category of sheaves. Here we show that the Hochschild cohomology of this category agrees with filtered symplectic cohomology. To any open subset of a cotangent bundle, Tamarkin has associated a certain quotient of a category of sheaves. Here we show that the Hochschild cohomology of this category agrees with filtered symplectic cohomology. △ Less

Submitted 17 February, 2025; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 48 pages. v3: More details added

$L_1$ approach to the compressible viscous fluid flows in the half-space

Authors: Jou Chun Kuo, Yoshihiro Shibata

Abstract: In this paper, we proved the local well-posedness for the Navier-Stokes equtions describing the motion of isotropic barotoropic compressible viscous fluid flow with non-slip boundary conditions, wehre the fluid domain is the half-space in the $N$-dimensional Euclidean space. The density part of solutions and their time derivative belong to $L_1$ in time with some Besov spaces in space and also the… ▽ More In this paper, we proved the local well-posedness for the Navier-Stokes equtions describing the motion of isotropic barotoropic compressible viscous fluid flow with non-slip boundary conditions, wehre the fluid domain is the half-space in the $N$-dimensional Euclidean space. The density part of solutions and their time derivative belong to $L_1$ in time with some Besov spaces in space and also the velosity parts and their time derivative belong to $L_1$ in time with some Besov spaces in space. We use Lagrange transformation to eliminate the covection term and we use an analytic semgroup approach. Our Stokes semigroup is not only a continuous analytic semigroup but also has an $L_1$ in times maximal regularity with some Besov spaces in space. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Comments: $L_1$ maximal regularity theory in the study of the compressible Navier-Stokes equations was first obtained by Danchin and Tolksdolf. Their argument is an extension of Da Prato and Grisvard theory and they assumed that the fluid domain is bounded. We use some real interpolation arguments and we do not need any boundedness assumption of domains. arXiv admin note: substantial text overlap with arXiv:2311.12331

$L_1$ approach to the compressible viscous fluid flows in the half-space

Authors: Jou chun Kuo, Yoshihiro Shibata

Abstract: In this paper, we prove the local well-posedness for the Navier-Stokes equations describing the motion of isotropic barotoropic compressible viscous fluid flow with non-slip boundary conditions, where the fluid domain is the $N$ dimensional half-sapce. We solve the equations in the $L_1$ in time and Besov spaces $B^s_{q,1}$ in space maximal regularity framework. Here, we assume that… ▽ More In this paper, we prove the local well-posedness for the Navier-Stokes equations describing the motion of isotropic barotoropic compressible viscous fluid flow with non-slip boundary conditions, where the fluid domain is the $N$ dimensional half-sapce. We solve the equations in the $L_1$ in time and Besov spaces $B^s_{q,1}$ in space maximal regularity framework. Here, we assume that $-1+N/q \leq s < 1/q$ and $N-1 < q < 2N$. We use Lagrange transformation to eliminate the convection term and we use an analytic semigroup approach. We only assume the strictly positiveness of initial mass density. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: This paper treats the $L_1$ maximal regularity for the compressible Stokes equations in the half space with Dirichlet zero condition and the local well-posedness of the compressible Navier-Stokes equations in the half space in the $L_1$ in time framework

Spherical adjunction and Serre functor from microlocalization

Authors: Christopher Kuo, Wenyuan Li

Abstract: For a subanalytic Legendrian $Λ\subseteq S^{*}M$, we prove that when $Λ$ is either swappable or a full Legendrian stop, the microlocalization at infinity $m_Λ: \operatorname{Sh}_Λ(M) \rightarrow \operatorname{μsh}_Λ(Λ)$ is a spherical functor, and the spherical cotwist is the Serre functor on the subcategory $\operatorname{Sh}_Λ^b(M)_0$ of compactly supported sheaves with perfect stalks. This is a… ▽ More For a subanalytic Legendrian $Λ\subseteq S^{*}M$, we prove that when $Λ$ is either swappable or a full Legendrian stop, the microlocalization at infinity $m_Λ: \operatorname{Sh}_Λ(M) \rightarrow \operatorname{μsh}_Λ(Λ)$ is a spherical functor, and the spherical cotwist is the Serre functor on the subcategory $\operatorname{Sh}_Λ^b(M)_0$ of compactly supported sheaves with perfect stalks. This is a sheaf theory counterpart (with weaker assumptions) of the results on the cap functor and cup functors between Fukaya categories. When proving spherical adjunction, we deduce the Sato-Sabloff fiber sequence and construct the Guillermou doubling functor for any Reeb flow. △ Less

Submitted 23 May, 2024; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 62 pages, 7 figures. v2: A new discussion around Prop 4.17. v3: Sec 4 reorganized, which now contains two different approaches to doubling. Previous Sec 4.4-4.5 are moved to 4.3, previous Sec 4.3 is moved to 4.4 and a new Sec 4.5 is added. Previous Sec 4.4.1 and 6.2.1 are removed. v4: Sec 7 (duality and Fourier-Mukai transform) is removed, and Sec 4.6 (relative doubling) is added

Perverse Microsheaves

Authors: Laurent Côté, Christopher Kuo, David Nadler, Vivek Shende

Abstract: On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure. On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure. △ Less

Submitted 29 October, 2024; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 26 pages

The momentum amplituhedron of SYM and ABJM from twistor-string maps

Authors: Song He, Chia-Kai Kuo, Yao-Qi Zhang

Abstract: We study remarkable connections between twistor-string formulas for tree amplitudes in ${\cal N}=4$ SYM and ${\cal N}=6$ ABJM, and the corresponding momentum amplituhedron in the kinematic space of $D=4$ and $D=3$, respectively. Based on the Veronese map to positive Grassmannians, we define a twistor-string map from $G_{+}(2,n)$ to a $(2n{-}4)$-dimensional subspace of the 4d kinematic space where… ▽ More We study remarkable connections between twistor-string formulas for tree amplitudes in ${\cal N}=4$ SYM and ${\cal N}=6$ ABJM, and the corresponding momentum amplituhedron in the kinematic space of $D=4$ and $D=3$, respectively. Based on the Veronese map to positive Grassmannians, we define a twistor-string map from $G_{+}(2,n)$ to a $(2n{-}4)$-dimensional subspace of the 4d kinematic space where the momentum amplituhedron of SYM lives. We provide strong evidence that the twistor-string map is a diffeomorphism from $G_+(2,n)$ to the interior of momentum amplituhedron; the canonical form of the latter, which is known to give tree amplitudes of SYM, can be obtained as pushforward of that of former. We then move to three dimensions: based on Veronese map to orthogonal positive Grassmannian, we propose a similar twistor-string map from the moduli space ${\cal M}_{0,n}^+$ to a $(n{-}3)$-dimensional subspace of 3d kinematic space. The image gives a new positive geometry which conjecturally serves as the momentum amplituhedron for ABJM; its canonical form gives the tree amplitude with reduced supersymmetries in the theory. We also show how boundaries of compactified ${\cal M}_{0,n}^+$ map to boundaries of momentum amplituhedra for SYM and ABJM corresponding to factorization channels of amplitudes, and in particular for ABJM case the map beautifully excludes all unwanted channels. △ Less

Submitted 28 April, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: typos corrected, JHEP published version

Wrapped sheaves

Authors: Christopher Kuo

Abstract: We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $Λ\subset S^*M$ along continuation maps constructed using the Guillermou-Kashiwara-Schapira sheaf quantization. When $Λ$ is a subanalytic singular isotropic, we also construct a comparison map to the category of compact objects… ▽ More We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $Λ\subset S^*M$ along continuation maps constructed using the Guillermou-Kashiwara-Schapira sheaf quantization. When $Λ$ is a subanalytic singular isotropic, we also construct a comparison map to the category of compact objects in the category of unbounded sheaves microsupported in $Λ$, and show that it is an equivalence. The last statement can be seen as a sheaf theoretical incarnation of the sheaf-Fukaya comparison theorem of Ganatra-Pardon-Shende. △ Less

Submitted 9 April, 2023; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: 65 pages, 6 figures. Published version. A new example, Example 2.52

MSC Class: primary; 18Fxx; 51Hxx; 53Dxx; 55N30

Journal ref: Advances in Mathematics 415 (2023): 108882

The Necessary And Sufficient Condition for Generalized Demixing

Authors: Chun-Yen Kuo, Gang-Xuan Lin, Chun-Shien Lu

Abstract: Demixing is the problem of identifying multiple structured signals from a superimposed observation. This work analyzes a general framework, based on convex optimization, for solving demixing problems. We present a new solution to determine whether or not a specific convex optimization problem built for generalized demixing is successful. This solution will also bring about the possibility to estim… ▽ More Demixing is the problem of identifying multiple structured signals from a superimposed observation. This work analyzes a general framework, based on convex optimization, for solving demixing problems. We present a new solution to determine whether or not a specific convex optimization problem built for generalized demixing is successful. This solution will also bring about the possibility to estimate the probability of success by the approximate kinematic formula. △ Less

Submitted 28 March, 2015; originally announced March 2015.

Recovering Missing Coefficients in DCT-Transformed Images

Authors: Shujun Li, Andreas Karrenbauer, Dietmar Saupe, C. -C. Jay Kuo

Abstract: A general method for recovering missing DCT coefficients in DCT-transformed images is presented in this work. We model the DCT coefficients recovery problem as an optimization problem and recover all missing DCT coefficients via linear programming. The visual quality of the recovered image gradually decreases as the number of missing DCT coefficients increases. For some images, the quality is surp… ▽ More A general method for recovering missing DCT coefficients in DCT-transformed images is presented in this work. We model the DCT coefficients recovery problem as an optimization problem and recover all missing DCT coefficients via linear programming. The visual quality of the recovered image gradually decreases as the number of missing DCT coefficients increases. For some images, the quality is surprisingly good even when more than 10 most significant DCT coefficients are missing. When only the DC coefficient is missing, the proposed algorithm outperforms existing methods according to experimental results conducted on 200 test images. The proposed recovery method can be used for cryptanalysis of DCT based selective encryption schemes and other applications. △ Less

Submitted 7 September, 2012; originally announced September 2012.

Comments: 4 pages, 4 figures

Journal ref: Proceedings of 2011 18th IEEE International Conference on Image Processing (ICIP 2011), pages 1537-1540, IEEE, 2011

Enriched Riemann Sphere, Morse Stability and Equi-singularity in $\mathcal{O}_2$

Authors: T. C. Kuo, L. Paunescu

Abstract: The \textit{Enriched Riemann Sphere} $\C P_*^1$ is $\C P^1$ plus a set of \textit{infinitesimals}, having the Newton-Puiseux field $\F$ as coordinates. Complex Analysis is extended to the $\F$-\textit{Analysis} (\textit{Newton-Puiseux Analysis}). The classical \textit{Morse Stability Theorem} is also extended; the \textit{stability idea} is used to formulate an \textit{equi-singular deformation… ▽ More The \textit{Enriched Riemann Sphere} $\C P_*^1$ is $\C P^1$ plus a set of \textit{infinitesimals}, having the Newton-Puiseux field $\F$ as coordinates. Complex Analysis is extended to the $\F$-\textit{Analysis} (\textit{Newton-Puiseux Analysis}). The classical \textit{Morse Stability Theorem} is also extended; the \textit{stability idea} is used to formulate an \textit{equi-singular deformation theorem} in $\C\{x,y\}(=\mathcal{O}_2)$. △ Less

Submitted 1 July, 2009; originally announced July 2009.

Comments: 29 pages, 4 figures

MSC Class: 14HXX; 32SXX; 58K60; 58K40