Mathematics

We study the moduli stacks of real vector bundles of fixed rank and degree on a type I real algebraic curve and determine its mod 2 cohomology algebra in terms of characteristic classes.

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. In some cases, this Azumaya algebra splits when restricted to finite covers of X'. In…

We prove an inversion theorem for recursive formulas satisfied by certain families of converging power series in two variables. These power series are indexed by the Harder-Narasimhan types of principal $G$-bundles of degree $d \in \pi_1 G$…

We show that any big line bundle on a smooth projective variety admits a special Fujita approximation: the volume and the first Riemann-Roch coefficient are both approximated by those of ample $\mathbb{Q}$-line bundles on higher models.…

All reduced descendent Gromov-Witten invariants of $K3$ and abelian surfaces in primitive curve classes can be calculated by the methods of \cite{BOPY,MPT}. To handle the imprimitive curve classes, a multiple cover formula was conjectured…

Let $X$ be a proper smooth rigid analytic variety over a complete algebraically closed field $p$-adic field $\mathbf C$. Fix an continuation $\mathrm{Exp}$. Faltings (in the curve case) and Heuer showed that any lifting $\widetilde X$ of…

We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…

In this paper we prove the WALA conjecture.

In this paper, we study plane quintic curves whose automorphism groups have order greater than 10, as well as those with cyclic automorphism groups of order 8 and 10. The latter two cases are represented as one-parameter families, where…

We study the birational geometry of hypersurfaces in projective varieties of the form $\mathbf{P}^1\times Z$, where $Z$ satisfies mild assumptions. Building on recent results of Herrera--Laface--Ugaglia, we study their Cox rings (when…

We construct a Poincar\'e sheaf on the compactified Prym variety associated with an \'etale double cover of integral curves with planar singularities, and prove that the associated Fourier-Mukai transform is an autoequivalence of its…

In this paper, we give a description of the cohomology groups of the symmetric powers of the tautological bundle associated with a sufficiently positive line bundle on the Hilbert scheme of 2 or 3 points on a smooth projective complex…

In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $\sigma$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we…

We prove real-rootedness for the Poincar\'e polynomial \[ P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] of the Deligne--Mumford moduli space $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational…

We review and study the notion of Higgs Grassmannians, which are schemes parametrizing the Higgs subbundles of a given Higgs bundle over a smooth variety. We write their equations as closed subschemes of the usual Grassmann bundles and…

Let \(C\) be a smooth projective curve over an algebraically closed field of characteristic zero. For the moduli space \(N(r,L)\) of stable vector bundles on \(C\) of rank \(r\) with fixed determinant \(L\), we study the group of exact…

We give an explicit projectivization algorithm for smooth complete toric varieties. More precisely, after fixing an ordered lattice basis, every smooth complete fan $\Sigma$ admits a basis-canonical refinement $\widehat{\Sigma}$ that is…

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be \'etale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let…

In this paper, we study the dual Minkowski problem under group symmetry. For $0<q\le n$, we give a complete existence characterization in the framework of $G$-invariant convex bodies when the group $G\subset O(n)$ has no nonzero fixed…

For a regular map $F$ from a complex smooth affine variety $X$ to $\mathbb A^r_\mathbb C$, we construct generalized nearby-cycle modules of a regular holonomic $\mathscr D$-module $\mathcal M$ along log strata with the log structure induced…