要約:
A recent construction of linear complementary pairs (LCPs) of algebraic geometry codes is intimately linked to the identification of non-special divisors of small degree within a function field over a finite field. Let $\mathbb{F}_q$ be the finite field of cardinality $q$. In this work, we consider a function field $F/\mathbb{F}_q$ of genus $g$ defined by a Kummer extension of type $y^m = f(x)$, where $f(x)$ is a polynomial in $\mathbb{F}_q[x]$. Based on the theory of generalized Weierstrass semigroups at several places, we provide an arithmetic criterion to identify all non-special divisors of degree $g-1$ and $g$ whose support is contained in a subset of the totally ramified places of the extension $F/\mathbb{F}_q(x)$. Furthermore, we explicitly determine all non-special divisors of degree $g-1$ in certain cases. Finally, we apply these results to provide explicit new families of LCPs algebraic geometry codes.
要約:
We study some interesting hypersurfaces that naturally arise when studying the period map on the moduli space of hypersurfaces, in the context of Sung Gi Park's recent work on studying the GIT moduli space of hypersurfaces via the minimal exponent. We compute the Hodge structure on the singular cohomology and the intersection cohomology of these hypersurfaces, and also show the $K$-polystability of certain mildly singular degenerate hypersurfaces among them. In particular, the following hypersurface is $K$-polystable for $l \geq 2$:
$$ \{ x_{11}\cdots x_{1d} + \ldots + x_{ld} \cdots x_{ld} = 0\} \subset \PP^{ld-1}.$$
要約:
We study the set of image tuples arising from fixed cameras observing varying planar 3-dimensional point configurations. We derive a formula for the number of complex critical points of the triangulation problem, which seeks to reconstruct such configurations from noisy image data. Valid for an arbitrary number of views, this formula quantifies the intrinsic algebraic complexity of planar triangulation. We validate our theoretical findings through numerical experiments on both synthetic and real data, demonstrating that incorporating the planar incidence constraints leads to faster point reconstruction and improved accuracy compared to unconstrained triangulation.
要約:
In this paper, we prove that smooth Calabi--Yau hypersurfaces of degree $d$ over complete unramified discrete valuation rings with residue characteristic $p$ are perfectoid split if $p$ is larger than the relative dimension and $p\nmid d$. We also show that unramified lifts of smooth Fano hypersurfaces over fields of characteristic $p>0$ are globally $+$-regular if $p\ge \dim X$ and $p\nmid d$.
要約:
We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor classes of fixed volume has only finitely many orbits. Second, the number of (isomorphism classes of) minimal models for a given K-trivial variety is finite if these models admit a bounded polarization.
要約:
We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. Additionally, we generalizes the conjecture through the lens of noncommutative geometry.
要約:
In this paper, we show that the normalized local volume of a non-closed point can be expressed in terms of the normalized local volumes of closed points. This confirms a folklore conjecture stating that the normalized local volume carries no additional information at a non-closed point.
要約:
We define a torus $U \subset T = (\mathbb{C}^\times)^K$ which acts on the $\Delta$-Springer varieties $Y_{n,\lambda,s}$ defined by Griffin-Levinson-Woo and give a Borel-style presentation for the equivariant cohomology ring $H^*_U(Y_{n,\lambda,s})$. Our presentation arises from the orbit harmonics deformation technique, and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.
要約:
We investigate several aspects of the Bialynicki-Birula decomposition of a smooth complete $\mathbb{G}_m$-variety with finite fixed locus. Our results include novel characterizations of when the Bialynicki-Birula decomposition is filterable or forms a stratification, showing that these properties are invariant under reversing the $\mathbb{G}_m$-action. We additionally classify the smooth projective toric varieties for which the Bialynicki-Birula decomposition either may or must be a stratification. Our study of $\mathbb{G}_m$-convexity and $\mathbb{G}_m$-rigidity -- properties recently introduced by Buch--Chaput--Perrin -- answers several questions posed in their $\textit{Equivariant rigidity of Richardson varieties}$. In particular, assuming only filterability of the decomposition, we show that the Bialynicki-Birula cell closures are determined by their $\mathbb{G}_m$-equivariant Chow classes.
要約:
On the flag variety $ \mathcal{F}l_s(E)$
associated to a vector bundle $E,$ , a sequence $s$ and a partition $a,$ there is a line bundle $\it Q^a_s$
on $ \mathcal{F}l_s(E).$
The aim of this paper is to prove the following conjecture:
$Q^a_s $ on $ \mathcal{F}l_s(E)$ is big if only if $\pi_*(Q^a_s)=S_a(E)$ on X is big.
The "if" part is proven here, the "only if" part is proven under the V-bigness hypothesis.
要約:
We construct valuatively independent bases for the space of sections of an ample line bundle on a log Calabi--Yau pair over a discretely valued field and the space of regular functions on an affine CY pair with maximal boundary. While the bases are not in general unique, they induce canonical functions on the respective skeletons and are expected to agree with tropicalizations of theta functions when they exist. The proof uses techniques from the study of higher rank degenerations in K-stability.
要約:
In this article we show that the semi log canonical abundance for compact K\"ahler varieties fails in dimension $3$. More specifically we construct a counterexample of a compact K\"ahler (irreducible) slc threefold $(X, 0)$ such that $K_X$ is nef and $\kappa(\tilde X, K_{\tilde X}+\tilde D)=0$, where $\mu:(\tilde X, \tilde D)\to X$ is the normalization morphism, but $K_X$ is not semiample. On the other hand, we show that if we start with a compact K\"ahler semi-dlt pair, then the abundance does hold, i.e., if $(X, \Delta)$ is a compact K\"ahler sdlt pair of dimension $3$ such that $K_X+\Delta$ is nef, then it is semiample. We also show that if $(X, \Delta)$ is a compact K\"ahler slc pair of dimension $3$, $K_X+\Delta$ is nef, and $\kappa(X'_i, \Delta'_i+D'_i)>0$ for all $i$, where $\mu:\sqcup(X'_i, \Delta'_i+D'_i)\to (X,\Delta)$ is the normalization, then $K_X+\Delta$ is semiample.
要約:
In this paper, we prove a big monodromy theorem for the monodromy of cyclic coverings of projective line for cohomology with Fp-coefficients. This is a direct generalization of the results of Achter and Pries, where such a theorem is proved for cyclic coverings of degree 2 and 3. Instead of generalizing their methods, we adapt the proof of the analogous theorem for integral cohomology. In our subsequent work, we will apply this theorem to construct in infinitely many cases Galois extensions of Q with Galois group PSL(n, q) and PSU(n, q), where q can be an arbitrarilty large prime power.
要約:
We extend Atiyah's holomorphic jet bundle formalism to holomorphic vector bundles over noncommutative algebras endowed with a bigraded differential calculus truncated at bidegree $(1,1)$; we refer to such structures as noncommutative complex curves. For a holomorphic vector bundle $(E,\overline{\nabla}_E)$ over such an algebra $\mathcal{A}$, we construct a canonical holomorphic structure $\overline{\nabla}_J$ on the first jet module $J_E^1\,$, making the jet sequence \[ 0\longrightarrow \Omega^{1,0}(\mathcal{A})\otimes_{\mathcal A}E\longrightarrow J_E^1\longrightarrow E\longrightarrow 0 \] exact in the holomorphic category. The association $(E,\overline\nabla_E)\rightsquigarrow(J_E^1\,,\overline\nabla_J)$ defines an endofunctor on the category of holomorphic vector bundles over $\mathcal{A}$. We define the notion of holomorphic connection in this setting and prove that a holomorphic vector bundle admits a holomorphic connection if and only if the jet sequence splits in the holomorphic category, or equivalently, if and only if its Atiyah class vanishes. This yields a noncommutative analogue of Atiyah's classical correspondence for Riemann surfaces. Finally, we specialize to the quantum projective line $\mathbb{CP}_q^1\,$ and determine when $\overline{\nabla}_J$ defines a bimodule connection, assuming that $\overline{\nabla}_E$ does.
要約:
Let $P\subset\mathbb R^n$ be a convex polytope and let $\ell$ be a linear functional which is nonconstant on every edge of $P$. The induced acyclic orientation determines positive and negative Bia{\l}ynicki-Birula type partitions of $P$ into unions of relative interiors of faces. Our first result establishes a duality: the positive partition is a stratification if and only if the negative one is a stratification. Our second result connects poset invariants with monotone path polytopes. Assuming the induced vertex relation admits the structure of a graded poset, we prove that the Chow polynomial of the resulting vertex poset agrees with the $h$-polynomial of a (dual) monotone path polytope.
要約:
Mirror symmetry predicts an action by the fundamental group of a conjectural stringy K\"ahler moduli space on the derived category of an algebraic variety. For a toric variety, a model for this space is understood, but constructing the action is still an open problem in general. We propose that this action can be studied on the $A$-side via a moduli space of Legendrians isotopic to the FLTZ Legendrian. For the $A_{n-1}$ singularity, we construct an annular braid-group action on the corresponding partially wrapped Fukaya category by exact autoequivalences. The standard braid subgroup recovers the Seidel--Thomas action on the derived category, while the additional annular generator corresponds to tensor product with $\mathcal O(-1)$.
We additionally extend the Floer theoretic approach to homological mirror symmetry for toric varities to the setting of semiprojective toric Deligne-Mumford stacks over an arbitrary field.
要約:
Building on the genus-3 reduction $C_A : w^2 = \lambda^8 + A \lambda^4 + 1$ established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture ("Conjecture B") on $1{,}072$ explicit master-tuple fibers, excluding all rational $(a,b)$-specialisations on each such fiber. Our three main contributions are: (i) a structural classification theorem showing that every primitive Euler-brick arises from the standard $(a,b,m,n)$-parametrisation up to scaling; (ii) a torsion-intersection argument applied to the elliptic quotients $E_A'$ and $E_A''$: whenever the rank-zero hypothesis and the appropriate torsion condition hold for one of them, $|H_{m,n}(\mathbb{Q})| = 8$ is forced, with the eight points all corresponding to degenerate bricks; (iii) two complementary techniques to verify the rank-zero hypothesis algorithmically -- PARI's ellrank (2-descent) and, where this is ambiguous, Sage's exact rational evaluation of $L(E,1)/\Omega_E$ via modular symbols, which combined with the modularity theorem, Kolyvagin's theorem, and Edixhoven's bound on the Manin constant for semistable curves yields an unconditional rank-zero certificate -- together with an explicit lift count refining the naive torsion-intersection bound when the torsion is larger than the leading case. We exhibit $1{,}072$ such fibers with $\max(m,n) \le 100$ on which Conjecture B is thereby established unconditionally.
要約:
For algebraic stacks over number fields, we define their Brauer-Manin sets, Brauer-Manin pairings, and extend the descent theory of Colliot-Th\'el\`ene and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer groups of stacks that are locally quotients of varieties by linear groups. With mild assumptions, for stacks that are locally quotients or Deligne-Mumford, we show that the Brauer-Manin obstruction coincides with some other cohomological obstructions such as obstructions given by torsors under connected groups or abelian gerbes. For Brauer-Manin sets of these stacks, we show the properties such as descent along a torsor, product preservation are still correct. These results extend classical theories of those on varieties.
要約:
We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for them. These results extend the results in our first paper, where we prove the same results for complete intersection varieties defined by ``invariant equations".
要約:
We give a counterexample to the PIA (precise inversion of adjunction) conjecture for minimal log discrepancies. We also give a counterexample to the LSC conjecture for families.
要約:
We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb{P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces $M_w$ of certain log Fano pairs with coefficient $w$ whose double cover gives the weighted hypersurface. Moreover, we show that the wall crossing of $M_w$ coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction. Our K-moduli spaces provide new birational models for some natural loci in the moduli space of marked hyperelliptic curves.
要約:
We compute the Cox ring of an embedded variety $X \subseteq Z$ within a Mori dream space, under the assumption that the pullback map induces an isomorphism at the level of divisor class groups. We show that the Cox ring of $X$ is the intersection of finitely many localizations of a quotient image of the Cox ring of $Z$. As a consequence, we provide an algorithm that terminates if and only if the Cox ring of $X$ is finitely generated, thereby generalizing previous works on the subject. We apply these results to compute the Cox ring of hypersurfaces in smooth projective toric varieties.
要約:
We introduce a property of convex cones, being "well-clipped", that is inspired by the work of several complex algebraic geometers on the Morrison-Kawamata cone conjecture. That property is satisfied by movable cones of divisors on various complex projective varieties of Calabi-Yau type, such as abelian varieties and projective hyperk\"ahler manifolds. The property of being well-clipped has the advantage to descend under taking invariants by a finite group action, and to be stable under direct sums. In the class of well-clipped cones, we also provide a simple characterization of those cones that admit a rational polyhedral fundamental domain under some natural group action. We use this framework to prove the movable cone conjecture for finite quotients of various projective varieties of Calabi-Yau type, notably products of projective primitive symplectic varieties, abelian varieties, and smooth rational surfaces underlying klt Calabi-Yau pairs. This entails Enriques manifolds in the sense of Oguiso-Schr\"oer. We also provide Galois descent statements implying the movable Morrison-Kawamata cone conjecture for abelian varieties over arbitrary perfect fields.
要約:
We classify finite subgroups of automorphism groups of non-trivial Severi--Brauer varieties of dimension $q-1$, where $q \geqslant 3$ is a prime number, over an arbitrary field. We also construct families of examples, namely, for every consistent set of finite groups, we construct a field together with a non-trivial Severi--Brauer variety over that field such that every group in the set acts on the constructed variety. Additionally, we show that non-trivial Severi--Brauer varieties of dimension $q-1$, where $q \geqslant 3$ is a prime number, over a field of characteristic not equal to $q$ are not $G$-birationally rigid.
要約:
An induced additive action on a projective variety $X\subseteq\mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^n$ on $X$ with an open orbit that can be extended to a regular action on $\mathbb{P}^n$. Such actions are known to correspond to pairs $(A, U)$, where $A$ is a local algebra and $U$ is a generating subspace lying in the maximal ideal. This paper studies additive actions on projective toric varieties, with a particular focus on toric surfaces. We prove that for any linearly normal toric variety equipped with a torus-normalized additive action, the associated pair consists of a monomial algebra and a subspace spanned by variables. Also we describe pairs that correspond to additive actions on toric surfaces in low-dimensional projective spaces.
要約:
In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to these moduli stacks. In the present work, we formalize the de Rham side of this conjectural extension. We construct moduli stacks parametrizing diagrams of bundles with $\lambda$--connections over a base prestack $X$, where $\lambda$ can be a fixed number or a parameter. Taking $\lambda$ to be $1$ gives a moduli stack parametrizing diagrams of bundles with connection, while taking it to be a parameter gives a version of Simpson's non-Abelian Hodge filtration for digrams of bundles with connection. We show that when $X$ is a smooth and projective scheme over an algebraically closed field $k$ of characteristic $0$, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.
要約:
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$, constructed via the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq\mathcal{P}(4,6)$. The Shioda-Tate formula $\rho(S)=T(S)+\mathrm{rk}(E/K)$ decomposes the Picard rank of the associated elliptic surface into the trivial lattice rank, which is local (determined by Kodaira fiber types), and the Mordell-Weil rank, which is global. The motivic height zeta function weighted by the trivial lattice rank is rational in $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, via a combination of exact Euler products on the isotrivial loci $j\equiv 0, 1728$ and a motivic discriminant stabilization adapting Vakil-Wood to $\Delta=4a_4^3+27a_6^2$; over $k=\mathbb{C}$, this yields bidegree-wise Hodge number stabilization. The Kudla-Millson theta correspondence shows that the distribution of new Mordell-Weil sections by canonical height is governed by a modular form of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$. Combining Shepherd-Barron's diagonalization of the Gauss-Manin connection with Kodaira-Spencer transversality, we establish unconditionally that at every Faltings height $n\ge 3$ and for every $1 \le r \le \lfloor(10n-2)/(n-1)\rfloor$, there exist infinitely many stable elliptic surfaces with Mordell-Weil rank $\mathrm{rk}(E/K) \ge r$, and that infinitely many canonical heights $\hat{h}(P)=d$ are realized by Mordell-Weil sections.
要約:
We study the group of birational selfmaps of a variety birational to a conic bundle. We prove that it admits a surjective morphism to the direct sum of an uncountable number of copies of $\mathbb Z/2\IZ$.
要約:
We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.
要約:
We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem showing that any partial anticanonical MMP starting from a potentially klt pair can be lifted to a compatible sequence of nonpositive maps between the $\mathbb{Q}$-factorial terminalizations of its successive steps.
要約:
In this paper, we show that for any projective klt pair $(X,\Delta)$ and ample line bundle $L$, there exist quasi-monomial valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$, independently of whether the base field is countable. This also yields an alternative proof of the existence of valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$ that was originally proved by Blum-Jonsson over an uncountable field.
要約:
We investigate pairs $(G,Y)$, where $G$ is a reductive algebraic group and $Y$ a purely-odd $G$-superscheme, asking when a pair corresponds to a quasi-reductive algebraic supergroup $\mathbb{G}$, that is, $\mathbb{G}_{\text{ev}}$ is isomorphic to $G$, and the quotient $\mathbb{G}/\mathbb{G}_{\text{ev}}$ is $G$-equivariantly isomorphic to $Y$. We prove that, if $Y$ satisfies certain conditions (basic quasi-reductive root data), then the question has a positive answer given by an existence and uniqueness theorem. The corresponding supergroups are said to be basic quasi-reductive, which can be classified, up to isogeny. We then decide the structure of connected quasi-reductive algebraic supergroups provided that: (i) the root system does not contain $0$; (ii) $\mathfrak{g}:=\text{Lie}(\mathbb{G})$ admits a non-degenerate even symmetric bilinear form. (iii) all odd reflections are invertible. Remarkably, those supergroups are exactly basic quasi-reductive supergroups of monodromy type.
要約:
We establish a Bruhat decomposition indexed by the wreath product $\Sigma_m\wr \Sigma_d$ between two symmetric groups -- note that $\Sigma_m\wr \Sigma_d$ is not a Coxeter group in general. We show that such a decomposition affords a geometric variant in terms of the Bialynicki-Birula decomposition for varieties with $\mathbb{C}^*$-actions. Next, we construct a Steinberg variety whose top Borel-Moore homology realizes the group algebra $\mathbb{Q}[\Sigma_m\wr \Sigma_d]$ as a proper subalgebra. Such a geometric realization leads to a Springer-type correspondence which identifies the irreducible representations of $\Sigma_m\wr \Sigma_d$ with isotypic components of certain unconventional Springer fibers using type A geometry. In other words, we obtain a geometric counterpart of the (algebraic) Clifford theory, for the first time. Consequently, we obtain a new Springer correspondence of Weyl groups of type B/C/D using essentially type A geometry.
要約:
We construct functorial Igusa stacks for all Hodge-type Shimura varieties, proving a conjecture of Scholze and extending earlier results of the fourth-named author for PEL-type Shimura varieties. Using the Igusa stack, we construct a sheaf on $\mathrm{Bun}_G$ that controls the cohomology of the corresponding Shimura variety. We use this sheaf and the spectral action of Fargues-Scholze to prove a compatibility between the cohomology of Shimura varieties of Hodge type and the semisimple local Langlands correspondence of Fargues-Scholze, generalizing the Eichler-Shimura relation of Blasius-Rogawski to arbitrary level at $p$. When the given Shimura variety is proper, we show moreover that the sheaf is perverse, which allows us to prove new torsion vanishing results for the cohomology of Shimura varieties.