要約:
We give a structure result on the set of locally constant stability conditions, $\operatorname{Stab}(\mathcal{D}/R)$, defined by Halpern-Leistner-Robotis showing that it has the structure of a complex manifold, in total analogy with Bridgeland's work. As a consequence, we show that the property of having relative mass-hom bounds and the existence of good moduli spaces depends only on the connected components of $\operatorname{Stab}(\mathcal{D}/R)$. Lastly, we observe that the datum of a locally constant stability condition is equivalent to that of a flat family of stability conditions, as described by Bayer et al. in the context of noncommutative algebraic geometry.
要約:
To each ternary sextic $f(X_0, X_1, X_2)$ whose associated plane curve is smooth, the Shioda construction attaches a smooth sextic fourfold $X \subset \mathbb{P}^5$ whose defining equation $f(X_0, X_1, X_2) - f(Y_0, Y_1, Y_2)$ is fixed under the involution $\iota : (X_0, X_1, X_2, Y_0, Y_1, Y_2) \mapsto i \cdot (Y_0, Y_1, Y_2, -X_0, -X_1, -X_2)$. The induced action $\iota^* : H^4(X, \mathbb{Q}) \to H^4(X, \mathbb{Q})$ fixes a Hodge substructure $H \subset H^4(X, \mathbb{Q})$ whose Hodge coniveau is 1. By the general Hodge conjecture, we expect that there should exist a divisor $Y \subset X$ for which $H \subset \ker\left( H^4(X, \mathbb{Q}) \to H^4(X \setminus Y, \mathbb{Q}) \right)$. We verify this prediction in case the Waring rank of $f(X_0, X_1, X_2)$ takes on its minimum possible value, partially answering a question of Voisin (J. Math. Sci. Univ. Tokyo '15).
要約:
We prove that an open Richardson variety in the complete flag variety for $\mathrm{GL}_n$ is isomorphic to a torus if and only if the corresponding closed Richardson variety is toric. Such toric varieties can be classified in terms of the combinatorics of Bruhat intervals, and include many varieties of dimension larger than $n-1$. We give a combinatorial description of the corresponding polytopes, and compute several explicit examples.
要約:
We determine the generators of the autoequivalence group of the derived category of coherent sheaves on a bielliptic surface over an algebraically closed field of arbitrary characteristic. As a consequence, we prove that any algebraic variety derived equivalent to such a surface is isomorphic to the surface itself.
要約:
Let $X$ and $Y$ be rational functions of degree at least two with complex coefficients such that $\mathbb{C}(X,Y)=\mathbb{C}(z)$. We study the problem of determining when the field extension $[\mathbb{C}(z):\mathbb{C}(X)\cap\mathbb{C}(Y)]$ is finite and attains the minimal possible degree ${\rm deg X}\cdot{\rm deg Y}$. We give a complete characterization in the case where $X$ is a Galois covering. We also establish several related results concerning the functional equation $A \circ X = Y \circ B$ in rational functions, in the case where one of the functions involved is a Galois covering. Finally, we consider an analogous problem for holomorphic maps between compact Riemann surfaces.
要約:
We study the K-moduli stack of prime Fano threefolds of genus twelve, known as $V_{22}$. We prove that its boundary, which parametrizes singular members, is purely divisorial and consists of four irreducible components corresponding to the four families of Prokhorov's one-nodal $V_{22}$.
A key ingredient is a modular relation between Fano threefolds $X$ and their anticanonical K3 surfaces $S$. We prove that the forgetful morphism from the moduli of Fano--K3 pairs $(X,S)$ where $X$ is a K-semistable degeneration of $V_{22}$ to the moduli space of genus $12$ polarized K3 surfaces $(S,{-K_X}|_S)$ is an open immersion. In particular, the K-moduli of $V_{22}$ is governed by the moduli of their anticanonical K3 surfaces, providing a modular realization of Mukai's philosophy. Along the way, we develop a general deformation framework for Fano threefolds of large volume, which may be useful beyond the study of K-moduli.
要約:
In this paper we study the local geometry of the stack of pointed $A_r$-stable curves. In particular, we analyze the deformation theory of $A_r$-stable curves and their automorphism groups in order to study the combinatorics of families of curves over $[\mathbb{A}^1/\mathbb{G}_m]$, and use this to classify all closed points of the stack of $A_r$-stable curves. As a byproduct, we also classify all open substacks of the moduli stack of degree $2$ cyclic covers of $\mathbb{P}^1$ that admit a separated good moduli space. This is the first in a series of three papers aimed at studying obstructions for the existence of good moduli spaces for stacks of curves with $A$-type singularities, and using these to find an open substack of the stack of $A_r$-stable curves that admits a proper non-projective good moduli space when $r=5$.
要約:
The Hadamard rank of a point with respect to a projective variety is, if it exists, the minimum number of points of the variety whose coordinate-wise product is the given point. We classify the projective varieties for which the Hadamard rank is finite for any point. As a by-product we obtain the finiteness of the Hadamard rank with respect to varieties of tensors, such as Grassmannians, Chow varieties, varieties of reducible forms and their secant varieties, complementing previous known results on secant varieties of Segre-Veronese varieties. We prove sharp upper bounds on the maximum Hadamard rank for certain families of algebraic varieties: this is a consequence of a result on the lower semi-continuity of the Hadamard rank for curves that do not contain points with at least two zero coordinates.
要約:
Given a family of stable curves, we define a sheaf of factorization algebras associated to any universal factorization algebra, and prove a gluing formula for the corresponding sheaf of chiral homology, generalizing the sheaves of vertex algebras and the associated Verlinde formula for gluing of conformal blocks.
要約:
As in real microlocal analysis, we prove a Schwartz kernel theorem for $p$-adic distributions. We extend this result for motivic distributions using Cluckers-Loeser's motivic integration. In both settings, we give also a relation between the wave front sets of the distribution and its kernel.
要約:
We provide a new proof of a result of Bessenrodt on the relation among the generating series of reversed plane partitions and skew plane partitions, motivated by the geometric DT/PT wallcrossing formula for local curves recently proved by the third author. This also recovers a result of Sagan.
We moreover establish various new closed formulas for the weighted enumeration of reversed and skew plane partitions, proving a result dual to a theorem by Gansner, we find a new identity on the generating series counting internal and external hooks of a given Young diagram, and we combine the latter with Bessenrodt's theorem. Finally, we interpret our results as identities in the Fock space via the bosonic/fermionic formalism.
要約:
Computing the Voronoi diagram of mixed geometric objects in $R^3$ is challenging due to the high cost of exact geometric predicates via Cylindrical Algebraic Decomposition (CAD). We propose an efficient exact verification framework that characterizes the parameter space connectivity by computing certified topological transition sets. We analyze the fundamental non-quadric case: the trisector of two skew lines and one circle in $R^3$. Since the bisectors of circles and lines are not quadric surfaces, the pencil-of-quadrics analysis previously used for the trisectors of three lines is no longer applicable. Our pipeline uses exact symbolic evaluations to identify transition walls. Jacobian computations certify the absence of affine singularities, while projective closure shows singular behavior is isolated at a single point at infinity, $p_{\infty}$. Tangent-cone analysis at $p_{\infty}$ yields a discriminant $\Delta_Q = 4ks^2(k-1)$, identifying $k=0,1$ as bifurcation values. Using directional blow-up coordinates, we rigorously verify that the trisector's real topology remains locally constant between these walls. Finally, we certify that $k=0,1$ are actual topological walls exhibiting reducible splitting. This work provides the exact predicates required for constructing mixed-object Voronoi diagrams beyond the quadric-only regime.
要約:
We study polynomial group convolutional neural networks (PGCNNs) for an arbitrary finite group $G$. In particular, we introduce a new mathematical framework for PGCNNs using the language of graded group algebras. This framework yields two natural parametrizations of the architecture, based on Hadamard and Kronecker products, related by a linear map. We compute the dimension of the associated neuromanifold, verifying that it depends only on the number of layers and the size of the group. We also describe the general fiber of the Kronecker parametrization up to the regular group action and rescaling, and conjecture the analogous description for the Hadamard parametrization. Our conjecture is supported by explicit computations for small groups and shallow networks.
要約:
Let $C$ be a smooth projective curve over $\mathbb{C}$ of genus $g(C)\geqslant 3$ (respectively, $g(C)=2$). Fix integers $r,k$ such that $2\leqslant k\leqslant r-2$, (respectively, $3\leqslant k\leqslant r-2$). Let $\mathcal{Q}:={\rm Quot}_{C/\mathbb{C}}(\mathcal{O}^{\oplus r}_C, k, d)$ be the Quot scheme parametrizing rank $k$ and degree $d$ quotients of the trivial bundle of rank $r$. Let $\mathcal{Q}_L$ denote the closed subscheme of the Quot scheme parametrizing quotients such that the quotient sheaf has determinant $L$. It is known that $\mathcal{Q}_L$ is an integral, normal, local complete intersection, locally factorial scheme of Picard rank 2, when $d\gg0$. In this article we compute the nef cone, effective cone and canonical divisor of this variety when $d\gg0$. We show this variety is Fano iff $r=2k+1$.
要約:
In this article, we prove the Sarkisov Program for co-rank one foliations with suitable singularities on normal projective threefolds. We also exibit a weaker version of birational super-rigidity between two foliated Mori fiber spaces with rank one foliations on normal projective threefolds.
要約:
We investigate limit linear series on chains of elliptic curves, giving a simple proof of a conjecture of Farkas stating the existence of curves with a theta-characteristic with a given number of sections for the expected range of genera. Using the additional structure afforded by considering limit linear series on chains of elliptic curves, we find examples of reducible Brill--Noether loci, admitting at least two components, with and without a theta-characteristic respectively. This allows us to display reducible Hilbert schemes for $r\ge 3$ and $d=g-1$. We also give examples of Brill--Noether loci with three components. On the positive side, we provide optimal bounds on the degree under which Brill--Noether loci are irreducible when $r=2$.
要約:
We explicitly determine the group of isomorphism classes of equivariant line bundles on the non-archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, for its subgroups of matrices whose determinant has even (respectively trivial) valuation, and for $\mathrm{GL}_2(\mathcal{O}_F)$. Our results extend a recent classification of torsion equivariant line bundles with connection due to Ardakov and Wadsley, but we use a different approach. A crucial ingredient is a construction due to Van der Put which relates invertible analytic functions on the Drinfeld upper half plane to currents on the Bruhat-Tits tree. Another tool we use is condensed group cohomology.
要約:
The logarithmic tangent sheaf associated to an algebraically independent sequence of homogeneous polynomials - defined as the kernel of the associated Jacobian matrix - naturally generalizes the classical logarithmic tangent sheaf of a divisor in a projective space to the case of subvarieties defined by more than one equation. As is the case for divisors, one may investigate the freeness of such sequences, and other weaker notions.
The present work focuses on sequences of two homogeneous polynomials in four variables. We introduce two positive discrete invariants: the invariant m and the Bourbaki degree of a sequence, inspired by the framework of the Bourbaki degree recently developed for projective plane curves by Jardim-Nejad-Simis. The invariant m plays the role of the Tjurina number of plane projective curves and is bounded by a quadratic relation. We establish results concerning the interplay of minimal degree for syzygies of the Jacobian matrix and the introduced discrete invariants. Our approach uses tools from foliation theory, taking advantage of the fact that the logarithmic sheaf is, up to a twist, the tangent sheaf of a codimension one foliation in projective three-space.
We provide examples and classification results for pencils of cubics and for pairs of a quadric and a cubic polynomials, relating stability and Chern classes with the discrete invariants introduced, while classifying free and nearly-free cases. In particular, one of the nearly-free examples induces an unstable, non-split tangent sheaf for a codimension one foliation of degree 3, answering, in the negative, a conjecture of Calvo-Andrade, Correa and Jardim from 2018.
要約:
Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$ from the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq \mathcal{P}(4,6)$. For $[E]\in \mathcal{W}_n^{\min}$, let $S \to \mathbb{P}^1_{k}$ be the associated elliptic surface with section. Motivated by the Shioda-Tate formula, we consider the trivariate motivic height zeta function \[ \mathcal{Z}(u,v;t):= \sum_{n\ge0}\Bigl(\sum_{[E]\in \mathcal{W}_n^{\min}} u^{T(S)}v^{\mathrm{rk}(E/K)}\Bigr)t^n \] refining the height series by the trivial lattice rank $T(S)$ and Mordell-Weil rank $\mathrm{rk}(E/K)$. Setting $u=v=1$ recovers the exact Euler product of [BPS22]. We prove that the trivial lattice specialization $Z_{\mathrm{Triv}}(u;t)=\mathcal{Z}(u,1;t)$ is approximable to arbitrary dimensional precision by rational functions of $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, combining exact Euler products on the isotrivial loci with a motivic discriminant stabilization adapting Vakil-Wood to $\Delta=4a_4^3+27a_6^2$. Over $k=\mathbb{C}$, the weight bound in mixed Hodge theory promotes this to bidegree-wise Hodge number stabilization. In sharp contrast, the Kudla-Millson theta correspondence applied to Kodaira strata of the height moduli of elliptic surfaces with height $n \ge 2$ shows that the distribution of new Mordell-Weil sections by canonical height is governed by modular forms of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$, and is transcendental over $\mathbb{C}(q)$.
要約:
We prove a finiteness result for dominant rational maps whose orbifold base is of general type. Our finiteness result generalizes Maehara's theorem that a given variety dominates only finitely many projective varieties of general type up to birational equivalence, and also answers a question of Campana on the finiteness of Bogomolov sheaves. We give several further applications, including finiteness results for maps to curves, abelian varieties, and K3 surfaces.
要約:
The main result describes the Brauer-Nesbitt reduction of unipotent representations of a finite group of Lie type, expressing it as an explicit linear combination of the restriction of Weyl modules from the algebraic group to the group of $\mathbb{F}_q$ points. This partly confirms Lusztig's conjecture (2021), which was the main source of motivation for this work. The explicit virtual representations of the algebraic group come from a certain endomorphism of the space ${\mathbb Z}[T]$ of regular functions on the torus which approximates pullback under Frobenius and is linear over the ring ${\mathbb Z}[T]^W$ of $W$-invariant functions. This endomorphism is constructed from a new basis for ${\mathbb Z}[T]$ over ${\mathbb Z}[T]^W$ which we call the Kazhdan-Lusztig-Steinberg basis. We compare this basis to the canonical basis appearing in the study of modular representations of the algebraic group and the related noncommutative Springer resolution. This leads to canonically defined objects in the derived category of $G$-modules representing the above virtual representations and to a geometric interpretation for the resulting lift of the principal series representation $\overline{\mathbb{F}_q} [G/P(\mathbb{F}_q)]$ to a virtual representation of the algebraic group, which comes from a decomposition of diagonal in the equivariant Grothendieck group of the partial flag variety.