要約:
We introduce trim resolutions of complex algebraic varieties, a strengthening of the notion of small resolution. We prove that the characteristic cycle of the intersection cohomology sheaf of a variety admitting a trim resolution is irreducible and that for such varieties the stringy and Chern-Mather classes coincide.
要約:
We describe germs of mappings $(\mathbb{C}^2,0) \to (\mathbb{C}^2,0)$ ramified along a germ of irreducible curve whose image is of the form $x^p=y^q$.
要約:
We advance our understanding of the configurations of low degree smooth rational curves on (quasi-)polarized complex K3-surfaces. We apply our efficient approach to classify the configurations of at least 36 lines on K3-sextics with at worst A-D-E singularities. As an unexpected outcome of the further analysis of configurations of lines, we characterize a certain class of infinite dihedral groups of birational automorphisms of K3-sextics. Besides, we show that no K3-sextic can contain a Kummer configuration of lines, and we give a complete account of the line configurations on closest analogue of Kummer K3-octics or quartics, viz. the so-called Humbert K3-sextics.
要約:
Motivated by Aganagic's equivariant mirror symmetry for certain Coulomb branches of a $3d$ $\mathcal{N}= 4$ gauge quiver theory, we would like to propose a set of ideas towards an extension of Aganagic's proposal to Hitchin systems. At the end, there are two main points in our proposal; namely, that the equivariant mirror of the Hitchin systems should be a Landau-Ginzburg model (with twisted masses) and that the dichotomy between additive and multiplicative varieties in the context of mirror symmetry for Nakajima quiver varieties should be considered in the case of Hitchin systems.
要約:
We construct Locally Recoverable Codes (LRCs) with availability $2$ from a family of fibered surfaces. To obtain the locality and availability properties, and to estimate the minimum distance of the codes, we combine techniques coming from the theory of one-variable function fields and from the theory of fibrations on surfaces. When the locality parameter is $r=3$, we obtain a sharp bound on the minimum distance of the codes. In that case, we give a geometric interpretation of our codes in terms of doubly elliptic surfaces. In particular, this provides the first instance of an error correcting code constructed using a (doubly elliptic) K3 surface.
要約:
We classify all wormhole singularities, i.e. cyclic quotient surface singularities admitting at least two extremal P-resolutions, thereby solving an open problem posed by Urz\'ua. Our approach introduces a new combinatorial framework based on what we call the coherent graph of a framed triangulated polygon. As an application, we give an alternative proof of the Hacking-Tevelev-Urz\'ua theorem on the maximum number of extremal P-resolutions of a cyclic quotient singularity.
要約:
We prove the multiple cover formula conjecture for abelian surfaces for a large class of insertions, including all stationary invariants. The proof uses the reduced degeneration formula expressing the invariants in terms of the correlated Gromov--Witten invariants previously introduced by the authors.
要約:
We give a self-contained alternative proof of the classification of smooth prime Fano threefolds of degree 22 with infinite automorphism groups established by Kuznetsov, Prokhorov and Shramov.
要約:
We describe the dimensions of Hochschild (co)homology groups of weighted projective curves over complex numbers. Surprisingly, all but one of those numbers depend only on the genus of the underlying non-weighted curve and the number of exceptional points. Our proof involves revising a classical representation-theoretic argument of Happel together with more recent results of Lenzing and Arinkin, C\u{a}ld\u{a}raru and Hablicsek. We give concrete realizations of a large class of weighted projective lines as quotient stacks. This paper conicides with the author's master's thesis submitted to the University of Bonn in 2019.
要約:
Let $k$ be a field of characteristic $0$, $X$ be a geometrically connected, smooth and proper variety over $k$ and $x\in X(k)$ be a base point. Using the notion of an iterated universal extension, we show that Nori's fundamental group $\pi_{1}^{N}(X,x)$ of nilpotent bundles is uniquely determined by the coherent cohomology groups $\mathrm{H}^{i}(X)=\mathrm{H}^{i}(X,\mathcal{O}_{X})$, $i=1,2$, and the cup product $\cup: \mathrm{H}^{1}(X)\otimes\mathrm{H}^{1}(X) \rightarrow \mathrm{H}^{2}(X)$. This can be seen as an analogy of a classical fact on the de Rham fundamental group of compact K\"ahler manifolds. We also prove a homotopy exact sequence for Nori's fundamental group.
要約:
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions attached to the corresponding groups. We also define the corresponding isospectral varieties $Y_{\mathfrak{g}}$. We prove a Gordon-Stafford localization theorem for $X_{\mathfrak{g}}$ and the corresponding equal-parameter rational Cherednik algebras, relate these varieties to the affine Springer fiber-sheaf correspondence of arXiv:2204.00303, and discuss examples. We conjecture that the torus-fixed points of our varieties are in bijection with two-sided cells in the finite Weyl group and prove this in types $ABC$. We relate these results to known results about Calogero-Moser spaces.
要約:
We bound the codimension of components of the nonabelian Hodge loci in the relative de Rham moduli space over $\shm_{g,n}$ in terms of the rank and level of a complex variation of Hodge structure. If the rank is $r$ and the level is $\ell$, then the codimension must be positive if $r$ and $\ell$ are small relative to $g$. The key input is a generalization of a bound on the rank of flat vector bundles by Landesman and Litt, which we apply to the isomonodromy foliation on the relative de Rham space. As an auxiliary result, we are able to bound the rank of the Lie algebra of the algebraic monodromy group of the isomonodromic deformation of a flat bundle to a nearby curve.
要約:
We prove that for any algebraic plane curve $C$ of degree at most $5$, the fundamental group $\pi_1(\mathbb CP^2\setminus C)$ is linear and virtually polyfree. As a consequence, we answer positively the open question on the residual finiteness of these groups for all plane curves of degree at most $5$.
要約:
We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of the transcendental lattice, we prove a counting formula for Fourier--Mukai partners of such cubic fourfolds. As an application, we exhibit cubic fourfolds with a fixed algebraic lattice admitting a unique non-trivial Fourier--Mukai partner and which are trivially L-equivalent. Finally, we show that L-equivalence classes of cubic fourfolds are finite.
要約:
We define complete stable pairs on a smooth projective variety, and construct their moduli space. These moduli spaces have natural morphisms to the moduli of stable pairs and Quot-schemes. As an example, we show that the moduli of complete stable pairs on $\mathbb P^1$ is an iterated blowing-up of the moduli of stable pairs, similar to the construction of the space of complete collineations.
要約:
We adapt Caro's notion of overholonomicity to give a definition of holonomic D-cap-modules on rigid analytic spaces. We prove stability under five of the six operations (both inverse image functors, duality, and both direct image functors for projective morphisms), as well as base change results. Up to the open problem of stability under tensor products, we obtain an analogue of the usual six-functor formalism for holonomic D-modules.
要約:
In this paper, we study the moduli space of rational curves in a general low degree hypersurface in the Orthogonal Grassmanian $OG(k,n+1)$ of $k$-dimensional isotropic subspaces of an $n+1$-dimensional vector space equipped with a symmetric, non-degenerate, bilinear form. We prove rationally simply connectedness for such a general hypersurface of degree $d$ where $d$ satisfies $n+1-8k-4\ge (3k-1)d^2-d$.
要約:
A fundamental property of Segre classes is their birational invariance. This invariance implies that the Segre class of a closed subscheme only depends on the integral closure of the defining ideal sheaf.
In this paper, we show that, conversely, the Segre class of a closed subscheme encodes an integral dependence criterion for its defining ideal sheaf. As an application, we prove that Aluffi's Segre zeta function provides an integral dependence criterion for homogeneous ideals in polynomial rings.
要約:
Let $\mathcal{S} \subset \mathbb{P}^n$ be an absolutely irreducible projective hypersurface defined over a finite field $\mathbb{F}_q$, equipped with the $\mathbb{F}_q$-Frobenius map $\Phi_q$. In this paper, we investigate irreducible curves $\mathcal{X} \subset \mathcal{S}_{\Phi_q}$, where $\mathcal{S}_{\Phi_q}$ is the $\mathbb{F}_q$-Frobenius nonclassical locus of $\mathcal{S}$. In particular, we show that every curve $\mathcal{X} \subset \mathcal{S}_{\Phi_q}$ such that the restriction of the Gauss map of $\mathcal{S}$ to $\mathcal{X}$ is inseparable is $\mathbb{F}_q$-Frobenius nonclassical. This provides a way to construct new Frobenius nonclassical curves, which are curves that tend to have many $\mathbb{F}_q$-rational points. We also prove that a certain type of Frobenius nonclassical hypersurfaces $\mathcal{S}$ defined by separated variables are such that their Gauss maps restricted to any curve contained in $\mathcal{S}$ is inseparable. Finally, in parallel with the plane curve cases, we show that if the strict Gauss map $\Gamma$ of a $\mathbb{F}_q$-Frobenius nonclassical hypersurface $\mathcal{S}$ is given by $p$ powers, then $\Gamma$ is purely inseparable.
要約:
Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincar\'{e} duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Mili\'{c}evi\'{c}-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond.
要約:
Let $\mathbb{K}$ be a field and let $f,g \in \mathbb{K}[x,y]$ be such that the ideal $\ideal{f,g}$ is zero-dimensional. We study the Sylvester and B\'{e}zout resultant polynomial matrices, built by interpreting $f$ and $g$ as univariate polynomials in $x$ with coefficients in $\mathbb{K}[y]$. We characterize their Smith forms over $\mathbb{K}[y]$ in terms of the dual spaces of differential operators, that were defined and studied by H. M. M\"{o}ller et al. In particular, we show that, if the leading coefficients of $f$ and $g$ are coprime over $\mathbb{K}[y]$, then the partial multiplicities of the Sylvester and B\'{e}zout resultant matrices coincide with certain integers, that we call M\"{o}ller indices. These indices are uniquely determined by $\ideal{f,g}$, and can be easily computed from a Gauss basis, as defined in [M. G. Marinari, H. M. M\"{o}ller, T. Mora, Trans. Amer. Math. Soc. 348(8):3283--3321, 1996], of the dual spaces. We then generalize this result to the case of common factors in the leading coefficients, which correspond to intersections at $x=\infty$, again describing all the invariant factors of Sylvester and B\'{e}zout resultant matrices. As a corollary, this fully characterizes the algebraic multiplicity of all the roots of the resultant $\Res_x(f,g) \in \mathbb{K}[y]$ in terms of the intersection multiplicities for $f$ and $g$, including those arising from infinite intersections. We discuss both algebraic and computational implications of our results.
要約:
The goal of this text is to understand and prove a formula stated by Salmon, which gives the first terms of some Taylor expansion of the discriminant of a plane algebraic curve. Salmon uses his formula to derive various enumerative quantities for surfaces in $\mathbf{P}^3$. We provide complete proofs of this formula and its enumerative applications, and extend Salmon's considerations to hypersurfaces in a projective space of arbitrary dimension. To this end, we introduce the concept of reduced discriminant, and provide a thorough study of its weight properties; the latter are deeply linked to projective enumerative geometric properties.
要約:
We study the reduced descendent Gromov-Witten theory of K3 surfaces in primitive curve classes. We present a conjectural closed formula for the stationary theory, which generalizes the Bryan-Leung formula. We also prove a new recursion that allows to remove descendent insertions of $1$ in many instances. Together this yields an efficient way to compute a large class of invariants (modulo the conjecture on the stationary part). As a corollary we conjecture a surprising polynomial structure which underlies the Gromov-Witten invariants of the K3 surface.
要約:
For $r\geq 3$ and $g= \frac{r(r+1)}{2}$, we study the Prym-Brill-Noether variety $V^r(C,\eta)$ associated to Prym curves $[C,\eta]$. The locus $\mathcal{R}_g^r$ in $\mathcal{R}_g$ parametrizing Prym curves $(C, \eta)$ with nonempty $V^r(C,\eta)$ is a divisor. We compute some key coefficients of the class $[\overline{\mathcal{R}}_g^r]$ in $\mathrm{Pic}_\mathbb{Q}(\overline{\mathcal{R}}_g)$. Furthermore, we examine a strongly Brill-Noether divisor in $\overline{\mathcal{M}}_{g-1,2}$: we show its irreducibility and compute some of its coefficients in $\mathrm{Pic}_\mathbb{Q}(\overline{\mathcal{M}}_{g-1,2})$. As a consequence of our results, the moduli space $\mathcal{R}_{14,2}$ is of general type.
要約:
Motivated by Simpson's conjecture on the motivicity of rigid irreducible connections, Esnault and Groechenig demonstrated that the mod-$p$ reductions of such connections on smooth projective varieties have nilpotent $p$-curvatures. In this paper, we extend their result to integrable $G$-connections.
要約:
The even spin components of the strata of Abelian differentials are difficult to handle from a birational geometry perspective due to the fact that their spin line bundles have more sections than expected. Nevertheless, in this paper, we prove that for large genus, the minimal even spin components are of general type. This result complements the previous work by the second and third authors, together with Costantini, on the Kodaira dimension of general strata and the minimal odd spin components of Abelian differentials. Our main technical tool is the computation and estimation of a series of effective divisor classes on the even spin components.
要約:
Metric graphs are important models for capturing the structure of complex data across various domains. While much effort has been devoted to extracting geometric and topological features from graph data, computational aspects of metric graphs as abstract tropical curves remains unexplored. In this paper, we present the first computational and machine learning-driven study of metric graphs from the perspective of tropical algebraic geometry. Specifically, we study the tropical Abel--Jacobi transform, a vectorization of points on a metric graph via the tropical Abel--Jacobi map into its associated flat torus, the tropical Jacobian. We develop algorithms to compute this transform and investigate how the resulting embeddings depend on different combinatorial models of the same metric graph.
Once embedded, we compute pairwise distances between points in the tropical Jacobian under two natural metrics: the tropical polarization distance and the Foster--Zhang distance. Computing these distances are generally NP-hard as they turn out to be linked to classical lattice problems in computational complexity, however, we identify a class of metric graphs where fast and explicit computations are feasible. For the general case, we propose practical algorithms for both exact and approximate distance matrix computations using lattice basis reduction and mixed-integer programming solvers. Our work lays the groundwork for future applications of tropical geometry and the tropical Abel--Jacobi transform in machine learning and data analysis.
要約:
We first develop some criteria for a general divisor to be strongly Euler-homogeneous in terms of the Fitting ideals of certain modules. We also study new variants of Saito-holonomicity, generalizing Koszul-free type properties and characterizing them in terms of the same Fitting ideals. Thanks to these advances, we are able to make progress in the understanding of a conjecture from 2002: a free divisor satisfying the Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Previously, it was known to be true only for ambient dimension $n \leq 3$ or assuming Koszul-freeness. We prove it in the following new cases: assuming strong Euler-homogeneity on a punctured neighbourhood of a point; assuming the divisor is weakly Koszul-free; for $n=4$; for linear free divisors in $n=5$. Finally, we refute a conjecture stating that all linear free divisors satisfy LCT and are strongly Euler-homogeneous.
要約:
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Today, it is known to be true only in ambient dimension less or equal than three or assuming Koszul-freeness. Thanks to our advances in the comprehension of strong Euler-homogeneity, we are able to prove the conjecture in the following new cases: assuming strong Euler-homogeneity on a punctured neighbourhood of a point; assuming the divisor is weakly Koszul-free; for ambient dimension $n=4$; for linear free divisors in ambient dimension $n=5$. We also refute a conjecture that states that all linear free divisors satisfy LCT and are strongly Euler-homogeneous.
要約:
Bondal claims that for a smooth toric variety $X$, its bounded derived category of coherent sheaves $D_{c}^{b}(X)$ is generated by the Thomsen collection $T(X)$ of line bundles obtained as direct summands of the pushforward of $\mathcal{O}_{X}$ along a Frobenius map with sufficiently divisible degree. The claim is confirmed recently. In this article, we consider a generalized Thomsen collection of line bundles $T(X,D)$ with a $\mathbb{Q}$-divisor $D$ as an auxiliary input, which recovers Thomsen's oringinal collection by setting $D=0$. We introduce the notion of a generating system and prove a theorem on the generation of $\mathcal{O}_{X}$ using many line bundles arising from the generating system. As an application, we verify Bondal's claim for some toric varieties, using a different argument from existing works.
要約:
We show that every object of the stable \'etale motivic homotopy category over any scheme is $\eta$-complete. In some cases we show that in fact the fourth power of $\eta$ is null, whereas the third power of $\eta$ is always nonvanishing, similar to the situation in topology. Moreover, we prove an \'etale version of May's nilpotence conjecture, that states that $H\mathbb{Z} \in \mathrm{Sp}$ detects the vanishing of $\mathbf{E}_\infty$-rings. We use this to show a version of Nishida's nilpotence theorem in $\mathrm{SH}_{\operatorname{\acute{e}t}}(S)$, i.e. that any positive degree self map of the unit is nilpotent.
要約:
In this work we establish a connection between copositivity, that is, nonnegativity on the positive orthant, of sparse real Laurent polynomials and discriminants. Specifically, we consider Laurent polynomials in the positive orthant with fixed support and fixed coefficient signs. We provide a criterion to decide whether a given polynomial is copositive that is based in determining the intersection points of the signed discriminant and a path going through the coefficients of the polynomial. If the signed support satisfies a combinatorial condition termed nonseparability, we show additionally that this intersection consists of one point, and that tracking one path in homotopy continuation methods suffices to decide upon copositivity.
Building on these results, we show that any copositive polynomial with nonseparable signed support can be decomposed into a sum of nonnegative circuit polynomials, generalising thereby previously known supports having this property.
要約:
Let $ E $ be an elliptic curve defined over a number field, the conjecture of Birch and Swinnerton-Dyer (BSD, for short) asserts a deep relation between the group $ E(K) $ of rational points and the $ L-$function $ L(E/K, s)$ of $ E $ at $ s = 1. $ Very few explicit results about $ E(K) $ and $ L(1) $ are known, even no general method is known to determine $ L(1) $ vanishing or not for a given elliptic curve. In this paper, we study some quantities related to BSD of a special class of elliptic curves, more precisely, we study the arithmetic of quadratic twists of elliptic curves $ y^{2} = x(x + \varepsilon p )(x + \varepsilon q) $ and their $L-$function. Based on some classical works, especially those of Greenberg, Kramer-Tunnell, Kato-Rohrlich, Manin and Mazur, under some conditions, we obtain results about the vanishing of the value at $ s = 1 $ of the $ L$-function, and explicitly determine the following quantities: the norm index $ \delta (E, \Q, K), $ the root numbers, the set of anomalous prime numbers, a few prime numbers at which the image of Galois representation are surjective. We also study the relation between the ranks of the Mordell-Weil groups, Selmer groups and Shafarevich-Tate groups, and the structure about the $ l^{\infty }-$Selmer groups and the Mordell-Weil groups over $ \Z_{l}-$extension via Iwasawa theory. These results provide some useful evidence toward verifying the BSD for a family of elliptic curves.
要約:
We study relative Wach modules generalising our previous works on this subject. Our main result shows a categorical equivalence between relative Wach modules and lattices inside relative crystalline representations. Using this result, we deduce a purity statement for relative crystalline representations and provide a criteria for checking crystallinity of relative $p$-adic representations. Furthermore, we interpret relative Wach modules as modules with $q$-connections, and show that for a crystalline representation, its associated Wach module together with the Nygaard filtration is the canonical $q$-deformation (after inverting $p$) of the filtered $(\varphi,\partial)$-module associated to the representation.
要約:
Some new Hamiltonian systems of quasi-Painlev\'e type are presented and the analogue of Okamoto's space of initial conditions computed. Using the geometric approach that was introduced originally for the identification problem of Painlev\'e equations, comparing the irreducible components of the inaccessible divisors arising in the blow-up process, we find bi-rational coordinate changes between some of these systems that give rise to the same global Hamiltonian structure. This scheme thus gives a method for identifying Hamiltonian systems up to bi-rational maps, which is performed in this article for systems of quasi-Painlev\'e type having singularities that are either square-root type algebraic poles or ordinary poles.
要約:
For any extension of commutative rings $A\subseteq B$ we first naturally define a group $\Cl(A,B)$, that we call the ideal class group of this extension (we will see that both the classical ideal class group and, surprisingly, the Picard group are special cases of this structure), then, as a first main result, we obtain the following exact sequence of Abelian groups: ...
要約:
We characterize the integral Hasse principle for an infinite family of spherical stacky curves with genus $g\in [2/3,1)$ that are defined using generalized Fermat equations, extending a result of Darmon and Granville. We then apply our methods to find that a positive proportion of curves in our family satisfy the integral Hasse principle.
要約:
We compute the Siegel-Veech constants associated to saddle connections with distinct endpoints on Prym eigenforms for real quadratic orders with non-square discriminant in $\Omega \mathcal{M}_3(2,2)^{\rm odd}$.
要約:
Conjectures of Braverman and Kazhdan, Ng\^o and Sakellaridis have motivated the development of Schwartz spaces for certain spherical varieties. We prove that under suitable assumptions these Schwartz spaces are naturally a representation of a group that we christen the modulation group. This provides a broad generalization of the defining representation of the metaplectic group. The example of a vector space and the zero locus of a quadric cone in an even number of variables are discussed in detail. In both of these cases the modulation group is closely related to algebraic groups, and we propose a conjectural method of linking modulation groups to ind-algebraic groups in general. At the end of the paper we discuss adelization and the relationship between representations of modulation groups and the Poisson summation conjecture.