要約:
Let $k$ be an algebraically closed field of characteristic zero and $B$ a finitely generated $k$-domain. Given a locally nilpotent derivation $D$ on $B$ admitting a slice $s$, the derivation $\partial=NsD$ ($N\in\mathbb{Z}\setminus\{0\}$) is semisimple and defines a regular $\mathbb{G}_m$-action on $\mathrm{Spec}(B)$. We show that this derivation provides a new explicit description of the $\mathbb{G}_m$-action introduced by Freudenburg in terms of the infinitesimal generator $\partial=NsD$. In the nice case ($D^2(x_i)=0$ for all generators), we prove a linearizability criterion: the associated $\mathbb{G}_m$-action is linearizable if and only if $D$ is automorphically conjugate to $\partial/\partial x_n$ and the slice becomes affine-linear in the distinguished variable; moreover, this criterion is independent of the choice of slice.
要約:
We study Mordell-Weil rank jumps on families of jacobians of a pencil of genus-2 curves on a K3 surface defined over a number field k. We exhibit a finite extension l/k over which the subset of fibers for which the rank jumps is infinite. Moreover, we describe further geometric conditions on the K3 surface under which the rank jumps on a non-thin set of fibers.
要約:
We provide a categorical and algebro-geometric treatment of localization for cohomological theories admitting an open-closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that the natural output of the formalism is, in general, not a distinguished localized class on the closed locus, but rather a torsor of supported refinements; a canonical local term arises only once an additional uniqueness or concentration principle is imposed. We establish excision, Cartesian base change, proper pushforward, and compatibility with external products under explicit hypotheses governing the interaction between product constructions and exceptional pullback. We also prove a factorization result showing that any assignment of local terms already compatible with the localization triangle must necessarily take its values in this torsor. When supplemented by Verdier duality and the appropriate orientation data, the resulting localized classes govern local indices and yield global-to-local index formulas. Under purity and concentration, the formalism recovers the familiar Euler-denominator expressions and thereby provides a common categorical framework for Atiyah-Bott-Berline-Vergne type localization, Lefschetz-type decompositions, and certain multiplicative or virtual manifestations arising in equivariant geometry and the geometry of moduli spaces.
要約:
In this article, we establish a strategy to the abundance conjecture for K\"ahler varieties via induction on algebraic dimension. Our strategy is to reduce the abundance conjecture for K\"ahler varieties to the abundance conjecture for projective varieties using the algebraic reduction fibration. In dimension 4, we apply our inductive strategy to obtain some cases of the abundance conjecture for K\"ahler fourfolds that are not algebraic or have trivial $K_X$.
要約:
A line bundle on a curve with two marked points can be special in many ways, as measured by the global sections of all of its twists by these points. All of this information is conveniently packaged into a permutation, which we call the transmission permutation. We prove that when twice-marked curves are chained together, these permutations are composed via the Demazure product; in reverse, bundles with given permutation can be enumerated via reduced decompositions of a permutation. This paper demonstrates the utility of transmission permutations by giving a short derivation of the basic dimension bounds of both classical Brill--Noether theory and Hurwitz--Brill--Noether theory in a unified framework. The difference between the two cases derives from taking permutations in either symmetric groups or affine symmetric groups.
要約:
We prove that the moduli stack of all reduced $n$-pointed curves is ``closely connected" in characteristic zero, in the sense that each irreducible component of the stack intersects the component of smoothable curves. We achieve this by performing a detailed study of Ishii's territories, moduli schemes parametrizing reduced curve singularities together with a normalization map. We give explicit equations for territories, bound their dimensions, describe certain functoriality properties, and study the action of several groups on territories. Along the way, we prove the existence of nonsmoothable reduced curve singularities in new ranges, generalizing work of Mumford, Pinkham, Greuel, and Stevens.
要約:
We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic derived Artin stack is Hamiltonian. We provide a symplectic rigidification functor as the left adjoint to the trivial action functor in symplectic categories with Lagrangian correspondences. We also descend the Lagrangian correspondence of short exact sequences of sheaves to rigidified moduli spaces.
要約:
Using the relative de Rham stack for a family $X \to S$ in characteristic $p,$ we reprove the (local and global) Ogus-Vologodsky equivalence. Moreover, we observe that a lift of $S$ is not necessary. Instead, we use a lift of $X$ to the second Witt vectors of $S.$ The main ingredient is that, for a quasi-syntomic family $X/S,$ the relative de Rham stack admits a structure of a torsor over $X'$ which is the analogue of the Azumaya property of the algebra of differential operators. This can be applied to families of (reasonable) algebraic stacks, which gives rise to a logarithmic version of the Cartier equivalence. Along the way, we also obtain a decompleted version of the global Cartier equivalence.
要約:
Let K be an algebraically closed field of characteristic zero. We study the tame isotropy group Tame_D(K[X,Y]) of locally finite derivations of the polynomial ring K[X,Y], using Van den Essen's classification up to conjugation. For each normal form, we explicitly determine the corresponding tame isotropy group. We then compare Tame_D(K[X,Y]) with the tame isotropy group of the associated exponential automorphism exp(D), and prove that these groups always coincide. This stands in contrast to the behaviour of the full automorphism group, where such an equality may fail for derivations with a nontrivial semisimple part.
要約:
Let $pi:X\to\Delta$ be a one-parameter degeneration whose central fiber $X_0$ has a single ordinary double point. The nearby- and vanishing-cycle formalism determines a canonical perverse sheaf on $X_0$, obtained from the variation morphism and fitting into an extension of the intersection complex by a point-supported rank-one contribution. We study this object from the perspective of limiting mixed Hodge theory and Saito's theory of mixed Hodge modules. In the ordinary double point case, we show that the corrected perverse object is the unique minimal Verdier self-dual perverse extension of the shifted constant sheaf across the node, and that its rank-one singular contribution and the corresponding rank-one vanishing contribution in the limiting mixed Hodge structure arise from the same nearby-cycle formalism. We also formulate the analogous structural statements for multi-node degenerations and for more general stratified singular loci. Finally, we explain how Saito's divisor-gluing formalism provides the natural framework for a fuller mixed-Hodge-module refinement of these constructions.
要約:
We formulate and prove a Riemann--Hilbert correspondence between two categories: wild difference modules and wild Stokes-filtered $\mathscr{A}_{\rm{per}}$-modules. This correspondence is motivated by the Riemann--Hilbert correspondence for germs of meromorphic connections in one variable due to Deligne--Malgrange. It also generalizes the Riemann--Hilbert correspondence for mild difference modules.
要約:
In this paper, we investigate the relations among various results concerning the minimal resolution of cyclic quotient singularities of the form $\mathbb{C}^2/G$. We refer to these as "bamboo-type" singularities, since the dual graphs of the exceptional curves in their resolutions resemble the shape of bamboo. We present classical results on the minimal resolution of singularities, the $G$-Hilbert scheme, the generalized McKay correspondence, deformations of singularities, and quiver varieties. These results have been obtained independently in different contexts, and here we provide a unified exposition enriched with numerous examples, which we hope will serve as a useful guide to the study of two-dimensional cyclic singularities. Moreover, this survey aims to offer insights that may inspire generalizations to non-cyclic singularities and to higher-dimensional quotient singularities.
要約:
We prove gap theorems for entropy norms on automorphism groups of K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic manifolds. We also study the achirality of automorphisms of K3 surfaces and Enriques surfaces in terms of genus-one fibrations.
要約:
A degree $d$ genus $g$ cover of the complex projective line by a smooth irreducible curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. We classify the bundles that arise this way when $d = 6$. Interestingly, our methods show that all constraints on the pushforward are ``explained'' by multiplication in an algebra. Finally, we show that all possible pushforwards are realized by covers with a nontrivial proper subcover.
要約:
We say that a locally nilpotent derivations $\delta$ is maximal if there are no inequivalent locally nilpotent derivations that commute with $\delta$. The paper gives a description of isotropy groups of maximal homogeneous locally nilpotent derivations on affine toric varieties and on certain trinomial hypersurfaces. Moreover, the criteria for homogeneous locally nilpotent derivations to be maximal were obtained for these classes of varieties.
要約:
This paper studies how post-quantum cryptographic (PQC) security assumptions can be represented and communicated through a structured, layered framework that is useful for technical interpretation but does not replace formal cryptographic proofs.
We propose ``Explainable PQC,'' an interdisciplinary framework connecting three layers: (1) a complexity-based interpretive model that distinguishes classical security, quantum security, and reduction-backed hardness, drawing on computational complexity classes as supporting language; (2) an exploratory mathematical investigation applying combinatorial Hodge theory and polyhedral geometry to study structural aspects of lattice hardness; and (3)~an empirical experimentation platform, implemented in Julia, for measuring the behavior of lattice basis reduction algorithms (LLL, BKZ) in low-dimensional settings. The motivating case study throughout the paper is lattice-based PQC, including ML-KEM (FIPS 203) and ML-DSA (FIPS 204).
The contribution of this paper is conceptual and organizational: it defines a layered interpretive framework, clarifies its scope relative to formal cryptographic proofs and reduction-based security arguments, and identifies mathematical and implementation-level directions through which PQC security claims may be more transparently communicated. This paper does not claim new cryptographic hardness results, new attacks, or concrete security parameter estimates.
要約:
We extend the work of Feng--Yun--Zhang relating the arithmetic volume of Shtukas with derivatives of zeta functions by allowing arbitrary coweights for split semisimple algebraic groups. As in their original work, the formula involves some numbers called eigenweights. We obtain uniform formulas for the eigenweights in terms of the Langlands dual group, marking the first structural role for the dual group in such formulas governing derivatives of L-functions.
要約:
We prove a cancellation-free version of the quantum $K$-theoretic divisor axiom for the flag manifold in the quasi-minuscule case. Namely, we remove the cancellations from the quantum $K$-theoretic divisor axiom due to Lenart-Naito-Sagaki-Xu in the case where the fundametal weight corresponding to the divisor class is quasi-minuscule.
要約:
Well-known conjectures of Charney--Davis, Gal, and Nevo--Petersen predict increasingly strong positivity phenomena for the h-vectors of flag simplicial spheres. In this paper, we formulate and prove matroid analogues of these conjectures in the setting of Chow polynomials of matroids with building sets. Our proofs rely on toric geometry and make crucial use of tropical intersection theory.
We begin by introducing complete building sets, a class encompassing all maximal building sets and other important families such as minimal building sets of braid matroids. For matroids with complete building sets, we analyze the Chow rings of the associated toric varieties, and prove that their Hilbert--Poincar\'e polynomials are gamma-positive. From this analysis, we derive a combinatorial formula for the coefficients of the gamma-expansion, and use it to explicitly construct a simplicial complex $\Gamma$, whose f-vector coincides with the gamma-vector. This establishes a matroid analogue of the Nevo--Petersen conjecture. When the building set is maximal, we further prove that $\Gamma$ is balanced, confirming the strongest such analogue in this case. As an application, we obtain a new combinatorial formula for the gamma-expansion of the Poincar\'e polynomial of the Deligne--Mumford--Knudsen compactification $\overline{\mathcal{M}}_{0,n}$, and derive several novel numerical inequalities for its coefficients.
We also study the toric varieties of matroids with flag building sets, another class containing maximal building sets as well as several other prominent families. We prove that the Hilbert--Poincar\'e polynomials of these toric varieties are gamma-positive. This result establishes matroid analogues of the Charney--Davis and Gal conjectures, and simultaneously extends several recent gamma-positivity results for Chow polynomials.
要約:
We provide an infinite series of commutative finite-dimensional Gorenstein local algebras $A_n$ for $n \ge 2$. We give an elementary proof that the maximal ideal of every algebra $A_n$ possesses a one-dimensional subspace that is different from the socle and invariant under the automorphism group of $A_n$. The latter implies that the algebras $A_n$ fail the affine homogeneity property. We also discuss some consequences concerning additive actions on projective hypersurfaces, related to the generalized Hassett-Tschinkel correspondence for these algebras.
要約:
Motivated by the study of unlikely intersection in the moduli space of rational maps, we initiate our investigation on algebraic dynamics for families of regular polynomial skew products in this article. Our goals are threefold. (1) We classify special loci -- which contain a Zariski dense set of postcritically finite points -- in the moduli space of quadratic regular polynomial skew products. More precisely, special loci include families of homogeneous polynomial endomorphisms, families of split endomorphisms, and polynomial endomorphisms of the form $(x^2,y^2+bx)$ up to conjugacy. As a consequence, we verify a special case of a conjecture proposed by Zhong. (2) Let $F_t$ be a family of regular polynomial skew products defined over a number field $K$ and let $P_t, Q_t\in K[t]\times K[t]$ be two initial marked points. We introduce a good height $h_{P_t}(t)$ which is built from the theory of adelic line bundles for quasi projective varieties. We show that the set of parameters $t_0\in \overline{K}$ for which $P_{t_0}$ and $Q_{t_0}$ are simultaneously $F_{t_0}$-preperiodic is infinite if and only if $h_{P_t}=h_{Q_t}$. (3) As an application of $h_{P_t}$, we show that, under some degree conditions of $P_t$, if there is an infinite set of parameters $t_0$ for which the marked point $P_{t_0}$ is preperiodic under $F_{t_0}$, then the Zariski closure of the forward orbit of $P_t$ lives in a proper subvariety of $\mathbb{P}^2$. As a by-product, we conditionally verify a special case of a conjecture of DeMarco--Mavraki which is a relative version of the Dynamical Manin--Mumford Conjecture.
要約:
We prove a version of the twisted geometric Satake equivalence and extend the Langlands parametrization of V. Lafforgue to certain covers of reductive groups.
要約:
Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits a divisor of degree $d$ and rank at least $r$. We use results from algebraic geometry to give an upper bound for $k$ in terms of $g,d,$ and $r$.
要約:
We introduce and study a derived version $\mathbf L\mathrm{Bin}$ of the binomial monad on the unbounded derived category $\mathscr D(\mathbb Z)$ of $\mathbb Z$-modules. This monad acts naturally on singular cohomology of any topological space, and does so more efficiently than the more classical monad $\mathbf L\mathrm{Sym}_{\mathbb Z}$. We compute all free derived binomial rings on abelian groups concentrated in a single degree, in particular identifying $C_*^{\mathrm{sing}}(K(\mathbb Z,n),\mathbb Z)$ with $\mathbf L\mathrm{Bin}(\mathbb Z[-n])$ via a different argument than in works of To\"en and Horel. Using this we show that the singular cohomology functor $C_*^{\mathrm{sing}}(-,\mathbb Z)$ induces a fully faithful embedding of the category of connected nilpotent spaces of finite type to the category of derived binomial rings. We then also define a version $\mathbf L \mathcal Bin_X$ of the derived binomial monad on the $\infty$-category of $\mathscr D(\mathbb Z)$-valued sheaves on a sufficiently nice topological space $X$. As an application we give a closed formula for the singular cohomology of an fs log complex analytic space $(X,\mathcal M)$: namely we identify the pushforward $R\pi_*\underline{\mathbb Z}$ for the corresponding Kato-Nakayama space $\pi\colon X^{\mathrm{log}}\rightarrow X$ with the free coaugmented derived binomial ring on the 2-term exponential complex $\mathcal O_X\rightarrow \mathcal M^{\mathrm{gr}}$. This gives an extension of Steenbrink's formula and its generalization by the second author to $\mathbb Z$-coefficients.
要約:
Given $\mathfrak{F}$ a coherent sheaf on a Noetherian integral algebraic stack $\mathfrak{P}$, we give two constructions of stacks $\widetilde{\mathfrak{P}}$, equipped with birational morphisms $p:\widetilde{\mathfrak{P}}\to \mathfrak{P}$ such that $p^*\mathfrak{F}$ is simpler: in the Rossi construction, the torsion free part of $p^*\mathfrak{F}$ is locally free; in the Hu--Li diagonalization construction, $p^*\mathfrak{F}$ is a union of locally free sheaves. We use these constructions to define reduced Gromov--Witten invariants of a large class of GIT quotients in all genera.
要約:
Let $k$ be a perfect field of characteristic $p>0$. In this paper, without assuming resolution of singularities, we prove that the triangulated category of motives with modulus with rational coefficients is equivalent to Voevodsky's triangulated category of motives with rational coefficients $\MDM^\eff(k,\Q)\simeq \DM^\eff(k,\Q).$ Equivalently, after tensoring with $\Q$, the multiplicities of the modulus become invisible in the category of motives with modulus in positive characteristic.
要約:
This paper studies the noncommutative singularity theory of the double $A_n$ quiver $Q_n$ (with a single loop at each vertex), with applications to algebraic geometry and representation theory. We give various intrinsic definitions of a Type A potential on $Q_n$, then via coordinate changes we (1) prove a monomialization result that expresses these potentials in a particularly nice form, (2) prove that Type A potentials precisely correspond to crepant resolutions of cAn singularities, (3) solve the Realisation Conjecture of Brown-Wemyss in this setting.
For $n \leq 3$, we furthermore give a full classification of Type A potentials (without loops) up to isomorphism, and those with finite-dimensional Jacobi algebras up to derived equivalence. There are various algebraic corollaries, including to certain tame algebras of quaternion type due to Erdmann, where we describe all basic algebras in the derived equivalence class.
要約:
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To this end, we reduce the problem to the logarithmic extension theorem for two-dimensional klt singularities with imperfect residue fields using a technique based on Cartier operators.
要約:
We generalize two classical formulas for complete intersection curves by introducing the the complete intersection discrepancy of a curve as a correction term. The first is a well-known multiplicity formula in singularity theory, due to L\^e, Greuel and Teissier, which relates some of the basic invariants of a curve singularity. We apply this generalization elsewhere to the study of equisingularity of curves. The second is the genus--degree formula for projective curves. The main technical tool used to obtain these generalizations is an adjunction-type identity derived from Grothendieck duality theory.
要約:
We give a numerical criterion for the Nielsen realization problem for Enriques manifolds, based on the recent developments on the Birman-Hilden theory for hyper-K\"ahler manifolds and on Nielsen realization for hyper-K\"ahler manifolds. We apply the criterion to known examples of Enriques manifolds to get explicit groups that can be realized or not realized, and comment on questions related to the Nielsen realization problem.
要約:
We show that the Jordan constant for the volume-preserving plane Cremona group $\mathrm{Bir}(\mathbb P^2, \Delta)$ is $12$. We provide a Jordan bound of $144$ for the three-dimensional volume-preserving Cremona group $\mathrm{Bir}(\mathbb P^3,\Delta)$. We also provide a weak geometric Jordan bound of $2^{11} \cdot 3^2$ for $\mathrm{Bir}(\mathbb P^2)$.
要約:
Let $\Omega \subset \mathbb{R}^n $ be an open set, and let $\mathcal{E}(\Omega)$ be the ring of infinitely differentiable functions on $\Omega$. For an ideal $I \subset \mathcal{E}(\Omega)$, we denote by $Z(I)$ its zero set. A classical result of Ren\'e Thom asserts that if $I$ is a finitely generated {\L}ojasiewicz ideal, then $Z(I)$ contains an open dense subset of smooth points. The goal of this note is to examine a converse question: does the existence of an open dense set of smooth points in $Z(I)$ ( $I\subset\mathcal{E}(\Omega) $ is a finitely generated ideal) imply that the ideal $I$ is \L{}ojasiewicz? We analyze obstructions to such a converse and identify geometric conditions under which it fails.
As an application, we study smooth real-valued functions of two variables whose zero set coincides with the classical Hawaiian earring, the union of infinitely many tangent circles accumulating at the origin. We show that any such function must be flat at the origin, in the sense that all partial derivatives vanish there. We formulate a geometric criterion concerning families of smooth arcs tangent at a point with unbounded or infinitely varying curvature, and derive from it a degenerate form of the {\L}ojasiewicz inequality adapted to this non-analytic setting.
著者: Paul Breiding, John Cobb, Aviva K. Englander, Nayda Farnsworth, Jonathan D. Hauenstein, Oskar Henriksson, David K. Johnson, Jordy Lopez Garcia, Deepak Mundayur
要約:
Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface partitions its ambient space into open regions. In this paper, we propose a new method for computing these regions. Existing methods for computing regions require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection can be done using so-called pseudo-witness sets without computing a defining equation for the hypersurface - we perform elimination without actually eliminating. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all regions of the real complement of a hypersurface.
要約:
In this paper we study directional second-order tangent sets of real and complex analytic sets. For an analytic set $X\subseteq \mathbb K^n$ and a nonzero tangent direction $u\in T_0X$, we compare the geometric directional second-order tangent set $T^2_{0,u}X$, defined through second-order expansions of analytic curves in $X$, with the algebraic directional second-order tangent set $T^{2,a}_{0,u}X$, defined by the initial forms of the equations of $X$.
We first prove the general inclusion $T^2_{0,u}X\subseteq T^{2,a}_{0,u}X$ and exhibit explicit real and complex analytic examples showing that this inclusion can be strict. These examples show that algebraically admissible second-order coefficients need not be geometrically realizable by analytic curves in $X$.
To address this gap, we reformulate the equality $T^2_{0,u}X=T^{2,a}_{0,u}X$ as a realizability problem: the two sets coincide whenever every algebraically admissible second-order coefficient is realized by an analytic curve in $X$ with prescribed first two terms. We establish this realizability property for several important classes of analytic sets, including smooth analytic germs, homogeneous analytic cones, hypersurfaces with nondegenerate tangent directions, and nondegenerate analytic complete intersections.
As an application, we derive second-order necessary and sufficient optimality conditions for $C^2$ optimization problems on closed sets. In the analytic setting, whenever the above equality holds, the geometric directional second-order tangent sets appearing in these conditions may be replaced by their algebraic counterparts, so that the second-order tests become explicitly computable from the defining equations of the feasible set.
要約:
In characteristic zero, we construct a canonical, functorial resolution algorithm by weighted blow-ups that strictly preserves the normal crossings (nc) locus, effectively answering Kollar's problem. Operating in full generality, our approach handles both reduced and non-reduced nc singularities alongside the simple normal crossings (snc) exceptional divisor setup, terminating with a normal crossings Deligne-Mumford stack.
The resolution is governed by two fundamental geometric properties: the openness of the nc locus and the topological rigidity of canonical maximal admissible weighted centers (the Center Theorem). We establish these via a direct Galois-theoretic analysis of splitting forms. By viewing general nc singularities as quotients of 'etale-local snc singularities by finite Galois groups permuting their branches, we reveal the intrinsic necessity of weighted blow-ups and stack structures.
Building on the weighted blow-up framework of Abramovich, Temkin, and Wlodarczyk and our logarithmic refinement, this structural mechanism yields a robust resolution algorithm. Applications include a canonical compactification of nc Deligne-Mumford stacks and a functorial nc-preserving resolution of subvarieties and stacks.
要約:
We construct an algorithm for the minimal model program in dimension three over the field of algebraic numbers. As auxiliary results, we also construct algorithms for computing bigraded global Hom modules and for computing Stein factorization.
要約:
Let $X$ be a projective hypersurface that is not a cone. The symmetrizer group of $X$ is an algebraic group parametrizing hypersurfaces whose Jacobian ideal coincides with that of $X$. We show that if the locus of points in $X$ with multiplicity $d-1$ does not contain a line, then the dimension of the nilpotent part of the Lie algebra associated to the symmetrizer group is at most $2$, and the dimension of the symmetrizer group is bounded by $\dim X + 2$. To achieve this, we investigate the relation between a class of singularities on $X$ with highly degenerate tangent cones and the unipotent part of its symmetrizer group.
要約:
This is a continuation of arXiv: 2408.03012. We answer affirmatively Question 5.10 posed in the previous article. More precisely, let $(X, \omega)$ be a conical symplectic variety of dimension $2n$ with $wt(\omega) = 2$, which has a projective symplectic resolution. Assume that $X$ admits an effective Hamiltonian action of an $n$-dimensional algebraic torus $T^n$, compatible with the conical $\mathbf{C}^*$-action. Then we prove that there is a $T^n$-equivariant algebraic isomorphism $(X, \omega) \cong (Y(A,0), \omega_{Y(A,0)})$ for a toric hyperkahler variety $Y(A, 0)$ with $A$ unimodular.
要約:
Let $X$ be a smooth projective scheme and $E$ a vector bundle on $X$. For a relative hypersurface $Y \subset \mathbb{P}(E)$ defined by a form of degree $d$, we establish a strict functorial correspondence between the category of relatively Ulrich bundles on $Y$ and the category of representations of the associated generalized Clifford algebra. This equivalence provides a robust algebraic framework that bypasses the geometric obstructions of the relative setting, generalizing the classical Ulrich-Clifford correspondence to projective bundle morphisms over arbitrary smooth projective bases. As a primary application of this machinery, we prove that such relative hypersurfaces exhibit Ulrich-wildness. Specifically, we construct families of indecomposable relatively Ulrich bundles with unbounded extension groups, revealing the immense topological complexity of the Ulrich moduli space in this relative setting.
要約:
We construct a stratification of the punctual Hilbert scheme of points on a non-reduced and nodal plane curve, $x^uy^v=0$. Each stratum is indexed by a new combinatorial object we define: a weak diagonal partition. The approach is based on introducing filtrations on ideals, together with a valuation adapted to the non-reduced structure, which allows us to analyze generators and their degrees of freedom in a systematic way. In particular, each stratum is affine when $u=1,2$; and each stratum is isomorphic to an algebraic torus times an affine space, $(\mathbb{C}^*)^{m_1} \times \mathbb{C}^{m_2}$, when $u=v,v-1,v-2$. We consequently compute the Poincar\'e polynomials of the punctual Hilbert scheme of points on curves $x^uy^v=0$ when $u=1,2,v-2,v-1,v$. As an application, we prove the colored Oblomkov-Rasmussen-Shende conjecture for the Hopf link for $u=1, v$ arbitrary, showing that the Poincar\'e polynomial is the row-colored link homology up to change of variables.
要約:
We study BPS loop operators in a 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory with four hypermultiplets in the fundamental representation and one hypermultiplet in the anti-symmetric representation. The algebra of BPS loop operators in the $\Omega$-background provides a deformation quantization of the Coulomb branch, which is expected to coincide with the quantized K-theoretic Coulomb branch in the mathematical literature. For the rank-one case, i.e., $Sp(1) \simeq SU(2)$, we show that the quantization of the Coulomb branch, evaluated using the supersymmetric localization formula, agrees with the polynomial representation of the spherical part of the double affine Hecke algebra (spherical DAHA) of $(C_1^{\vee}, C_1)$-type. For higher-rank cases, where $N \geq 2$, we conjecture that the quantized Coulomb branch of the 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory is isomorphic to the spherical DAHA of $(C_N^{\vee}, C_N)$-type . As evidence for this conjecture, we show that the quantization of an 't Hooft loop agrees with the Koornwinder operator in the polynomial representation of the spherical DAHA.
要約:
Quantum error correction codes defined on hyperbolic lattices leverage the unique geometric properties of the hyperbolic space to enhance the performance of quantum error correction. By embedding qubits in hyperbolic lattices, these codes achieve higher encoding rates and lower qubit overhead compared to those defined on conventional Euclidean lattices. Building on recent advances in hyperbolic crystallography, we introduce a unified framework for the systematic construction and scalable benchmarking of CSS quantum error correction codes on hyperbolic lattices. A central component of this framework is the Hyperbolic Cycle Basis algorithm, which employs graph-theoretic methods to efficiently identify all plaquette cycles (parity-check supports) and nontrivial cycles (logical operators). This enables scalable and automated benchmarking of a broad class of CSS codes defined on hyperbolic geometries. We apply this framework to construct and simulate two representative hyperbolic quantum error correction codes (HQECCs), evaluating key performance metrics such as encoding rate, error threshold, and code distance for different sublattices. While HQECCs serve as concrete examples, the framework can be adapted to a wide range of CSS codes, including those with more intricate stabilizer structures such as Floquet codes. This work establishes a foundation for systematic exploration and benchmarking of CSS codes on hyperbolic lattices, paving the way toward practical, high-performance quantum error correction.
要約:
We study geometric properties of the gradient flow for learning deep linear convolutional networks. For linear fully connected networks, it has been shown recently that the corresponding gradient flow on parameter space can be written as a Riemannian gradient flow on function space (i.e., on the product of weight matrices) if the initialization satisfies a so-called balancedness condition. We establish that the gradient flow on parameter space for learning linear convolutional networks can be written as a Riemannian gradient flow on function space regardless of the initialization. This result holds for $D$-dimensional convolutions with $D \geq 2$, and for $D =1$ it holds if all so-called strides of the convolutions are greater than one. The corresponding Riemannian metric depends on the initialization.
要約:
Building on the recent works of \.{I}nan and Almahariq-Peters-Vergili, we develop a rigorous axiomatic framework for approximate algebra via an algebra-compatible closure operator $\Phi^{*}:\mathcal{P}(R)\to\mathcal{P}(R)$ satisfying (C1)-(C4a) together with the balanced multiplicativity axiom (C4b) (with absorption required only for ideals). Our framework includes a theory of approximate modules with quotient-compatible approximate homomorphisms, a first isomorphism theorem modulo $\Phi^{*}_{M'}(0)$, and the classical second and third isomorphism theorems for the underlying modules. Key results include quotient and factorization theorems for approximate ideals, a $\mathrm{T}_0$-criterion and a $\mathrm{T}_1$ criterion in terms of the closure-order for the approximate prime spectrum, and an explicit computation of $\operatorname{Spec}_{\Phi}(\mathbb{Z})$ for the modular closure $\Phi^{*}(A)=A+m\mathbb{Z}$ yielding a finite discrete space -- in stark contrast to the classical $\operatorname{Spec}(\mathbb{Z})$, which is infinite and not even $\mathrm{T}_1$. We also formulate an approximate Nullstellensatz schema under explicit hypotheses and record ideal-level models motivating the evaluation-separation property (ESEP).
要約:
We give first-order definitions of Campana and Darmon points in algebraic function fields in one variable over number fields. These sets are geometric generalizations of $n$-full integers (integers whose nonzero valuations are at least $n$) and perfect $n$th powers, respectively, to more general algebraic varieties. For this we exploit the theory of quadratic Pfister forms, which were used by Becher, Daans & Dittmann to extend to the case of algebraic function fields in one variable the methods used by Koenigsmann when proving that $\mathbb{Z}$ is universally defined in $\mathbb{Q}$. These methods had already been generalized to arbitrary global fields by Park (2013) and Eisentr\"ager & Morrison (2018), and the author had already exploited these methods to find first-order definitions of Campana points (2024) and Darmon points (2024, with Handley) in the context of number fields. With the newly expanded version of these methods, we now transfer those results to the new context of algebraic function fields in one variable over number fields.
要約:
This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped $K$-theory spectrum of varieties. There are two levels on which one can read the present paper. On a technical level, we streamline and extend previous results on the $K$-theory of exact categories to a broader class of categories, including $Var$. On a more conceptual level, our investigations bring into focus an interesting generalisation of automorphisms (``double exact squares'') which generate $K_1$. For varieties, this corresponds to what we call stratified birational equivalences, but the construction extends to a wide range of non-additive contexts (e.g. $o$-minimal structures, definable sets etc.). This raises a challenging question: what kind of information do these generalised automorphisms calibrate?
要約:
We introduce the notion of a locally standard $T$-pseudomanifold, a class that generalizes both complete toric varieties and locally standard $T$-manifolds. The main goal of this paper is to show that locally standard $T$-pseudomanifolds over topological stratified pseudomanifolds satisfying certain conditions are completely classified, up to (weakly) equivariant homeomorphism, by their characteristic data. This result extends the classification of quasitoric manifolds by Davis-Januszkiewicz.
要約:
In this paper, we investigate the geometric, algebraic and analytic properties of the hyperelliptic $\mathrm{al}_{ab}$ functions of a hyperelliptic curve $X$ with genus $g$ as the $\mathrm{al}_{ab}$ functions together with the $\mathrm{al}_a$ functions are a generalization of the Jacobi elliptic $\mathrm{sn}$, $\mathrm{cn}$, and $\mathrm{dn}$ functions. We then demonstrate the differential identities of the $\mathrm{al}_{ab}$ function. These identities are the novel integrable partial nonlinear differential equations as a natural extension of the hyperelliptic solutions of the modified Korteweg-de Vries equation in terms of the $\mathrm{al}_a$ function. Thus, we also show that by the identities, the $\mathrm{al}_{ab}$ function has the capability to be the hyperelliptic solution to the nonlinear Schr\"odinger and complex modified Korteweg-de Vries equations.
要約:
We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.
要約:
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.
要約:
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.
要約:
A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.