要約:
We construct exotic Hecke correspondences between the special fibers of different PEL type Shimura varieties, when the local groups are restrictions of scalars of unramified groups. In particular, the local groups themselves are not necessarily unramified, and the Shimura varieties can have bad reduction. By adapting the methods of Xiao-Zhu in the case of good reduction, we use this to construct new instances of the geometric Jacquet-Langlands correspondence, including a motivic refinement, and verify generic instances of the Tate conjecture for the special fibers of these Shimura varieties at very special level. Our main tool is to resolve the integral models by the splitting models of Pappas-Rapoport. We also define splitting versions of the moduli stacks of local shtukas and affine Deligne-Lusztig varieties, and study their geometry.
要約:
We give a counterexample to the following conjecture: the set of isolated periodic points of an automorphism of degree at least two on an affine space is a set of bounded height. As a positive result, we prove that any cohomologically hyperbolic dominant rational self-map on a projective variety admits a non-empty Zariski open subset on which the set of periodic points is height bounded. Concerning preperiodic points, we give an example suggesting that the same statement may fail.
要約:
We prove the stable degeneration conjecture of log Fano fibration germs formulated by Sun-Zhang. Precisely, we introduce the $\mathbf{H}$-invariant for filtrations over a log Fano fibration germ, and show that there exists a unique quasi-monomial valuation $v_0$ minimizing the $\mathbf{H}$-invariant. Moreover, we prove that the associated graded ring of $v_0$ is finitely generated and induces a special degeneration to a K-semistable polarized log Fano fibration germ, which further admits a unique K-polystable special degeneration.
要約:
Inspired by Mukai's work on K3 surfaces, we introduce and study a notion of semi-rigidity for stable sheaves on smooth polarised varieties, designed to capture the existence of stable deformations of direct sums. We show that semi-rigidity is detected by the absence of decomposable elements in the kernel of the Yoneda pairing. We apply the resulting criterion to line bundles on smooth projective varieties and to line bundles supported on smooth Lagrangian subvarieties of hyper-K\"ahler manifolds.
要約:
In this paper, we study Ulrich bundles on smooth toric threefolds with Picard number$~2$, namely $\mathbb P(\mathcal O_{\mathbb P^{2}}(a_0) \oplus \mathcal O_{\mathbb P^{2}}(a_1))$. We construct resolutions and monads for Ulrich bundles of arbitrary rank, and provide explicit examples together with a complete classification of those arising as pullbacks from $\mathbb{P}^2$. As a consequence, we also show that these varieties are Ulrich wild.
要約:
A basic problem in the geometry of degenerating period maps is to determine whether their completed images admit an intrinsic algebraic description. For polarized variations of Hodge structure over smooth quasi-projective surfaces, Deng and Robles formulated such a problem in terms of the Kato-Nakayama-Usui completion of the period image and a conjectural Proj description involving the augmented Hodge line bundle and the boundary divisor on a smooth compactification of the base. We show that the essential obstruction to this description is divisor-theoretic: it may be expressed as a Picard-generation statement on the completed mixed period image. We prove this statement when the pure period image is one-dimensional, and consequently obtain the Deng-Robles Proj description in this case.
要約:
The assumed hardness of the Linear Code Equivalence problem (LCE) lies at the core of the security of the LESS signature scheme and other signature schemes with advanced functionalities. The LCE problem asks to determine whether two linear codes are equivalent. This equivalence is represented by a monomial matrix $ Q$, i.e. the product of a diagonal matrix $D$ and a permutation matrix $P$. The recovery of $Q= DP$ is known to be reduced to the recovery of the permutation matrix $ P$ alone. Exploiting this fact, we construct an algebraic model for LCE involving only the matrix $P$. To this end, we study the action of monomial matrices on linear codes using tools from algebraic geometry, including Pl\"ucker coordinates and fields of invariant rational functions. In particular, we analyse the action of diagonal matrices on linear codes, which can be interpreted as diagonal scaling of the coordinates of elements of the Grassmannian. We propose a method to determine algebraically independent generators of the field of rational functions invariant under this action, without relying on Reynolds operators or Gr\"obner basis computations. Furthermore, given two equivalent codes, we apply our results to explicitly construct, for each invariant function, a polynomial having $P$ as a root. However, the resulting polynomials are not of practical use: their degrees are high for cryptographically relevant parameters, and the number of monomials grows exponentially, making them infeasible to manipulate. Despite this limitation, our results are of theoretical interest, as they constitute the first application of these tools to the cryptanalysis of LCE and provide insight into how algebraic geometry and invariant theory can be employed in Cryptography.
要約:
We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.
要約:
We study local generalized additive decompositions (GADs) of homogeneous polynomials and their associated point schemes through their local inverse systems. We prove that their construction and algebraic properties are independent of the chosen apolarity action. We propose a determinantal method for computing minimal local GADs by minimizing the rank of a symbolic inverse system. When the locus of minimal supports is finite, this provides a practical method to determine all minimal local decompositions without tensor extensions. We prove that this finiteness is guaranteed whenever the local GAD-rank of the form does not exceed its degree. We analyze both generic and special cases, provide computational evidence assessing the impact of different choices for minors, and compare our approach with existing algorithms for local apolar schemes.
要約:
We study a generalization of specialized Simpson's main estimate in the context of cyclic harmonic $G$-bundles induced by split automorphisms. We apply it to the classification of Toda type $G$-harmonic bundles.
要約:
We construct the natural Frobenius structures on two families of rigid irregular $\check{G}$-connections on $\mathbb{G}_m$ (or $\mathbb{A}^1$) for a split simple group $\check{G}$: (i) the $\theta$-connections arising from Vinberg's $\theta$-groups introduced by Chen and Yun; (ii) the Airy connection of Jakob--Kamgarpour--Yi generalizing the classical Airy equations. These data form the $p$-adic companions of the $\ell$-adic local systems introduced by Yun and Jakob--Kamgarpour--Yi. Via the Frobenius structures, we study the local monodromy representations of these local systems at the unique wildly ramified point and verify the prediction of Reeder--Yu on epipelagic Langlands parameters in our setting. We calculate the global geometric monodromy group of a special Airy $\check{G}$-local system via its local monodromy. We show the cohomological rigidity and the physical rigidity of these local systems, as conjectured by Heinloth--Ng\^o--Yun.
要約:
The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam.
In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.
要約:
We describe algorithms based on invariant theory to solve problems on the geometry of curves, mainly those of genus 2, 3 and 4. New theoretical results building on the first author's PhD thesis are also included.
要約:
Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the prismatic site of $\overline Y/S$ is equivalent to the category of $O_Y$-modules with integrable and quasi-nilpotent $p$-connection, and that the cohomology of such a crystal is computed by the associated $p$-de Rham complex. More generally, if $X$ is a closed subscheme of $\overline Y$, smooth over $\overline S$, then the prismatic envelope $\Delta_X(Y)$ of $X$ in $Y$ admits such a $p$-connection, the category of prismatic crystals on $X/S$ is equivalent to the category of $O_ {\Delta_X(Y)}$-modules with compatible integrable and quasi-nilpotent $p$-connection, and the cohomology of such a crystal is again computed by its $p$-de Rham complex. We also give a geometric construction of the ``prismatic Sen operator.'' Namely, we show that a lifting of $X$ (mod $p^2$) in $Y$ defines a vector field on the reduction modulo $p$ of $\Delta_X(Y)$ and on a ``diffracted'' Higgs complex which calculates the mod $p$ prismatic and de Rham cohomologies of $X$. Surprisingly, this complex is not the reduction modulo $p$ of the afore-mentioned $p$-de Rham complexbut is rather its ``$\alpha$-transform.'' As a consequence, we get a fairly explicit description of the action of the group scheme $G^\gamma$ on $R\Gamma(X, \Omega^\bullet_{X/S})$, Drinfeld's strengthening of the Deligne-Illusie decomposition theorem. We also explain how earlier work by several authors relating Higgs fields, $p$-connections, and connections can be placed in the prismatic context.
要約:
Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves mapping birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$, and no two curves in the collection have the same image under any isogeny from $A$. Using these hyperelliptic curves, we find many rational equivalences in the Chow group of zero-cycles $\text{CH}_0(A)$. We use these results to give some progress towards Beilinson's conjecture for zero-cycles, which predicts that for a smooth projective variety $X$ over $\overline{\mathbb{Q}}$ the kernel of the Albanese map of $X$ is zero.
要約:
We study complex Lagrangians in Hitchin systems that factor through a proper subvariety of the Hitchin base non-trivially intersecting the regular locus. This gives a general framework for several examples in the literature. We compute the fiber-wise Fourier-Mukai transform of flat line bundles on visible Lagrangians. This proposes a construction of mirror dual branes to visible Lagrangians. Finally, we study a new example of visible Lagrangians in detail. Such visible Lagrangian exists whenever the underlying Riemann surface is a pillowcase cover. The proposed mirror dual brane turns out to be closely related to Hausel's toy model.
要約:
Given a smooth projective variety $X$ and a smooth nef divisor $D$, we identify genus zero relative Gromov--Witten invariants of $(X,D)$ with $(n+1)$ relative markings with genus zero orbifold Gromov--Witten invariants of multi-root stacks over the $\mathbb P^1$-bundle $P:=\mathbb P(\mathcal O_X(-D)\oplus \mathcal O_X)$ with $n$ orbifold markings. This is a generalization of the local-relative correspondence beyond maximal contacts. Repeating this process, we identify genus zero relative Gromov--Witten invariants of ambient insertions with genus zero absolute Gromov--Witten invariants of toric bundles. We also present how this correspondence can be used to compute genus zero two-point relative Gromov--Witten invariants.
要約:
Witt group of real algebraic curves has been studied since Knebusch in 1970s. But few results are known if the base field is non-Archimedean except the hyperelliptic case by works of Parimala, Arason et al.. In this paper, we compute the derived Witt groups of smooth proper curves over nondyadic local fields with $char\neq2$ by reduction, with a general study of the existence of Theta characteristics.
要約:
In this paper, we generalize our formalism of the elliptic virtual structure constants to hypersurfaces and complete intersections within certain weighted projective spaces possessing a single K\"ahler class.
要約:
We give a somewhat informal introduction to the integrable systems approach to the Schottky problem, explaining how the theta functions of Jacobians can be used to provide solutions of the KP equation, and culminating with the exposition of Krichever's proof of Welters' trisecant conjecture in the most degenerate (flex line) case.
要約:
This note records two results concerning quasi-perfect morphisms between Noetherian algebraic spaces. First, we give a new characterization of regular Noetherian algebraic spaces as those for which blowups at closed points are quasi-perfect. Secondly, we study the local behavior of quasi-perfect proper morphisms. In particular, we show that quasi-perfectness of a proper morphism can be detected at their \'{e}tale local rings, completions, and (strict) Henselizations. As a corollary, the locus of points where a proper morphism is quasi-perfect is Zariski open.
要約:
Motivated by recent progress in the problem of numerical K\"ahler metrics, we survey machine learning techniques in this area, discussing both advantages and drawbacks. We then revisit the algebraic ansatz pioneered by Donaldson. Inspired by his work, we present a novel approach to obtaining Ricci-flat approximations to K\"ahler metrics, applying machine learning within a `principled' framework. In particular, we use gradient descent on the Grassmannian manifold to identify an efficient subspace of sections for calculation of the metric. We combine this approach with both Donaldson's algorithm and learning on the $h$-matrix itself (the latter method being equivalent to gradient descent on the fibre bundle of Hermitian metrics on the tautological bundle over the Grassmannian). We implement our methods on the Dwork family of threefolds, commenting on the behaviour at different points in moduli space. In particular, we observe the emergence of nontrivial local minima as the moduli parameter is increased.
要約:
Let $Z$ be a noetherian integral excellent regular scheme of dimension 2. Let $Y$ be an integral normal scheme endowed with a finite flat morphism $Y \to Z$ of degree 2. We give a description of Lipman's desingularization of $Y$ by explicit equations, leading to a desingularization algorithm for $Y$.
要約:
In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci, whose equivariant cohomology classes are the quiver polynomials of Buch and Fulton. We present one geometric formula and two combinatorial formulas that compute equivariant Chern-Schwartz-MacPherson (CSM) classes of open quiver loci; these classes refine the data of the quiver polynomials. The second combinatorial formula is in terms of "chained generic pipe dreams," which modify the pipe dreams of Bergeron and Billey to more strongly resemble the lacing diagrams of Abeasis and Del Fra. We also present two new formulas for quiver polynomials; these are streamlined versions of known formulas due to Knutson, Miller, and Shimozono, in the sense that they contain fewer terms.