要約:
We present two proofs for a bound on the rank of the Mordell-Weil group of some elliptic fibrations. The bounds apply to Calabi-Yau varieties, which are also of interest to the physics of string theory. We prove explicit bounds for Calabi-Yau threefolds, as predicted by physics, and give new explicit bounds for fourfolds under mild assumptions. These results motivate a conjecture for bounds in any dimensions.
要約:
We study the perfectoid pure threshold with respect to $p$, an invariant of singularities in mixed characteristic $(0,p)$ arising from perfectoid purity. In this paper, we compute perfectoid pure thresholds for lifts of rational double points. We show that the set of such thresholds is contained in $\mathbb{Q}$ and satisfies the ascending chain condition. In characteristic $2$, all reciprocals of positive integers occur, and $0$ is the unique accumulation point.
要約:
Drawing on the theory of Minimal Model Program singularities for foliations, we define relative canonical and log-canonical singularities for algebraic stacks with finite generic stabilisers. We show that if a point has log-canonical singularities, its stabiliser group is a finite extension of an algebraic torus, thus, \'etale locally, the good moduli space exists. If the singularity is canonical, we further show that the locus of stable points is non-empty.
要約:
It is well established that a general pair of twisted cubic curves in complex projective space has ten common secant lines. As an initial investigation, we show that the monodromy group of the ten common secant lines over the complex numbers is the full symmetric group demonstrating that the common secant lines have no special structure over the complex numbers. We then investigate a novel question in real algebraic geometry: describe the possible collections of ten common secant lines to a pair of real projective twisted cubic curves. In addition to distinguishing between real and nonreal secant lines, we introduce a refinement of this classification which takes intersection points into account yielding totally real, partially real, and minimally real secant lines. Using computational algebraic geometry as well as combinatorics, we show that for each $k$ between 0 and 10, there exist pairs of real twisted cubic curves with exactly $k$ common totally real secant lines. We also obtain examples of real twisted cubics whose sets of common real secants cover a wide range of possibilities within our admissible classification of common real secant lines.
要約:
We introduce the crisp topology for schemes as a refinement of the fpqc topology. This Grothendieck topology uses the new notion of crisp morphisms, which generalise universal injectivity from ring homomorphisms to arbitrary morphisms of schemes. We study basic properties and demonstrate that this topology is well-behaved.
要約:
Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.
要約:
In this paper, we study the homogeneous components of the Chern--Schwartz--MacPherson (CSM) classes of Schubert cells. We prove that, under suitable conditions, each such component is represented by an irreducible subvariety. In particular, our result extends Huh's result \cite{Huh} by relaxing the regularity assumption on log resolutions. As a consequence, the conclusion holds for all cominuscule Schubert cells of classical type and for a large family of exceptional cases. We also obtain analogous results for certain Schubert varieties in symplectic Grassmannians and flag varieties.
要約:
We study the algebraic exceptional set for surfaces (S,B) of log general type, when B has at least three irreducible components; we prove that in most cases it is finite or empty.
要約:
We introduce a theory of uniform K-stability for big line bundles on smooth projective varieties. This extends the existing theory both for varieties with ample line bundles, and for varieties with big anticanonical class. Our main result gives a valuative characterisation of uniform K-stability, through finite collections of divisorial valuations. We further prove that uniform K-stability is preserved under pullbacks and certain pushforwards, which implies that uniform K-stability is well-defined at the level of b-divisors.
要約:
We show that the hyperkahler geometry of $T^*\mathbb{CP}^{n-1}$ can be described algebraically by the affine scheme of rank-1 projections, and that this description simultaneously yields explicit $SU(n)$-equivariant isometric embeddings \[ T^*\mathbb{CP}^{n-1} \hookrightarrow \mathbb{R}^{(n^2+1)^2}, \] as well as a generalization of the hyperkahler geometry of $T^*\mathbb{CP}^{n-1}$ to arbitrary commutative rings with involutions (and some noncommutative ones). In particular, we obtain para-hyperkahler and complex hyperkahler manifolds by taking the rings to be the split-complex numbers and bicomplex numbers, respectively. The functor of points of the scheme of rank-1 projections is the functor that maps a commutative ring $\mathcal{R}$ to the space of idempotents in $M_n(\mathcal{R})$ whose images are rank-1 projective modules. In particular, its space of $\mathbb{C}$-points is identified with $T^*\mathbb{CP}^{n-1}$.
要約:
It is well known that the Grauert-Riemenschneider canonical sheaf $\mathcal{K}_X$ of holomorphic square-integrable $n$-forms is a central tool in $L^2$-theory for the $\overline\partial$-operator on a singular complex space $X$ of pure dimension $n$. It was shown a few years ago that a comprehensive $L^2$-theory requires also the study of the sheaf $\mathcal{K}_X^s$ of holomorphic square-integrable $n$-forms with a Dirichlet boundary condition at the singular set of $X$. In the present paper, we describe and classify the behaviour of $\mathcal{K}_X^s$ in isolated canonical Gorenstein singularities, and give applications to the $L^2$-theory for the $\overline\partial$-operator on such spaces.
要約:
We construct Igusa stacks for all Shimura varieties of abelian type and derive consequences for the cohomology of these Shimura varieties. As an application, we prove that the Fargues--Scholze local Langlands correspondence agrees with the semi-simplification of the local Langlands correspondences constructed by Arthur, Mok and others, for all classical groups of type $A$, $B$ and $D$; this extends work of Hamann, Bertoloni Meli--Hamann--Nguyen and Peng.
要約:
Okounkov [36] proved a remarkable formula relating $n$-point GUE (Gaussian unitary ensemble) correlators of a fixed genus to Witten's intersection numbers of the same genus. The partition function of GUE correlators is a tau-function for the Toda lattice hierarchy. In this note, based on the knowledge of these two statements we give a new proof of the Witten--Kontsevich theorem, that relates Witten's intersection numbers to the KdV (Korteweg--de Vries) integrable hierarchy.
要約:
Let $R$ be a domain and $B=R[x_1^{\pm1},\ldots,x_n^{\pm1}]$ the Laurent polynomial ring over $R$. In this paper we study pre-factorially closed (pfc) and quasi-factorially closed (qfc) $R$-subalgebras of $B$, which generalize the notion of factorially closed subalgebras.
We first establish a localization criterion for the qfc property. Using this criterion, we investigate monoid algebras $A=R[M]$ associated with submonoids $M\subset \mathbb{Z}^n$. We prove that $R[M]$ is qfc in $B$ if and only if the group generated by $M$ is a direct summand of $\mathbb{Z}^n$. This provides a complete characterization of the qfc property in terms of the lattice structure of the associated group. As a consequence, when $n=1$ and $M\subset\mathbb{N}$, the algebra $R[M]$ is qfc in $B$ precisely when $M$ is a numerical semigroup. For a general $R$-subalgebra $A\subset B$, we introduce an invariant $\mathrm{Gap}(A)$. We show that if $\mathrm{Gap}(A)$ is finite, then $A$ is qfc in $B$.
Moreover, we clarify how the pfc and qfc conditions are related to other notions that naturally appear for subalgebras, such as retracts, being algebraically closed in $B$, and normality.
要約:
We extend the theory of complex cells introduced by Binyamini and Novikov to the sharply o-minimal setting, obtaining cellular preparation and parameterization theorems which are polynomially effective in the degrees of the relevant sets. Our constructions are definable, and so applying them to sets in a given reduct of R_an yields cells and cellular maps definable in the same reduct.
要約:
Motivated by the desire for a new kind of approximation, we define a type of localization called pixelation. We present how pixelation manifests in representation theory and in the study of sites and sheaves. A path category is constructed from a set, a collection of "paths" into the set, and an equivalence relation on the paths. A screen is a partition of the set that respects the paths and equivalence relation. For a commutative ring, we also enrich the path category over its modules (=linearize the category with respect to the ring) and quotient by an ideal generated by paths (possibly 0). The pixelation is the localization of a path category, or the enriched quotient, with respect to a screen. The localization has useful properties and serves as an approximation of the original category. As applications, we use pixelations to provide a new point of view of the Zariski topology of localized ring spectra, provide a parallel story to a ringed space and sheaves of modules, and construct a categorical generalization of higher Auslander algebras of type $A$.
要約:
In this paper, we study geometric points in tensor triangular geometry. In doing so, we construct a counter-example to Balmer's Nerves of Steel conjecture using free constructions in higher Zariski geometry. We then go on to introduce and discuss constructible spectra in the context of tensor triangular geometry. For tensor triangulated categories satisfying a mild enhancement condition, we use these spectra to construct geometric incarnations of (homological or triangular) primes via maps to "pointlike" tensor triangulated categories.
要約:
In this paper, we study tropical Weierstrass points. These are the analogues for tropical curves of ramification points of line bundles on algebraic curves.
For a divisor on a tropical curve, we associate intrinsic weights to the connected components of the locus of tropical Weierstrass points. These are obtained by analyzing the slopes of rational functions in the complete linear series of the divisor. We prove that for a divisor $D$ of degree $d$ and rank $r$ on a genus $g$ tropical curve, the sum of weights is equal to $d - r + rg$. We establish analogous statements for tropical linear series.
In the case $D$ comes from the tropicalization of a divisor, these weights control the number of Weierstrass points that are tropicalized to each component.
Our results provide answers to open questions originating from the work of Baker on specialization of divisors from curves to graphs.
We conclude with multiple examples that illustrate interesting features appearing in the study of tropical Weierstrass points, and raise several open questions.
要約:
We prove orientation results for evaluation maps of moduli spaces of rational stable maps to del Pezzo surfaces over a field, both in characteristic $0$ and in positive characteristic. These results and the theory of degree developed in a sequel produce quadratically enriched counts of rational curves over non-algebraically closed fields of characteristic not $2$ or $3$. Orientations are constructed in two steps. First, the ramification locus of the evaluation map is shown to be the divisor in the moduli space of stable maps where image curves have a cusp. Second, this divisor is related to the discriminant of a branched cover of the moduli space given generically by pairs of points on the universal curve with the same image.
要約:
In previous works, we introduced and studied certain categories called quasi-BPS categories associated to symmetric quivers with potential, preprojective algebras, and local surfaces. They have properties reminiscent of BPS invariants/ cohomologies in enumerative geometry, for example they play important roles in categorical wall-crossing formulas.
In this paper, we make the connections between quasi-BPS categories and BPS cohomologies more precise via the cycle map for topological K-theory. We show the existence of filtrations on topological K-theory of quasi-BPS categories whose associated graded are isomorphic to the monodromy invariant BPS cohomologies. Along the way, we also compute the topological K-theory of categories of matrix factorizations in terms of the monodromy invariant vanishing cycles (a version of this comparison was already known by work of Blanc-Robalo-To\"en-Vezzosi), prove a Grothendieck-Riemann-Roch theorem for matrix factorizations, and prove the compatibility between the Koszul equivalence in K-theory and dimensional reduction in cohomology.
In a separate paper, we use the results from this paper to show that the quasi-BPS categories of K3 surfaces recover the BPS invariants of the corresponding local surface, which are Euler characteristics of Hilbert schemes of points on K3 surfaces.
要約:
In this paper, we study the Hesse derivative of a cubic curve on the set of $j$-invariants, which can be viewed as a rational function on the Riemann sphere. We then analyze the dynamics of this rational function, including counting the number of orbits of a given size. We proceed to investigate when a cubic curve is isomorphic to its $n$-fold Hesse derivative, showing that when an elliptic curve has a $j$-invariant that is periodic under this rational function, the curve itself must be periodic under the Hesse derivative. We finish with some data collected comparing the sizes of the orbits of elliptic curves to those of their $j$-invariants, and some further questions about this dynamical system.
要約:
Using orbifold Hilbert schemes, we compactify all two-dimensional Hitchin systems corresponding to types A0-tilde, D4-tilde, E6-tilde, E7-tilde, and E8-tilde, thereby obtaining four rational elliptic surfaces with C*-actions. Their singular fibers and relative minimal models are listed in the main table. A particularly interesting point is that we found they can all be obtained by performing a finite number of blow-ups on the second Hirzebruch surface. To this end, we prove that Hilbert schemes of orbifold surfaces are connected smooth projective schemes under suitable conditions, and we use the Hilbert-Chow morphism to construct the minimal resolutions of the coarse moduli spaces.
要約:
We study the behavior of integral transforms under base change. In particular, we establish a yoga of local algebra and fibers to test for derived equivalences or fully faithfulness via integral transforms. This generalizes a result of Orlov to singular varieties and strengthens several results in the literature by allowing arbitrary base fields. Additionally, it provides new insight into fibrations and their singularities in arithmetic settings (e.g.\ projective and flat schemes over a DVR).
要約:
We study finite groups arising from configurations of skew lines in $\mathbb{P}^3_K$. Given a finite set $L$ of pairwise skew lines in $\mathbb{P}^3_K$, one naturally obtains a group $G_{L}\subset \mathrm{Aut}(L_i)\cong \mathrm{PGL}_2(K)$ acting on each line of the configuration. We investigate which finite subgroups of $\mathrm{PGL}_2(K)$ can occur in this way.
Our main tool is a matrix description of skew lines in $\mathbb{P}^3_K$, which allows us to express the generators of $G_{L}$ explicitly in terms of a family of matrices $M_i\in \mathrm{GL}_2(K)$. This turns the problem into a concrete linear-algebraic one and makes it possible to analyze both the abelian and the non-abelian cases.
In the abelian case, we show that after a change of basis the matrices $M_i$ are simultaneously upper triangular, and we obtain explicit families realizing cyclic groups and elementary abelian $p$-groups. In the non-abelian case, we prove that no dihedral group $D_n$ with $n\ge 3$ can occur, while we construct configurations with $G_{L}\cong A_4$, $S_4$, and $A_5$, describe the corresponding orbit structure, and exhibit affine positive-characteristic examples of groups of the form $C_p\rtimes C_{p-1}$.
These results also have applications to the geometry of point sets whose general projection is a complete intersection: they make more explicit the group-theoretic viewpoint on collinearly complete sets and yield new examples of half-grid geproci sets.
要約:
The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform version of this conjecture, meaning that that the number of cosets necessary does not depend on the ambient abelian variety. To achieve this, we prove a general gap principle on algebraic points that extends the gap principle for curves embedded into their Jacobians, previously obtained by Dimitrov--Gao--Habegger and K\"{u}hne. Our new gap principle also implies the full uniform Bogomolov conjecture in abelian varieties.
要約:
Motivated by studying boundary singularities of rational functions in two variables that are analytic on a domain, we investigate local integrability on $\mathbb{R}^2$ near $(0,0)$ of rational functions with denominator non-vanishing in the bi-upper half-plane but with an isolated zero (with respect to $\mathbb{R}^2$) at the origin. Building on work of Bickel-Pascoe-Sola, we give a necessary and sufficient test for membership in a local $L^{p}(\mathbb{R}^2)$ space and we give a complete description of all numerators $Q$ such that $Q/P$ is locally in a given $L^{p}$ space. As applications, we prove that every bounded rational function on the bidisk has partial derivatives belonging to $L^1$ on the two-torus. In addition, we give a new proof of a conjecture, started in Bickel-Knese-Pascoe-Sola and completed by Koll\'ar, characterizing the ideal of $Q$ such that $Q/P$ is locally bounded. A larger takeaway from this work is that a local model for stable polynomials we employ is a flexible tool and may be of use for other local questions about stable polynomials.
要約:
We present natural conjectural generalizations of the `positivity and integrality of mirror maps' phenomenon, encompassing the mirror maps appearing in the Batyrev--Borisov construction of mirror Calabi--Yau complete intersections in Fano toric varieties as a special case. We find that, given the combinatorial data from which one constructs a mirror pair of Calabi--Yau complete intersections, there are two ways of writing down an associated `mirror map': one which is the `true mirror map', meaning the one which appears in mirror symmetry theorems; and one which is the `naive mirror map'. The two are equal under a certain combinatorial criterion which holds e.g. for the quintic threefold, but not in general. We conjecture (based on substantial computer checks, together with proofs under extra hypotheses) that the naive mirror map always has positive integer coefficients, while the true mirror map always has integer (but not necessarily positive) coefficients. Most previous works on the integrality of mirror maps concern the naive mirror map, and in particular, only apply to the true mirror map under the combinatorial criterion mentioned above.
要約:
Let kq denote the very effective cover of the motivic Hermitian K-theory spectrum. We analyze the ring of cooperations $\pi^\mathbb{R}_{**}(\text{kq} \otimes \text{kq})$ in the stable motivic homotopy category $\text{SH}(\mathbb{R})$, giving a full description in terms of Brown--Gitler comodules. To do this, we decompose the $E_2$-page of the motivic Adams spectral sequence and show that it must collapse. The description of the $E_2$-page is accomplished by a series of algebraic Atiyah--Hirzebruch spectral sequences which converge to the summands of the $E_2$-page. Along the way, we prove a splitting result for the very effective symplectic K-theory ksp over any base field of characteristic not two.
要約:
By adapting methods of Ein-Erman-Lazarsfeld, we prove an analogue of the Ein-Lazarsfeld result on asymptotic syzygies for Veronese embeddings, in the setting of weighted projective spaces of the form $\mathbb{P}(1^n,2)$.
要約:
We explain why on certain five-manifolds, topological 5d $\mathcal{N} = 2$ gauge theory of Haydys-Witten twist with gauge group $G$, is dual to that of Geyer-M\"{u}lsch twist with gauge group $^LG$, where $G$ is a real, compact Lie group with Langlands dual $^LG$. In turn, via their 2d and 3d gauged A/B-twisted Landau-Ginzburg model interpretations, we can show that (i) a Fukaya-Seidel-type $A_\infty$-1-category of an HW$_4$-instanton Floer homology of three-manifolds and (ii) a Fueter-type $A_\infty$-2-category of an HW$_3$-instanton Floer homology of two-manifolds, are dual to (i) an Orlov-type $A_\infty$-1-category of a novel holomorphic $^LG_{\mathbb{H}}$-flat Floer homology of three-manifolds and (ii) a Rozansky-Witten-type $A_\infty$-2-category of a novel holomorphic $^LG_{\mathbb{O}}$-flat Floer homology of two-manifolds, respectively. We also derive their Atiyah-Floer-type correspondences to symplectic categories. Our work, which demonstrates a mirror symmetry and Langlands duality of (higher) $A_\infty$-categories of Floer homologies, therefore furnishes purely physical proofs and gauge-theoretic generalizations of the mathematical conjectures by Bousseau [1] and Doan-Rezchikov [2], and more.
要約:
It has recently been observed that, in contrast to the classical case, holomorphic structures on line bundles over the quantum projective line are not uniquely determined by degree. We formulate a fixed-point-theoretic framework for the analysis of flat $\bar\partial$-connections that define holomorphic structures on line bundles over the quantum projective line. Within this framework, we relate the existence of invertible solutions to the gauge equation associated with holomorphic structures precisely to the existence of fixed points, lying in the open unit ball, of certain nonlinear maps acting on an appropriate Banach space.
要約:
Using preservations of piecewise linear (PL) homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components (e.g. measuring ``net number of edge subdivisions'' from the boundary of a cross polytope) that are linear in the dimension and those that are superlinear in the dimension. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases as the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality decrease. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to the dimension). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.