代数几何
We develop the theory of transfer and norm maps for finite group schemes, extending classical results from finite group theory to a context where induction and restriction are not necessarily bi-adjoint. In the additive setting, we…
Let $G = GL(n)$ and $K = GL(p) \times GL(q)$ with $p+q=n$, where the groups are taken over $\C$. In this paper we study a certain family of $K$-orbit closures on the flag variety $X$ of $G$. The geometry of these orbit closures plays a…
We study the question of whether the vanishing of additive invariants characterizes phantomness for smooth proper dg categories admitting geometric realizations. More precisely, let $X$ be a smooth proper variety over a field $k$, and let…
We prove the "all-the-heights'' version of the Batyrev--Manin--Peyre conjecture for split quintic del Pezzo surfaces, both for counting rational points over global function fields in positive characteristic and for the motivic version over…
Let $V$ be a smooth quasi-projective complex surface with compactification $(X,D)$ and set $\overline P_1(V):=h^0(X,K_X+D)$, $\overline q(V):=h^0(X,\Omega^1_X(\log D))$. We prove that $\overline P_1(V)\ge \overline q(V)-1$ if $V$ has…
Chasles' Quadrilateral Theorem is a classical statement about four tangents to a conic that simultaneously circumscribe a circle. In its various formulations, it relates the concurrence of certain lines to the existence of confocal conics…
Let $X$ be a compact Riemann surface of genus 2 and $D$ a very ample divisor with $\phi_D$ its associated embedding into $\mathbb{P}^{n}$. We consider the set $G_{X,D}$ of linear subspaces $W$ of $\mathbb{P}^n$ of codimension $2$ with…
We study two-dimensional cyclic quotient singularities defined by $k$-Wahl chains, a class of Hirzebruch--Jung continued fractions obtained inductively starting from $[k+2]$. This class includes the classical Wahl singularities in the case…
We describe the local and global structure of the fixed locus for the action of a rational function on the Berkovich projective line over a complete nontrivially-valued algebraically closed nonarchimedean field. This includes a bound for…
We determine the $\mathrm{PGL}_2$-equivariant Chow ring of $\mathrm{Gr}(2,4)^s$, the $\mathrm{PGL}_2$-stable locus of $\mathrm{Gr}(2,4)$, over any algebraically closed based field of characteristic not equal to 2 or 3. In the process, we…
We have written a computer program that implements Deligne's pullback and pushforward weight spectral sequences to compute the weight graded pieces of the rational cohomology of moduli spaces of pointed smooth curves (as well as curves of…
We use the formalism of the (2-category) AGCat, developed in [GRV], and the operation of higher categorical trace to (re)derive a number of results in the Deligne-Lusztig theory.
In this paper, we study the cylindricity of $\Bbbk$-forms of singular del Pezzo surfaces obtained by blowing up weighted projective planes $\mathbb{P}(1,1,m)$ over an arbitrary field $\Bbbk$ of characteristic zero. As an application, we…
We prove that if two very general cubic fourfolds are L-equivalent then they are isomorphic, and we observe that there exist special cubic fourfolds which are L-equivalent but not isomorphic. When the cubic fourfolds are very general in…
Riemann vanishing theorem is a main ingredient of the conventional technique related to the Jacobi inversion problem. In the case of curves with a holomorphic involution, it has been presented quite fully in wellknown Fay's Lectures on…
We study the open/closed correspondence for the projective line via mirror symmetry. More explicitly, we establish a correspondence between the generating function of disk Gromov-Witten invariants of the complex projective line…
We bound the indices of normal abelian subgroups in finite groups contained in the Cremona group of rank 2 over a field of odd characteristic.
We give a condition on a $p$-adic representation of the fundamental group of a curve over $\overline{\mathbb{Q}}_p$ which ensures that under the $p$-adic Simpson correspondence the Higgs field vanishes.
We prove that the cohomology class of any curve on a very general principally polarized abelian variety of dimension at least 4 is an even multiple of the minimal class. The same holds for the intermediate Jacobian of a very general cubic…
We construct and analyze the "syntomic Steenrod algebra", which acts on the mod $p$ syntomic cohomology (also known as etale-motivic cohomology) of algebraic varieties in characteristic $p$. We then apply the resulting theory to resolve the…