代数几何
Joyce vertex algebras are vertex algebra structures defined on the homology of certain $\mathbb{C}$-linear moduli stacks, and are used to express wall-crossing formulae for Joyce's homological enumerative invariants. This paper studies the…
An effective method of computing division polynomials in terms of Mumford coordinates is presented. As an example, division polynomials for $3$- and $4$-torsion divisors on a genus two curve are obtained explicitly in terms of Mumford…
We introduce the notion of a Nakajima bundle representation. Given a labelled quiver and a variety or manifold $X$, such a representation involves an assignment of a complex vector bundle on $X$ to each node of the doubled quiver; to the…
We obtain results that relate Donaldson-Futaki type invariants (that is, the numerical invariants used to define K-stability for general polarised manifolds) for a toric polarised manifold and for a compactification of its mirror…
We classify smooth projective varieties of Picard rank 2 which has two structures of blow-up of projective space along smooth subvarieties of different dimensions. This gives a characterization of the so called quadro-cubic Cremona…
A monomial algebra B is defined as a quotient of a polynomial ring by a monomial ideal, which is an ideal generated by a finite set of monomials. In this paper, we determine the automorphism group of a monomial algebra B, under the…
We continue our study of fixed loci of antisymplectic involutions on projective hyper-K\"ahler manifolds of $\mathrm{K3}^{[n]}$-type induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice. We prove that if the…
We introduce a notion of \emph{infinitesimal derived foliation}. We prove it is related to the classical notion of infinitesimal cohomology, and satisfies some formal integrability properties. We also provide some hints on how infinitesimal…
The present paper is aimed to discussing three kinds of problems: (1) producing some ``mirror theorem'' for the recent mirror symmetric construction, called \emph{framed} duality ($f$-duality), described in \cite{R-fTV} and \cite{R-fpCI}:…
We introduce $F$-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincar\'e duality for proper smooth schemes.
We prove that the moduli stack of index-one covers of semi-log-canonical surfaces of general type is isomorphic to the KSBA moduli stack of stable general type surfaces. Using the index-one covering Deligne-Mumford stack of a…
The set of matrix tuples with invariant subspaces whose dimensions sum up to the dimension of the space, but which do not span the whole space form an algebraic hypersurface. We found the equation of this hypersurface. This generalizes…
For a vector bundle $V$ over a curve $X$, the Segre invariant $s_n (V)$ encodes the maximal degree attained by rank $n$ subbundles of $V$. The functions $s_n$ define stratifications on moduli of $V$ which are well studied. Let $G$ be a…
We compute the Harder-Narasimhan filtration of vector bundles $f_*\mathcal O_Y$ for certain finite morphisms $f\,:\,Y\,\longrightarrow\, X$ and in some other cases.
In this short note, we show that, assuming a conjecture of Arcara and Miles, a line bundle on a smooth complex projective surface admits a deformed Hermitian-Yang-Mills metric if and only if it is stable in the ``large scaling limit" with…
We explain how algebraic geometry comes into play in the study of non-linear mean field (singular Liouville) equations $$ \triangle u + e^u = 4\pi \sum_{i = 1}^N \ell_i \delta_{p_i} $$ on a flat torus $E = \Bbb C/\Lambda$, where $N, \ell_1,…
For a germ $(X,0)$ of a normal complex analytic surface, let $E:=H^0({}^p_+IC_X\mathbb Z)_0$, where ${}^pIC_X\mathbb Z$ and ${}^p_+IC_X\mathbb Z$ denote the ordinary and dual middle-perversity intersection complexes with integral…
We introduce a framework for pulling back Cartier modules and their associated invariants along regular $F$-finite morphisms. To achieve this, we construct a relative Cartier isomorphism and operator for an arbitrary regular $F$-finite map…
In this work, we investigate the bi-Lipschitz invariance of two fundamental local invariants in singularity theory: the {\L}ojasiewicz exponent and the local Euler obstruction. We draw inspiration from Bivi\`a-Ausina and Fukui, whose…
In this work we present a formula for the Euler characteristic of the Milnor fiber of non-degenerate functions $f: X \to \mathbb{C}$ with isolated critical set relative to a stratification, where $X$ is a $2$-generic symmetric determinantal…