要約:
We determine the border subrank of higher order structure tensors of several families of algebras, and in particular obtain the following results. (1) We determine tight bounds on the border subrank of $k$-fold matrix multiplication and $k$-fold upper triangular matrix multiplication for all $k$. (2) We determine the border subrank of the higher order structure tensors of truncated polynomial algebras, null algebras, and apolar algebras of a quadric. (3) We determine the border subrank of the higher order structure tensors of the Lie algebra $\mathfrak{sl}_2$ for all orders. (4) We prove that degeneration of structure tensors of algebras propagates from higher to lower order. Along the way, we investigate which upper bound methods (geometric rank, $G$-stable rank, socle degree) are effective in which settings, and how they relate. Our work extends the results of Strassen (J.~Reine Angew.~Math., 1987, 1991), who determined the asymptotic subrank of these algebras for tensors of order three, in two directions: we determine the border subrank itself rather than its asymptotic version, and we consider higher order structure tensors.
要約:
In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\bullet}_{X}$ with the property that for all finite type maps $f \colon X \to Y$ between $F$-finite Noetherian schemes there is a canonical isomorphism $\omega^{\bullet}_{X} \xrightarrow{\cong} f^!\omega^{\bullet}_{Y}$ in $D^b_{coh}(X)$. This, in particular, applies to the Frobenius morphism $F \colon X \to X$ so that we obtain a canonical isomorphism $\omega^{\bullet}_{X} \xrightarrow{\cong} F^!\omega^{\bullet}_{X}$.
To prove this, we rely on a result of Gabber that every Noetherian $F$-finite ring is a quotient of a regular ring, from which it follows that every $F$-finite Noetherian scheme has a (potentially non-canonical) dualizing complex. To make this canonical, we identify the dualizing complex of any $F$-finite Noetherian scheme as a unit of an alternate symmetric monoidal structure on $D^b_{coh}(X)$ we call the $!$-tensor product. We also sketch an alternate approach to finding this canonical dualizing complex following the more classical approach to Grothendieck duality.
要約:
Let $k$ be a field of characteristic $p,$ and $f : X \to S$ a smooth proper morphism of smooth $k$-schemes. Katz's formula gives a relationship between the Kodaira--Spencer map of $f,$ and an invariant called the $p$-curvature of the Gauss--Manin connection associated to $f.$ Recently, Lam--Litt proved a variant of Katz's formula in non-abelian Hodge theory, and suggested that it should be possible to give a more conceptual proof of their formula using the stacky approach to $p$-adic Hodge theory.
In this article, we realize their suggestion, explaining how the rather concrete phenomena observed by Katz and Lam--Litt can be explained in a conceptual way using sheared de Rham stacks, as developed by Bhatt--Kanaev--Vologodsky--Zhang and Drinfeld (though we prove a slightly different statement than Lam--Litt do). We do not assume the reader has any background in the theory of de Rham stacks.
要約:
In previous work, we extracted the intrinsic finite algebraic state data of a finite-node conifold degeneration in the form $A_\Sigma := (V_\Sigma,E_\Sigma,c_\Sigma)$, where $V_\Sigma$ is the finite node-indexed vertex set, $E_\Sigma$ is the nodewise coupling space, and $c_\Sigma$ is the coefficient vector of the corrected global extension class. The purpose of the present paper is to construct the corresponding interaction and incidence layer. Starting from the finite-node schober package $S_\Sigma := (\mathcal C_{\mathrm{bulk}},\{\mathcal C_{p_k}\}_{k=1}^r,\{\Phi_k,\Psi_k\}_{k=1}^r,Sh(S_\Sigma))$, we define the extended vertex set $V_\Sigma^{\mathrm{ext}} := V_\Sigma \sqcup \{v_{\mathrm{bulk}}\}$, the functorial coupling relation determined by the attachment functors, the resulting functorial incidence package $\mathfrak{I}_\Sigma := (V_\Sigma^{\mathrm{ext}},\rightsquigarrow_\Sigma)$, and its canonical binary decategorification $\mathcal I_\Sigma := (V_\Sigma^{\mathrm{ext}},I_\Sigma)$. From these data we assemble the finite quiver-theoretic package $\mathfrak Q_\Sigma := (V_\Sigma,E_\Sigma,c_\Sigma,\mathcal F_\Sigma,I_\Sigma)$, where $\mathcal F_\Sigma := \{(\Phi_k,\Psi_k)\}_{k=1}^r$ is the functorial coupling datum. We prove that this package is canonically determined by the finite-node schober datum, compatible with the corrected perverse extension and its mixed-Hodge-module refinement, and invariant under equivalence of finite-node schober realizations. This yields the interaction and incidence layer required for later graded interaction, stability, BPS, and wall-crossing structures.
要約:
We prove that every maximally nodal sextic surface\,(with 65 nodes) $X \subset \mathbb{P}_{\mathbb{C}}^3$ contains a symmetric half-even set of nodes of cardinality 35. It follows that the associated half-quadratic sheaf is the cokernel of a symmetric $6 \times 6$ matrix of linear forms, yielding a linear determinantal representation of $X$. In particular, after a suitable Serre twist, the half-quadratic sheaf is an Ulrich sheaf of rank 1. As an example, we exhibit an explicit $6 \times 6$ matrix of linear forms whose determinant defines the Barth sextic surface.
要約:
In this paper, we develop the notion of representability of co-dimension three cycles on a fourfold in terms of zero cycles modulo rational equivalence on surfaces.
要約:
We define and study the higher rank GKZ-fans of point configurations, where the rank one cases coincide with the usual GKZ-fans. A point in a higher rank GKZ-fan is then used to construct higher rank quasi-valuations to degenerate the toric variety associated to the point configuration flatly to a reduced union of toric varieties. Such a union encodes the polytopal subdivision arising from the point in the higher rank GKZ-fan.
要約:
We study the existence of asymptotically $Z$-stable (a.Z stable) bundles over polycyclic surfaces. Our choice of polynomial central charge is related to the existence of solutions of the deformed Hermitian--Yang--Mills equations, with vanishing $B$-field, in the large-volume limit. The main result is a technique to construct rank $3$, strictly a.Z-stable bundles as extensions of a line bundle by a $\mu$-stable bundle of rank $2$. In particular, this leads to new examples of strictly a.Z-stable bundles over $\mathbb{P}^2$, the product $\mathbb{P}^1\times \mathbb{P}^1$, and the blow-up $\mathrm{Bl}_q\mathbb{P}^2$. We also present an analogue of the Hoppe criterion for the a.Z-stability of vector bundles of rank $2$, which may be of independent interest.
要約:
We complete the classification of regular generically free actions of finite groups on del Pezzo surfaces, up to birational equivalence. As a byproduct, we settle several open problems in equivariant birational geometry, e.g., we classify birationally rigid actions on del Pezzo surfaces.
要約:
We classify pairs $(X,G)$ consisting of a (possibly singular) cubic threefold $X\subset\mathbb{P}^4$ and a finite subgroup $G\subset\mathrm{Aut}(X)$ such that $X$ is $G$-birationally rigid, i.e., $X$ is a $G$-Mori fiber space (over a point), and $X$ is not $G$-birational to any $G$-Mori fibre space that is not $G$-biregular to $X$.
要約:
In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4$, we prove that $\mathbb{P}^4$ is $G$-birationally superrigid if $G\simeq\mathrm{PSp}_{4}(\mathbf{F}_3)$.
要約:
We prove that if $X$ is a smooth Fano threefold and $L$ is an ample $\mathbb{Q}$-divisor such that $(X,L)$ is K-polystable, then the automorphism group $\operatorname{Aut}(X)$ is reductive. This verifies the reductivity statement predicted by the Yau--Tian--Donaldson conjecture in the setting of smooth Fano threefolds with arbitrary ample polarisation.
要約:
We study finite-node conifold degenerations of Calabi--Yau threefolds from the point of view of interacting light sectors. Although each ordinary double point contributes a rank-one local vanishing sector, the corrected global object need not assemble as a freely independent sum of nodewise pieces. Using the corrected perverse and mixed-Hodge-module degeneration package, the global gluing law for corrected extension classes, and the rigid-flexible atom decomposition on the \(F\)-bundle side, we define an interacting multi-node light-sector package and prove a block-reduced structure theorem. In the block-separated cycle family, the finite-node package separates into two logically distinct layers: relation collapse, controlled by a common relation lattice on the corrected-extension, smoothing, and resolution sides, and residual interaction among the surviving global sectors, controlled by a reduced block interaction matrix on the transport and atom sides. The result isolates the geometric and Hodge-theoretic precursor of coupled conifold light states and provides the mathematical input for a later multi-node reformulation of Strominger's conifold mechanism.
要約:
In a previous submission, we established a fundamental relation between tone networks and configurations. It was shown that the Eulerian tonnetz can be represented by a $\{12_3\}$ of Daublebsky von Sterneck type D222. We also constructed a tonnetz for Tristan-genus chords (dominant sevenths and half-diminished sevenths) and we showed that this tonnetz can be represented by a $\{12_3\}$ of type D228. In both of these constructions the associated Levi graphs play an important role. Here we look at the tonnetze associated with some other musical systems, thereby offering several concrete examples of an abstract view of music as combinatorial geometry. First, we look at the tonal harmonies typical of the classical period. In the case of diatonic triads, we show the existence of a bipartite graph of type $\{7_3\}$ and girth four that represents the well-known relations between the seven diatonic degrees and their pitch classes. In the case of diatonic seventh chords, we obtain a Fano configuration $\{7_3\}$ which gives a complete characterization of the voice-leading relations that hold between such chords. Next, we construct a tonnetz for pentatonic music based on the Desargues configuration $\{10_3\}$ and we construct a tonnetz for the 12-tone system based on the Cremona-Richmond configuration $\{15_3\}$. Both can be used as a resource for musical compositions. Finally, we show that the relation between the chromatic pitch class set and the major triad set is also represented by a D222. The minor triads are in one-to-one correspondence with the members of a certain class of hexacycles in the Levi graph of this configuration. In this way, the characteristic duality between major and minor triads in the tonnetz can be broken.
要約:
Let $k$ be a perfect field of characteristic $p>0$, and let $d$ be a positive integer not divisible by $p$. We define a non-empty Zariski open subset $U$ of the space of polynomials of degree $d$, and for $f(x)\in U(k)$, we compute the $a$-number of the curve defined by $y^p-y=f(x)$. This $a$-number realizes a lower bound given by Booher and Cais, so the latter is tight. Our result also implies that the bound of Booher and Cais for minimal $a$-numbers of Artin-Schreier covers of ordinary curves is tight.
要約:
We study the surjectivity of certain maps involving local cohomology modules, which we can realize as a dual version of part of the investigation developed by Bhatt, Blickle, Lyubeznik, Singh and Zhang on the sheaf cohomology of thickenings (i.e., subschemes defined by powers of ideals), where injectivity played a central role. To this end, we introduce and investigate properties of cohomologically Mittag-Leffler (cML) rings, associated to a given flat local endomorphism (for instance the Frobenius map of a regular ring of prime characteristic), a class which we show to contain, in our setting, the so-called cohomologically full rings of Dao, De Stefani and Ma (in particular, Cohen-Macaulay, Stanley-Reisner, and Du Bois singularities) as well as rings with an ideal inducing a pure endomorphism of the quotient. Our two major specific goals rely upon the prime characteristic setting. First, we extend for the class of cML rings a classical result of Peskine and Szpiro that relates the cohomological dimension and the height of a given Cohen-Macaulay ideal. Second, we prove and illustrate a Kodaira type vanishing result on the sheaf cohomology of thickenings.
要約:
The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the $p$-adic zeroes of certain transcendental functions. For an elliptic curve of Mordell--Weil rank one, the Chabauty--Coleman--Kim set in depth 2 is given by the zeroes of a (finite union of) quadratic polynomial(s) in the $p$-adic logarithm of the elliptic curve and the local $p$-adic height at $p$. Here, we give an explicit formula for a finite set containing the Chabauty--Coleman--Kim set in depth 3 for an elliptic curve of rank at most 2 under an assumption on non-vanishing of a special value of a $p$-adic $L$-function. The finite set is given by the zeroes of a polynomial in $p$-adic elliptic polylogarithms. We use these formulas to verify new instances of Kim's conjecture.
要約:
We study the instanton counting in four dimensional $\mathcal{N}=2$ supersymmetric gauge theories on the blow-up of $\mathbb{C}^2$: we start by formulating the instanton moduli space as a quiver variety, which we regularise by introducing two stability parameters, thus endowing it with a structure of infinitely many chambers separated by walls. Within a given chamber, we formulate the instanton partition function as a contour integral, which can be evaluated using the Jeffrey-Kirwan residue prescription. We characterise the physically relevant contributions in terms of bipartite oriented graphs and show that they can more efficiently be classified in terms of combinatorial objects called super-partitions. Within a given chamber, only certain types of super-partitions contribute and we show that the corresponding selection criteria are equivalent to stability conditions that have previously been proposed in the literature. We use this formalism to compare how the instanton counting changes when moving across walls between neighbouring chambers and provide explicit expressions for the corresponding partition functions. In a limiting chamber and using our approach, we show how to reproduce the Nakajima-Yoshioka blow-up formula.
要約:
Let $X$ be a projective nested product of fields and let $\delta_X(d)$ be the minimum distance in degree $d\geq 1$ of the projective nested Cartesian code $C_X(d)$. The regularity index ${\rm reg}(\delta_X)$ of the minimum distance function $\delta_X$ is the minimum integer $d_0\geq 0$ such that $\delta_X(d)=1$ for $d\geq d_0$. We give a formula for ${\rm reg}(\delta_X)$ by determining an indicator function of least degree for each point of $X$ and using the fact that ${\rm reg}(\delta_X)$ is the ${\rm v}$-number of the vanishing ideal $I_X$ of $X$. Then we give an arithmetical criterion that characterizes when $X$ is Cayley--Bacharach.
要約:
We begin by giving a derived characterization of rational singularities for pairs in the sense of Schwede--Takagi. This characterization extends a characterization of rational singularities due to Lank--Venkatesh to pairs on normal varieties over fields of characteristic zero. As an application, we introduce a categorical invariant that measures the failure of rationality for pairs on affine varieties that are locally complete intersections.
要約:
Inspired by the recent works of M. Kontsevich--Y. Tschinkel and J. Nicaise--J. C. Ottem on specialization of birational types for smooth families (in the scheme category) and J. Koll{\'a}r's work on fiberwise bimeromorphism, we focus on characterizing the fiberwise bimeromorphism and utilizing the characterization to investigate the specialization of bimeromorphic types for non-smooth families in the complex analytic setting. We provide several criteria for a bimeromorphic map between two families over the same base to be fiberwise bimeromorphic. By combining these criteria with the relative Barlet cycle space theoretic argument motivated by D. Mumford--U. Persson, K. Timmerscheidt and T. de Fernex--D. Fusi, we establish the specialization of bimeromorphic types for locally Moishezon families with fibers having only canonical singularities and being of non-negative Kodaira dimension. These specialization results can easily lead to criteria for locally strongly bimeromorphic isotriviality. Throughout this paper, we unveil the connections among the four classical topics in bimeromorphic geometry: the deformation behavior of plurigenera (or even $1$-genus), fiberwise bimeromorphism, specialization of bimeromorphic types, and the bimeromorphic version of the deformation rigidity.
要約:
We study the compactification of the moduli space of a certain class of rank-two irregular connections on the Riemann sphere, presenting one double pole and two simple poles. To construct the compactification explicitly, we identify a class of such irregular connections with the data of a rational irregular curve together with an extra complex parameter. As a first step, we compactify the moduli space of rational irregular curves using a technique inspired by the Kapranov's compactification of the spaces $\mathcal{M}_{0,n}$. We then introduce the notion of irregular stable nodal curve to describe the curves lying on the boundary components, in the spirit of the work of Deligne and Mumford. Second, we study the behaviour of the extra complex parameter to complete the compactification, obtaining a three dimensional quasi-projective variety $\mathfrak{Con}^V_\Theta$ that extends the Okamoto compactification.
要約:
This article focuses on smooth, projective, and geometrically integral varieties $X$ defined over a number field $k$ with torsion-free geometric Picard groups. We establish an isomorphism between the Brauer groups of $X$ and its symmetric products. As applications, we deduce the relationship between the Brauer--Manin obstruction to the Hasse principle and to weak approximation for $0$-cycles of degree $n$ on $X$ and the corresponding obstruction for rational points on smooth projective models of its $n$-fold symmetric product.
要約:
Let $(X,x)$ be a pointed geometrically connected smooth projective variety over a sub-$p$-adic field $K$. For any given rank $n$, we prove that there are only finitely many isomorphism classes of representations $\pi_{1}^{EF}(X,x)\rightarrow \mathrm{GL}_{n}$, where $\pi_{1}^{EF}(X,x)$ is Nori's fundamental group of essentially finite bundles. Equivalently, there are only finitely many isomorphism classes of essentially finite bundles of rank $n$. This answers a question from C.Gasbarri.
要約:
Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_\psi(Y)$ is polarized, so that $Q(X)=D_\psi(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_\psi(Y)\operatorname{-mod})^{{\mathbb Z}/2})^B$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{{\mathbb Z}/2})^{B^\vee,\operatorname{mon}}$.
要約:
We compute a presentation for the integral Chow rings of the moduli stacks of degree $2$ maps from smooth rational curves to projective space $\mathbb{P}^r$, as a quotient of a three-variable polynomial ring. The relations as $r$ varies have rich combinatorial structure: all non-trivial relations are encoded by two generating functions which are rational functions.
要約:
Multiple polylogarithms are equipped with rich algebraic structures including the motivic coaction and the single-valued map which both found fruitful applications in high-energy physics. In recent work arXiv:2312.00697, the current authors presented a conjectural reformulation of the motivic coaction and the single-valued map via zeta generators, certain operations on non-commuting variables in suitable generating series of multiple polylogarithms. In this work, the conjectures of the reference will be proven for multiple polylogarithms that depend on any number of variables on the Riemann sphere.
要約:
We show that for a general rational function $A$ of degree $m \geq 2$, any decomposition of its iterate $A^{\circ n}$, $n \geq 1$, into a composition of indecomposable rational functions is equivalent to the decomposition $A^{\circ n}$ itself. As an application, we prove that if $(A_1, A_2)$ is a pair of general rational functions, then the endomorphism of $\mathbb C\mathbb P^1 \times \mathbb C\mathbb P^1$ given by $
(z_1, z_2) \mapsto (A_1(z_1), A_2(z_2)) $ admits a periodic curve that is neither a vertical nor a horizontal line if and only if $A_1$ and $A_2$ are conjugate.
要約:
We establish versions of Matsuki duality for loop groups. The main result is a bijection between symmetric loop group orbits and real polynomial loop group orbits on the affine Grassmannians or affine flag varieties. Along the way we obtain orbit parametrizations and make connections with vector bundles on real and twistor-$\mathbb P^1$ and Kottwitz sets .