要約:
McMullen's compact Kobayashi-geodesic curve $V \subset X_L$, arising from the hyperbolic triangle group $\Delta(14,21,42)$ via a modular embedding into the Hilbert modular sixfold $X_L = \mathbb{H}^6/\mathrm{SL}_2(\mathcal{O}_L)$ attached to the totally real cyclic field $L = \mathbb{Q}(\cos\tfrac{\pi}{21})$, is not contained in any proper Shimura subvariety of $X_L$, and the generic fiber $A_v$ satisfies $\mathrm{MT}(A_v) = \mathrm{Res}_{L/\mathbb{Q}}\,\mathrm{SL}_2$, hence carries no exceptional Hodge tensors. The Weil locus $\mathcal{W}_K \subset X_L$ parametrizing abelian sixfolds of Weil type for $K = \mathbb{Q}(\sqrt{-d})$ has codimension $3$ and $20$ irreducible components; the expected dimension $1 + 3 - 6 = -2$ makes any non-empty $V \cap \mathcal{W}_K$ super-atypical in the sense of Zilber-Pink. We prove that $V \cap \mathcal{W}_K$ is finite, possibly empty: every intersection point is a CM point with $\mathrm{End}^0(A_v) = M = KL$, a degree-$12$ CM field with $\mathrm{Gal}(M/\mathbb{Q}) \cong \mathbb{Z}/2 \times \mathbb{Z}/2 \times \mathbb{Z}/3$, established by two independent methods: the Andr\'e-Oort theorem for $\mathcal{A}_6$ and the Ax-Schanuel theorem for period maps. The Hodge-Weil classes in $H^{3,3}$ at intersection points are absolute Hodge yet inaccessible to all existing algebraicity theorems, due to three independent obstructions: CM isolation, absence of a $K$-secant structure, and uncontrolled discriminant. For $d \in \{3,7\}$, so that $M = \mathbb{Q}(\zeta_{42})$, we reduce non-emptiness of $V \cap \mathcal{W}_K$ to $44 \times 64 = 2816$ explicit algebraic equations for the prime $\ell = 43$ via Hecke correspondences on $X_L$, and isolate the remaining open steps toward a new case of the Hodge conjecture for abelian sixfolds.
要約:
Let $\mathbb{V}$ be an admissible and graded-polarized integral variation of mixed Hodge structures over a smooth and irreducible complex algebraic variety $S$. We show that if the typical Hodge locus $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{typ}$ of $\mathbb{V}$ is non-empty, the full Hodge locus $\mathrm{HL}(S,\mathbb{V}^\otimes)$ is dense in $S$ for the Zariski topology. In an other direction, we show that if the associated graded variation $\mathrm{Gr}(\mathbb{V})$ for the weight filtration has large monodromy and level at least 3 in the sense of Baldi- Klingler-Ullmo, the typical Hodge locus of $\mathbb{V}$ is empty, and the full Hodge locus of $\mathbb{V}$ is a strict Zariski-closed subset of $S$, at least if one restricts to its factorwise positive dimensional part, improving a classical result of Brosnan-Pearlstein-Schnell in this situation. These results follow from a detailed study of the transverse part $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{trans}$ of the Hodge locus of $S$ for $\mathbb{V}$, a subset which contains $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{typ}$ and whose Zariski-density in $S$ is equivalent, under the Zilber-Pink conjecture for $\mathbb{V}$, to the Zariski-density of $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{typ}$. We show that non-emptiness of $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{trans}$ is equivalent to its Zariski-density in $S$, we completely classify variations whose transverse Hodge locus $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{trans}$ is Zariski-dense, and we prove an independent criterion ensuring that $\mathrm{HL}(S,\mathbb{V}^\otimes)_\mathrm{trans}$ is empty.
要約:
We solve the isoclinic Deligne--Simpson problem for exceptional groups, completing a program initiated by Sage et al. and Jakob--Yun. As a by-product, we obtain new examples of physically rigid irregular connections on the projective line. Our approach uses the Riemann--Hilbert correspondence to reduce the problem to determining the non-emptiness of certain braid varieties associated to periodic braids. We show that this can be achieved by counting points over finite fields. Our approach is inspired by Lusztig's construction of a map from conjugacy classes in the Weyl group to unipotent classes.
要約:
The purpose of this paper is to study low degree points on plane curves. We prove results analogous to those of Debarre and Klassen for singular plane curves with a finite number $\delta$ of ordinary nodes/cusps, where $\delta$ is bounded from above by a quadratic function in the degree of the plane curve.
要約:
For a $(-1)$-shifted Lagrangian in a critical locus, we construct a homomorphism from the $K$-group of matrix factorisations of the critical locus to the $K$-group of the Lagrangian, partially answering the Joyce-Safronov conjecture. The key step is the construction of a specialisation functor for categories of matrix factorisations along the deformation to the normal cone.
Any $(-2)$-shifted symplectic space is a $(-1)$-shifted Lagrangian of a point, whose $K$-group is $\mathbb{Z}$. The image of $1\in \mathbb{Z}$ under the above homomorphism is the virtual structure sheaf.
We prove that two equivalent critical models of a given critical locus induce homomorphisms that commute via Kn\"orrer periodicity. When a torus acts on the Lagrangian, we further prove a localisation formula, namely the commutativity of the homomorphisms associated with the Lagrangian and its fixed locus.
要約:
For a generic one-parameter degeneration of projective hypersurfaces, we show that the periods of the limiting mixed Hodge structure are generated by certain special values of logarithm, Gamma and Dirichlet $L$-functions. Our proof is based on the analytic continuation of solutions to the GKZ system.
要約:
We find an explicit expression for the Richelot isogeny of Kummer surfaces of genus 2 curves in terms of Kleinian hyperelliptic functions of weight 2. We use this expression to relate Kleinian hyperelliptic functions associated to Richelot isogenous curves.
要約:
Let $X$ be a compact Riemann surface of genus $g \geq 2$, and let $D \subset X$ be a fixed finite subset. We prove the semiprojectivity of the moduli space of semistable symplectic or orthogonal parabolic Higgs bundles over $X$. We show that a stable symplectic parabolic bundle $E$ on $X$ is strongly very stable, meaning $E$ does not have any nonzero strongly parabolic nilpotent Higgs field, if and only if the symplectic parabolic Hitchin morphism induced on the affine space $$H^0(X,\mathrm{SPEnd}_\mathrm{Sp}(E) \otimes K(D))$$ is a proper morphism, where $\mathrm{SPEnd}_\mathrm{Sp}(E)$ denotes the set of symplectic strongly parabolic endomorphisms of $E$. We remark that the same criterion for very stability applies to the orthogonal case.
要約:
For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups for smooth projective varieties over such fields, where $p$ denotes the final residue characteristic of $k_N$. As an application, we show that the kernel of the tame reciprocity map is uniquely $p'$-divisible. A key ingredient in achieving these results is the finiteness of \'etale cohomology groups over such fields.
要約:
The topology of amoebas of complex algebraic hypersurfaces is deeply connected to the combinatorics of the Newton polytope and the convex geometry of the Ronkin function. A long-standing conjecture of Passare and Rullgard asserts that the amoeba of a maximally sparse Laurent polynomial, whose support consists exactly of the vertices of its Newton polytope, must be solid, meaning that the complement of the amoeba has precisely as many connected components as the number of vertices of the Newton polytope. In this paper we prove this conjecture. The proof is based on a detailed analysis of the stability of the linearity domains of the Ronkin function under tropical degenerations of Laurent polynomials. We show that in the maximally sparse case no new slopes corresponding to interior lattice points can appear, forcing the amoeba complement to have the minimal possible topology. In addition, we establish stability results for the spines of degenerating amoebas, prove that the associated Newton subdivision stabilizes and coincides with the tropical subdivision for sufficiently small parameters, and derive geometric criteria controlling the appearance of lattice points in the dual subdivision. These results lead to a classification of three distinct regimes governing the topology of amoeba complements according to the position of the support relative to the Newton polytope.
要約:
Based on the Reid-Shepherd-Barron-Tai criterion for canonical and terminal quotient singularities, we characterize canonicity and terminality of a toric variety in terms of its local class group actions. Specializing it to the Picard number one setting, we arrive at a classification algorithm for canonical and terminal fake weighted projective spaces in any dimension. In dimension four it gives, up to isomorphism, 710450 canonical fake weighted projective spaces. We take a look at the corresponding Calabi-Yau hypersurfaces, compute the Fine interior of the associated canonical simplices, and discuss the results.
要約:
Moduli theory has captured the imagination of algebraic geometers for at least two centuries. Up until the end of the 20th century, moduli spaces were constructed and studied by rigidifying the moduli problem using extrinsic data and applying geometric invariant theory. Over the last several decades, there has been a paradigm shift toward studying moduli problems intrinsically using the language of algebraic stacks. We highlight recent advances in this direction that have incorporated ideas from geometric invariant theory to develop a structure theory for algebraic stacks. In the ideal situation, it allows one to decompose an algebraic stack into simpler strata and construct moduli spaces corresponding to each stratum. In addition to surveying some previous applications of the theory, we take a forward-looking perspective on the field and identify questions for future research.
要約:
We develop a perturbative algorithm for constructing formal flat $F$-manifold structures on the cohomologies of dGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebras associated with Landau-Ginzburg models. As an application, this approach provides a perturbative construction of formal flat $F$-manifold structures on two important objects: the Jacobian algebra of a homogeneous polynomial with an isolated singularity at the origin, and the primitive cohomology of smooth projective Calabi-Yau complete intersections.
要約:
For a smooth projective variety $X\subseteq \mathbb P^N$ over an algebraically closed field of char $0$, we show that the discriminant locus of a generic projection of $X$ is projectively dual to a general linear section of the dual variety, and deduce a purity statement for the discriminant. Over $\mathbb C$, we also show that the fundamental group of the complement of the branch divisor arising from generic projection of a normal hypersurface surjects onto a braid group via braid monodromy.
要約:
While the numbers of superspecial curves of genus at most 3 are well understood, and several computational approaches have been developed to count superspecial curves of genus 4 with large automorphism groups, much less is known in higher genera. In this paper, we construct a feasible algorithm to enumerate superspecial hyperelliptic curves of genus 5 whose automorphism groups contain $(\mathbb{Z}/2\mathbb{Z})^3$. We implement and executing our algorithm in Magma, we succeeded in enumerating such superspecial curves in every characteristic $11 < p < 1000$.
要約:
The theory of polyptych lattices is a framework to obtain a family of toric degenerations whose polytopes are related by piecewise-linear transformations. It can be regarded as a generalization of toric degenerations arising from cluster algebras. In this paper, we study polyptych lattices consisting of transfer maps for marked chain-order polytopes, and obtain a family of toric degenerations of a projective variety to marked chain-order polytopes for the Gelfand-Tsetlin poset. We also compute the Cox ring of this projective variety.
要約:
We introduce the notion of a neutral representation of a finite group, or finite group scheme, $G$; a representation $V$ with the property that if a gerbe $\mathcal{G}$ over a field $k$ that is a form of the classifying stack $\mathcal{B} G$ admits a vector bundle that is a form of $V$, then it is neutral, that is, $\mathcal{G}(k)$ is not empty. We give some criteria for a representation of a finite diagonalizable group scheme to be neutral.
We apply this notion to give wide classes of examples of smooth curves, or varieties with a marked point, with cyclic automorphism groups, which are defined over their field of moduli, greatly generalizing some previous results.
要約:
A finite, normal cover $f: X\longrightarrow \bbP^2$ of degree $m\geq 3$ (the case $m=2$ is well known and we do not consider it in this paper) is called \emph{simple}, if there is a pencil $\mathcal P$ of rational curves of $\bbP^2$ such that the pull back via $f$ of $\mathcal P$ is a pencil of rational curves on $X$. Up to Cremona equivalence $\mathcal P$ can be assumed to be the pencil of lines through a fixed point $p\in \bbP^2$. If $\frakB$ is the branch curve of such a multiple plane, the general line through $p$ has to intersect $\frakB$ in $2m-2$ branch points (counted with multiplicities). If $p$ is not one of these branch points, then the multiple plane is said to be \ \emph{simpler}. \ In that case the branch curve will have a point of multiplicity $\deg(\frakB)-2m+2$ at $p$.
In this paper we classify, under suitable generality conditions for the branch curve, { simpler } triple planes up to Cremona equivalence (they belong to infinitely many non--Cremona equivalent families) and we give examples of infinitely many non--Cremona equivalent families of {simpler } multiple planes of degree $m\geq 4$.
要約:
We introduce FA-matrices for computing ranks of vector bundles of coinvariants and conformal blocks associated with modules over vertex operator algebras on the moduli space of stable pointed curves, unifying the notions of fusion and averaging matrices and generalizing Ueno's work. To illustrate, we compute ranks of vector bundles determined by pointed VOAs and the tensor product of certain VOAs, as well as other examples. As an application, positivity properties of their first Chern classes are analyzed.
要約:
We prove that all geometric helices in the derived category of coherent sheaves on a del Pezzo surface are related by a sequence of elementary operations: rotation, shifting, orthogonal reordering, derived dualization, tensoring by a line bundle, and tilting. As a consequence, any two non-commutative crepant resolutions of the affine cone over a del Pezzo surface are related by mutations. The proof relies on a geometric interpretation of tilting operations as cluster transformations acting on toric models of a log Calabi--Yau surface mirror to the del Pezzo surface.
要約:
Given a Nori motivic local system over a smooth, connected complex algebraic variety, we define its exceptional locus as a way to measure the variation in the motivic complexity of its stalks. The definition is given explicitly in terms of motivic Galois groups and Artin motives. Our main result is a motivic analogue of the Cattani--Deligne--Kaplan Theorem, asserting that the exceptional locus is a countable union of closed algebraic subvarieties. Moreover, we show that the maximal such subvarieties are defined over any algebraically closed subfield over which the ambient variety and the motivic local system admit models, and that they are stable under Galois conjugation when these models descend to a further subfield. This strengthens and extends previous results by Andr\'e in the pure case. We obtain a similar geometric description for the splitting locus of the motivic weight filtration. In the case of 1-motivic local systems, the above properties pass to the underlying variations of mixed Hodge structure via Andr\'e's fullness theorem.
要約:
Recent developments in motivic homotopy theory, especially the construction of norm functors by Bachmann and Hoyois, rely heavily on the machinery of infinite categories. In this paper, we take a purely geometric and elementary approach via the Weil restriction of schemes -- the fundamental geometric operation underlying these norm functors -- without invoking highly abstract categorical methods. We show that the Weil restriction preserves vector bundles and extend an existing result on normal bundles. We then construct the Weil restriction functor on the unstable motivic homotopy category and prove its compatibility with Thom spaces. Finally, in the setting of effective motives and the associated cohomology theories, we show that the Weil restriction sends Thom classes to Thom classes.
要約:
In this paper, we review the eigenpair problem in the context of tropical algebra. An important fact that has been largely overlooked in spectral theory of tropical algebra is that the tropical algebraic eigenvalues, which are obtained from the characteristic polynomial, may not correspond to any tropical eigenvector satisfying the standard eigenvalue-eigenvector equation. To resolve this, we use the tropical numerical range and define a generalized tropical eigenvalue-eigenvector relation. We define any non-zero vector satisfying this equation as a generalized tropical eigenvector. We show that a generalized tropical eigenvector always exists for any given tropical algebraic eigenvalue. We propose a computationally inexpensive method for the construction of these vectors. Additionally, we prove an upper bound for the algebraic eigenvalues of a tropical matrix, using the tropical Rayleigh quotients.
要約:
We develop neutral-fermionic constructions for the factorial $gp$- and $gq$-functions introduced by Nakagawa and Naruse, which are respectively dual to the factorial $GQ$- and $GP$-functions of Ikeda and Naruse. In particular, we realize the factorial $GP$-, $GQ$- and $gq$-functions as vacuum expectation values. As applications, we obtain, Jacobi--Trudi type determinantal formulas for the transition coefficients between functions with different equivariant parameters for $gq$ and its dual $GP$, as well as a Pfaffian formula for the factorial $gq$-functions. We further prove a remarkable coincidence among the transition coefficients for parameter changes for $gp$, $gq$, $GQ$, and $GP$. These coefficients admit a description in terms of factorial Grothendieck polynomials of type A.
要約:
We investigate the geometry behind the $q$-Klyachko algebra, introduced by Nadeau--Tewari. When $q$ is a prime power, we show that the $q$-Klyachko algebra is the image of the pullback map on Chow rings $\mathrm{CH}(\mathrm{Fl}_{n+1})\to\mathrm{CH}(\mathrm{DL}_n)$, where $\mathrm{DL}_n\subseteq \mathrm{Fl}_n$ is a compactified Deligne--Lusztig variety inside the complete flag variety $\mathrm{Fl}_{n+1}$. When $q$ is a positive rational number, we establish a K\"ahler package for the $q$-Klyachko algebra through inputs from toric geometry.
要約:
We consider a specific class of infinite dimensional $p$-adic Lie groups, i.e., a sort of diffeomorphism groups on $p$-adic ball $\operatorname{Diff}^{\operatorname{an}}(B_\epsilon)$. It turns out that this group has a natural logarithmic structure that leads to a $p$-adic version of Teichm\"{u}ller theory on diffeomorphism groups, which also presents some remarkable hydrodynamic facets. We further apply this framework to Mochizuki's $p$-adic Teichm\"{u}ller theory and Inter-universal Teichm\"{u}ller theory (IUT), and give a new reformulation of IUT as a Teichm\"{u}ller theory on automorphisms of two-dimensional group schemes.
要約:
Saito's criterion is a foundational result that algebraically characterizes free hyperplane arrangements via the determinant of a square matrix of logarithmic derivations. It is natural to ask whether this criterion can be generalized to the non-free setting. To address this, we formulate a general problem concerning the maximal minors of a $p \times \ell$ ($p \geq \ell$) derivation matrix and the algebraic relations among their associated coefficients. Focusing on strictly plus-one generated (SPOG) arrangements, we completely solve this minor-based recognition problem under the assumption that $\operatorname{pd} D(\mathcal{A}) \leq 1$. As a direct consequence, we obtain a purely algebraic, necessary and sufficient characterization of SPOG arrangements in dimension three. Ultimately, this framework provides a computable bridge to post-free arrangement theory.
要約:
We introduce a new class of formal group laws whose modulus square construction yields Buchstaber's family of polynomials. This class is related to, but does not coincide with, the family of formal group laws associated with the Krichever genus. We compute the values of the corresponding Hirzebruch genus on theta divisors and complex projective spaces, describe its relation to the Ochanine, Krichever, and Witten genera, and show how this construction gives examples not arising from Hirzebruch's elliptic genera of level $n$.
要約:
Let $f,g\in\overline{\mathbb{Q}}[z]$ be polynomials of degree $d\geq2$ with disconnected Julia sets. We prove that they have the same Lyapunov exponent $\mathcal{L}_f=\mathcal{L}_g$ if and only if either $f$ and $g$ are intertwined, or $f$ and $\overline{g}$ are intertwined. The analogous result for critical heights is also obtained. As an application, we provide a new proof of the theorem stating that the multiplier spectrum morphism on the moduli space of polynomials is generically injective.
要約:
Semidefinite programming (SDP) provides a fundamental framework for studying properties of sum-of-squares (sos) representations of nonnegative polynomials. In this paper we study the quartic forms GF = (|x|^4 + F(x))/2 associated with isoparametric polynomials F of OT-FKM type with g = 4. We characterize the sos property of GF in terms of the feasibility of an explicit SDP determined by the underlying Clifford system, and in the sos cases we obtain quantitative rank bounds for sos representations, with rigidity when m >= 3.
要約:
The Chow polynomial of a matroid is a fundamental invariant whose coefficients exhibit strong positivity properties, including $\gamma$-positivity. We interpret the normalized Chow coefficients as a probability distribution and establish new inequalities for its central moments. As consequences, we obtain bounds on the number of flags of flats and inequalities on the roots of the Chow polynomial.
We further relate these moment inequalities to algebraic geometry via the Hirzebruch $\chi_y$-genus. This yields new inequalities for matroidal Chern numbers. In particular, for any matroid of rank $d+1$, we prove that $c_1c_{d-1}\le c_d$, with equality if and only if $d=1$ or the simplification of the matroid is Boolean.
要約:
We construct a vertex coproduct on the Kontsevich--Soibelman cohomological Hall algebra (CoHA) of a quiver with potential, following Joyce (2018). We show it forms a vertex bialgebra. By applying a vertex algebraic analogue of Majid--Radford bosonisation, we form an extension of the CoHA of quivers with potential which incorporates a Cartan part. In the case of ADE quivers our vertex coproduct recovers Drinfeld's deformed coproduct on the Yangian. We compare the vertex coproduct with a localised coproduct defined by Davison and with the construction of Dotsenko--Mozgovoy when the potential is trivial. Our construction gives a new proof of the cohomological integrality theorem for symmetric quivers with trivial potential.
要約:
In 1999 Labesse introduced quasi-connected reductive groups and investigated their abelian Galois cohomology over local and global fields of characteristic 0. We (1) generalize some of the constructions of Labesse from quasi-connected reductive groups to arbitrary reductive groups, not necessarily connected or quasi-connected; (2) generalize results of Labesse on the abelian Galois cohomology of quasi-connected reductive groups to the case of local and global fields of arbitrary characteristic; and (3) investigate the functoriality properties of the abelian Galois cohomology. In particular, we introduce the notion of a principal homomorphism of quasi-connected reductive groups, and show that if G is a quasi-connected reductive group over a local or global field $k$ of *positive* characteristic, then the first Galois cohomology set H^1(k,G) has a canonical structure of abelian group, which is functorial with respect to *principal* homomorphisms.
要約:
We express the Kodaira-Iitaka dimension and the multiplicity of graded linear series in terms of the intersection theory of the plurisubharmonic envelope associated with the linear series, and obtain two refined versions of these formulas at the pointwise and at the metric levels.
At the pointwise level, we focus on the weak convergence of the partial Bergman kernel associated with the linear series and a Bernstein-Markov measure. At the metric level, we compute the asymptotic ratio of the volumes of unit balls defined by the sup-norms on the linear series.
Based on our findings, we introduce a non-pluripolar version of the numerical Kodaira-Iitaka dimension for a line bundle, show that this invariant dominates the classical Kodaira-Iitaka dimension and is, in turn, bounded above by the numerical versions proposed so far.
要約:
We give a sufficient combinatorial condition for the non-negativity of the coefficients of polynomial quotients of products of $q$-integers, also known as cyclotomic generating functions (CGFs). This slightly extends work by Iano-Fletcher, Pizzato, Sano and Tasin, who studied this condition as a criterion for quasismoothness of complete intersections in weighted projective spaces. As a consequence, we solve a problem by Billey and Swanson, prove most cases of an unpublished conjecture by Stanton and most cases of two conjectures by Gatzweiler and Krattenthaler. We also study sufficient conditions given by structural properties of the division lattice.
要約:
We develop the theory of adequate moduli spaces in characteristic $p$ (and mixed characteristic) characterizing quotients by geometrically reductive group schemes.
要約:
We define stable supercurves and stable supermaps, and based on these notions we develop a theory of Nori motives for the category of stable supermaps of SUSY curves with punctures. This will require several preliminary constructions, including the development of a basic theory of supercycles.
要約:
We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$ that occur in the product of two Schubert classes in the quantum cohomology or quantum $K$-theory ring of a cominuscule flag variety form an integer interval. Our proofs are based on several new results, including an explicit description of the most general non-empty intersection of two Schubert varieties in an arbitrary flag manifold, and a computation of the cohomology groups of any negative line bundle restricted to a Richardson variety in a cominuscule flag variety. We also give a type-uniform proof of the quantum-to-classical theorem, which asserts that the (3-point, genus 0) Gromov-Witten invariants of any cominuscule flag variety are classical triple-intersection numbers on an associated flag variety. Finally, we prove several new results about the geometry and combinatorics related to this theorem.
要約:
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative divisor theory on locally coherent schemes. This establishes an exact correspondence between effective valuative divisors and rank-one reflexive sheaves, yielding a non-Noetherian Ramanujam--Samuel theorem. To homologically control special fibre degenerations, we study morphisms of (N)-type; these govern the descent of generically trivial invertible sheaves and establish the theorems of the cube and the square without smoothness hypotheses. Utilizing the Picard-admissibility of group actions, we construct ample invertible sheaves explicitly from one-codimensional orbit boundaries. This achieves the rigid extension of generic polarizations to integral models over Pr\"ufer bases, structurally generalizing Raynaud's classical proof of his quasi-projectivity theorems.
要約:
Let $G$ be a complex semisimple Lie group and $\mathfrak g$ its Lie algebra. In this paper, we study a special class of cyclic Higgs bundles constructed from a $\mathbb Z$-grading $\mathfrak g = \bigoplus_{j=1-m}^{m-1}\mathfrak g_j$ by using the natural representation $G_0 \to GL(\mathfrak g_1 \oplus \mathfrak g_{1-m})$, where $G_0 \le G$ is the connected subgroup corresponding to $\mathfrak g_0$. The resulting Higgs pairs include $G^{\mathbb R}$-Higgs bundles for $G^{\mathbb R} \le G$ a real form of Hermitian type (in the case $m=2$) and fixed points of the ${\mathbb C}^*$-action on $G$-Higgs bundles (in the case where the Higgs field vanishes along $\mathfrak g_{1-m}$). In both of these situations a topological invariant with interesting properties, known as the Toledo invariant, has been defined and studied in the literature. This paper generalises its definition and properties to the case of arbitrary $(G_0,\mathfrak g_1 \oplus \mathfrak g_{1-m})$-Higgs pairs, which give rise to families of cyclic Higgs bundles. The results are applied to the example with $m=3$ that arises from the theory of quaternion-K\"ahler symmetric spaces.
要約:
We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.
要約:
Fujita's conjecture is known to be false in positive characteristic. We conjecture and give an approach to a new variant of Fujita's conjecture for the basepoint-freeness, very ampleness, and jet ampleness of linear systems of the form $\lvert K_X+aK_X+bL\rvert$. We extend the theory of moving Seshadri constants, previously established for smooth complex projective varieties by Ein, Lazarsfeld, Musta\c{t}\u{a}, Nakamaye, and Popa, to the more general setting of complete varieties over arbitrary fields. This theory is both an important component of our approach to this new conjecture and of independent interest. Using our approach, we prove our variant of Fujita's conjecture for smooth surfaces in arbitrary characteristic and for smooth complex projective varieties of arbitrary dimension.
要約:
In some previous work, we defined an invariant of genus zero nonabelian Hodge spaces taking the form of a diagram. Here, enriching the diagram by fission data to obtain a refined invariant, the enriched tree, including a partition of the core diagram into $k$ subsets, we show that this invariant contains sufficient information to reconstruct $k+1$ different classes of admissible deformations of wild Riemann surfaces, that are all representations of one single nonabelian Hodge space, so that the isomonodromy systems defined by these representations are expected to be isomorphic. This partially generalises to the case of arbitrary singularity data the picture of the simply-laced case featuring a diagram with a complete $k$-partite core. We illustrate this framework by discussing different Lax representations for Painlev\'e equations.
要約:
An algebraic variety $X$ is called a homogeneous space if there exists a transitive regular action of an algebraic group on $X$. We prove inequalities between the dimension of a homogeneous space of a linear algebraic group and its Picard number.
要約:
An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in V_4 \oplus V_2$ arising from its Clebsch--Gordan decomposition. From this representation one constructs weighted projective invariants $\xi_0, ..., \xi_5$ that embed $\mathcal{M}_3^1$ into $\mathbb{P}^5(2,2,3,3,4,6)$ onto the locus where the gcd of the weights of the non-zero coordinates equals $1$, together with absolute invariants defined as weight-zero rational functions of the $\xi_i$, normalized by an additional invariant $I_6$ of weight $6$. These absolute invariants determine the isomorphism class uniquely.
The stratification of $\mathcal{M}_3^1$ is described explicitly by equations in the absolute invariants or polynomial relations among the $\xi_i$. Computational illustrations demonstrate that the resulting invariants provide an effective feature set for automated classification of automorphism groups. The methods suggest natural extensions to higher degrees.
要約:
In this note we observe that the categorical structure of a flop occurs for some well-known non-commutative resolutions of a nodal curve. We describe the flop-flop spherical twists, and give a geometric interpretation in terms of Landau--Ginzburg models. The resolutions are all weakly crepant but not strongly crepant, and we formulate an intermediate condition that distinguishes the smaller ones.
要約:
Given a Calabi-Yau smooth projective complete intersection variety $V$ over $\mathbb{C}$, a hybrid Landau-Ginzburg (LG) model may be associated using the Cayley trick. This hybrid LG model comprises a non-compact Calabi-Yau manifold $X_{CY}$, and a holomorphic function $W$, defined on $X_{CY}$, such that the critical locus of $W$ is isomorphic to $V$. We construct a complete K\"ahler metric $\mathfrak{g}$ and a bounded Calabi-Yau volume form ${\Omega}$ on $X_{CY}$ such that $(X_{CY},\mathfrak{g}, {\Omega})$ is a bounded Calabi-Yau geometry (in fact, $(X_{CY},\mathfrak{g})$ is an asymptotically conical manifold) and the function $W$ is strongly elliptic; this enables us to apply the $L^2$-Hodge theory of Li-Wen \cite{LW} to $(X_{CY},\mathfrak{g}, {\Omega})$ and $W$, which leads to a Frobenius manifold structure on the twisted de Rham cohomology associated to $(X_{CY},W)$. Furthermore, we prove that this twisted de Rham cohomology is isomorphic to the de Rham cohomology $H(V;\mathbb{C})$, which results in a new $L^2$-Hodge theoretic construction of a Frobenius manifold structure on $H(V;\mathbb{C})$. This paper provides the first explicit geometric verification of Li-Wen's theory for genuine non-isolated, compact critical loci using hybrid Landau-Ginzburg models.
要約:
Consider a hyperelliptic curve of genus $2$ over a field $K$ of characteristic zero. After extending $K$ we can view it as a marked curve with its $6$ Weierstrass points. We classify the structure of the potentially stable reduction of such curves for a valuation of residue characteristic $2$. We implement this classification into a computer algebra system and compute it for a list of curves defined over $\mathbb{Q}$ with conductor at most $2^{20}$.
要約:
We construct a sequence of complete moduli spaces $$E_0 \subset E_1 \subset E_2 \subset \dots E_n \subset\dots,$$ each of which is isomorphic to a weighted projective space. These spaces parameterize certain $n$-dimensional Calabi-Yau varieties associated with the Sylvester sequence $2,3,7,43,\dots$. They generalize the moduli space of elliptic curves $\overline{M}_{1,1}=\mathbb P(4,6)$ and Brieskorn's family over $\overline{F}^{\rm BB}_{U\oplus E_8} = \mathbb P(4,10,\dotsc, 42)$, the Baily-Borel compactification of the moduli space of $U\oplus E_8$-polarized K3 surfaces. We also study fibrations in such Calabi-Yau varieties, extending to higher dimensions the theory of elliptic surfaces.
要約:
Given a connected reductive algebraic group $G$ with a Borel subgroup $B$ and a quasiaffine spherical $G$-variety $X$, we prove that every $G$-orbit $Y$ contained in the regular locus of $X$ can be connected by a $B$-normalized additive one-parameter group action with any minimal $G$-orbit in $X$ containing $Y$ in its closure. As a consequence, we show that the regular locus of $X$ is transitive for the subgroup in the automorphism group of $X$ generated by $G$ and all $B$-normalized additive one-parameter subgroups.
要約:
In this paper we study two families of three-dimensional quartics in the complex projective space ${\mathbb P}^4$: hypersurfaces with a unique quadratic singularity of rank 3, which is resolved by two blowups, and hypersurfaces with two quadratic singularities of rank 3 and 4, respectively. Both families have codimension 3 in the natural parameter space. For a Zariski general quartic in each of these families we prove factoriality and birational rigidity and describe its group of birational self-maps.
要約:
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 (a slight generalization of) the assertion that $\bf Q$-factoriality implies factoriality if $X$ is a local complete intersection whose singular locus has at least codimension three. 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.
要約:
We start studying the character variety of the algebraic supergroup OSp(1|2) from the algebraic perspective. We do this by first investigating the specific case of the character variety of the free group on two letters and try to describe the ring of invariants with respect to the conjugation action. The explicit description of the corresponding character variety for SL(2) was done by Fricke and Klein, so this can be seen as a variant of this theorem for its supergeometric counterpart OSp(1|2) and briefly touch upon the character stack for OSp(1|2)
要約:
We study the relation between birational singularities of 1-foliations and those of their quotients. We prove that the quotient $X/\mathcal{F}$ is log canonical (resp. klt) if and only if $\mathcal{F}$ is $\frac{p-1}{p}$-log canonical (resp. $\frac{p-1}{p}$-klt). Moreover, we obtain the classification of klt quotients by 1-foliations on regular surfaces in the cases $p=2,3$ and $5$.
要約:
Let $R$ be a 3-dimensional complete local Gorenstein isolated singularity. For a basic maximal modifying $R$-module $M$, we construct a wall-and-chamber structure, denoted by ${\sf Cone}(M)$ and called the mutation cone of $M$, in the real Grothendieck group associated to the maximal modification algebra $\Lambda={\rm End}_R(M)$. Each chamber in ${\sf Cone}(M)$ corresponds to a maximal modifying module obtained by iterated (Iyama--Wemyss) mutations of $M$, and a wall-crossing corresponds to the mutation at an indecomposable summand. Moreover, we introduce the notion of tilting-noetherian property of $\Lambda$, and by analysis of wall-and-chamber structure of ${\sf Cone}(M)$, we prove that this property holds for $\Lambda$ if and only if all maximal modifying $R$-modules are connected by iterated mutations.
We then consider the finite length subcategory $\mathscr{D}_M\subset {\rm D}^{\rm b}({\rm mod}\,\Lambda)$ and introduce a full-dimensional connected subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M\subset{\rm Stab}\mathscr{D}_M$ of Bridgeland stability conditions on $\mathscr{D}_M$. We prove that there is a regular covering map from ${\rm Stab}^{\rm mdf}\mathscr{D}_M$ to the complexification ${\sf Cone}(M)_{\mathbb{C}}$ of the mutation cone of $M$, where the Galois group is the subgroup of ${\rm Auteq} \mathscr{D}_M$ consisting of compositions of equivalences associated to mutations of maximal modifying modules. Finally, using the results on stability conditions, we describe the group of autoequivalences of $\mathscr{D}_M$ that preserve the subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M$.
要約:
This paper shows that the Hodge bundle over the moduli space of genus $g \geq 2$ curves does not contain any non-trivial sub-bundles. Notably, the mathematical content was generated by Aletheia, a custom AI agent powered by Gemini Deep Think.
要約:
Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and Arthur. The representations we define arise from finite equivariant covers of nilpotent co-adjoint $G$-orbits. To each such cover $\tilde{\mathbb{O}}$, we attach a distinguished filtered algebra $\mathcal{A}_0$ equipped with a graded Poisson isomorphism $\mathrm{gr}(\mathcal{A}_0)\simeq \mathbb{C}[\tilde{\mathbb{O}}]$. The algebra $\mathcal{A}_0$ receives a distinguished homomorphism from the universal enveloping algebra $U(\mathfrak{g})$, and the kernel of this homomorphism is a completely prime primitive ideal in $U(\mathfrak{g})$ with associated variety $\overline{\mathbb{O}}$. A unipotent ideal is any ideal in $U(\mathfrak{g})$ which arises in this fashion. A unipotent representation is an irreducible Harish-Chandra bimodule which is annihilated (on both sides) by such an ideal.
Our unipotent ideals and representations have all of the expected properties: the unipotent representations attached to $\tilde{\mathbb{O}}$ are parameterized by irreducible representations of a certain finite group (generalizing Lusztig's canonical quotient) and, when restricted to $K$, are of the form conjectured by Vogan. In classical types, all unipotent ideals are maximal, and all unipotent representations are unitary (we expect these properties to hold for arbitrary groups). Finally, all special unipotent representations are unipotent. To prove the last assertion, we introduce a refinement of Barbasch-Vogan-Lusztig-Spaltenstein duality, inspired by the symplectic duality of Braden, Licata, Proudfoot, and Webster.
要約:
It was recently shown how to account for all instantons of hermitian matrix models via (anti-) eigenvalue-tunneling -- including both exponentially-suppressed and exponentially-enhanced transseries-transmonomials which are predicted by resurgence. Matrix-model eigenvalue-tunneling corresponds to ZZ-branes. The present work shows how matrix-model anti-eigenvalues correspond to negative-tension ZZ-branes; and how to compute generic nonperturbative sectors -- with both ZZ and negative-tension-ZZ branes -- in the minimal-string free-energy. Negative-tension D-branes are herein a requirement of resurgence. This results in the construction of minimal-string free-energy transseries and the analytic computation of their resurgent Stokes data. Calculations are presented via Liouville boundary conformal field theory and via (matching) matrix model analysis. Minimal-string results are extended to Jackiw-Teitelboim gravity. Building on the matrix model analysis, one extension towards topological string theory is obtained via the remodeling-conjecture -- which allows for addressing one-cut, toric Calabi-Yau geometries. Building on the Liouville theory calculation, one other extension towards critical string theory is obtained via the H3+ - Liouville correspondence -- which allows for addressing negative-tension D-instantons in AdS spacetime. Throughout, checks of the construction and formulae are made in several examples, against both Borel resurgent analysis and string-equation transseries data.
要約:
The Casas-Alvero conjecture states that if $f(X)$ is a monic univariate polynomial of degree $d$ over a characteristic $0$ field $\mathbb{K}$ such that $\gcd(f, f_{i})$ is non-trivial for each $i=1, \dots, d-1$, then $f(X)=(X-\alpha)^d$ for some $\alpha\in \mathbb{K}$. In this paper, we prove the Casas-Alvero conjecture for polynomials of any degree $d\geq 3$ over any characteristic $0$ field, by using Koszul homology. Along the way we show existence of various "almost counterexamples" over $\mathbb{C}$, satisfying mildly weaker hypotheses, using Brouwer degree techniques.
要約:
We compute the $\mathbb{G}W$-spectrum (Karoubi--Grothendieck--Witt spectrum) of Grassmannians over divisorial schemes defined over fields of characteristic zero, and, as a corollary, determine their stabilized $\mathbb{L}$-theory spectrum. As part of our computation, we establish split fibration sequences in $\mathbb{K}$-theory, $\mathbb{G}W$-theory and $\mathbb{L}$-theory.
要約:
We use geometric invariant theory (GIT) to study the deep linear network (DLN). The Kempf-Ness theorem is used to establish that the $L^2$ regularizer is minimized on the balanced manifold. We introduce related balancing flows using the Riemannian geometry of fibers. The balancing flow defined by the $L^2$ regularizer is shown to converge to the balanced manifold at a uniform exponential rate. The balancing flow defined by the squared moment map is computed explicitly and shown to converge globally.
This framework allows us to decompose the training dynamics into two distinct gradient flows: a regularizing flow on fibers and a learning flow on the balanced manifold. It also provides a common mathematical framework for balancedness in deep learning and linear systems theory. We use this framework to interpret balancedness in terms of fast-slow systems, model reduction and Bayesian principles.
要約:
Symplectic slice theorems elucidate the local structure of symplectic manifolds carrying Hamiltonian actions of compact Lie groups. We generalize these theorems in two natural settings. The first is based on the idea that complex reductive algebraic groups are the natural complex-geometric counterparts of compact Lie groups. Using new definitions of Poisson and symplectic slices, we prove analogues of the classical symplectic slice theorems for Hamiltonian actions of complex reductive algebraic groups. These analogues have versions in the complex-algebraic and holomorphic categories, and make extensive use of Slodowy slices and decomposition classes in complex reductive Lie algebras. The starting point for our second setting is the fact that Hamiltonian Lie group actions are special cases of Hamiltonian symplectic groupoid actions. We generalize the classical symplectic slice theorems to the latter case.
要約:
Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with initial seed given by that of the coordinate ring of twisted products of flag varieties. This class of varieties includes, in particular, braid varieties and reduced double Bruhat cells.
要約:
Let $R$ be a $d$-dimensional Noetherian local ring with maximal ideal $m_R$. In this article, we give a generalization of the multiplicity $e(I)$ of an $m_R$-primary ideal $I$ of $R$ to a multiplicity $e(\mathcal I)$ of a graded family of $m_R$-primary ideals $\mathcal I$ in $R$. This multiplicity gives the classical multiplicity $e(I)$ if $\mathcal I=\{I^n\}$ is the $I$-adic filtration, and agrees with the volume, $\displaystyle \lim_{n\rightarrow \infty}d!\frac{\ell(R/I_n) }{n^d}$ for $R$ such that the volume always exists as a limit. We will show in this paper that many of the classical theorems for the multiplicity of an ideal generalize to this multiplicity, including mixed multiplicities, the Rees theorem and the Minkowski inequality and equality. We give simple proofs which are independent of the theory of volumes and Okounkov bodies for all of our results, with the one exception being the proof of the Minkowski equality. We do this by interpreting the multiplicity of graded families of $m_R$-primary ideals as a limit of intersection products on the family of $R$-schemes which are obtained by blowing up $m_R$-primary ideals in $R$.
要約:
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.