Showing 1–39 of 39 results for author: Loe, J

Higher rank DT/PT wall-crossing in Bridgeland stability

Authors: Marcos Jardim, Jason Lo, Antony Maciocia, Cristian Martinez

Abstract: We prove that the Gieseker moduli space of stable sheaves on a smooth projective threefold $X$ of Picard rank 1 is separated from the moduli space of PT stable objects by a single wall in the space of Bridgeland stability conditions on $X$, thus realizing the higher rank DT/PT correspondence as a wall-crossing phenomenon in the space of Bridgeland stability conditions. In addition, we also show th… ▽ More We prove that the Gieseker moduli space of stable sheaves on a smooth projective threefold $X$ of Picard rank 1 is separated from the moduli space of PT stable objects by a single wall in the space of Bridgeland stability conditions on $X$, thus realizing the higher rank DT/PT correspondence as a wall-crossing phenomenon in the space of Bridgeland stability conditions. In addition, we also show that only finitely many walls pass through the upper $(β,α)$-plane parametrizing geometric Bridgeland stability conditions on $X$ which destabilize Gieseker stable sheaves, PT stable objects or their duals when $α>α_0$. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Comments: 65 pages, 2 figures

MSC Class: 14F05; 14J30

Bridgeland/Weak Stability Conditions under Spherical Twist Associated to A Torsion Sheaf

Authors: Tristan C. Collins, Jason Lo, Yun Shi, Shing-Tung Yau

Abstract: In this paper, we study the action of an autoequivalence, the spherical twist associated to a torsion sheaf, on the standard Bridgeland stability conditions and a generalized weak stability condition on the derived category of a K3 surface. As a special case, we construct a Bridgeland stability condition associated to a non-nef divisor, which conjecturally lies in the geometric component but outsi… ▽ More In this paper, we study the action of an autoequivalence, the spherical twist associated to a torsion sheaf, on the standard Bridgeland stability conditions and a generalized weak stability condition on the derived category of a K3 surface. As a special case, we construct a Bridgeland stability condition associated to a non-nef divisor, which conjecturally lies in the geometric component but outside the geometric chamber. We also discuss the destabilizing objects and stability of certain line bundles at the weak stability condition associated to a nef divisor. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Weak Stability Conditions as Limits of Bridgeland Stability Conditions

Authors: Tristan C. Colllins, Jason Lo, Yun Shi, Shing-Tung Yau

Abstract: In this paper, we give a definition of weak stability condition on a triangulated category. The difference between our definition and existing definitions is that we allow objects in the kernel to have non-maximal phases. We then construct four types of weak stability conditions that naturally occur on Weierstrass ellitpic surfaces as limites of Bridgeland stability conditions. In this paper, we give a definition of weak stability condition on a triangulated category. The difference between our definition and existing definitions is that we allow objects in the kernel to have non-maximal phases. We then construct four types of weak stability conditions that naturally occur on Weierstrass ellitpic surfaces as limites of Bridgeland stability conditions. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: The preprint arXiv:2306.05620v1 has been divided into two papers; this is Part 1 of arXiv:2306.05620v1

Quantifying analogy of concepts via ologs and wiring diagrams

Authors: Jason Lo

Abstract: We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can also be interpreted as readings of sensors in an autonomous system. As such, wiring diagrams can be used as a framework for an autonomous system to form abstract… ▽ More We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can also be interpreted as readings of sensors in an autonomous system. As such, wiring diagrams can be used as a framework for an autonomous system to form abstract concepts. We show that the graphs underlying skeleton wiring diagrams form a category. This allows skeleton wiring diagrams to be compared and manipulated using techniques from both graph theory and category theory. We also extend the usual definition of graph edit distance to the case of wiring diagrams by using operations only available to wiring diagrams, leading to a metric on the set of all skeleton wiring diagrams. In the end, we give an extended example on calculating the distance between two concepts represented by wiring diagrams, and explain how to apply our framework to any application domain. △ Less

Submitted 30 June, 2025; v1 submitted 1 February, 2024; originally announced February 2024.

Comments: 30 pages. Minor updates to Section 5

MSC Class: 68T30 (Primary) 68T20; 68P05; 68T40 (Secondary) ACM Class: I.2.4; I.2.8

Stability for Line Bundles and Deformed Hermitian-Yang-Mills Equation on Some Elliptic Surfaces

Authors: Tristan C. Collins, Jason Lo, Yun Shi, Shing-Tung Yau

Abstract: We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $ω$ an ample class such that $ω$ lies in the span of a section class and the fiber class, we show that for a class of line bundles $L$ with fiber degree 1 and… ▽ More We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $ω$ an ample class such that $ω$ lies in the span of a section class and the fiber class, we show that for a class of line bundles $L$ with fiber degree 1 and $ωc_1(L)>0$, the twisted ampleness of $L$ respect to $ω$, always implies the $σ_{ω, 0}$-stability (Bridgeland stability) of $L$. This answers a question by Collins and Yau for a class of examples. △ Less

Submitted 20 September, 2024; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: This is the second part of the original version

Hölder regularity of the $\bar\partial-$equation on the polydisc

Authors: Yu Jun Loo, Alexander Tumanov

Abstract: In this note, we show the existence of a solution operator to the $\bar\partial-$equation in the polydisc that preserves Hölder regularity. This solution operator is constructed using Henkin's formula. It is a well-known fact that solution operators to the $\bar\partial-$equation on product domains do not improve Hölder regularity. Hence, this solution operator is optimal in that regard. In this note, we show the existence of a solution operator to the $\bar\partial-$equation in the polydisc that preserves Hölder regularity. This solution operator is constructed using Henkin's formula. It is a well-known fact that solution operators to the $\bar\partial-$equation on product domains do not improve Hölder regularity. Hence, this solution operator is optimal in that regard. △ Less

Submitted 15 April, 2025; v1 submitted 11 January, 2023; originally announced January 2023.

Intersection numbers on fibrations and Catalan numbers

Authors: Rimma Hämäläinen, Jason Lo, Edward Morales

Abstract: On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers. On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 9 pages

MSC Class: 14J27; 14F08 (Primary) 05E14; 05A15 (Secondary)

Geometric stability conditions under autoequivalences and applications: Elliptic Surfaces

Authors: Jason Lo, Cristian Martinez

Abstract: On a Weierstrass elliptic surface, we describe the action of the relative Fourier-Mukai transform on the geometric chamber of $\mathrm{Stab}(X)$, and in the K3 case we also study the action on one of its boundary components. Using new estimates for the Gieseker chamber we prove that Gieseker stability for polarizations on certain Friedman chamber is preserved by the derived dual of the relative Fo… ▽ More On a Weierstrass elliptic surface, we describe the action of the relative Fourier-Mukai transform on the geometric chamber of $\mathrm{Stab}(X)$, and in the K3 case we also study the action on one of its boundary components. Using new estimates for the Gieseker chamber we prove that Gieseker stability for polarizations on certain Friedman chamber is preserved by the derived dual of the relative Fourier-Mukai transform. As an application of our description of the action, we also prove projectivity for some moduli spaces of Bridgeland semistable objects. △ Less

Submitted 3 October, 2022; originally announced October 2022.

Comments: 32 pages, comments welcome!

MSC Class: Primary 14D20; 14J27; Secondary: 14F08

Optimal Hölder Regularity of Solution Operator to the $\bar\partial$-equation on Product Domains

Authors: Yu Jun Loo

Abstract: This note seeks to prove the existence of a canonical solution operator to the $\bar\partial$-equation that preserves Hölder regularity on product domains. It is a well known fact that such solution operators do not in general gain Hölder regularity, and as such, our solution operator is optimal in this regard. This note seeks to prove the existence of a canonical solution operator to the $\bar\partial$-equation that preserves Hölder regularity on product domains. It is a well known fact that such solution operators do not in general gain Hölder regularity, and as such, our solution operator is optimal in this regard. △ Less

Submitted 24 April, 2022; v1 submitted 15 April, 2022; originally announced April 2022.

Comments: This paper has been withdrawn due to a gap in the main theorem

Stable pairs of 2-dimensional sheaves on 4-folds

Authors: Amin Gholampour, Yunfeng Jiang, Jason Lo

Abstract: We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving… ▽ More We identify Le Potier's moduli spaces of limit stable pairs $(F,s)$, where $F$ is a 2-dimensional sheaf on a nonsingular projective 4-fold $X$ and $s \in H^0(F)$, with the moduli spaces of polynomial stable 2-term complexes in derived category. These stable pairs are 2-dimensional analogs of Pandharipande-Thomas' stable pairs defined for 3-folds. We establish categorical correspondences involving these stable pairs, ideal sheaves of 2-dimensional subschemes of $X$, and 1-dimensional sheaves on $X$. Under some conditions on the Chern character, these lead to Hall algebra correspondences. The generalization of most of these results to higher ranks is also given. In case $X$ is Calabi-Yau, Oh-Thomas' construction gives a new set of invariants of $X$ counting these stable pairs. For certain Chern characters, these are related to the invariants of 2-dimensional stable sheaves. We calculate and study them in some cases and examples such as fibrations by abelian surfaces, local surfaces, and local Fano 3-folds. The last case in particular leads to new invariants of Fano 3-folds counting 2-dimensional stable pairs with reduced supports. △ Less

Submitted 15 November, 2021; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: Commented on Corollary 4.11 overlap with a result in an upcoming paper by Bae-Kool-Park

A Study of Mixed Precision Strategies for GMRES on GPUs

Authors: Jennifer A. Loe, Christian A. Glusa, Ichitaro Yamazaki, Erik G. Boman, Sivasankaran Rajamanickam

Abstract: Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for mixed precision stra… ▽ More Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for mixed precision strategies at the linear algebra algorithms level if we want to exploit the hardware to its full potential while meeting the accuracy requirements. In this paper, we focus on preconditioned sparse iterative linear solvers, a key kernel in several CSE applications. We present a study of mixed precision strategies for accelerating this kernel on an NVIDIA V$100$ GPU with a Power 9 CPU. We seek the best methods for incorporating multiple precisions into the GMRES linear solver; these include iterative refinement and parallelizable preconditioners. Our work presents strategies to determine when mixed precision GMRES will be effective and to choose parameters for a mixed precision iterative refinement solver to achieve better performance. We use an implementation that is based on the Trilinos library and employs Kokkos Kernels for performance portability of linear algebra kernels. Performance results demonstrate the promise of mixed precision approaches and demonstrate even further improvements are possible by optimizing low-level kernels. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2105.07544

Experimental Evaluation of Multiprecision Strategies for GMRES on GPUs

Authors: Jennifer A. Loe, Christian A. Glusa, Ichitaro Yamazaki, Erik G. Boman, Sivasankaran Rajamanickam

Abstract: Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for multiprecision strat… ▽ More Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for multiprecision strategies at the linear algebra algorithms level if we want to exploit the hardware to its full potential while meeting the accuracy requirements. In this paper, we focus on preconditioned sparse iterative linear solvers, a key kernel in several CSE applications. We present a study of multiprecision strategies for accelerating this kernel on GPUs. We seek the best methods for incorporating multiple precisions into the GMRES linear solver; these include iterative refinement and parallelizable preconditioners. Our work presents strategies to determine when multiprecision GMRES will be effective and to choose parameters for a multiprecision iterative refinement solver to achieve better performance. We use an implementation that is based on the Trilinos library and employs Kokkos Kernels for performance portability of linear algebra kernels. Performance results demonstrate the promise of multiprecision approaches and demonstrate even further improvements are possible by optimizing low-level kernels. △ Less

Submitted 16 May, 2021; originally announced May 2021.

Comments: Accepted for publication in the IEEE IPDPS Accelerators and Hybrid Emerging Systems (AsHES) 11th Workshop, 2021

A note on Bridgeland stability conditions and Catalan numbers

Authors: Jason Lo, Karissa Wong

Abstract: In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing u… ▽ More In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing us to use asymptotic estimates of Catalan numbers to arrive at a bound for the solution set. △ Less

Submitted 14 November, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Comments: 5 pages. The introduction has been expanded at the referee's suggestion. Other minor edits

MSC Class: 14J27; 14F07 (Primary) 05E14; 05A15 (Secondary)

Journal ref: Involve 15 (2022) 427-432

Low-Order Model of Biological Neural Networks

Authors: Huachuan Wang, James Ting-Ho Lo

Abstract: A biologically plausible low-order model (LOM) of biological neural networks is a recurrent hierarchical network of dendritic nodes/trees, spiking/nonspiking neurons, unsupervised/ supervised covariance/accumulative learning mechanisms, feedback connections, and a scheme for maximal generalization. These component models are motivated and necessitated by making LOM learn and retrieve easily withou… ▽ More A biologically plausible low-order model (LOM) of biological neural networks is a recurrent hierarchical network of dendritic nodes/trees, spiking/nonspiking neurons, unsupervised/ supervised covariance/accumulative learning mechanisms, feedback connections, and a scheme for maximal generalization. These component models are motivated and necessitated by making LOM learn and retrieve easily without differentiation, optimization, or iteration, and cluster, detect and recognize multiple/hierarchical corrupted, distorted, and occluded temporal and spatial patterns. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Weight functions, tilts, and stability conditions

Authors: Jason Lo

Abstract: In this article, we treat stability conditions in the sense of King, Bridgeland and Bayer in a single framework. Following King, we begin with weight functions on a triangulated category, and consider increasingly specialised configurations of triangulated categories, t-structures and stability functions that give equivalent categories of stable objects. Along the way, we recover existing results… ▽ More In this article, we treat stability conditions in the sense of King, Bridgeland and Bayer in a single framework. Following King, we begin with weight functions on a triangulated category, and consider increasingly specialised configurations of triangulated categories, t-structures and stability functions that give equivalent categories of stable objects. Along the way, we recover existing results in representation theory and algebraic geometry, and prove a series of new results on elliptic surfaces, including correspondence theorems for Bridgeland stability conditions and polynomial stability conditions, local finiteness and boundedness for mini-walls for Bridgeland stability conditions, isomorphisms between moduli of 1-dimensional twisted Gieseker semistable sheaves and 2-dimensional Bridgeland semistable objects, the preservation of geometric Bridgeland stability by autoequivalences on elliptic surfaces of nonzero Kodaira dimension, and solutions to Gepner equations on elliptic surfaces. △ Less

Submitted 16 March, 2021; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: 46 pages. Slight improvement of exposition; typos corrected. The notations and preliminaries borrow substantially from arXiv:1910.02477 [math.AG]

MSC Class: 14D20 (Primary) 14J27; 16G20 (Secondary)

A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic

Authors: Ahmad Abdelfattah, Hartwig Anzt, Erik G. Boman, Erin Carson, Terry Cojean, Jack Dongarra, Mark Gates, Thomas Grützmacher, Nicholas J. Higham, Sherry Li, Neil Lindquist, Yang Liu, Jennifer Loe, Piotr Luszczek, Pratik Nayak, Sri Pranesh, Siva Rajamanickam, Tobias Ribizel, Barry Smith, Kasia Swirydowicz, Stephen Thomas, Stanimire Tomov, Yaohung M. Tsai, Ichitaro Yamazaki, Urike Meier Yang

Abstract: Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more t… ▽ More Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more than an order of magnitude higher performance than what is available in IEEE double precision. At the same time, the gap between the compute power on the one hand and the memory bandwidth on the other hand keeps increasing, making data access and communication prohibitively expensive compared to arithmetic operations. To start the multiprecision focus effort, we survey the numerical linear algebra community and summarize all existing multiprecision knowledge, expertise, and software capabilities in this landscape analysis report. We also include current efforts and preliminary results that may not yet be considered "mature technology," but have the potential to grow into production quality within the multiprecision focus effort. As we expect the reader to be familiar with the basics of numerical linear algebra, we refrain from providing a detailed background on the algorithms themselves but focus on how mixed- and multiprecision technology can help improving the performance of these methods and present highlights of application significantly outperforming the traditional fixed precision methods. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: Technical report as a part of the Exascale computing project (ECP)

ACM Class: G.1.3; G.4

Toward Efficient Polynomial Preconditioning for GMRES

Authors: Jennifer A. Loe, Ronald B. Morgan

Abstract: We present a polynomial preconditioner for solving large systems of linear equations. The polynomial is derived from the minimum residual polynomial (the GMRES polynomial) and is more straightforward to compute and implement than many previous polynomial preconditioners. Our current implementation of this polynomial using its roots is naturally more stable than previous methods of computing the sa… ▽ More We present a polynomial preconditioner for solving large systems of linear equations. The polynomial is derived from the minimum residual polynomial (the GMRES polynomial) and is more straightforward to compute and implement than many previous polynomial preconditioners. Our current implementation of this polynomial using its roots is naturally more stable than previous methods of computing the same polynomial. We implement further stability control using added roots, and this allows for high degree polynomials. We discuss the effectiveness and challenges of root-adding and give an additional check for stability. In this paper, we study the polynomial preconditioner applied to GMRES; however it could be used with any Krylov solver. This polynomial preconditioning algorithm can dramatically improve convergence for some problems, especially for difficult problems, and can reduce dot products by an even greater margin. △ Less

Submitted 12 January, 2022; v1 submitted 16 November, 2019; originally announced November 2019.

Comments: Published online in Numerical Linear Algebra with Applications, December 2021

Fourier-Mukai transforms and stable sheaves on Weierstrass elliptic surfaces

Authors: Wanmin Liu, Jason Lo, Cristian Martinez

Abstract: On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted as $Z^l$-stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion-free sheaf is taken by a Fourier-Mukai transform to a $Z^l$-stable object, and describe a modif… ▽ More On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted as $Z^l$-stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion-free sheaf is taken by a Fourier-Mukai transform to a $Z^l$-stable object, and describe a modification upon which a $Z^l$-semistable object is taken by the inverse Fourier-Mukai transform to a slope semistable torsion-free sheaf. We also study wall-crossing for Bridgeland stability, and show that 1-dimensional twisted Gieseker semistable sheaves are taken by a Fourier-Mukai transform to Bridgeland semistable objects. △ Less

Submitted 10 February, 2021; v1 submitted 6 October, 2019; originally announced October 2019.

Comments: 45 pages. Exposition improved. This article significantly expands and supersedes arXiv:1710.04652. The notation and preliminaries also draw heavily from arXiv:1710.03771

MSC Class: 14J27 (Primary) 14J33; 14J60 (Secondary)

Polynomial Preconditioned GMRES to Reduce Communication in Parallel Computing

Authors: Jennifer A. Loe, Heidi K. Thornquist, Erik G. Boman

Abstract: Polynomial preconditioning with the GMRES minimal residual polynomial has the potential to greatly reduce orthogonalization costs, making it useful for communication reduction. We implement polynomial preconditioning in the Belos package from Trilinos and show how it can be effective in both serial and parallel implementations. We further show it is a communication-avoiding technique and is a viab… ▽ More Polynomial preconditioning with the GMRES minimal residual polynomial has the potential to greatly reduce orthogonalization costs, making it useful for communication reduction. We implement polynomial preconditioning in the Belos package from Trilinos and show how it can be effective in both serial and parallel implementations. We further show it is a communication-avoiding technique and is a viable option to CA-GMRES for large-scale parallel computing. △ Less

Submitted 26 October, 2019; v1 submitted 28 June, 2019; originally announced July 2019.

A relation between higher-rank PT stable objects and quotients of coherent sheaves

Authors: Jason Lo

Abstract: On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher… ▽ More On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series of topological Euler characteristics of two types of quot schemes. △ Less

Submitted 2 October, 2018; originally announced October 2018.

Comments: 19 pages

MSC Class: 14J30 (Primary) 14D23 (Secondary)

Journal ref: Kyoto J. Math. 61, no. 4 (2021), 815-842

A framework for torsion theory computations on elliptic threefolds

Authors: David Angeles, Jason Lo, Courtney van der Linden

Abstract: We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new results on torsion pairs in the category of coherent sheaves on an elliptic threefold. We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new results on torsion pairs in the category of coherent sheaves on an elliptic threefold. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 15 pages

MSC Class: 14F05 (Primary) 18E40; 14J30 (Secondary)

Journal ref: J. Aust. Math. Soc. 110 (2021) 175-193

Polynomial Preconditioned Arnoldi

Authors: Mark Embree, Jennifer A. Loe, Ronald B. Morgan

Abstract: Polynomial preconditioning can improve the convergence of the Arnoldi method for computing eigenvalues. Such preconditioning significantly reduces the cost of orthogonalization; for difficult problems, it can also reduce the number of matrix-vector products. Parallel computations can particularly benefit from the reduction of communication-intensive operations. The GMRES algorithm provides a simpl… ▽ More Polynomial preconditioning can improve the convergence of the Arnoldi method for computing eigenvalues. Such preconditioning significantly reduces the cost of orthogonalization; for difficult problems, it can also reduce the number of matrix-vector products. Parallel computations can particularly benefit from the reduction of communication-intensive operations. The GMRES algorithm provides a simple and effective way of generating the preconditioning polynomial. For some problems high degree polynomials are especially effective, but they can lead to stability problems that must be mitigated. A two-level "double polynomial preconditioning" strategy provides an effective way to generate high-degree preconditioners. △ Less

Submitted 20 June, 2018; originally announced June 2018.

Comments: 25 pages

MSC Class: 65F15; 15A18

Fourier-Mukai transforms of slope stable torsion-free sheaves on Weierstrass elliptic surfaces

Authors: Jason Lo

Abstract: On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted $Z^l$-stability, by varying the polarisation in the definition of Bridgeland stability along a curve in the ample cone of $X$. We show that a slope stable torsion-free sheaf of positive (twisted) degree or a slope stable locally free sheaf is taken by a Fourier-Mukai transform on $D^b(X)$ to a… ▽ More On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted $Z^l$-stability, by varying the polarisation in the definition of Bridgeland stability along a curve in the ample cone of $X$. We show that a slope stable torsion-free sheaf of positive (twisted) degree or a slope stable locally free sheaf is taken by a Fourier-Mukai transform on $D^b(X)$ to a $Z^l$-stable object, while a $Z^l$-semistable object of nonzero fiber degree can be modified so that its inverse Fourier-Mukai transform is a slope semistable torsion-free sheaf. △ Less

Submitted 12 October, 2017; originally announced October 2017.

Comments: 20 pages. arXiv admin note: text overlap with arXiv:1710.03771

MSC Class: 14J27 (Primary) 14J33; 14J60 (Secondary)

Fourier-Mukai transforms of slope stable torsion-free sheaves on Weierstrass elliptic threefolds

Authors: Jason Lo

Abstract: We focus on a class of Weierstrass elliptic threefolds that allows the base of the fibration to be a Fano surface or a numerically $K$-trivial surface. We define the notion of limit tilt stability, and show that the Fourier-Mukai transform of a slope stable torsion-free sheaf satisfying a vanishing condition in codimension 2 (e.g. a reflexive sheaf) is a limit tilt stable object. We also show that… ▽ More We focus on a class of Weierstrass elliptic threefolds that allows the base of the fibration to be a Fano surface or a numerically $K$-trivial surface. We define the notion of limit tilt stability, and show that the Fourier-Mukai transform of a slope stable torsion-free sheaf satisfying a vanishing condition in codimension 2 (e.g. a reflexive sheaf) is a limit tilt stable object. We also show that the inverse Fourier-Mukai transform of a limit tilt semistable object of nonzero fiber degree is a slope semistable torsion-free sheaf, up to modification in codimension 2. △ Less

Submitted 12 April, 2022; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: 33 pages. To appear in J. Algebra. The previous version has been split into two parts, the first of which forms the basis of this version (dealing with transforms of torsion-free sheaves)

MSC Class: 14J30 (Primary) 14J33; 14J60 (Secondary)

Fourier-Mukai transforms of slope stable torsion-free sheaves on a product elliptic threefold

Authors: Jason Lo

Abstract: On the product elliptic threefold $X = C \times S$ where $C$ is an elliptic curve and $S$ is a K3 surface of Picard rank 1, we define a notion of limit tilt stability, which satisfies the Harder-Narasimhan property. We show that under the Fourier-Mukai transform $Φ$ on $D^b(X)$ induced by the classical Fourier-Mukai transform on $D^b(C)$, a slope stable torsion-free sheaf satisfying a vanishing co… ▽ More On the product elliptic threefold $X = C \times S$ where $C$ is an elliptic curve and $S$ is a K3 surface of Picard rank 1, we define a notion of limit tilt stability, which satisfies the Harder-Narasimhan property. We show that under the Fourier-Mukai transform $Φ$ on $D^b(X)$ induced by the classical Fourier-Mukai transform on $D^b(C)$, a slope stable torsion-free sheaf satisfying a vanishing condition in codimension 2 (e.g. a reflexive sheaf) is taken to a limit tilt stable object. We also show that a limit tilt semistable object on $X$ is taken by $Φ$ to a slope semistable sheaf, up to modification by the transform of a codimension 2 sheaf. △ Less

Submitted 15 October, 2019; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 39 pages. Minor typos corrected. To appear in Adv. Math

MSC Class: 14D20 (Primary) 18E30; 14J30 (Secondary)

Duality Spectral Sequences for Weierstrass Fibrations and Applications

Authors: Jason Lo, Ziyu Zhang

Abstract: We study duality spectral sequences for Weierstrass fibrations. Using these spectral sequences, we show that on a K-trivial Weierstrass threefold over a K-numerically trivial surface, any line bundle of nonzero fiber degree is taken by a Fourier-Mukai transform to a slope stable locally free sheaf. We study duality spectral sequences for Weierstrass fibrations. Using these spectral sequences, we show that on a K-trivial Weierstrass threefold over a K-numerically trivial surface, any line bundle of nonzero fiber degree is taken by a Fourier-Mukai transform to a slope stable locally free sheaf. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: Comments are welcome

MSC Class: 14D20 (Primary) 14J30; 14J32; 14J60 (Secondary)

Adopting Robustness and Optimality in Fitting and Learning

Authors: Zhiguang Wang, Tim Oates, James Lo

Abstract: We generalized a modified exponentialized estimator by pushing the robust-optimal (RO) index $λ$ to $-\infty$ for achieving robustness to outliers by optimizing a quasi-Minimin function. The robustness is realized and controlled adaptively by the RO index without any predefined threshold. Optimality is guaranteed by expansion of the convexity region in the Hessian matrix to largely avoid local opt… ▽ More We generalized a modified exponentialized estimator by pushing the robust-optimal (RO) index $λ$ to $-\infty$ for achieving robustness to outliers by optimizing a quasi-Minimin function. The robustness is realized and controlled adaptively by the RO index without any predefined threshold. Optimality is guaranteed by expansion of the convexity region in the Hessian matrix to largely avoid local optima. Detailed quantitative analysis on both robustness and optimality are provided. The results of proposed experiments on fitting tasks for three noisy non-convex functions and the digits recognition task on the MNIST dataset consolidate the conclusions. △ Less

Submitted 18 October, 2023; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: arXiv admin note: text overlap with arXiv:1506.02690

Preservation of semistability under Fourier-Mukai transforms

Authors: Jason Lo, Ziyu Zhang

Abstract: For a trivial elliptic fibration $X=C \times S$ with $C$ an elliptic curve and $S$ a projective K3 surface of Picard rank $1$, we study how various notions of stability behave under the Fourier-Mukai autoequivalence $Φ$ on $D^b(X)$, where $Φ$ is induced by the classical Fourier-Mukai autoequivalence on $D^b(C)$. We show that, under some restrictions on Chern classes, Gieseker semistability on cohe… ▽ More For a trivial elliptic fibration $X=C \times S$ with $C$ an elliptic curve and $S$ a projective K3 surface of Picard rank $1$, we study how various notions of stability behave under the Fourier-Mukai autoequivalence $Φ$ on $D^b(X)$, where $Φ$ is induced by the classical Fourier-Mukai autoequivalence on $D^b(C)$. We show that, under some restrictions on Chern classes, Gieseker semistability on coherent sheaves is preserved under $Φ$ when the polarisation is `fiber-like'. Moreover, for more general choices of Chern classes, Gieseker semistability under a `fiber-like' polarisation corresponds to a notion of $μ_\ast$-semistability defined by a `slope-like' function $μ_\ast$. △ Less

Submitted 1 October, 2015; originally announced October 2015.

Comments: 36 pages. Comments are welcome

T-structures on elliptic fibrations

Authors: Jason Lo

Abstract: We consider t-structures that naturally arise on elliptic fibrations. By filtering the category of coherent sheaves on an elliptic fibration using the torsion pairs corresponding to these t-structures, we prove results describing equivalences of t-structures under Fourier-Mukai transforms. We consider t-structures that naturally arise on elliptic fibrations. By filtering the category of coherent sheaves on an elliptic fibration using the torsion pairs corresponding to these t-structures, we prove results describing equivalences of t-structures under Fourier-Mukai transforms. △ Less

Submitted 10 September, 2015; originally announced September 2015.

Comments: 29 pages. To appear in Kyoto J. Math

MSC Class: 14D06 (Primary); 14F05; 14J27; 14J60 (Secondary)

Journal ref: Kyoto J. Math. 56, no. 4 (2016), 701-735

Stability and Fourier-Mukai Transforms on Higher Dimensional Elliptic Fibrations

Authors: Wu-yen Chuang, Jason Lo

Abstract: We consider elliptic fibrations with arbitrary base dimensions, and generalise previous work by the second author. In particular, we check universal closedness for the moduli of semistable objects with respect to a polynomial stability that reduces to PT-stability on threefolds. We also show openness of this polynomial stability. On the other hand, we write down criteria under which certain 2-term… ▽ More We consider elliptic fibrations with arbitrary base dimensions, and generalise previous work by the second author. In particular, we check universal closedness for the moduli of semistable objects with respect to a polynomial stability that reduces to PT-stability on threefolds. We also show openness of this polynomial stability. On the other hand, we write down criteria under which certain 2-term polynomial semistable complexes are mapped to torsion-free semistable sheaves under a Fourier-Mukai transform. As an application, we construct an open immersion from a moduli of complexes to a moduli of Gieseker stable sheaves on higher dimensional elliptic fibrations. △ Less

Submitted 8 October, 2015; v1 submitted 7 July, 2013; originally announced July 2013.

Comments: 26 pages. Minor corrections. To appear in Comm. Anal. Geom

Torsion pairs and filtrations in abelian categories with tilting objects

Authors: Jason Lo

Abstract: Given a noetherian abelian category $\mathcal Z$ of homological dimension two with a tilting object $T$, the abelian category $\mathcal Z$ and the abelian category of modules over $\text{End} (T)^{\textit{op}}$ are related by a sequence of two tilts; we give an explicit description of the torsion pairs involved. We then use our techniques to obtain a simplified proof of a theorem of Jensen-Madsen-… ▽ More Given a noetherian abelian category $\mathcal Z$ of homological dimension two with a tilting object $T$, the abelian category $\mathcal Z$ and the abelian category of modules over $\text{End} (T)^{\textit{op}}$ are related by a sequence of two tilts; we give an explicit description of the torsion pairs involved. We then use our techniques to obtain a simplified proof of a theorem of Jensen-Madsen-Su, that $\mathcal Z$ has a three-step filtration by extension-closed subcategories. Finally, we generalise Jensen-Madsen-Su's filtration to a noetherian abelian category of any finite homological dimension. △ Less

Submitted 13 February, 2013; originally announced February 2013.

Comments: 14 pages

MSC Class: 18E30 (Primary) 14F05 (Secondary)

Some examples of tilt-stable objects on threefolds

Authors: Jason Lo, Yogesh More

Abstract: We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarisation $ω$ gets large, and give… ▽ More We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarisation $ω$ gets large, and give sufficient conditions for tilt-stability of sheaves of the following two forms: 1) twists of ideal sheaves or 2) torsion-free sheaves whose first Chern class is twice a minimum possible value. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: 20 pages

MSC Class: 14D20 (Primary) 14F05; 14J10; 14J30 (Secondary)

Stability and Fourier-Mukai transforms on elliptic fibrations

Authors: Jason Lo

Abstract: We systematically develop Bridgeland's and Bridgeland-Maciocia's techniques for studying elliptic fibrations, and identify criteria that ensure 2-term complexes are mapped to torsion-free sheaves under a Fourier-Mukai transform. As an application, we construct an open immersion from a moduli of stable complexes to a moduli of Gieseker stable sheaves on elliptic threefolds. As another application,… ▽ More We systematically develop Bridgeland's and Bridgeland-Maciocia's techniques for studying elliptic fibrations, and identify criteria that ensure 2-term complexes are mapped to torsion-free sheaves under a Fourier-Mukai transform. As an application, we construct an open immersion from a moduli of stable complexes to a moduli of Gieseker stable sheaves on elliptic threefolds. As another application, we give various 1-1 correspondences between fiberwise semistable torsion-free sheaves and codimension-1 sheaves on Weierstrass surfaces. △ Less

Submitted 17 January, 2014; v1 submitted 19 June, 2012; originally announced June 2012.

Comments: 27 pages. Minor changes to the exposition. To appear in Adv. Math

MSC Class: 14J60 (Primary); 14J27; 14J30 (Secondary)

On some moduli of complexes on K3 surfaces

Authors: Jason Lo

Abstract: We consider moduli stacks of Bridgeland semistable objects that previously had only set-theoretic identifications with Uhlenbeck compactification spaces. On a K3 surface $X$, we give examples where such a moduli stack is isomorphic to a moduli stack of slope semistable locally free sheaves on the Fourier-Mukai partner $\hat{X}$. This yields a morphism from the stack of Bridgeland semistable object… ▽ More We consider moduli stacks of Bridgeland semistable objects that previously had only set-theoretic identifications with Uhlenbeck compactification spaces. On a K3 surface $X$, we give examples where such a moduli stack is isomorphic to a moduli stack of slope semistable locally free sheaves on the Fourier-Mukai partner $\hat{X}$. This yields a morphism from the stack of Bridgeland semistable objects to a projective scheme, which induces an injection on closed points. It also allows us to extend a theorem of Bruzzo-Maciocia on Hilbert schemes to a statement on moduli of complexes. △ Less

Submitted 7 March, 2012; originally announced March 2012.

Comments: 8 pages

MSC Class: 14J60 (Primary) 14D20; 14D23; 14J28 (Secondary)

Representing stable complexes on projective spaces

Authors: Jason Lo, Ziyu Zhang

Abstract: We give an explicit proof of a Bogomolov-type inequality for $c_3$ of reflexive sheaves on $\mathbb{P}^3$. Then, using resolutions of rank-two reflexive sheaves on $\mathbb{P}^3$, we prove that some strata of the moduli of rank-two complexes that are both PT-stable and dual-PT-stable are quotient stacks. Using monads, we apply the same techniques to $\mathbb{P}^2$ and show that some strata of the… ▽ More We give an explicit proof of a Bogomolov-type inequality for $c_3$ of reflexive sheaves on $\mathbb{P}^3$. Then, using resolutions of rank-two reflexive sheaves on $\mathbb{P}^3$, we prove that some strata of the moduli of rank-two complexes that are both PT-stable and dual-PT-stable are quotient stacks. Using monads, we apply the same techniques to $\mathbb{P}^2$ and show that some strata of the moduli of Bridgeland-stable complexes are quotient stacks. △ Less

Submitted 16 January, 2014; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: 27 pages

MSC Class: 14D20; 14F05 (Primary); 14J60 (Secondary)

Journal ref: J. Algebra, Vol. 400, pp. 185-218, 2014

Polynomial Bridgeland Stable Objects and Reflexive Sheaves

Authors: Jason Lo

Abstract: On a smooth projective threefold, we show that there are only two isomorphism types for the moduli of stable objects with respect to Bayer's standard polynomial Bridgeland stability - the moduli of Gieseker-stable sheaves and the moduli of PT-stable objects - under the following assumptions: no two of the stability vectors are collinear, and the degree and rank of the objects are relatively prime.… ▽ More On a smooth projective threefold, we show that there are only two isomorphism types for the moduli of stable objects with respect to Bayer's standard polynomial Bridgeland stability - the moduli of Gieseker-stable sheaves and the moduli of PT-stable objects - under the following assumptions: no two of the stability vectors are collinear, and the degree and rank of the objects are relatively prime. We also describe a close relation between the intersection of the moduli spaces of PT-stable and dual-PT-stable objects, and the moduli of reflexive sheaves. △ Less

Submitted 1 August, 2012; v1 submitted 19 December, 2011; originally announced December 2011.

Comments: 13 pages. Introduction expanded, and other corrections and changes made according to referee's comments. Statements of Theorem 1.2 and Proposition 4.3 slightly modified. To appear in Math. Res. Lett

MSC Class: 14J60 (Primary) 14F05 (Secondary)

Mini-walls for Bridgeland stability conditions on the derived category of sheaves over surfaces

Authors: Jason Lo, Zhenbo Qin

Abstract: For the derived category of bounded complexes of sheaves on a smooth projective surface, Bridgeland and Arcara-Bertram constructed Bridgeland stability conditions $(Z_m, \mathcal P_m)$ parametrized by $m \in (0, +\infty)$. In this paper, we show that the set of mini-walls in $(0, +\infty)$ of a fixed numerical type is locally finite. In addition, we strengthen a result of Bayer by proving that the… ▽ More For the derived category of bounded complexes of sheaves on a smooth projective surface, Bridgeland and Arcara-Bertram constructed Bridgeland stability conditions $(Z_m, \mathcal P_m)$ parametrized by $m \in (0, +\infty)$. In this paper, we show that the set of mini-walls in $(0, +\infty)$ of a fixed numerical type is locally finite. In addition, we strengthen a result of Bayer by proving that the moduli of polynomial Bridgeland semistable objects of a fixed numerical type coincides with the moduli of $(Z_m, \mathcal P_m)$-semistable objects whenever $m$ is larger than a universal constant depending only on the numerical type. We further identify the moduli of polynomial Bridgeland semistable objects with the Gieseker/Simpson moduli spaces and the Uhlenbeck compactification spaces. △ Less

Submitted 22 March, 2011; originally announced March 2011.

Comments: 26 pages

MSC Class: 14J10 (Primary) 14D20 (Secondary)

Moduli of PT-semistable objects II

Authors: Jason Lo

Abstract: We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable objects in $D^b(X)$ as an Artin stack of finite type that is universally closed. In the absence of strictly semistable objects, we construct the moduli as a proper a… ▽ More We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable objects in $D^b(X)$ as an Artin stack of finite type that is universally closed. In the absence of strictly semistable objects, we construct the moduli as a proper algebraic space of finite type. △ Less

Submitted 4 May, 2011; v1 submitted 29 November, 2010; originally announced November 2010.

Comments: 34 pages. Exposition improved based on referee's comments, especially the proofs of Prop 2.6 and 2.17 (of this version). References added; typos corrected. Openness and separatedness now in a separate section. Sections 4 and 5 of previous version removed. Accepted for publication by the Transactions of the American Mathematical Society. This is the sequel to https://arxiv.boxedpaper.com/abs/1011.5688

MSC Class: 14F05; 14D20; 18E30; 14J60; 14J30

Moduli of PT-Semistable Objects I

Authors: Jason Lo

Abstract: We show boundedness for PT-semistable objects of any Chern classes on a smooth projective three-fold $X$. Then we show that the stack of objects in the heart $\langle \Coh_{\leq 1}(X), \Coh_{\geq 2}(X)[1] \rangle$ satisfies a version of the valuative criterion for completeness. In the remainder of the paper, we give a series of results on how to compute cohomology with respect to this heart. We show boundedness for PT-semistable objects of any Chern classes on a smooth projective three-fold $X$. Then we show that the stack of objects in the heart $\langle \Coh_{\leq 1}(X), \Coh_{\geq 2}(X)[1] \rangle$ satisfies a version of the valuative criterion for completeness. In the remainder of the paper, we give a series of results on how to compute cohomology with respect to this heart. △ Less

Submitted 25 November, 2010; originally announced November 2010.

Comments: 23 pages

MSC Class: 14F05; 14D20; 18E30; 14J60; 14J30

Journal ref: J. Algebra, Vol. 339 (1), pp. 203-222, 2011