https://arxiv.org/api/jDIwO2jSl/3enYPVNCPnbmHMYyk2026-03-20T12:41:06Z587483015http://arxiv.org/abs/2603.17890v1Mysterious points in keys but not trees2026-03-18T16:15:13ZThe deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.2026-03-18T16:15:13Z14 pagesScott NevilleJosé Simentalhttp://arxiv.org/abs/2307.10461v4Algebraic hyperbolicity of very general hypersurfaces in homogeneous varieties2026-03-18T15:53:54ZWe generalize techniques by Coskun, Riedl, and Yeong, and obtain an almost optimal bound on the degree for the algebraic hyperbolicity of very general hypersurfaces in rational homogeneous varieties. As examples, we work out the cases of very general hypersurfaces in Grassmannians and products therefore, orthogonal and symplectic Grassmannians, and flag varieties.2023-07-19T21:13:56ZÉpijournal de Géométrie Algébrique, Volume 10 (2026), Article no. 5Lucas Miorancihttp://arxiv.org/abs/2102.11124v3An algorithm for Hodge ideals2026-03-18T15:51:36ZWe present an algorithm to compute the Hodge ideals of $\mathbb{Q}$-divisors associated to any reduced effective divisor $D$. The computation of the Hodge ideals is based on an algorithm to compute parts of the $V$-filtration of Malgrange and Kashiwara on $ι_{+}\mathscr{O}_X(*D)$ and the characterization of the Hodge ideals in terms of this $V$-filtration. In particular, this gives a new algorithm to compute the multiplier ideals and the jumping numbers of any effective divisor.2021-02-22T15:53:12Z13 pages. Corrected a minor issue in the published version: for certain examples, the output of the algorithm is returned shiftedGuillem Blancohttp://arxiv.org/abs/2603.17853v1Ambidextrous global spectra and tempered cohomology2026-03-18T15:43:00ZWe introduce generalizations of global equivariant spectra which encode globally equivariant cohomology theories equipped with additional transfers, such as the deflation maps present in equivariant topological $K$-theory. We call these $\mathcal{Q}$-ambidextrous global spectra, where $\mathcal{Q}$ is a parameter encoding which additional transfers one allows.
As our main example, we prove that the tempered cohomology theory associated with an oriented $\mathbf{P}$-divisible group, constructed by Lurie, is represented by a $π$-ambidextrous global $\mathbf{E}_\infty$ ring spectrum, encoding transfers along all relatively $π$-finite maps of global spaces. This is established by means of a general parametrized decategorification process, perhaps of independent interest, that produces $\mathcal{Q}$-ambidextrous global spectra from suitable global families of stable $\infty$-categories. By allowing $\mathcal{Q}$ to vary, we are able to coherently encode the fact that non-invertible morphisms of oriented $\mathbf{P}$-divisible groups induce maps of tempered theories that only commute with certain transfers.
With these $π$-ambidextrous enhancements in hand, we explore the fundamental properties of tempered theories as equivariant stable homotopy types. We construct a well-behaved $F$-global homology theory for any $π$-finite space $F$, with good base change properties. Taking $F = \mathbf{B} H$ for a finite group $H$, this establishes general base change results for the geometric fixed points of tempered theories. We use this to compute the $H$-geometric fixed points of tempered theories, showing that they vanish for $H$ nonabelian and admit a simple algebro-geometric model when $H$ is abelian, with identifiable blueshift properties.2026-03-18T15:43:00Z96 pages, comments welcome!William BalderramaJack Morgan DaviesSil Linskenshttp://arxiv.org/abs/2603.17760v1Affineness of the maximal étale locus2026-03-18T14:21:22ZIn this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of étale schemes over excellent regular local rings, which we will prove by tilting to perfect rings.2026-03-18T14:21:22ZIvan Zelichhttp://arxiv.org/abs/2603.17661v1Semi-finite vector bundles on complex tori2026-03-18T12:27:38ZWe study finite and semi-finite vector bundles on complex tori. We give an explicit decomposition of such bundles in terms of torsion and unipotent factors. As a consequence, we prove that the extended Nori fundamental group scheme of a complex torus decomposes as the product of its etale fundamental group scheme and its unipotent fundamental group scheme.2026-03-18T12:27:38Z8 pages. Accepted for publication in the Journal of Mathematical Sciences, the University of TokyoPavan AdrojaSanjay Amrutiyahttp://arxiv.org/abs/2103.01383v4Categorical enumerative invariants of the ground field2026-03-18T12:22:52ZFor an $S^1$-framed modular operad $P$, we introduce its "Feynman compactification" denoted by $FP$ which is a modular operad. Let $\{\mathbb{M}^{\sf fr}(g,n)\}_{(g,n)}$ be the $S^1$-framed modular operad defined using moduli spaces of smooth curves with framings along punctures. We prove that the homology operad of $F\mathbb{M}^{\sf fr}$ is isomorphic to $H_*(\overline{M})$, the homology operad of the Deligne-Mumford operad. Using this isomorphism, we obtain an explicit formula of the fundamental class of $[\overline{M}_{g,n}/S_n]$ in terms of Sen-Zwiebach's string vertices. As an immediate application, under mild assumptions, we prove that Costello's categorical enumerative invariants of the ground field match with the Gromov-Witten invariants of a point.2021-03-02T00:44:28Z41 pages, revised and some parts rewrittenJunwu Tuhttp://arxiv.org/abs/2603.17604v1Decidability of singularities in the Ekedahl--Oort stratification2026-03-18T11:17:27ZFor an abelian type Shimura variety and an odd prime $p$ of good reduction, we characterize the regularity in codimension one of Zariski closures of Ekedahl--Oort strata in terms of the Frobenius action on the root datum. We give an algorithm that detects codimension one singularities for arbitrary Ekedahl--Oort strata. When the Shimura datum is of split type, we relate the singularities of Ekedahl--Oort strata to a stack of $G$-zips over the complex numbers. We study the existence of generalized Hasse invariants on this stack.2026-03-18T11:17:27ZComments are welcome!Jean-Stefan KoskivirtaLorenzo La Portahttp://arxiv.org/abs/2603.07152v2On linear $α_p$-quotients2026-03-18T09:45:15ZWe study linear $α_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their stringy motivic invariants. The second author and Fabio Tonini conjectured that these invariants coincide with those of linear $\mathbb{Z}/p$-quotients: our approach reduces this conjecture to an equality of explicit multi-sets, which we check for a large number of primes using a computer software. A general proof of the equality of multi-sets is given in the appendix written by Linus Rösler.2026-03-07T11:27:00Z40 pages. Comments are welcome! v2: new appendix written by Linus RöslerQuentin PosvaLinus RöslerTakehiko Yasudahttp://arxiv.org/abs/2512.06063v2On pristine morphisms2026-03-18T09:37:40ZWe investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization of Cartier modules.2025-12-05T18:54:54Z22 pages, v2: changed title; we added a discussion showing that $F$-singularity invariants transform nicely under pristine morphismsJavier Carvajal-RojasAxel Stäblerhttp://arxiv.org/abs/2603.17521v1Nets of quadric surfaces and plane cubics and their GIT stability2026-03-18T09:26:55ZA general net of quadric surfaces, together with a choice of a base point, defines a net of plane cubics via the Gale transformation of the remaining seven base points. To both nets, one can also naturally associate the same smooth plane quartic. In this paper, we generalize the cycle of correspondences arising from nets of quadrics that define rational elliptic threefolds and provide a complete criterion for GIT stability of the three underlying geometric objects using birational-geometric techniques.2026-03-18T09:26:55Z35 pages. Comments are welcomeMasafumi HattoriTheodoros Stylianos PapazachariouAline Zanardinihttp://arxiv.org/abs/2603.17517v1Moduli spaces and the algebra of conformal blocks2026-03-18T09:23:02ZFor a classical simple and simply connected group $G$, let $\mathcal{M}_{G,ω}$ be the moduli space of $ω$-semistable parabolic $G$-bundles on a complex smooth projective curve of genus $g$. We prove two results in this article: (1) $\mathcal{M}_{G,ω}$ is of Fano type when $g\geq 3$; (2) the algebra of conformal blocks on any $n$-pointed stable curve for a classical simple Lie algebra is finitely generated.2026-03-18T09:23:02Z28 pagesYanglong ZhangMingshuo Zhouhttp://arxiv.org/abs/2603.17487v1Quantum cohomology and irrationality of Gushel-Mukai fourfolds2026-03-18T08:51:53ZWe compute the small quantum cohomology of Gushel-Mukai fourfolds. Following [13], our computations imply that the very general ones are not rational. Following [8], and thanks to a suitable deformation of the small quantum cohomology ring, we also deduce that a rational Gushel-Mukai fourfold has the same rational cohomology as some K3 surface.2026-03-18T08:51:53ZVladimiro BenedettiLJADLaurent ManivelI2MNicolas PerrinCMLShttp://arxiv.org/abs/2603.17485v1On generalized canonical bundle formula and boundedness of complements in complex analytic setting2026-03-18T08:50:28ZWe establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli b-divisor are compatible with restriction to arbitrary open subsets. We also discuss the boundedness of complements in this setting.2026-03-18T08:50:28Z35 pagesKenta Hashizumehttp://arxiv.org/abs/2409.07601v2On the positivity and integrality of coefficients of mirror maps2026-03-18T05:49:47ZWe present natural conjectural generalizations of the `positivity and integrality of mirror maps' phenomenon, encompassing the mirror maps appearing in the Batyrev--Borisov construction of mirror Calabi--Yau complete intersections in Fano toric varieties as a special case. We find that, given the combinatorial data from which one constructs a mirror pair of Calabi--Yau complete intersections, there are two ways of writing down an associated `mirror map': one which is the `true mirror map', meaning the one which appears in mirror symmetry theorems; and one which is the `naive mirror map'. The two are equal under a certain combinatorial criterion which holds e.g. for the quintic threefold, but not in general. We conjecture (based on substantial computer checks, together with proofs under extra hypotheses) that the naive mirror map always has positive integer coefficients, while the true mirror map always has integer (but not necessarily positive) coefficients. Almost all previous works on the integrality of mirror maps concern the naive mirror map, and in particular, only apply to the true mirror map under the combinatorial criterion mentioned above.2024-09-11T20:21:51Z20 pages, minor revisions in response to referee comments; accepted versionSophie BleauNick Sheridan