arXiv subjects

Jacob Kryczka

Publications and source records attributed to Jacob Kryczka.

10 recordsLinked to original sources

arXiv2026

Lagrangian correspondences of nonabelian Hodge type and shifted twistor structures

Classical nonabelian Hodge theory identifies Dolbeault and de Rham moduli spaces by providing a real-analytic isomorphism. In this paper, motivated by the Kapustin--Witten theory, we study this correspondence in the more general framework of perfect complexes on proper varieties, paying special attention to the surface case. We establish a Lagrangian correspondence which relates the shifted symplectic geometries by Pantev--To\"en--Vaqui\'e--Vezzosi (PTVV) between the derived stacks of flat and Higgs perfect complexes. We investigate the existence of derived twistor structures of hyperk\"ahler type on the moduli stack of perfect complexes endowed with $\lambda$-connections by Deligne--Hitchin--Simpson. We establish a version of the AKSZ/PTVV transgression, Lagrangian intersection, and (hyperk\"ahler) symplectic reduction theorems in this context. Moreover, we prove that the derived Riemann--Hilbert correspondence of Porta and Holstein--Porta, which states an equivalence of derived analytic stacks of perfect complexes on $X_{\mathrm{Betti}}$ and $X_{\mathrm{DR}}$, is compatible with the natural shifted--symplectic structures. We then study the relation between the shifted (pre-)twistor structures and the shifted symplectic forms on the fibers, and prove that the analytic Deligne--Hitchin--Simpson moduli stack on a smooth projective variety $X$ has a canonical $2(1-\dim X)$ shifted pretwistor structure over $\mathbb{P}^1_{\mathbb{C}}$, a result which has been anticipated for some time. In particular, the moduli stack of solutions to the Kapustin--Witten equations modulo gauge equivalence on a smooth proper complex algebraic surface exibits a $(-2)$-shifted (pre)twistor structure as a family over $\mathbb{P}^1_{\mathbb{C}}$.

math.AG↗

arXiv2026

Microlocal index theorems and analytic torsion invariants in the geometric theory of partial differential equations

We develop a microlocal and derived-geometric framework for index theory and analytic torsion of nonlinear PDEs. By integrating Spencer hypercohomology, microlocal sheaf theory, and factorization algebras, we establish new connections between classical index theorems, BCOV invariants of Calabi-Yau manifolds, and the geometry of configuration spaces. We prove sheaf-theoretic index formulas for families of formally integrable PDEs, a microlocal index theorem for D-algebras generalizing Atiyah-Singer, and a mixed-type index theorem via microlocal stratification. We construct Ray-Singer analytic torsion for involutive systems and show that the BCOV invariant equals the Spencer torsion of the de Rham system. A categorical trace interpretation leads to a virtual index theory for derived moduli spaces of solutions. Finally, we extend the theory to configuration spaces using factorization algebras, with applications to renormalization and QFT. These results unify geometric perspectives on PDEs, torsion invariants, and moduli theory, with implications for mirror symmetry, quantum fields, and Calabi-Yau degenerations.

math.AG↗

arXiv2025

Tyurin Degenerations, Derived Lagrangians and Categorification of DT Invariants

We consider the moduli space of rigidified perfect complexes with support on a general complete intersection Calabi-Yau threefold $X$ and its Tyurin degeneration $X\rightsquigarrow X_1\cup_SX_2$ to a complete intersection of Fano threefolds $X_1,X_2$ meeting along their anti-canonical divisor $S$. The corresponding derived dg moduli scheme over the generic fiber degenerates to the (Fano) moduli spaces $\mathcal{M}_{1}, \mathcal{M}_{2},$ of perfect complexes supported on each Fano which glue after derived restriction to the relative divisor $S$. We prove that the total moduli space of the degeneration family carries a relative Lagrangian foliation structure, which implies the existence of a flat Gauss-Manin connection on periodic cyclic homology of the category of the matrix factorizations associated with fiber-wise moduli spaces, realized locally as the derived critical loci of suitable potential functions. The Fano moduli spaces each define derived Lagrangians in the (ambient) moduli space of restricted complexes to the relative divisor $S$. The flatness of the Gauss-Manin connection implies the derived geometric deformation invariance of the categorified DT-invariants associated to fiberwise matrix factorization categories, hence, the categorified DT-invariants of the generic fiber are expressed in terms of a derived intersection cohomology of the corresponding Fano moduli spaces on the special fiber.

math.AG↗

arXiv2025

The $\mathcal{D}$-Geometric Hilbert Scheme -- Part I: Involutivity and Stability

We construct a moduli space of formally integrable and involutive ideal sheaves arising from systems of partial differential equations (PDEs) in the algebro-geometric setting, by introducing the $\mathcal{D}$-Hilbert and $\mathcal{D}$-Quot functors in the sense of Grothendieck and establishing their representability. Central to this construction is the notion of Spencer (semi-)stability, which presents an extension of classical stability conditions from gauge theory and complex geometry, and which provides the boundedness needed for our moduli problem. As an application, we show that for flat connections on compact K\"ahler manifolds, Spencer poly-stability of the associated PDE ideal is equivalent to the existence of a Hermitian-Yang-Mills metric. This result provides a refinement of the classical Donaldson-Uhlenbeck-Yau correspondence, and identifies Spencer cohomology and stability as a unifying framework for geometric PDEs.

math.AG↗

arXiv2024

The $\mathcal{D}$-Geometric Hilbert Scheme -- Part II: Hilbert and Quot DG-Schemes

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on earlier work, which established the existence of moduli stacks for such systems with prescribed regularity and stability conditions, we now construct a derived enhancement of these moduli spaces. We prove the derived $\mathcal{D}$-Quot functor admits a global differential graded refinement representable by a suitable differential graded $\mathcal{D}$-manifold. We further analyze the finiteness, representability, and functoriality properties of these derived moduli spaces, establishing foundations for a derived deformation theory of algebraic differential equations.

math.AG↗

arXiv2024

Derived Moduli Spaces of Nonlinear PDEs II: Variational Tricomplex and BV Formalism

This paper is the second in a series of works dedicated to studying non-linear partial differential equations via derived geometric methods. We study a natural derived enhancement of the de Rham complex of a non-linear PDE via algebro-geometric techniques and examine its consequences for the functional differential calculus on the space of solutions. Applications to the BV-formalism with and without boundary conditions are discussed.

math.AG↗

arXiv2023

Differential Calculus over Graded Commutative Algebras and Vector Bundles with Inner Structures

In this note we highlight a common origin for many ubiquitous geometric structures, as well as several new ones by using only the functors of differential calculus in A.M Vinogradov's original sense, adapted to special classes of (graded) commutative algebras. Special attention is given to the particularly simple cases of diole and triole algebras and we show the latter environment is the appropriate one to describe calculus in vector bundles in the presence of a vector-valued fiber metric.

math.DG↗

arXiv2023

Derived Moduli Spaces of Nonlinear PDEs: Singular Propagations

We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and develop a formalism to pose and solve singular non-linear Cauchy problems globally. Using this approach we estimate the domains of propagation for the solutions of non-linear systems. It is achieved by exploiting the fact that one may greatly enrich and simplify the study of derived non-linear PDEs over a space $X$ by studying its derived linearization which is a module over the sheaf of functions on the $S^1$-equivariant derived loop stack $\mathcal{L}X$.

math.AG↗

arXiv2023

Differential Calculus in Triole Algebras

This work is the first in a series of papers that, among other things, extends the formalism of diolic differential calculus, wherein a new context for obtaining differential calculus in vector bundles was established. Here we provide a modest but interesting generalization of this formalism to include a class of vector bundles with additional inner structure provided by fiber metrics that we call triole algebras. We discuss the basics of a triolic-linear algebra and study various functors of differential calculus over these algebraic objects. In doing so, we establish a conceptual framework for making sense of calculus on bundles that preserve a vector-valued fiber metric structure.

math.DG↗

arXiv2020

Functors of Differential Calculus in Diolic Algebras

We pose a new algebraic formalism for studying differential calculus in vector bundles. This is achieved by studying various functors of differential calculus over arbitrary graded commutative algebras (DCGCA) and applying this language to a particularly simple class of two-component graded objects introduced in this work, that we call Diolic algebras. A salient feature of this conceptual approach to calculus is that it recovers many well-known objects and notions from ordinary differential, symplectic and Poisson geometry but also provides some unique aspects, which are of their own independent interest.

math.DG↗