http://arxiv.org/api/jDIwO2jSl/3enYPVNCPnbmHMYyk 2025-04-22T00:00:00-04:00 55246 30 15 http://arxiv.org/abs/2504.14428v1 2025-04-20T00:05:11Z 2025-04-20T00:05:11Z

Elliptic stable envelopes are fundamental components in the geometric realization of quantum group representations. We present a formula for elliptic stable envelopes on type A Cherkis bow varieties, as a product of simple basic objects in an elliptic cohomology Hall algebra. Combined with the 3d mirror symmetry property of elliptic stable envelopes, our result implies theta function identities for any pair of 01-matrices sharing the same row and column sums.

Tommaso Maria Botta Richard Rimanyi Comments welcome! http://arxiv.org/abs/2504.14420v1 2025-04-19T23:03:36Z 2025-04-19T23:03:36Z

In this article, we discuss some properties of holomorphic fibrations in the complex analytic setting.

Nobuhiro Honda Jeff Viaclovsky 19 pages; contains some background material on fibrations which was originally in the first version of arXiv:2403.05035 http://arxiv.org/abs/2504.14415v1 2025-04-19T22:11:12Z 2025-04-19T22:11:12Z

To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles. In dimension 1, we show that this recovers the existing Abel-Jacobi theory for tropical curves. As an application, we consider the Ceresa class of a tropical curve which is defined as the image of the Ceresa cycle in an appropriate intermediate Jacobian under the Abel-Jacobi map. We give an explicit formula for this class entirely in terms of the combinatorics of the tropical curve.

Omid Amini Daniel Corey Leonid Monin 44 pages, 6 figures http://arxiv.org/abs/2209.05971v5 2025-04-19T19:52:46Z 2022-09-13T13:09:21Z

We introduce affinizations and deformations of the BPS Lie algebra associated to a tripled quiver with potential, and use them to precisely determine the $T$-equivariant cohomological Hall algebra $\mathcal{H}_{\mathbb{A}^2}^T$ of compactly supported coherent sheaves on $\mathbb{A}^2$, acted on by a torus $T$. In particular we show that this algebra is spherically generated for all $T$.

Ben Davison v5: many improvements, suggested by the referee. v4: fixed a lot of typos. v3: fixed some signs+minor changes. v2: minor changes. v1: Prepared for the festschrift honouring the 60th birthday of Ezra Getzler. Comments welcome! http://arxiv.org/abs/2306.10557v4 2025-04-19T18:18:54Z 2023-06-18T13:41:22Z

We construct the Chow weight structure on the derived category of geometric motives with arbitrary coefficients for X a finite type scheme over a field characteristic 0 and G an affine algebraic group. In particular we also show that the heart of this weight structure recovers the category of Chow motives on [X/G].

Dhyan Aranha Chirantan Chowdhury Changes in Acknowledgements. Comments are welcome ! http://arxiv.org/abs/2504.01701v2 2025-04-19T18:06:04Z 2025-04-02T13:01:09Z

We consider the (universal) local isomonodromic deformations of irregular-singular connections defined on principal bundles over complex curves: for any (connected) complex reductive structure group G and any pole order, allowing for twisted/ramified formal normal forms at each pole and for twists in the interior of the curve. This covers the general case, and we particularly study the fundamental groups of the spaces of admissible deformations of irregular types/classes, in the viewpoint of (twisted/nonsplit) reflections cosets.

Jean Douçot Gabriele Rembado Daisuke Yamakawa v2: added a section and references, comments welcome! http://arxiv.org/abs/2401.06718v2 2025-04-19T16:12:42Z 2024-01-12T17:41:26Z

We introduce new invariants of a class of toric surfaces (including the projective plane) that arise from appropriate enumeration of real curves of genus one and two. These invariants admit a refinement similar to the one introduced by Grigory Mikhalkin in the rational case.

Ilia Itenberg Eugenii Shustin This is a substantially revised version: two signed counts of real curves of genus 0, 1, and 2 are introduced, both giving real enumerative invariants; two extremal cases are excluded from the main theorems http://arxiv.org/abs/2504.14273v1 2025-04-19T11:53:03Z 2025-04-19T11:53:03Z

In this paper, we generalize our formalism of the elliptic virtual structure constants to hypersurfaces and complete intersections within certain weighted projective spaces possessing a single K\"{a}hler class.

Masao Jinzenji Okayama University Ken Kuwata National Institute of Technology, Kagawa College 27pages, Latex http://arxiv.org/abs/2504.14246v1 2025-04-19T09:42:44Z 2025-04-19T09:42:44Z

In 1989, Faltings proved the comparison theorem between \'etale cohomology and crystalline cohomology by studying Fontaine-Faltings modules and crystalline representations. In his paper, he mentioned these modules and representations can be extended to the logarithmic context, but without detail. This note aims to explicitly present the construction of logarithmic Fontaine-Faltings modules and logarithmic crystalline representations.

Zhenmou Liu Jinbang Yang Kang Zuo 21 pages http://arxiv.org/abs/2410.15282v3 2025-04-19T09:09:37Z 2024-10-20T04:41:35Z

We show the vanishing of the first direct image of the structure sheaf of a normal scheme $X$ which is mapped properly and birationally over a regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an isolated support.

Shihoko Ishii Ken-ichi Yoshida We strengthened the main theorem and the corollary. We added some references. We corrected some typos. to appear in Michigan Mathematical Journal http://arxiv.org/abs/2504.14168v1 2025-04-19T03:59:07Z 2025-04-19T03:59:07Z

In this paper, we classify sextic curves in the Fano $3$-fold $\bf \mathcal{V}_5$ (the smooth quintic del Pezzo $3$-fold) that admit rational Galois covers in the complex ${\mathbb P}^3$. We show that the moduli space of such sextic curves is of complex dimension $2$ through the invariants of the engaged Galois groups for the explicit constructions. This raises the intriguing question of understanding the moduli space of sextic curves in ${\mathcal V}_5$ through their Galois covers in ${\mathbb P}^3$.

Quo-Shin Chi Zhenxiao Xie Yan Xu 35 pages http://arxiv.org/abs/2504.14141v1 2025-04-19T02:15:53Z 2025-04-19T02:15:53Z

Let $f:X\to S$ be a projective morphism of normal varieties. Assume $U$ is an open subset of $S$ and $L_U$ is a $\mathbb{Q}$-divisor on $X_U:=X\times_S U$ such that $L_U\equiv_U 0$. We explore when it is possible to extend $L_U$ to a global $\mathbb{Q}$-divisor $L$ on $X$ such that $L\equiv_f 0$. In particular, we show that such $L$ always exists after a (weak) semi-stable reduction when $\dim S=1$. On the other hand, we give an example showing that $L$ may not exist (after any reasonable modification of $f$) if $\dim S\ge 2$, which also gives an $f_U$-nef divisor $M_U$ that cannot extend to an $f$-nef ($\mathbb{Q}$) divisor $M$ for any compactification of $f|_U$, even after replacing $X_U$ with any higher birational model.

Lingyao Xie 17 pages http://arxiv.org/abs/2501.01682v2 2025-04-18T19:02:12Z 2025-01-03T07:58:18Z

We study an irreducible component H(X) of the Hilbert scheme Hilb^{2t+2}(X) of a smooth cubic hypersurface X containing two disjoint lines. For cubic threefolds, H(X) is always smooth, as shown in arXiv:2010.11622. We provide a second proof and generalize this result to higher dimensions. Specifically, for cubic hypersurfaces of dimension at least four, we show H(X) is normal, and it is smooth if and only if X lacks certain "higher triple lines." We characterize H(X) using the Hilbert-Chow morphism and describe its singularities when X is special.

Yilong Zhang 32 pages, 3 figures, revised, removed section 10 http://arxiv.org/abs/2006.12942v2 2025-04-18T18:21:18Z 2020-06-23T12:37:48Z

The commuting variety of a reductive Lie algebra $\mathfrak{g}$ is the underlying variety of a well defined subscheme of $\mathfrak{g}\times\mathfrak{g}$. In this note, it is proved that this scheme is normal and Cohen-Macaulay. In particular, its ideal of definition is a prime ideal. As a matter of fact, this theorem results from a so called Property (P) for a simple Lie algebra. This property says that some cohomology complexes are exact.

Jean-Yves Charbonnel IMJ-PRG http://arxiv.org/abs/2407.07867v2 2025-04-18T18:13:39Z 2024-07-10T17:31:47Z

Let $(M, \Omega)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $\pi: M \to B$, and $\eta$ a closed $(1,1)$-form on $B$. Then $\Omega+ \pi^* \eta$ is a holomorphically symplectic form on a complex manifold which is called the degenerate twistor deformation of $M$. We prove that degenerate twistor deformations of compact holomorphically symplectic K\"ahler manifolds are also K\"ahler. First, we prove that degenerate twistor deformations are Hermitian symplectic, that is, tamed by a symplectic form; this is shown using positive currents and an argument based on the Hahn--Banach theorem, originally due to Sullivan. Then we apply a version of Huybrechts's theorem showing that two non-separated points in the Teichm\"uller space of holomorphically symplectic manifolds correspond to bimeromorphic manifolds if they are Hermitian symplectic.

Andrey Soldatenkov Misha Verbitsky 23 pages, v. 2.0, added reference, removed appendix