代数几何

Let X be either a smooth K3 surface or a smooth Fano variety (i.e. $-K_X$ is ample) of dimension $n$ and index $i_X> n-3$ and let E be an initialized Ulrich bundle on X. In this paper, we show that the syzygy bundle $S(E)$, defined as the…

Let $X$ be a projective complex 3-manifold. An effective curve class $\beta\in H_2(X,\mathbb Z)$ is called positive if $c_1(X)\cdot\beta>0$, and superpositive if all the effective summands of $\beta$ are positive. If $X$ is Fano then all…

Let $C$ be a complex projective integral curve with planar singularities. In this note, we study numerical relations among its versal deformation space, moduli space of stable maps, and compactified Jacobian. In particular, we correct a…

Recently, John Pardon proved the MNOP conjecture (on the GW-DT correspondence for CY3s) by introducing a new mathematical gadget, which we call the Pardon homology algebra of 1-cycles in 3-folds. We work out an analogous construction for…

Niels Borne established a natural correspondence between the parabolic vector bundles on curves and vector bundles on root stacks. The notions of direct image of parabolic vector bundles and pullback of parabolic vector bundles were studied…

We prove that a regular projective surface $S$ over a field $k$ of characteristic $p \ge 7$, with $H^0(S,\mathcal{O}_S) = k$ and $-K_S$ being nef, is geometrically integral over $k$.

The notion of acceptable bundles plays a fundamental role in the Simpson--Mochizuki theory. We study acceptable bundles on a partially punctured polydisk in detail. While this article is primarily expository, it also presents new arguments…

Using the recent advancements in the structure of algebraic groups over imperfect fields, we propose a generalization of Serre's Conjecture I and of results that revolve around it. In particular, we prove that the first Galois cohomology…

The effective application of the St\"ohr-Voloch theory for the linear system of plane curves of a fixed degree to bound the number of rational points of a family of plane curves defined over $\mathbb{F}_q$ requires the characterization of…

This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…

We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic…

We review recent developments in the theory of compact hyper-K\"ahler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes originated from the lecture by the second…

Let $X$ be a smooth complex quasi-projective variety that is special in the sense of Campana. We prove that the monodromy group of any complex local system on $X$ is virtually nilpotent of class at most $2$. This result sharply refines a…

The assumed hardness of the Linear Code Equivalence problem (LCE) lies at the core of the security of the LESS signature scheme and other signature schemes with advanced functionalities. The LCE problem asks to determine whether two linear…

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is…

A convex chain is a finite integer linear combination of indicator functions of convex polytopes. Khovanskii-Pukhlikov extend the Ehrhart theory of convex lattice polytopes to the setting of convex chains. Extending the relationship between…

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra…

We solve the $K$-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the…

Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So,…

Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…