要約:
We study the existence of a decomposition of the diagonal for bidegree hypersurfaces in a product of projective spaces. Using a cycle theoretic degeneration technique due to Lange, Pavic and Schreieder, we develop an inductive procedure that allows one to raise the degree and dimension starting from the quadric surface bundle of Hassett, Pirutka and Tschinkel. Furthermore, we are able to raise the dimension without raising the degree in a special case, showing that a very general $(3,2)$ complete intersection in $\mathbb P^4\times \mathbb P^3$ does not admit a decomposition of the diagonal. As a corollary of these theorems, we show that in a certain range, bidegree hypersurfaces which were previously only known to be stably irrational over fields of characteristic zero by results of Moe, Nicaise and Ottem, are not retract rational over fields of characteristic different from two.
要約:
We investigate the enumerative geometry of point configurations in projective space. We define "projective configuration counts": these enumerate configurations of points in projective space such that certain specified subsets are in fixed relative positions. The $\mathbb{P}^1$ case recovers cross-ratio degrees, which arise naturally in numerous contexts. We establish two main results. The first is a combinatorial upper bound given by the number of weighted transversals of a bipartite graph. The second is a recursion that relates counts associated to projective spaces of different dimensions, by projecting away from a given point. Key inputs include the Gelfand-MacPherson correspondence, the Jacobi-Trudi and Thom-Porteous formulae, and the notion of surplus from matching theory of bipartite graphs.
要約:
We show that the non-log version of Kato's ramification filtration on the Brauer group of a separated and finite type regular scheme over a positive characteristic local field coincides with the evaluation filtration. This extends a recent result of Bright-Newton to positive characteristics. Among several applications, we extend some results of Ieronymou, Saito-Sato and Kai to positive characteristics.
要約:
Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$ from the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq \mathcal{P}(4,6)$. For $[E]\in \mathcal{W}_n^{\min}$, let $S \to \mathbb{P}^1_{k}$ be the associated elliptic surface with section. Motivated by the Shioda-Tate formula, we consider the trivariate motivic height zeta function \[ \mathcal{Z}(u,v;t):= \sum_{n\ge0}\Bigl(\sum_{[E]\in \mathcal{W}_n^{\min}} u^{T(S)}v^{\mathrm{rk}(E/K)}\Bigr)t^n \in K_0(\mathrm{Stck}_k)[u,v][[t]] \] which refines the height series by weighting each height stratum with the trivial lattice rank $T(S)$ and the Mordell--Weil rank $\mathrm{rk}(E/K)$. We prove rationality for the trivial lattice specialization $Z_{\mathrm{Triv}}(u;t)=\mathcal{Z}(u,1;t)$ by giving an explicit finite Euler product. We conjecture irrationality for the N\'eron-Severi $Z_{\mathrm{NS}}(w;t)=\mathcal{Z}(w,w;t)$ and the Mordell-Weil $Z_{\mathrm{MW}}(v;t)=\mathcal{Z}(1,v;t)$ specializations.
要約:
In arXiv:2408.16441, the authors proved that on a projective log smooth variety $(\bar{X}, D)$ there is a continuous bijection between the moduli space $M^{\mathrm{nilp}}_{\mathrm{Dol}}(\bar{X}, D)$ of logarithmic Higgs bundles with nilpotent residues and the moduli space $M^{\mathrm{nilp}}_{\mathrm{DR}}(\bar{X}, D)$ of logarithmic connections with nilpotent residues. In this note, we argue that the map is a homeomorphism.
要約:
We have the correspondences between Lucas sequences, Pell's equations, and the automorphisms of K3 surfaces with Picard number 2. Using these correspondences, we determine the intersections of some Lucas sequences.
要約:
We study the projective geometry of algebraic neural layers, namely families of maps induced by a polynomial activation function, with particular emphasis on the generic Euclidean Distance degree ($\mathrm{gED}$). This invariant is projective in nature and measures the number of optimal approximations of a general point in the ambient space with respect to a general metric. For a fixed architecture (i.e. fixed width and activation polynomial), we prove that the $\mathrm{gED}$ is stably polynomial in the dimensions of the input and output spaces. Moreover, we show that this stable polynomial depends only on the degree of the activation function.
Our approach relies on standard intersection theory on the Nash blow-up, which allows us to express the $\gED$ as an intersection number over products of Grassmannians. Stable polynomiality is deduced via equivariant localization, while the reduction to the monomial case follows from an explicit Schubert calculus computation on Grassmannians.
要約:
We develop a new approach towards obtaining lower bounds of the Seshadri constants of ample adjoint divisors on smooth projective varieties $X$ in arbitrary characteristic. Let $x\in X$ be a closed point and $A$ an ample divisor on $X$. If $X$ is a surface, we recover some known lower bounds by proving, e.g., that $\varepsilon(K_X+4A;x)\geq 3/4$. If $X$ is a threefold, we prove that for all $\delta>0$ and all but finitely many curves $C$ through $x$, we have $\frac{(K_X+6A).C}{\operatorname{mult}_x C}\geq\frac{1}{2\sqrt{2}}-\delta$. In particular, if $\varepsilon(K_X+6A;x)<1/(2\sqrt{2})$, then $\varepsilon(K_X+6A;x)$ is a rational number, attained by a Seshadri curve $C$.
要約:
For a nondegenerate projective variety $X$, the Eisenbud-Goto conjecture asserts that $\operatorname{reg}X\leq\operatorname{deg}X-\operatorname{codim}X+1$. Despite the existence of counterexamples, identifying the classes of varieties for which the conjecture holds remains a major open problem. In this paper, we prove that the Eisenbud-Goto conjecture holds for $2$-very ample projectively normal varieties with mild singularities.
要約:
In this paper we study higher even Gaussian maps of the canonical bundle for cyclic trigonal curves. More precisely, we study suitable restrictions of these maps determining a lower bound for the rank, and more generally, a lower bound for the rank for the general trigonal curve. We also manage to give the explicit description of the kernel of the second Gaussian map. Finally, we use these results to show the non existence of "extra" asymptotic directions for cyclic trigonal curves in some spaces generated by higher Schiffer variations.
要約:
Let K be a field of characteristic 0. Let P_K(5,103,169) be the defining ideal of the space monomial curve {(t^5,t^{103},t^{169})}. In this paper we shall prove that the symbolic Rees algebra R_s(P_K(5,103,169)) is not Noetherian, that is, is not finitely generated over K.
要約:
We study skein modules of 3-manifolds by embedding them into the Hilbert spaces of 4d ${\cal N}=4$ super-Yang-Mills theories. When the 3-manifold has reduced holonomy, we present an algorithm to determine the dimension and the list of generators of the skein module with a general gauge group. The analysis uses a deformation preserving ${\cal N}=1$ supersymmetry to express the dimension as a sum over nilpotent orbits. We find that the dimensions often differ between Langlands-dual pairs beyond the A-series, for which we provide a physical explanation involving chiral symmetry breaking and 't Hooft operators. We also relate our results to the structure of $\mathbb{C}^*$-fixed loci in the moduli space of Higgs bundles. This approach helps to clarify the relation between the gauge-theoretic framework of Kapustin and Witten with other versions of the geometric Langlands program, explains why the dimensions of skein modules do not exhibit a TQFT-like behavior, and provides a physical interpretation of the skein-valued curve counting of Ekholm and Shende.
要約:
We study the additivity of Newton-Okounkov bodies. Our main result states that on two-dimensional subcones of the ample cone the Newto-Okounkov body associated to an appropriate flag acts additively. We prove this by induction relying on the slice formula for Newton-Okounkov bodies. Moreover, we discuss a necessary condition for the additivity showing that our result is optimal in general situations. As an application, we deduce an inequality between intersection numbers of nef line bundles.
要約:
We count points on character varieties associated with punctured surfaces and regular semisimple generic conjugacy classes in reductive groups. We find that the number of points are palindromic polynomials. This suggests a $P=W$ conjecture for these varieties. We also count points on the corresponding additive character varieties and find that the number of points are also polynomials, which we conjecture have non-negative coefficients. These polynomials can be considered as the reductive analogues of the Kac polynomials of comet-shaped quivers.
要約:
We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture that it is exhaustive: every smooth point admits a broken Gorenstein structure. We give an explicit characterization of the smooth points on the Hilbert scheme of A^3 corresponding to monomial ideals. We investigate the nature of the singular points, and prove several conjectures by Hu. Along the way, we obtain a number of additional results, related to linkage classes, nested Hilbert schemes, and a bundle on the Hilbert scheme of a surface.
要約:
We construct a theory of (etale) Berkovich motives. This is closely related to Ayoub's theory of rigid-analytic motives, but works uniformly in the archimedean and nonarchimedean setting. We aim for a self-contained treatment, not relying on previous work on algebraic or analytic motives. Applying the theory to discrete fields, one still recovers the etale version of Voevodsky's theory. Two notable features of our setting which do not hold in other settings are that over any base, the cancellation theorem holds true, and under only minor assumptions on the base, the stable $\infty$-category of motivic sheaves is rigid dualizable.
要約:
Based on the formalism of rigid-analytic motives of Ayoub--Gallauer--Vezzani, we extend our previous work with Fargues from $\ell$-adic sheaves to motivic sheaves. In particular, we prove independence of $\ell$ of the $L$-parameters constructed there.
要約:
In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. For multinorm one tori that split over finite Galois extensions with nilpotent Galois group, we prove that stable rationality and retract rationality are equivalent, and give a criterion for the validity of the above two conditions. This generalizes the result of Endo (2011) on the rationality problem for norm one tori. To accomplish it, we introduce a generalization of character groups of multinorm one tori. Moreover, we establish systematic reduction methods originating in work of Endo (2001) for an investigation of the rationality problem for arbitrary multinorm one tori. In addition, we provide a new example for which the multinorm principle holds.
要約:
We first develop some criteria for a general divisor to be strongly Euler-homogeneous in terms of the Fitting ideals of certain modules. We also study new variants of Saito-holonomicity, generalizing Koszul-free type properties and characterizing them in terms of the same Fitting ideals.
Thanks to these advances, we are able to make progress in the understanding of a conjecture from 2002: a free divisor satisfying the Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Previously, it was known to be true only for ambient dimension $n \leq 3$ or assuming Koszul-freeness. We prove it in the following new cases: assuming strong Euler-homogeneity outside a discrete set of points; assuming the divisor is weakly Koszul-free; for $n=4$; for linear free divisors in $n=5$.
Finally, we refute a conjecture stating that all linear free divisors satisfy LCT, are strongly Euler-homogeneous and have $b$-functions with symmetric roots about $-1$.
要約:
This paper deals with two problems about vector bundles on bielliptic surfaces. The first is to give a classification of Ulrich bundles on such surfaces $S$, which depends on the topological type of $S$. In doing so, we study the weak Brill-Noether property for moduli spaces of sheaves with isotropic Mukai vector. Adapting an idea of Moretti, we also interpret the problem of determining the degree of irrationality of bielliptic surfaces in terms of the existence of certain stable vector bundles of rank 2, completing the work of Yoshihara.
要約:
Let $X$ be a smooth quasi-projective variety. Assume that the (topological) fundamental group $\pi_1(X, x)$ is torsion-free nilpotent. We show that if the first Betti number $b_1(X) \le 3$, then $\pi_1(X, x)$ is isomorphic to either $\mathbb{Z}^n$ for $n = 1, 2, 3$, a lattice in the Heisenberg group $H_3(\mathbb{R})$ or $\mathbb{R} \times H_3(\mathbb{R})$. Moreover, we prove that $\pi_1(X, x)$ is abelian or $2$-step nilpotent if its rank is less than or equal to seven. More precisely, we determine the real nilpotent Lie groups in which torsion-free nilpotent fundamental groups can be embedded as lattices for ranks up to six and seven, respectively. Our main results are a partial positive answer to a question on nilpotent (quasi-)K\"ahler groups posed by Aguilar and Campana.
要約:
These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025.
The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor formalisms; the 2-category of cohomological correspondences, and resulting simplifications in the proofs of Poincar\'e--Verdier duality results; the relation between 6-functor formalisms and ``geometric rings''; many examples of 6-functor formalisms, both old and new.
要約:
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}$ smooth, in a fixed pencil of conics will admit a triangle or a tetragon inscribed in $\mathscr{A}$ and circumscribed about $\mathscr{B}$. We do this for all pencils, classified up to projective automorphism, with at least one smooth conic; effectively allowing the case where our conic pairs intersect non-transversally.
要約:
For a normal projective variety $X$, the $\bf Q$-factoriality defect $\sigma(X)$ is defined to be the rank of the quotient of the group of Weil divisors by the subgroup of Cartier ones. We prove a slight improvement of a topological formula of S.G. Park and M. Popa asserting that $\sigma(X)=h^{2n-2}(X)-h^2(X)$ by assuming only 2-semi-rationality, that is, $R^k\pi_*{\mathcal O}_{\widetilde{X}}=0$ for $k=1,2$, instead of rational singularities for $X$, where $\pi:\widetilde{X}\to X$ is a desingularization with $h^k(X):=\dim H^k(X,{\bf Q})$ and $n:=\dim X>2$. Our proof generalizes the one by Y. Namikawa and J.H.M. Steenbrink for the case $n=3$ with isolated hypersurface singularities. We also give a proof of the assertion that $\bf Q$-factoriality implies factoriality if $X$ is a local complete intersection whose singular locus has at least codimension three. (This seems to be known to specialists in the case $X$ has only isolated hypersurface singularities with $n=3$ using Milnor's Bouquet theorem.) These imply a slight improvement of Grothendieck's theorem in the projective case asserting that $X$ is factorial if it is a local complete intersection whose singular locus has at least codimension three and at general points of its components of codimension three, $X$ has rational singularities and is a $\bf Q$-homology manifold. In the hypersurface singularity case, the last condition means that any spectral number of a transversal slice to the singular locus is greater than 1, and is not an integer, that is, 1 is not an eigenvalue of the Milnor monodromy.
要約:
We show that the algebra $D_\hbar(SL_n/U)$ of differential operators on the base affine space of $SL_n$ is the quantized Coulomb branch of a certain 3d $\mathcal{N} = 4$ quiver gauge theory. In the semiclassical limit this proves a conjecture of Dancer-Hanany-Kirwan about the universal hyperk\"ahler implosion of $SL_n$. We also formulate and prove a generalization identifying the Hamiltonian reduction of $T^* SL_n$ with respect to an arbitrary unipotent character as a Coulomb branch. As an application of our results, we provide a new interpretation of the Gelfand-Graev symmetric group action on $D_\hbar(SL_n/U)$.
要約:
Double Bruhat cells in a connected complex semisimple Lie group $G$ emerged as a crucial concept in the work of S. Fomin and A. Zelevinsky on total positivity and cluster algebras. These cells are special instances of a broader class of cluster varieties known as generalized double Bruhat cells, which can be studied collectively as Poisson subvarieties of $\widetilde{F}_{2n} = \mathcal{B}^{2n-1} \times G$, where $\mathcal{B}$ is the flag variety of $G$. The spaces $\widetilde{F}_{2n}$ are Poisson groupoids over $\mathcal{B}^n$ and were introduced by J.-H. Lu, V. Mouquin, and S. Yu in the study of configuration Poisson groupoids of flags.
In this work, we describe the spaces $\widetilde{F}_{2n}$ as decorated moduli spaces of flat $G$-bundles over a disc. This perspective yields the following results: (1) We explicitly integrate the Poisson groupoids $\widetilde{F}_{2n}$ to symplectic double groupoids, which are complex algebraic varieties. Furthermore, we show that these integrations are symplectically Morita equivalent for all $n$. (2) Using this construction, we integrate the Poisson subgroupoids of $\widetilde{F}_{2n}$ formed by unions of generalized double Bruhat cells to explicit symplectic double groupoids. As a corollary, we obtain integrations for the top-dimensional generalized double Bruhat cells contained therein. (3) Finally, we relate our integration to the work of P. Boalch on meromorphic connections. We lift the torus actions on $\widetilde{F}_{2n}$ to the double groupoid level and show that they correspond to the quasi-Hamiltonian actions on the fission spaces of irregular singularities.
要約:
We prove a collection of results involving Colmez's periods and the Colmez Conjecture. Using Colmez's theory of periods of CM abelian varieties, we propose a definition for the height of a partial CM-type and prove that the Colmez conjecture follows from an arithmetic period formula for surfaces. We give an explicit conjecture for the form of this period formula, which relates the height of special points on a Shimura surface with special values of $L$-functions. Further, we relate the heights of periods given by Colmez to arithmetic degree of Hermitian line bundles and thus give a formulation of Colmez's full conjecture in geometric terms.
要約:
The Eulerian tonnetz, which associates three minor chords to each major chord and three major chords to each minor chord, can be represented by a bipartite graph with twelve white vertices denoting major chords and twelve black vertices denoting minor chords. This so-called Levi graph determines a configuration of twelve points and twelve lines in $\mathbb R^2$ with the property that three points lie on each line and three lines pass through each point. Interesting features of the tonnetz, such as the existence of the four hexatonic cycles and the three octatonic cycles, crucial for the understanding of nineteenth-century harmony and voice leading, can be read off directly as properties of this configuration $\{12_3\}$ and its Levi graph. Analogous tone networks together with their Levi graphs and configurations can be constructed for pentatonic music and twelve-tone music. These and other new tonnetze offer the promise of new methods of composition. If the constraints of the Eulerian tonnetz are relaxed so as to allow movements between major and minor triads with variations at exactly two tones, the resulting bipartite graph has two components, each generating a tessellation of the plane, of a type known to Kepler, based on hexagons, squares and dodecagons. When the same combinatorial idea is applied to tetrachords of the 'Tristan' genus (dominant sevenths and half-diminished sevenths) the cycles of the resulting bipartite graph are sufficiently ample in girth to ensure the existence of a second configuration $\{12_3\}$, distinct from the Eulerian tonnetz as an incidence geometry, which can be used for a new approach to the analysis of the rich tetradic harmonies of the nineteenth century common practice.
要約:
Topological string theory partition function gives rise to Gromov-Witten invariants, Donaldson-Thomas invariants and 5D BPS indices. Using the remodeling conjecture, which connects Topological Recursion with topological string theory for toric Calabi-Yau threefolds, we study a more direct connection for the subclass of strip geometries. In doing so, new developments in the theory of topological recursion are applied as its extension to Logarithmic Topological Recursion (Log-TR) and the universal $x$-$y$ duality. Through these techniques, our main result in this paper is a direct derivation of all free energies from topological recursion for general strip geometries. In analyzing the expression of free energy, we shed some light on the meaning and the influence of the $x$-$y$ duality in topological string theory and its interconnection to GW and DT invariants as well as the 5D BPS index.
要約:
We study the complex-analytic geometry of semi-positive holomorphic line bundles on compact K\"ahler manifolds. In one of our main results, for a $\mathbb{Q}$-effective line bundle satisfying a natural torsion-type assumption, we show the equivalence between semi-positivity and semi-ampleness. More generally, for an effective nef divisor of numerical dimension one, we characterize the semi-positivity of the associated line bundle in terms of the existence of a certain type of pseudoflat fundamental system of neighborhoods of the support. Furthermore, for an effective semi-positive divisor, we prove a dichotomy: either the divisor is the pull-back of a $\mathbb{Q}$-divisor by a fibration onto a Riemann surface, or the Hartogs extension phenomenon holds on the complement of its support. Our proof is based on a pluripotential method that has previously been used for studying the boundaries of pseudoconvex domains, which allows us to investigate the complex-analytic structure of neighborhoods of the support of the divisor even when the manifold is non-compact.
要約:
We investigate deformation properties of balanced hyperbolicity, with particular emphasis on degenerate balanced manifolds and their behavior under modifications.
In this context, we introduce two new notions of hyperbolicity for compact non-K\"ahler manifolds $X$ of complex dimension $\dim_{\mathbb{C}}X=n$ in degree $1 \leq p \leq n-1$, inspired by the work of F. Haggui and S. Marouani on $p$-K\"ahler hyperbolicity. The first notion, called \emph{p-SKT hyperbolicity}, generalizes the notions of SKT hyperbolicity and Gauduchon hyperbolicity introduced by S. Marouani. The second notion, called \emph{p-HS hyperbolicity}, extends the notion of sG hyperbolicity defined by Y. Ma.
We investigate the relationship between these notions of analytic nature and their geometric counterparts, namely Kobayashi hyperbolicity and \emph{p-cyclic hyperbolicity} for $2 \leq p \leq n-1$, and we examine the openness under holomorphic deformations of both $p$-HS hyperbolicity and $p$-K\"ahler hyperbolicity.