要約:
We show that stack-theoretic resolution of singularities preserving normal crossings (partial desingularization) by weighted blowings-up, can be obtained in a simple direct way from a splitting theorem of the first and third authors, using the algorithm of Abramovich, Temkin and W{\l}odarczyk for resolution of singularities by weighted blowings-up.
要約:
Given a divisor on a tropical curve, we associate to each point of the curve a Weierstrass gap sequence. We investigate structural properties of these gap sequences and explore their relationship with the Weierstrass gap sequences of line bundles on algebraic curves via the tropicalization process.
要約:
Let k be an algebraically closed field of characteristic zero and let B be a finitely generated k-domain. We study semisimple derivations on B, with special emphasis on those whose eigenvalues are integers. For such derivations, after passing to the field of fractions and choosing a rational slice s with D(s) = s, we describe the kernel of D explicitly in terms of semi-invariant generators. We also obtain descriptions of the kernel on suitable localizations of B and on B itself by intersection. Several basic properties of semisimple derivations and their behavior under conjugation are also discussed
要約:
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.
要約:
We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the log regular case. In passing, we also construct a "log Stein factorization" in some particular cases.
要約:
We study minimal del Pezzo surfaces of degree 1 with a conic bundle over a finite field $\mathbb{F}_q$ according to the action of the absolute Galois group on the singular fibers (which is known as their type). We give a lower bound on the size of the field over which they exist, and determine values of $q$ for which certain types cannot exist. In particular, we solve the inverse Galois problem for certain types of minimal del Pezzo surfaces of degree 1 over finite fields with a conic bundle structure. Additionally, we give bounds on the values of $q$ for which del Pezzo surfaces of degree 1 of index 8 exist over $\mathbb{F}_q$.
要約:
The interplay between toric Calabi-Yau 3-folds, dimer integrable systems, and 5-dimensional quantum field theories has proved fruitful. We extend this framework to generalized toric polygons (GTPs) and show that their integrable systems arise from refined birational transformations of known dimer integrable systems acting on the Casimirs and Hamiltonians as well as the Poisson structure and spectral curves. We argue that these transformations are realized as Hanany-Witten transitions producing (p,q) 5-brane webs dual to GTPs. We show that the resulting 5d N=1 theory is obtained by Higgsing a higher-rank theory whose associated toric Calabi-Yau has a toric diagram of the same shape as the GTP.
要約:
We develop an explicit geometric construction of automorphisms of finite fields arising from isogeny cycles. Let $k$ be a finite field, $E/k$ an elliptic curve, and $\ell$ an integer coprime to $\mathrm{char}(k)$. Let $\mathfrak{h}$ be an ideal of $\mathrm{End}(E)$ dividing $\ell$, and consider the corresponding torsion subgroup $E[\mathfrak{h}]\subseteq E[\ell]$. From the action of End(E) on $E[\mathfrak{h}]$, we construct the splitting field $K$ of the $x$-coordinates of points in $E[\mathfrak{h}]$ and the associated Galois group $\mathrm{Gal}(K/k)$. This yields $(\mathrm{End}(E)/\mathfrak{h})^* \to \mathrm{Gal}(K/k)$ a group homomorphism.
要約:
We present computational results on principal specializations $\mathfrak{S}_w(1^n)$ of Schubert polynomials, which count reduced pipe dreams and reduced bumpless pipe dreams (RBPD). We find the first counterexample, at $n=17$, to the Merzon-Smirnov conjecture (arXiv:1410.6857) that the maximum of $\mathfrak{S}_w(1^n)$ over $S_n$ is attained at a layered permutation. The simulations suggest that $\lim_{n \to \infty} \log(\max_{w\in S_n}\mathfrak{S}_w(1^n))/n^2$ equals the maximal layered permutations' constant from Morales-Pak-Panova (arXiv:1805.04341). We also explore the random permutation drawn from the distribution proportional to $\mathfrak{S}_w(1^n)$, revealing permuton-like asymptotics similar to those for Grothendieck polynomials by Morales-Panova-Petrov-Yeliussizov (arXiv:2407.21653).
We implement and compare three recurrences for $\mathfrak{S}_w(1^n)$: the descent formula (Macdonald), transition formula (Lascoux--Schutzenberger), and cotransition formula (Knutson). For sampling uniformly random RBPDs (whose count is $\sum_{w\in S_n} \mathfrak{S}_w(1^n)$), we show that reducedness breaks the sublattice property of the ASM lattice, preventing monotone CFTP and causing false coalescence. We develop an efficient MCMC sampler with macroscopic "droop" updates for connectivity and fast mixing. Our code computes $\mathfrak{S}_w(1^n)$ up to $n\sim 20$ and samples random RBPDs up to $n\sim 60$ on a personal computer ($n\sim 100$ on a cluster).
要約:
In this paper we classify all singular irreducible symplectic surfaces, i.e., compact, connected complex surfaces with canonical singularities that have a holomorphic symplectic form $\sigma$ on the smooth locus, and for which every finite quasi-\'etale covering has the algebra of reflexive forms spanned by the reflexive pull-back of $\sigma$. We moreover prove that the Hilbert scheme of two points on such a surface $X$ is an irreducible symplectic variety, at least in the case where the smooth locus of $X$ is simply connected.
要約:
In this paper, we present a general wall crossing theory for K-stability and K-moduli of log Fano pairs whose boundary divisors can be non-proportional to the anti-canonical divisor. Along the way, we prove that there are only finitely many K-semistable domains associated to the fibers of a log bounded family of couples. Under the additional assumption of volume bounded from below, we show that K-semistable domains are semi-algebraic sets (although not necessarily polytopes). As a consequence, we obtain a finite semi-algebraic chamber decomposition for wall crossing of K-moduli spaces. In the case of one boundary divisor, this decomposition is an expected finite interval chamber decomposition. As an application of the theory, we prove a comparison theorem between GIT-stability and K-stability in non-proportional setting when the coefficient of the boundary is sufficiently small.
要約:
In this paper, we give an explicit form for the dual of the algebraic geometry code $C_e(a,b)$ defined on an Hirzebruch surface $\mathcal{H}_e$ and parametrized by the divisor $aS_e + bF_e$, where $a,b\in\mathbb{N}$ and $S_e$ and $F_e$ generate the Picard group $\mathrm{Pic}( \mathcal{H}_e)$. Notably, we compute a lower bound for the minimum distance of $C_e(a,b)^\perp$. One of the main ingredient for our study is a new explicit form of the code $C_e(a,b)$ which we provide at the beginning of the paper. We also investigate some puncturing of $C_e(a,b)$, recovering other previously studied AG codes from toric surfaces. Finally, we provide a sufficient condition for orthogonal inclusions between the codes $C_e(a,b)$, and construct CSS quantum codes from them.
要約:
We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.
要約:
Let $X$ be a smooth, irreducible, projective algebraic surface, and let $\alpha \in \mathbb{Q}[m]_{>0}$ be a polynomial. In this paper, we determine topological and geometric properties of the moduli space of $\alpha$-stable coherent systems of type $(n; c_{1}, c_{2}, k)$ with $k < n$ on $X$, for sufficiently large values of $\alpha$. We prove that, for $\alpha$ sufficiently large, the moduli space admits a description as a Grassmann bundle over a moduli space of $H$-stable torsion free sheaves. As a consequence, we obtain results on irreducibility, dimension. Our approach relies on establishing a correspondence between $\alpha$-stable coherent systems and extensions of $H$-stable torsion free sheaves by trivial bundles.
要約:
In this paper, we consider a six parameter family of affine Segre surfaces embedded in $\mathbb C^6$. For generic values of the parameters, this family is associated to the $q$-difference sixth Painlev\'e equation. We show that different limiting forms of this family give Segre surfaces that are isomorphic as affine varieties to the the monodromy manifolds of each Painlev\'e differential equation.
要約:
We construct a family of non-geometric Bridgeland stability conditions on certain wrapped Fukaya categories, using homological mirror symmetry and categorical K\"unneth formulae. These stability conditions correspond to certain holomorphic volume forms, under which we prove that every stable object admits a special Lagrangian representative. This provides the first higher-dimensional examples of stability conditions away from the large complex structure limit for which ``stable implies special Lagrangian" is proved.
要約:
Let $R$ be a standard graded polynomial ring over a field $k$.
The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of homological dimension $2$. Based on the structure of the minimal graded free resolution of $J$ and numerical data encoded in certain \emph{latent shifts}, one introduces the notion of \emph{level matrices} associated with these shifts. Our main result provides a complete characterization of almost Cohen--Macaulay ideals of codimension $2$ in terms of the existence of an associated level matrix for which $J$ arises as the ideal of minors obtained by fixing the lower block. We provide algebraic and geometric examples illustrating the results.