Source author record

Tony Yue Yu

Tony Yue Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.SG math.AT math.CV math.RT

Catalog footprint

What is connected

10works

5topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Non-archimedean quantum K-invariants

We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean geometry, the representability theorem and Gromov compactness. We obtain a list of natural geometric relations between the stacks of stable maps, directly at the derived level, with respect to elementary operations on graphs, namely, products, cutting edges, forgetting tails and contracting edges. They imply immediately the corresponding properties of quantum K-invariants. The derived approach produces highly intuitive statements and functorial proofs. The flexibility of our derived approach to quantum K-invariants allows us to impose not only simple incidence conditions for marked points, but also incidence conditions with multiplicities. This leads to a new set of enumerative invariants. For the proofs, we further develop the foundations of derived non-archimedean geometry in this paper: we study derived lci morphisms, relative analytification, and deformation to the normal bundle. Our motivations come from non-archimedean enumerative geometry and mirror symmetry.

preprint2022arXiv

Representability theorem in derived analytic geometry

We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

preprint2022arXiv

Secondary fan, theta functions and moduli of Calabi-Yau pairs

We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-Alexeev moduli space of stable pairs, we conjecture that the induced compactification admits a finite cover by a complete toric variety. We construct the associated complete toric fan, generalizing the Gelfand-Kapranov-Zelevinski secondary fan for reflexive polytopes. Inspired by mirror symmetry, we speculate a synthetic construction of the universal family over this toric variety, as the Proj of a sheaf of graded algebras with a canonical basis, whose structure constants are given by counts of non-archimedean analytic disks. In the Fano case and under the assumption that the mirror contains a Zariski open torus, we construct the conjectural universal family, generalizing the families of Kapranov-Sturmfels-Zelevinski and Alexeev in the toric case. In the case of del Pezzo surfaces with an anti-canonical cycle of $(-1)$-curves, we prove the full conjecture.

preprint2022arXiv

The Frobenius structure theorem for affine log Calabi-Yau varieties containing a torus

Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This proves a variant of the Frobenius structure conjecture by Gross-Hacking-Keel in mirror symmetry, and the spectrum of this algebra is supposed to give the hypothetical mirror family. Although the statement of our theorem involves only elementary algebraic geometry, our proof employs Berkovich non-archimedean analytic methods. We construct the structure constants of the algebra via counting non-archimedean analytic disks in the analytification of $U$. We establish various properties of the counting, notably deformation invariance, symmetry, gluing formula and convexity. In the special case when $U$ is a Fock-Goncharov skew-symmetric X-cluster variety, we prove that our algebra generalizes, and gives a direct geometric construction of, the mirror algebra of Gross-Hacking-Keel-Kontsevich. The comparison is proved via a canonical scattering diagram constructed from counts of infinitesimal non-archimedean analytic cylinders, without using the Kontsevich-Soibelman algorithm. Several combinatorial conjectures of GHKK, as well as the positivity in the Laurent phenomenon, follow readily from the geometric description.

preprint2020arXiv

Enumeration of holomorphic cylinders in log Calabi-Yau surfaces. II. Positivity, integrality and the gluing formula

We prove three fundamental properties of counting holomorphic cylinders in log Calabi-Yau surfaces: positivity, integrality and the gluing formula. Positivity and integrality assert that the numbers of cylinders, defined via virtual techniques, are in fact nonnegative integers. The gluing formula roughly says that cylinders can be glued together to form longer cylinders, and the number of longer cylinders equals the product of the numbers of shorter cylinders. Our approach uses Berkovich geometry, tropical geometry, deformation theory and the ideas in the proof of associativity relations of Gromov-Witten invariants by Maxim Kontsevich. These three properties provide an evidence for a conjectural relation between counting cylinders and the broken lines of Gross-Hacking-Keel.

preprint2016arXiv

Enumeration of holomorphic cylinders in log Calabi-Yau surfaces. I

We define the counting of holomorphic cylinders in log Calabi-Yau surfaces. Although we start with a complex log Calabi-Yau surface, the counting is achieved by applying methods from non-archimedean geometry. This gives rise to new geometric invariants. Moreover, we prove that the counting satisfies a property of symmetry. Explicit calculations are given for a del Pezzo surface in detail, which verify the conjectured wall-crossing formula for the focus-focus singularity. Our holomorphic cylinders are expected to give a geometric understanding of the combinatorial notion of broken line by Gross, Hacking, Keel and Siebert. Our tools include Berkovich spaces, tropical geometry, Gromov-Witten theory and the GAGA theorem for non-archimedean analytic stacks.

preprint2016arXiv

Higher analytic stacks and GAGA theorems

We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper morphisms. We define analytification functors and prove the analog of Serre's GAGA theorems for higher stacks. We use the language of infinity category to simplify the theory. In particular, it enables us to circumvent the functoriality problem of the lisse-étale sites for sheaves on stacks. Our constructions and theorems cover the classical 1-stacks as a special case.

preprint2015arXiv

Balancing conditions in global tropical geometry

We study tropical geometry in the global setting using Berkovich's deformation retraction. We state and prove the generalized balancing conditions in this setting. Starting with a strictly semi-stable formal scheme, we calculate certain sheaves of vanishing cycles using analytic étale cohomology, then we interpret the tropical weights via these cycles. We obtain the balancing condition for tropical curves on the skeleton associated to the formal scheme in terms of the intersection theory on the special fiber. Our approach works over any complete discrete valuation field.

preprint2015arXiv

Gromov compactness in non-archimedean analytic geometry

Gromov's compactness theorem for pseudo-holomorphic curves is a foundational result in symplectic geometry. It controls the compactness of the moduli space of pseudo-holomorphic curves with bounded area in a symplectic manifold. In this paper, we prove the analog of Gromov's compactness theorem in non-archimedean analytic geometry. We work in the framework of Berkovich spaces. First, we introduce a notion of Kähler structure in non-archimedean analytic geometry using metrizations of virtual line bundles. Second, we introduce formal stacks and non-archimedean analytic stacks. Then we construct the moduli stack of non-archimedean analytic stable maps using formal models, Artin's representability criterion and the geometry of stable curves. Finally, we reduce the non-archimedean problem to the known compactness results in algebraic geometry. The motivation of this paper is to provide the foundations for non-archimedean enumerative geometry.

preprint2015arXiv

Tropicalization of the moduli space of stable maps

Let $X$ be an algebraic variety and let $S$ be a tropical variety associated to $X$. We study the tropicalization map from the moduli space of stable maps into $X$ to the moduli space of tropical curves in $S$. We prove that it is a continuous map and that its image is compact and polyhedral. Loosely speaking, when we deform algebraic curves in $X$, the associated tropical curves in $S$ deform continuously; moreover, the locus of realizable tropical curves inside the space of all tropical curves is compact and polyhedral. Our main tools are Berkovich spaces, formal models, balancing conditions, vanishing cycles and quantifier elimination for rigid subanalytic sets.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint