代数几何
The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $\Sigma$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked points on the boundary, this moduli space is…
This survey paper offers a concise introduction to Kashiwara's work on $\mathcal{D}$-modules, microlocal analysis and related subjects. In this way, we explain his role in the development of algebraic analysis.
Polycons, initially introduced by Wachspress in 1975 as a tool in finite element methods, are generalizations of polygons in that they allow conic boundary components. We are interested in the adjoint curve of a given polycon, i.e. the…
For an $(n\times N)$-matrix $A$ of rank $n$ with integer entries, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, called the $A$-hypergeometric system. We define the stable GKZ hypergeometric $\mathcal…
We prove the existence of Ulrich sheaves on the Hilbert scheme of two points on a polarized K3 surface or an abelian surface. The construction proceeds by descending Ulrich bundles on the surface to the symmetric square and lifting them to…
We study the cohomology of divisors on a Burniat surface $X$ with $K_X^2=6$. We provide an algorithm for computing the cohomology groups of arbitrary divisors on $X$. As an application, we prove that there are no Ulrich line bundles\,(with…
We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization…
We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain…
In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong…
Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…
Assuming the abundance conjecture and the existence of a Zariski dense set of rational curves on terminal Calabi--Yau varieties, we show that a complex projective weakly special manifold $X$ with no rational curves is an \'etale quotient of…
This is an expanded version of the notes by the second author of the lectures on Hitchin systems and their quantization given by the first author at the Beijing Summer Workshop in Mathematics and Mathematical Physics ``Integrable Systems…
We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting…
We prove that the Dimension Conjecture implies the Jacobi Bound Conjecture.
We prove the Strong Jacobi Bound Conjecture for generically reduced components of differential schemes.
The classical Shafarevich conjecture predicts that the universal cover of a complex smooth projective variety $X$ is holomorphically convex. In this paper, we propose a refinement of this conjecture for varieties defined over the reals. In…
In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of \'{e}tale schemes over excellent regular local…
We study finite and semi-finite vector bundles on complex tori. We give an explicit decomposition of such bundles in terms of torsion and unipotent factors. As a consequence, we prove that the extended Nori fundamental group scheme of a…
A general net of quadric surfaces, together with a choice of a base point, defines a net of plane cubics via the Gale transformation of the remaining seven base points. To both nets, one can also naturally associate the same smooth plane…
We develop a certified numerical algorithm for computing Galois/monodromy groups of parametrized polynomial systems. Our approach employs certified homotopy path tracking to guarantee the correctness of the monodromy action produced by the…