要約:
Contingent upon a conjecture of Buchweitz and Flenner, we prove the Lefschetz standard conjectures for 4d-dimensional projective varieties of generalized Kummer deformation type.
要約:
In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for X a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of logarithmic Cartier descent, and a new logarithmic non-abelian Hodge theorem for curves, both stated using a certain logarithmic Frobenius twist. Our logarithmic non-abelian Hodge theorem implies an earlier logarithmic non-abelian Hodge theorem of de Cataldo-Zhang.
要約:
Given an integral variation of Hodge structure $\mathbb{V}$ on a complex algebraic variety $S$, polarized by some bilinear form $Q : \mathbb{V} \otimes \mathbb{V} \to \mathbb{Z}$, it is believed that the set $\mathcal{A}^{\textrm{iso}}_{0} \subset S(\mathbb{C})$ of isolated atypical special points associated to $(\mathbb{V}, Q)$ forms a finite set. Here we show that the number of such points $s$ is $O(Q(t_{s}, t_{s})^{\varepsilon})$ for any $\varepsilon > 0$, where $t_{s}$ is a minimal integral Hodge tensor defining $s$ (in an appropriate sense). This resolves a conjecture of Grimm and Monnee.
要約:
We construct the quantum double ramification hierarchy associated with the Gromov-Witten theory of elliptic curves. We use results of Oberdieck and Pixton on the intersection numbers of the double ramification cycle, the Gromov-Witten classes of the elliptic curve and the Hodge class $\lambda_{g-1}$ together with vanishing results for $\lambda_{g-2}$ to produce a closed, modular expression for the resulting integrable hierarchy. It is the first explicit nontrivial example of a quantum integrable hierarchy from a cohomological field theory containing fermionic fields, which correspond to the odd classes in the cohomology of the elliptic curve.
要約:
In this paper we describe an approach to construct large extendable collections of vectors in predefined spaces of given dimensions. These collections are useful for neural network latent space configuration and training. For classification problem with large or unknown number of classes this allows to construct classifiers without classification layer and extend the number of classes without retraining of network from the very beginning. The construction allows to create large well-spaced vector collections in spaces of minimal possible dimension. If the number of classes is known or approximately predictable, one can choose sufficient enough vector collection size. If one needs to significantly extend the number of classes, one can extend the collection in the same latent space, or to incorporate the collection into collection of higher dimensions with same spacing between vectors. Also, regular symmetric structure of constructed vector collections can significantly simplify problems of search for nearest cluster centers or embeddings in the latent space. Construction of vector collections is based on combinatorics and geometry of semi-simple Lie groups irreducible representations with highest weight.
要約:
We prove that on a very general principally polarized abelian 6-fold, the smallest multiple of the minimal curve class which can be represented by an algebraic cycle is 6.
要約:
Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that behaves like the derived category of a smooth variety.
We follow these ideas to study the bounded derived category of a singular, reduced curve $C$ (with arbitrary singularities and number of components). We start by describing an explicit categorical resolution of singularities, specializing a general construction of Kuznetsov and Lunts. We prove the existence of Bridgeland stability conditions on these categories. As a consequence, we get the existence of proper, good moduli spaces of semistable objects. If the curve $C$ is irreducible, then we relate these moduli spaces to the moduli of slope-semistable torsion-free sheaves on $C$, and to the moduli of slope-semistable vector bundles on the (geometric) resolution $\tilde{C}$. This extends classical constructions by Oda and Seshadri, Bhosle and many others.
Finally, we use these results to give explicit descriptions of the moduli of torsion-free sheaves on a curve with a single node, cusp, or tacnode.
要約:
Suppose that $f:X\to C$ is a general Jacobian elliptic surface over the complex numbers. Then the primitive cohomology $H^{1,1}_{prim}(X)$ has, up to a sign, a natural orthonormal basis $(\eta_i)_{i\in [1, N]}$ given by certain meromorphic $2$-forms $\eta_i$ of the second kind, one for each ramification point of the classifying morphism $\phi$ from $C$ to the stack of generalized elliptic curves. (Here $N$ is any one of $h^{1,1}_{prim}(X)$, the number of moduli of $X$ and the degree of the ramification of $\phi$; these numbers are equal.) A choice of local co-ordinate on the stack of elliptic curves provides, via the branch locus of $\phi$, an {\'e}tale local co-ordinate system $(t_i)_{i\in [1, N]}$ on the stack of Jacobian elliptic surfaces.
The main result here is that truncation of the Gauss--Manin connexion yields the system $$\{\partial_i H=(\partial_i \eta_i\wedge\eta_i)H\}_{i\in [1, N]}$$ of non-linear pde satisfied by $H=[\eta_1,\ldots, \eta_N]$, where $\partial_i =\partial/\partial t_i$ and the skew tensor $\partial_i \eta_i\wedge\eta_i$ of rank $2$ is the ecliptic of $\eta_i$ (the plane in which the particle $\eta_i$ is instantaneously moving with respect to $t_i$). Moreover, after rigidification of the integral cohomology, $H$ can be interpreted as providing a period map for these surfaces with values in the complex orthogonal group $O_N$, and we prove a generic infinitesimal Torelli theorem for this map. For rational elliptic surfaces this can be calculated explicitly.
要約:
Let $f$ be a polarized endomorphism of an abelian variety $A$. Koll\'ar and Zhuang asked whether the essential dimension $\mathrm{ed}(f)$ equals $\mathrm{dim}(A)$. We provide counterexamples to this question. Instead, we prove that, under the hypothesis that every subtorus of $A$ is $f$-preperiodic up to translation (a condition arising from the dynamical Manin--Mumford conjecture), we have $\mathrm{ed}(f^s)=\mathrm{dim}(A)$ for some integer $s>0$. Our examples also show the necessity of both the hypothesis and iteration. We also give an affirmative answer to Koll\'ar and Zhuang's original question when $A$ is a simple abelian surface and $f$ is not $2$-polarized.
要約:
This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator produce a classical or strong generator for the bounded derived category of coherent sheaves. In the case of Deligne--Mumford stacks, we can bound the number of iterates required.
要約:
In this note we will illustrate a method for computing the $\pi_0$ of the effective log motive of a smooth and proper variety over a perfect field $k$ and show that it is $\A^1$-invariant. We will apply this to compute the first homotopy groups of $\P^1$ to show that the stripping functor from log motivic sheaves to (usual) Nisnevich sheaves with transfers is fully faithful.
要約:
We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore our construction confirms a conjecture of Kontsevich in dimension two. We work in the G-equivariant setting and over an arbitrary perfect field, and canonical decompositions are consistent with group change and algebraic field extensions. Our method is based on the G-minimal model program for surfaces and on the Sarkisov link factorisation of birational maps between Mori fibre spaces. We characterise rationality of surfaces, and in certain cases, birationality between surfaces in terms of the pieces of these decompositions, which we call atoms.
要約:
Recently, Sun-Zhang have developed an algebraic theory for K\"ahler-Ricci shrinkers showing that they admit the structure of a polarized Fano fibration $(\pi: X \to Y, \xi)$. In particular, they conjecture that existence of a K\"ahler-Ricci shrinker metric is equivalent to a notion of K-stability. We prove one direction of this conjecture, namely that existence of a K\"ahler-Ricci shrinker metric $g$ implies K-polystability of $(\pi: X \to Y, \xi)$, in the case that the Ricci curvature of $g$ decays at infinity.
要約:
This is the second of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. In the prior paper we studied those invariants of Goursat distributions akin to those of curves on surfaces, which we call structural invariants. In this paper we study invariants arising from the small growth sequence of a Goursat distribution, and relate them to the the structural invariants.
要約:
In this paper, we study locally analytic vectors in the "partially" completed cohomology of Shimura varieties associated with some rank $2$ unitary groups over a totally real field $F^+$ such that $F^+_v = \mathbb{Q}_{p^2}$ for some $p$-adic places $v$ and prove a certain classicality theorem. This is a partial generalization and modification of Lue Pan's work in the modular curve case by using the works of Caraiani-Scholze, Koshikawa and Zou on mod $l$ cohomology of Shimura varieties. As applications, we prove the automorphy lifting theorem and the Breuil-M$\mathrm{\acute{e}}$zard conjecture in some $\mathrm{GL}_2(\mathbb{Q}_{p^2})$ cases. We will assume a technical regularity condition on Serre weights of residual representations, but we don't assume any technical condition on the properties of liftings of residual representations at $p$-adic places except Hodge-Tate regularity. It should be noted that previously, such results were known only when we assumed that $F^+_v$ is equal to $\mathbb{Q}_p$ for any $p$-adic place $v$ of $F^+$ so that we can use the $p$-adic Langlands correspondence of $\mathrm{GL}_2(\mathbb{Q}_p)$. Moreover, we propose a conjectural strategy to prove such results in some $\mathrm{GL}_2(\mathbb{Q}_{p^f})$ cases.
要約:
We extend the notion of regularized integrals introduced by Li-Zhou that aims to assign finite values to divergent integrals on configuration spaces of Riemann surfaces. We then give cohomological formulations for the extended notion using the tools of current cohomology and mixed Hodge structures. We also provide practical ways of constructing representatives of the corresponding cohomology classes in terms of smooth differential forms.
要約:
For any plane curve singularity defined by an analytic function germ $f$, we construct a spine on each Milnor fiber simultaneously, that realizes the vanishing topology. In order to do so, we study the separatrices at the origin of the vector field $-\nabla \log |f|$. Under some genericity conditions on the metric, we produce a natural partition of the set of separatrices, $S$, into a finite collection smooth strata. As a byproduct of this theory, we construct a smooth fibration which is equivalent to the Milnor fibration, and lives on a quotient of the Milnor fibration at radius $0$. The strict transform of $S$ in this space induces the aforementioned spine for each fiber of this fibration. These fibers are naturally endowed with a vector field in such a way that the spine consists of trajectories which do not escape through the boundary.
要約:
In many cases involving mirror symmetry, it is important to have concrete mirror dual families. In this paper, we construct crepant resolutions of the Batyrev-Borisov mirror dual family to the complete intersection of two cubic hypersurfaces in $\mathbb P^5$. It is, similarly to the mirrors of quintic threefolds, a family over $\mathbb{P}^1$ with singular fibers over the set $\{0, \infty\} \cup \mu_6$. We have the Picard-Fuchs equation and limiting mixed Hodge structures of the singular fibers. We find that the singular fiber over $\infty$ has maximal unipotent monodromy, and $0$ is of a new type compared to the quintic case.
要約:
In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal, non-trivially valued fields $K$ of equicharacteristic zero. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed with double induction with respect to the dimensions of the ambient space and of the domain of $f$. To this end we introduce the concept of a definable open cell package with a skeleton, which along with the concept of a risometry plays a key role in our induction procedure.
要約:
By work of a number of authors, beginning with Scott and culminating with Galashin and Lam, the coordinate rings of positroid varieties in the Grassmannian carry cluster algebra structures. In fact, they typically carry many such structures, the two best understood being the source-labelled and target-labelled structures, referring to how the initial cluster is computed from a Postnikov diagram or plabic graph. In this article, we show that these two cluster algebra structures quasi-coincide, meaning in particular that a cluster variable in one structure may be expressed in the other structure as the product of a cluster variable and a Laurent monomial in the frozen variables. This resolves a conjecture attributed to Muller and Speyer from 2017. The proof depends critically on categorification: of the relevant cluster algebra structures by the author, of perfect matchings and twists by the author with \c{C}anak\c{c}{\i} and King, and of quasi-equivalences of cluster algebras by Fraser and Keller. By similar techniques, we also show that Muller and Speyer's left twist map is a quasi-cluster equivalence from the target-labelled structure to the source-labelled structure.
要約:
We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by relaxing the condition on the top degree homogeneous part of the polynomial describing the affine hypersurface, while sharpening the dependence on the degree in the bounds compared to previous results. We formulate a conjecture about plane curves which provides a conjectural approach to the uniform degree $3$ case (the only remaining open case). For induction on dimension, we develop a higher dimensional effective version of Hilbert's irreducibility theorem, which is of independent interest.
要約:
This paper builds one-cusped complex hyperbolic $2$-manifolds by an explicit geometric construction. Specifically, for each odd $d \ge 1$ there is a smooth projective surface $Z_d$ with $c_1^2(Z_d) = c_2(Z_d) = 6d$ and a smooth irreducible curve $E_d$ on $Z_d$ of genus one so that $Z_d \smallsetminus E_d$ admits a finite volume uniformization by the unit ball $\mathbb{B}^2$ in $\mathbb{C}^2$. This produces one-cusped complex hyperbolic $2$-manifolds of arbitrarily large volume. As a consequence, the $3$-dimensional nilmanifold of Euler number $12d$ bounds geometrically for all odd $d \ge 1$.
要約:
Matroid theory provides a unifying framework for studying dependence across combinatorics, geometry, and applications ranging from rigidity to statistics. In this work, we study circuit varieties of matroids, defined by their minimal dependencies, which play a central role in modeling determinantal varieties, rigidity problems, and conditional independence relations. We introduce an efficient computational strategy for decomposing the circuit variety of a given matroid $M$, based on an algorithm that identifies its maximal degenerations. These degenerations correspond to the largest matroids lying below $M$ in the weak order. Our framework yields explicit and computable decompositions of circuit varieties that were previously out of reach for symbolic or numerical algebra systems. We apply our strategy to several classical configurations, including the V\'amos matroid, the unique Steiner quadruple system $S(3,4,8)$, projective and affine planes, the dual of the Fano matroid, and the dual of the graphic matroid of $K_{3,3}$. In each case, we successfully compute the minimal irreducible decomposition of their circuit varieties.
要約:
Rational homology ellipsoids are certain Liouville domains diffeomorphic to rational homology balls and having Lagrangian pin-wheels as their skeleta. From the point of view of almost toric fibrations, they are a natural generalisation of usual symplectic ellipsoids. We study symplectic embeddings of rational homology ellipsoids into the complex projective plane and we show that for each Markov triple, this problem gives rise to an infinite staircase. A key ingredient in the proof is the result that any two such embeddings are Hamiltonian isotopic. We also prove constraints on sizes for pairs of disjoint embeddings.
要約:
Given a finite simple connected graph $\Gamma$, the graphical configuration space $\mathrm{Conf}_{\Gamma}(X)$ is the space of collections of points in $X$ indexed by the vertices of $\Gamma$, where points corresponding to adjacent vertices must be distinct. When $X=\mathbb{R}^d$ and the points are replaced by small disks, the resulting spaces for all possible graphs fit together into an algebraic structure that extends the little disks operad, called the little disks contractad $\mathcal{D}_d$. In this paper, we investigate the homotopical and algebraic properties of the little disks contractad $\mathcal{D}_d$. We construct and study Fulton-MacPherson compactifications of graphical configuration spaces, which provide a convenient model for $\mathcal{D}_d$ within the class of compact manifolds with boundary. Using these and wonderful compactifications, we prove that $\mathcal{D}_d$ is formal in the category of (Hopf) contractads for $d=1$, $d=2$, and for chordal graphs for any $d$. We also identify the first obstructions to coformality in the case of cyclic graphs. In addition, we give a combinatorial description of the cell structure of $\mathcal{D}_2$ and present applications to the study of graphical configuration spaces $\mathrm{Conf}_{\Gamma}(X)$ using the language of twisted algebras.
要約:
We study a natural enlargement of the BGG Category O for a semisimple Lie algebra: the category of weight modules with trivial central character and finite-dimensional weight spaces supported on the root lattice. We give a geometric realization of this category as unipotently monodromic sheaves on the flag variety satisfying a singular support condition. We then explain that a derived version $\mathcal{D}$ of this category is Koszul dual to the Kazhdan-Laumon Category O, a different enlargement of the BGG Category O obtained from a gluing construction for sheaves on the flag variety. This characterizes $\mathcal{D}$ as the category of algebras over a natural monad on a direct sum of copies of the derived Category O. These results give new interpretations of classical algebraic constructions of weight modules over semisimple Lie algebras due to Fernando and Mathieu. We also conjecture that our results fit naturally into a proposed Koszul duality relating the small quantum group and the semi-infinite flag variety to the geometry of affine Springer fibers.
要約:
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 $^LG_{\mathbb{H}}$-flat Floer homology of three-manifolds and (ii) a Rozansky-Witten-type $A_\infty$-2-category of a novel $^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.
要約:
A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$ of $\mathbf{F}_p$-algebras is characterized by isomorphism of the relative Frobenius $F_{S/R}$. While $F_{S/R}$ being an isomorphism implies $R \to S$ is formally \'etale, the converse fails in the non-Noetherian setting. Thus, following Morrow, we introduce an enhancement of the formally \'etale property that we call b-nil (bounded nil) formally \'etale, and we show that $F_{S/R}$ is an isomorphism precisely when $R \to S$ is b-nil formally \'etale. The b-nil formally \'etale property is quite different from the formally \'etale property. For instance, we show that any b-nil formally \'etale algebra over an $F$-pure ring is reduced, whereas non-reduced formally \'etale algebras exist over $\mathbf{F}_p$ by a construction of Bhatt. We also show that the b-nil formally \'etale property neither implies nor is implied by having a trivial cotangent complex. We explore when formally \'etale implies b-nil formally \'etale in prime characteristic. The known cases mainly arise from the fact that a weakly \'etale map has isomorphic relative Frobenius. We record two additional cases that may be of interest. The first is for a map $R \to S$ of $F$-finite rings such that $S$ has finitely presented absolute Frobenius. Secondly, we show that any formally \'etale map of Noetherian rings of prime characteristic is b-nil formally \'etale.