http://arxiv.org/api/cYZypKEO34F3wXvGd60Az9rN8FY 2025-04-21T00:00:00-04:00 55246 0 15 http://arxiv.org/abs/2503.24033v3 2025-04-21T17:57:11Z 2025-03-31T12:59:51Z

We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct $\ell$-adic sheaves of geometric origin over a scheme of finite type over a field from $\ell$-adic cohomology of smooth schemes. In the case of finite fields, this includes perverse $\ell$-adic sheaves of geometric orgin. However, the analogous behaviour fails systematically in mixed characteristic: the reason is that it would imply strong independence of $\ell$ results that can be proven to be too optimistic.

Denis-Charles Cisinski This paper replaces a previous version that pretended to construct a new non-trivial period isomorphism: this new version proves that the strategy was doomed to fail http://arxiv.org/abs/2504.15234v1 2025-04-21T17:09:52Z 2025-04-21T17:09:52Z

We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.

Nantel Bergeron Lucas Gagnon Philippe Nadeau Hunter Spink Vasu Tewari http://arxiv.org/abs/2504.15195v1 2025-04-21T16:07:21Z 2025-04-21T16:07:21Z

We prove that arc K-semistability is a very general property in flat families of polarised varieties, and prove a similar result for uniform arc K-stability. This can be used to produce the only current examples of smooth uniformly arc K-stable varieties which are not known to admit a constant scalar curvature K\"ahler metric. Our technique is to prove a general result stating that semistability of a pair in the sense of Paul is a Zariski open property, and to employ prior work with Reboulet relating arc K-semistability to semistability of an associated pair.

Ruadhaí Dervan 13 pages http://arxiv.org/abs/2403.19505v2 2025-04-21T14:48:04Z 2024-03-28T15:36:56Z

We study the supersingular locus of the Siegel modular variety of genus 3 or 4. More concretely, we decompose the supersingular locus into a disjoint union of the product of a Deligne-Lusztig variety of Coxeter type and a finite-dimensional affine space after taking perfection.

Ryosuke Shimada Teppei Takamatsu 22 pages. To appear in Ann. Inst. Fourier (Grenoble) http://arxiv.org/abs/2504.15143v1 2025-04-21T14:46:31Z 2025-04-21T14:46:31Z

In this paper, we initiate the study of deterministic PIT for $\Sigma^{[k]}\Pi\Sigma\Pi^{[\delta]}$ circuits over fields of any characteristic, where $k$ and $\delta$ are bounded. Our main result is a deterministic polynomial-time black-box PIT algorithm for $\Sigma^{[3]}\Pi\Sigma\Pi^{[\delta]}$ circuits, under the additional condition that one of the summands at the top $\Sigma$ gate is squarefree. Our techniques are purely algebro-geometric: they do not rely on Sylvester--Gallai-type theorems, and our PIT result holds over arbitrary fields. The core of our proof is based on the normalization of algebraic varieties. Specifically, we carry out the analysis in the integral closure of a coordinate ring, which enjoys better algebraic properties than the original ring.

Zeyu Guo Siki Wang http://arxiv.org/abs/2407.08747v2 2025-04-21T14:01:47Z 2024-06-13T12:03:35Z

We give a sufficient criterion for the Chow or algebraic bordism groups of an algebraic stack, localized at a set of Chern classes of line bundles, to be concentrated in some closed substack. This is a vast generalization of the torus fixed-point localization theorem in equivariant intersection theory, which is the special case of the stack quotient of a scheme $X$ by an action of a torus $T$. Taking on the one hand an algebraic stack in place of $X$, we deduce a generalization of torus localization to algebraic stacks. Taking on the other hand any algebraic group $G$ instead of $T$, we obtain a localization theorem in $G$-equivariant intersection theory.

Dhyan Aranha Adeel A. Khan Alexei Latyntsev Hyeonjun Park Charanya Ravi 32 pages; split off from arXiv:2207.01652 and revised exposition http://arxiv.org/abs/2504.06810v2 2025-04-21T12:36:26Z 2025-04-09T12:01:23Z

Let G be a finite abelian subgroup of SL(n,C), and suppose there exists a toric crepant resolution phi: X -- > C^n/G. We prove that for each component E of the exceptional set of phi there exists an open subset U of X that contains E and is isomorphic to the total space of the canonical bundle of E. This contributes to the collection of results aimed at solving a classical problem, i.e., to determine which submanifolds of a complex manifold have a neighborhood isomorphic to a neighborhood of the zero section of their normal bundle.

Ugo Bruzzo Fábio Arceu Ferreira 22 pages http://arxiv.org/abs/2504.14999v1 2025-04-21T09:59:23Z 2025-04-21T09:59:23Z

We show that the Strong Lefschetz Property in degree 1 for a homogeneous 0-dimensional complete intersection holds if the corresponding associated form, the Macaulay inverse systems, has a non-zero discriminant.

Alexandru Dimca Giovanna Ilardi Abbas Nasrollah Nejad http://arxiv.org/abs/2504.14924v1 2025-04-21T07:47:02Z 2025-04-21T07:47:02Z

We discuss how to use the recent progress in understanding of the $x$-$y$ duality and symplectic duality in the theory of topological recursion and its generalizations in order to efficiently compute the quantum spectral curve operators for the wave functions with arbitrary base points. The paper also contains an overview of recent generalizations of the setup of topological recursion prompted by the progress in understanding the $x$-$y$ duality.

Alexander Hock Sergey Shadrin 39 pages, 1 figure http://arxiv.org/abs/2504.14911v1 2025-04-21T07:31:09Z 2025-04-21T07:31:09Z

In this article, we realize the subquotient based modules of certain tensor products or restricted modules via Lusztig's perverse sheaves on multi-framed quivers, and provide a construction of their canonical bases. As an application, we prove that the decomposition and restriction coefficients of symmetric Kac-Moody algebras equal to the dimensions of top Borel-Moore homology groups for certain locally closed subsets of Nakajima's quiver varieties.

Yixin Lan 35pages http://arxiv.org/abs/2411.15125v2 2025-04-21T07:26:15Z 2024-11-22T18:45:06Z

We embed several copies of the derived category of a quiver and certain line bundles in the derived category of an associated moduli space of representations, giving the start of a semiorthogonal decomposition. This mirrors the semiorthogonal decompositions of moduli of vector bundles on curves. Our results are obtained with QuiverTools, an open-source package of tools for quiver representations, their moduli spaces and their geometrical properties.

Gianni Petrella 10.1016/j.jsc.2025.102448 Accepted manuscript http://arxiv.org/abs/2504.14902v1 2025-04-21T07:16:01Z 2025-04-21T07:16:01Z

Tame arrangements were informally introduced by Orlik and Terao for the study of Milnor fibers of hyperplane arrangements. After that, tame arrangements have been applied to a lot of researches on arrangements including freeness, master functions and critical varieties, Solomon-Terao algebras, D-modules, Bernstein-Sato polynomials and likelihood geometry. Though arrangements are generically tame, the research on tame arrangements themselves have been only few. In this article we establish foundations for the research of tame arrangements. Namely, we prove the addition theorem for tame arrangements, Ziegler-Yoshinaga type results for tameness and combinatorially determined tameness.

Takuro Abe 25 pages http://arxiv.org/abs/2501.07965v2 2025-04-21T06:05:51Z 2025-01-14T09:35:57Z

We fix an excellent regular noetherian scheme $S$ over ${\mathbf Z}_{(p)}$ satisfying a certain finiteness condition. For a constructible \'etale sheaf ${\cal F}$ on a regular scheme $X$ of finite type over $S$, we introduce a variant of the singular support relatively to $S$ and prove the existence of a saturated relative variant of the singular support by adopting the method of Beilinson using the Radon transform. We may deduce the existence of the singular support itself, if we admit an expected property on the micro support of tensor product and if the scheme $X$ is sufficiently ramified over the base $S$.

Takeshi Saito Some errors are corrected in v2 http://arxiv.org/abs/2504.14844v1 2025-04-21T03:56:47Z 2025-04-21T03:56:47Z

We establish a geometric construction of Kashiwara crystals on the irreducible components of the varieties of multiparameter persistence modules. Our approach differs from the seminal work of Kashiwara and Saito, as well as subsequent related works, by emphasizing commutative relations rather than preprojective relations for a given quiver. Furthermore, we provide explicit descriptions of the Kashiwara operators in the fundamental cases of 1- and 2-parameter persistence modules, offering concrete insights into the crystal structure in these settings.

Yasuaki Hiraoka Kohei Yahiro http://arxiv.org/abs/2501.18132v3 2025-04-21T03:53:40Z 2025-01-30T04:43:58Z

Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not intersect. In this work, we establish an upper bound and a lower bound of the minimal dimension $N$ such that there exists an algebraically skew embedding into $\mathbb{P}^N$ in terms of the dimension of the given smooth variety $X$. Then we further classify the algebraic curves in terms of their minimal skew embedding dimensions.

Andy B. Day Previously titled "Algebraically Skew Embedding of Curves" 33 pages. Explains the relation to the Terracini loci, and added references. Added application to one parameter family of lines. Comments are welcome