代数几何
We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the…
Let S be a site. We show that the 2-stack of strictly commutative Picard stacks over S is algebraic, i.e. it is 2-equivalent to the 2-stack of 2-algebras for an adequate algebraic 2-stack theory over S.
Homological mirror symmetry predicts that there is a relation between autoequivalence groups of derived categories of coherent sheaves on Calabi-Yau varieties, and the symplectic mapping class groups of symplectic manifolds. In this paper,…
We continue our quest for real enumerative invariants not sensitive to changing the real structure and extend the construction we uncovered previously for counting curves of anti-canonical degree $\leqslant 2$ on del Pezzo surfaces with…
We prove the equivalence of the deformation theory for a higher dimensional Calabi--Yau manifold and that for its dg category of perfect complexes by giving a natural isomorphism of the deformation functors. As a consequence, the dg…
Given a hypersurface defined by $f$ in a smooth complex algebraic variety $X$, and a point $P$ on this hypersurface, we consider the invariant $\beta_P(f)$ given by the log canonical threshold at $P$ of ${\mathfrak m}_P\cdot J_f$, where…
Let $X$ be a smooth projective complex curve, $P\subset X$ a reduced effective divisor, and $X^{0}=X\setminus P$. We study logarithmic $V$-twisted Higgs bundles arising from a logarithmic Hecke compactification of a rank-two bundle on…
We design a deep reinforcement learning algorithm to explore a high-dimensional integer lattice with sparse rewards, training a feedforward neural network as a dynamic search heuristic to steer exploration toward reward dense regions. We…
We introduce and study the base locus and the strong base locus of a projective variety X. The base locus of X parametrizes configurations of smooth points of X where the span of the tangent spaces of X at these points intersects X at some…
For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the…
In this paper, we develop the general intersection theory of nef b-divisors, extending the movable intersection theory. We define a notion of restricted volume of b-divisors and prove a quantitative version of the monotonicity of the…
We study transcendental b-divisors over compact K\"ahler manifolds. We establish the correspondence between closed positive currents and nef b-divisors. As an application, we establish the intersection theory of nef b-divisors, answering a…
Generically, one expects the images of two different point sets, in two different (projective) cameras, to be different. However, it can happen that the images are the same up to a projective transformation which is an instance of…
Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…
We prove a characterization of Fano type varieties.
We develop a non-abelian, gauge-theoretic framework for the Schwarzian derivative and for second-order differential equations on Riemann surfaces. As applications, we extend Dedekind's Schwarzian approach to elliptic periods to generic…
We prove dimension bounds on the jet schemes of the variety of nilpotent matrices (and of related varieties) in positive characteristic. This result has applications to the analytic properties of the Chevalley map that sends a matrix to its…
We consider Iwahori-Coulomb branches $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$, which are the affine flag analogs of the original Coulomb branches $\mathcal{A}_{G,\mathbf{N}}^{\mathrm{Gr}}$ defined by Braverman, Finkelberg, and…
We list all connected components of sets of non-discriminant functions near all {\em parabolic} function singularities (which are the second most important family of singularity classes of smooth functions after {\em simple} singularities).…
In the projective plane over a finite field of characteristic not equal to 2, we compute the probability that a randomly selected pair of distinct conics $(\mathscr{A},\mathscr{B})$, with $\mathscr{A}$ smooth or singular and $\mathscr{B}$…