要約:
The main result of this paper is a formula for the limit cycle of a 1-parameter family of subvarieties of a tropical compactification, expressed in terms of tropical intersections. Our theorem generalizes results of Dickenstein-Feichtner-Sturmfels and Katz to the case of tropical compactifications.
In the second part of the paper, we apply our formula to the moduli space $\overline{M}_{0, n}$ of stable marked rational curves. We describe the tropicalization of the Kapranov maps $\overline{M}_{0, n}\to\mathbb{P}^{n-3}$, whose hyperplane pullbacks are the $\psi$-classes, with respect to a suitable choice of torus. We introduce tropical $\psi$-hypersurfaces (in genus zero). These are different from the standard definition of Mikhalkin and Kerber-Markwig, and may be of independent interest. We demonstrate our main result by giving a "firework algorithm" that computes limits of intersections of $\psi$-hypersurfaces.
要約:
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp. $A$-quasi-coherent) if it admits a global presentation by free modules of finite rank (resp. arbitrary rank) over a ringed space $X$. We establish a fundamental correspondence between these sheaves and modules over the ring of global sections $A = \Gamma(X,\mathcal{O}_X)$. Specifically, we prove that under conditions of flatness for the canonical morphism and the exactness of the global section functor, there exists an equivalence of categories between $A$-coherent $\mathcal{O}_X$-modules and finitely presented modules over $A$. We further demonstrate the utility of these results by proving the faithful flatness of the canonical homomorphisms from rings of Nash functions to rings of analytic functions, utilizing the vanishing of higher cohomology groups as guaranteed by Cartan's Theorem~B.
要約:
We study the polynomial coefficients of lightning self-attention as coordinates of an algebraic variety. We identify linear and nonlinear families of algebraic invariants, including Chow-type, low-rank, Veronese-type, and Sylvester resultant-based constraints.
要約:
We study projective one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Existing finite-node theory isolates one rank-one local sector per node on the perverse-sheaf, mixed-Hodge-module, and categorical sides, but does not determine which global extension classes are actually realized by geometry. We show that when the nodes are linked by common cycle geometry or homological relations, the corrected extension is not free nodewise data, but is forced into a smaller relation-controlled subspace. To formalize this, we introduce a cycle-node incidence datum and the associated geometrically realized subspace of the ambient nodewise extension space. Under geometrically admissible and block-adapted incidence hypotheses, we prove that the corrected perverse extension factors through this subspace, with incidence compatibility derived from propagation of local variation data along admissible cycle components, and we show that the same relation law lifts compatibly to the mixed-Hodge-module setting. We then compare this relation law with the resolution and smoothing sides and, in the block-separated cycle family, obtain $R_{\mathrm{res}}=R_{\mathrm{sm}}=R_{\mathrm{ext}}=R_{\mathrm{blk}}$.
要約:
We describe the prismatic F-gauge associated to a finite flat height one group scheme over a smooth variety of positive characteristic. As applications, we derive the description of the crystalline Dieudonn\'e module of Berthelot-Breen-Messing in this case and recover results of Bragg-Olsson describing flat cohomology using a Hoobler-type sequence.
要約:
Let $(X,\Delta)$ be a smooth complex projective simple normal crossing pair of dimension $n\geq 3$ endowed with an everywhere nondegenerate logarithmic conformal tensor. If $K_X+\Delta$ is not nef, then precisely one of the following mutually exclusive alternatives occurs: either $\Delta=\varnothing$ and $X\simeq Q^n$; or $X\simeq \mathbb{P}^n$ and $\Delta$ is a hyperplane; or $n=2m$ is even and $(X,\Delta)$ admits a rational maximal isotropic fibration whose geometric generic fibre is the log pair $(\mathbb{P}^m,H)$. If $K_X+\Delta\equiv 0$, then, under a Bochner extension principle and an irreducibility assumption on the restricted holonomy of a complete Ricci-flat K\"ahler metric on $M:=X\setminus \Delta$, the existence of a logarithmic conformal tensor with trivial conformal line bundle forces $M$ to be semi-abelian and $(X,\Delta)$ to be its toroidal compactification.
要約:
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective surfaces, then every admissible subcategory of $D^b(X)$ supported on $\operatorname{Exc}(f)$ is generated by a finite exceptional collection. Moreover, if $K_Y$ is nef, then the same conclusion holds for every admissible subcategory of $D^b(X)$ supported on a proper closed subset of $X$. As a consequence, no nonzero phantom or quasi-phantom subcategory on such a surface can have proper support. The proof combines a splitting lemma for admissible subcategories inside a semiorthogonal decomposition with a single exceptional block, Orlov's blow-up formula, and Pirozhkov's support theorem.
要約:
Let $\pi:(X,L)\rightarrow \mathbb D^*$ be the Fermat family of cubic curves in $\mathbb P^2$. For each $k\geq 1$, we construct a valuatively independent basis for $H^0(X,L^k)$. The construction uses a canonical cost function determined by a Hessian structure on the essential skeleton $\op{Sk}(X,\pi)$.
要約:
We provide an end-to-end workflow to rigorously compute the monodromy of Belyi maps from exact equations over number fields using certified homotopy continuation. We then apply this method at scale to certify the monodromy triples of Belyi maps in the $L$-functions and Modular Forms Database (LMFDB).
要約:
In this paper we consider families of mutually commuting endomorphisms of the generalized tangent bundle. We identify natural tensorial constraints extending the notion of a generalized K\"ahler structure to endomorphisms that are not necessarily generalized almost complex structures. These tensors form ideals whose generators we explicitly construct and study using Gr\"obner basis techniques.
要約:
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 .
要約:
In this paper, we prove the abundance conjecture for threefolds over a perfect field $k$ of characteristic $p > 3$ in the case of numerical dimension equals to $2$. More precisely, we prove that if $(X,B)$ be a projective lc threefold pair over $k$ such that $K_{X}+B$ is nef and $\nu(K_{X}+B)=2$, then $K_{X}+B$ is semiample.
要約:
We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a geometric description in terms of global functions on certain fixed-point schemes. We prove that $\mathbb{F}_p$-linearly, this comparison is an isomorphism. Our approach is quite constructive, resulting in new computations of these $K$-theory rings. We establish various structural results for equivariant perfect algebraic $K$-theory on the way; we believe these are of independent interest.
要約:
In this paper we classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over $\mathbb{C}$ has already done by A. Dimca and C.G. Gibson. We continue and generalize their work. To complete the classification, we generalized the complete transversal method into positive characteristic field, which is also useful in many other classification problem.
要約:
In this article, we establish the existence of a good minimal model for a compact K\"ahler klt pair $(X, B)$ when the Albanese map of $X$ is a projective morphism and the general fiber of $(X, B)$ has a good minimal model.
要約:
We define a certain class of simple varieties over a field $k$ by a constructive recipe and show how to control their (equivariant) truncating invariants. Consequently, we prove that on simple varieties: (i) if $k=\overline{k}$ and $\mathrm{char} \ k = p$, the $p$-adic cyclotomic trace is an equivalence; (ii) if $k = \mathbb{Q}$, the Goodwillie-Jones trace is an isomorphism in degree zero; (iii) we can control homotopy invariant $K$-theory $KH$, which is equivariantly formal and determined by its topological counterparts. Simple varieties are quite special, but encompass important singular examples appearing in geometric representation theory. We in particular show that both finite and affine Schubert varieties for $GL_n$ lie in this class, so all the above results hold for them.
要約:
This paper generalizes existing methods to derive stronger bounds on the modality of hypersurface singularities. Our results demonstrate that each sudden jump in the extended Tjurina number necessarily increases the modality. Furthermore, we provide a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence.
要約:
We give an explicit and complete description of bubbling limits of a non-collapsing limit of polarized K3 surfaces in terms of the period mapping. In particular, we show that bubbling limits only depend on algebro-geometric data of the given family. As a corollary, this gives an affirmative answer to a conjecture of de Borbon--Spotti and confirms that Odaka's algebro-geometric candidate gives genuine bubbling limits in K3 surfaces case.
要約:
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, 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.
要約:
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We also construct the direct image and inverse image functors of locally contraherent cosheaves of contramodules under morphisms of locally Noetherian formal schemes. The exposition in the section of preliminaries in adic commutative algebra is worked out in the greater generality of arbitrary commutative rings with adic topologies (of finitely generated ideals).
要約:
We prove that the profinite completion of a pseudomanifold is the Artin-Mazur's etale homotopy type construction on its branched covers, which was implicitly conjectured by Sullivan in his MIT note (page 247) around 1970. This is a consequence of the existence of enough $K(\pi,1)$ open dense subspaces in a pseudomanifold.
要約:
BPS states in type II string compactified on a Calabi-Yau threefold can typically be decomposed as moduli-dependent bound states of absolutely stable constituents, with a hierarchical structure labelled by attractor flow trees. This decomposition is best understood from the scattering diagram, an arrangement of real codimension-one loci (or rays) in the space of stability conditions where BPS states of given electromagnetic charge and fixed phase of the central charge exist. The consistency of the diagram when rays intersect determines all BPS indices in terms of the `attractor indices' carried by the initial rays. In this work we study the scattering diagram for a non-compact toric CY threefold known as local $\mathbb{F}_0$, namely the total space of the canonical bundle over $\mathbb{P}^1\times \mathbb{P}^1$. We first construct the scattering diagram for the quiver, valid near the orbifold point, and for the large volume slice, valid when both $\mathbb{P}^1$'s have large (and nearly equal) area. We then combine the insights gained from these simple limits to construct the scattering diagram along the physical slice of $\Pi$-stability conditions, which carries an action of a $\mathbb{Z}^4$ extension of the modular group $\Gamma_0(4)$. We sketch a proof of the Split Attractor Flow Tree Conjecture in this example, albeit for a restricted range of the central charge phase. Most arguments are similar to our early study of local $\mathbb{P}^2$ [arXiv:2210.10712], but complicated by the occurence of an extra mass parameter and ramification points on the $\Pi$-stability slice.
要約:
Let $I$ be the ideal generated by the maximal minors of a matrix of indeterminates over a field and let $J$ denote the generic link, i.e., the most general link, of $I$. The generators of the ideal $J$ are not known. We provide an explicit description of the lead terms of the generators of $J$ using Gr\"obner degeneration. Indeed, we construct a degeneration which preserves the entire graded Betti table of $J$ on passing to the initial ideal. We leverage this construction to establish the equality of the symbolic and ordinary powers of $J$. Our analysis of the initial ideal readily yields the Gorenstein property of the associated graded ring of $J$, and, in positive characteristic, the $F$-rationality of the Rees algebra of $J$. Using the technique of $F$-split filtrations, we further obtain the $F$-regularity of the blowup algebras of $J$.
要約:
Following a method introduced by Thomas-Vasquez and developed by Grundman, we prove that many Hilbert modular threefolds of arithmetic genus $0$ and $1$ are of general type, and that some are of nonnegative Kodaira dimension. The new ingredient is a detailed study of the geometry and combinatorics of totally positive integral elements $x$ of a fractional ideal $I$ in a totally real number field $K$ with the property that $\mathop{\mathrm{tr}} xy < \mathop{\mathrm{min}} I \mathop{\mathrm{tr}} y$ for some $y \gg 0 \in K$.
要約:
Following work of Mazur-Tate and Satoh, we extend the definition of division polynomials to arbitrary isogenies of elliptic curves, including those whose kernels do not sum to the identity. In analogy to the classical case of division polynomials for multiplication-by-n, we demonstrate recurrence relations, identities relating to classical elliptic functions, the chain rule describing relationships between division polynomials on source and target curve, and generalizations to higher dimension (i.e., elliptic nets).
要約:
We study series invariants for plumbed 3-manifolds and knot complements twisted by a root lattice. Our series recover recent results of Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and Ri and apply more generally to 3-manifolds which are not necessarily negative definite. We show that our series verify certain gluing and splitting properties related to the corresponding operations on 3-manifolds. We conclude with an explicit description of the case of lens spaces and Brieskorn spheres.
要約:
The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual intersection of an ideal generated by $n$ indeterminates for all $m\geq n$ and in every characteristic. We further give an explicit description of its set-theoretic generators. Our main result provides a sharp upper bound for the arithmetic rank of any residual intersection of a complete intersection ideal in any Noetherian local ring. In particular, given a complete intersection ideal of height at least two, any of its generic residual intersections -- including its generic link -- fails to be a set-theoretic complete intersection in characteristic zero.
要約:
We study robustness verification of neural networks via metric algebraic geometry. For polynomial neural networks, certifying a robustness radius amounts to computing the distance to the algebraic decision boundary. We use the Euclidean distance (ED) degree as an intrinsic measure of the complexity of this problem, analyze the associated ED discriminant, and introduce a parameter discriminant that detects parameter values at which the ED degree drops. We derive formulas for the ED degree for several network architectures and characterize the expected number of real critical points in the infinite-width limit. We develop symbolic elimination methods to compute these quantities and homotopy-continuation methods for exact robustness certification. Finally, experiments on lightning self-attention modules reveal decision boundaries with strictly smaller ED degree than generic cubic hypersurfaces of the same ambient dimension.
要約:
In this article, we compute the boundary cohomology of the arithmetic group Sp6(Z) with coefficients in the trivial representation. Our computation utilizes the Borel-Serre compactification and the associated spectral sequence.