要約:
Miyaoka proved that a smooth surface of degree $d$ in ${\mathbf{P}}^3({\mathbb{C}})$ contains at most $2d(d-2)$ pairwise disjoint lines. In this note, we verify that the Maschke octic contains $96$ pairwise disjoint lines, thereby proving that Miyaoka's bound is optimal for $d=8$.
要約:
We study the K-stability of $\mathbb{Q}$-Fano spherical varieties using compatible divisors. More precisely, if the $\mathbb{Q}$-Fano variety, with a reductive group action, has an open Borel subgroup orbit, then there is a unique anticanonical $\mathbb{Q}$-divisor computing the equivariant stability threshold. This $\mathbb{Q}$-divisor is invariant under the Borel subgroup action, and it characterizes the K-stability of a $\mathbb{Q}$-Fano spherical variety.
要約:
Saito theory associates to a quasihomogeneous isolated singularity the structure of a Dubrovin--Frobenius manifold. This structure is not unique, depending on the special choice of a primitive form or, equivalently, a good basis.
We study primitive forms and respective Dubrovin--Frobenius manifolds via BV-algebras. In particular, we give recursive formulae for the primitive form of K. Saito and the R-matrix of Givental using BV-algebra computations.
要約:
We study moduli space of higher rank marginally stable pairs (E,s:= (s_1,..., s_r)) consisting of torsion free coherent sheaf E of rank r and r sections (s_1,..., s_r) on a smooth projective surface. Having fixed the Chern character of E, the resulting moduli space is isomorphic to some subscheme of the Quot-scheme parametrising quotient sheaves of appropriate Chern character. We establish a connection between moduli space of higher rank stable pairs and stable minimal models induced by the sheaf E and sections s_i and the relative lc model of base surface, and use birational geometry of minimal models to analyse in detail the components of the fibre of the Hilbert-Chow morphism from the moduli space to the Hilbert scheme of effective Cartier divisors on the base surface.
要約:
Let $k$ be an algebraic field extension of $\mathbb{Q}$ and let $X$ be a smooth projective variety over $k$ of dimension $d \geq 2$. We study the pro-representability of the Chow group $CH^{p}(X)$ with $2 \leq p \leq d$. When certain Hodge numbers of $X$ vanish, namely, $H^{p}(X,\Omega^{i}_{X/k})=H^{p+1}(X,\Omega^{i}_{X/k})= \cdots =H^{2p-1-i}(X,\Omega^{i}_{X/k})=0$ for $i$ such that $0 \leq i \leq p-2$, we prove that the formal completion $\widehat{CH}^{p}(A)$ of $CH^{p}(X)$ at a local augmented Artinian $k$-algebra $A$ with the maximal ideal $m_{A}$ satisfies \[ \widehat{CH}^{p}(A) \cong H^{p}(X, \Omega^{p-1}_{X/ k})\otimes_{k}m_{A}. \]This provides a unified cohomological criterion for the pro-representability of the functor $\widehat{CH}^{p}$, generalizing earlier work by Bloch, Stienstra, and Mackall for $p=2$ and $p=3$. Our result reveals an intrinsic connection between the deformation theory of algebraic cycles and the Hodge structure of $X$.
要約:
We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym varieties that are not isomorphic to jacobians (even if one ignores the polarizations).
要約:
We present an approach to detecting Zariski pairs in conic line arrangements. Our method introduces a combinatorial condition that reformulates the tubular neighborhood homeomorphism criterion arising in the definition of Zariski pairs. This allows for a classification of arrangements into combinatorial equivalence classes, which we generate systematically via an inductive algorithm. For each class, potential Zariski pairs are examined using structural lemmas, projective equivalence, and fundamental group computations obtained through the Zariski van Kampen Theorem.
要約:
Multiple polylogarithms are periods of variations of mixed Tate motives. Conjecturally, they deliver all such periods. We introduce deformations of multiple polylogarithms depending on a complex parameter h. We call them quantum polylogarithms. Their asymptotic expansion as h goes to 0 recovers multiple polylogarithms. The quantum dilogarithm was studied by Barnes in the XIX century. Its exponent appears in many areas of Mathematics and Physics. Quantum polylogarithms satisfy a holonomic systems of modular difference equations with coefficients in variations of mixed Hodge-Tate structures of motivic origin. If h is a rational number, the quantum polylogarithms can be expressed via multiple polylogarithms. Otherwise quantum polylogarithms are not periods of variations of mixed motives, i.e. they can not be given by integrals of rational differential forms on algebraic varieties. Instead, quantum polylogarithms are integrals of differential forms built from both rational functions and exponentials of rational functions. We call them rational exponential integrals. We suggest that quantum polylogarithms reflect a very general phenomenon: Periods of variations of mixed motives should have quantum deformations.
要約:
We study a variant of the Riemann-Hilbert problem on the complements of hyperplane arrangements. This problem asks whether a given local system on the complement can be realized as the solution sheaf of a logarithmic Pfaffian system with constant coefficients. In this paper, we generalize Katz's middle convolution as a functor for local systems on hyperplane complements and show that it preserves the solvability of this problem.
要約:
In this paper we solve an open question formulated in the original paper of twisted skew group codes regarding when a twisted skew group code is checkable. Also, we prove that all ideals of dimension 3 over a twisted group algebra are abelian group codes, generalising another previous result over group algebras. Finally, we prove a bound on the dimension and distance of a twisted group code, as well as when such bound is reached.
要約:
To a quiver with involution, we show that there is an algebra homomorphism from the corresponding shifted twisted Yangian to the quantized Coulomb branch algebra of the 3d $\mathcal{N}=4$ involution-fixed part of the quiver gauge theory in the second symmetric power case.
要約:
We compute the vertical unramified Brauer group of the Galois normic bundles, which are given by $\mathrm{N}_{K/k}(\mathbf{z})=P(x)$. Our main result gives combinatorial formulas for the vertical unramified Brauer groups in terms of the Galois group structure of $K/k$ and the irreducible factors of $P(x)$.
要約:
In this short note we study the Hall induction of cotangent representations of reductive groups. We prove its torsion freeness in Borel-Moore homology. In K-theory we find an analog of wheel conditions verified by the image of restriction map to the fixed point and consider examples.
要約:
This paper focuses on symbolic integration of differential forms, with a particular emphasis on historical and modern developments, from Abel's addition theorems for Abelian integrals to Zeilberger's creative telescoping for parameterized integrals. It explores closed rational $p$-forms and provides algorithmic approaches for their integration, extending classical results like Hermite reduction and Liouville's theorem. The integration of closed differential forms with parameters is further examined through telescopers, offering a unified framework for handling both algebraic and transcendental cases.
要約:
We study semi-stable degenerations of quasi-Fano varieties to unions of two pieces. We conjecture that the higher rank Landau-Ginzburg models mirror to these two pieces can be glued together to lower rank Landau-Ginzburg models which are mirror to the original quasi-Fano varieties. We prove this conjecture by relating their Euler characteristics, generalized functional invariants as well as periods. We also use it to conjecture a relation between the degenerations to the normal cones and the fibrewise compactifications of higher rank Landau-Ginzburg models. Furthermore, we use it to iterate the Doran-Harder-Thompson conjecture and obtain higher codimension Calabi-Yau fibrations.
要約:
Given two real symmetric matrices, their eigenvalue configuration is the relative arrangement of their eigenvalues on the real line. In this paper, we consider the following problem: given two parametric real symmetric matrices and an eigenvalue configuration, find a simple condition on the parameters such that their eigenvalues have the given configuration. In this paper, we consider the problem under a mild condition that the two matrices do not share any eigenvalues. We give an algorithm which expresses the eigenvalue configuration problem as a real root counting problem of certain symmetric polynomials, whose roots can be counted using the Fundamental Theorem of Symmetric Polynomials and Descartes' rule of signs.
要約:
The results of A.Chiodo, Y.Ruan and M.Krawitz associate the mirror partner Calabi-Yau variety $X$ to a Landau--Ginzburg orbifold $(f,G)$ if $f$ is an invertible polynomial satisfying Calabi-Yau condition and the group $G$ is a diagonal symmetry group of $f$. In this paper we investigate the Landau-Ginzburg orbifolds with a Klein quartic polynomial $f = x_1^3x_2 + x_2^3x_3+x_3^3x_1$ and $G$ being all possible subgroups of $\mathrm{GL}(3,\mathbb{C})$, preserving the polynomial $f$ and also the pairing in its Jacobian algebra. In particular, $G$ is not necessarily abelian or diagonal. The zero-set of polynomial $f$, called Klein quartic, is a genus $3$ smooth compact Riemann surface. We show that its mirror Landau-Ginzburg orbifold is $(f,G)$ with $G$ being a $\mathbb{Z}/2\mathbb{Z}$-extension of a Klein four-group.
要約:
Starting from an Enriques surface over $\mathbb{Q}(t)$ considered by Lafon, we give the first examples of smooth projective weakly special threefolds which fibre over the projective line in Enriques surfaces (resp. K3 surfaces) with nowhere reduced, but non-divisible, fibres and general type orbifold base. We verify that these families of Enriques surfaces (resp. K3 surfaces) are non-isotrivial and compute their fundamental groups by studying the behaviour of local points along certain \'etale covers. The existence of the above threefolds implies that the Weakly Special Conjecture formulated in 2000 contradicts the Orbifold Mordell Conjecture, and hence the abc conjecture. Using these examples, we can also easily disprove several complex-analytic analogues of the Weakly Special Conjecture. Finally, the existence of such threefolds shows that Enriques surfaces and K3 surfaces can have non-divisible but nowhere reduced degenerations, thereby answering a question raised in 2005.
要約:
Algebraic geometry codes on the Hermitian curve have been the subject of several papers, since they happen to have good performances and large automorphism groups. Here, those arising from the Singer cycle of the Hermitian curve are investigated.
要約:
We use the cohomological interpretation of anti-holomorphic derivatives of the isomonodromic deformation of a Higgs bundle, as established in our previous work \cite{HSZ}, to provide a short new proof of the non-existence of holomorphic isomonodromic deformation of a generic $\SL$-Higgs bundle and of any non-unitary rank 2 Higgs bundle over the Teichm\"uller space $\mathcal T_g$, which were previously proved in \cite{biswas}. We also prove the non-existence of holomorphic isomonodromic deformation of any non-unitary rank 3 Higgs bundle over the Teichm\"uller space $\mathcal T_g$.
要約:
By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity.
We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature.
In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Ap\'ery-type infinite series.
要約:
We study higher spin (pure and mixed spin) representations of the Yangian of $\mathfrak{sl}_2$. We provide a geometric realization in terms of the critical cohomology of representations of the quiver with potential of Bykov and Zinn-Justin [BZJ20]. When the framing dimension is 1, it recovers the evaluation pullback of the $\ell+1$-dimensional irreducible representation of $\mathfrak{sl}_2$. We introduce the lattice model and prove that its partition function coincides with the weight function constructed using the framed shuffle formula. The latter follows the approach of Rim\'anyi, Tarasov and Varchenko [RTV15].
要約:
We calculate the deformed and non-deformed cohomological Hall algebra (CoHA) of the preprojective algebra for the case of cyclic quivers by studying the Kontsevich-Soibelman CoHA and using tools from cohomological Donaldson-Thomas theory. We show that for the cyclic quiver of length $K$, this algebra is the universal enveloping algebra of the positive half of a certain extension of matrix differential operators on $\mathbb{C}^{*}$, while its deformation gives a positive half of an explicit integral form of Guay's Affine Yangian $\ddot{\mathcal{Y}}_{\hbar_1,\hbar_2}(\mathfrak{gl}(K))$. By the main theorem of Botta-Davison (2023) and Schiffmann-Vasserot (2023), we also determine the Maulik-Okounkov Yangian for the case of cyclic quivers. Furthermore, we explain the construction of factorization coproduct, provide evidence for the strong rationality conjecture, calculate the spherical subalgebra of the non-deformed CoHA for any quiver without loops, recover results about the CoHA of compactly supported semistable sheaves on the minimal resolution of the Kleinian singularity $\mathbb{C}^2/\mathbb{Z}_{K}$ and identify a commutative algebra inside the additive shuffle algebra associated to the cyclic quiver. We end by conjecturally relating the obtained integral form with the algebra defined by Gaiotto-Rap\v{c}\'ak-Zhou, in the context of twisted M-theory.
要約:
Though Joyal's species are known to categorify generating functions in enumerative combinatorics, they also categorify zeta functions in algebraic geometry. The reason is that any scheme $X$ of finite type over the integers gives a "zeta species" $Z_X$, and any species $F$ gives a Dirichlet series $\widehat{F}$, in such a way that $\widehat{Z}_X$ is the arithmetic zeta function of $X$, a well-known Dirichlet series that encodes the number of points of $X$ over each finite field. Specifically, a $Z_X$-structure on a finite set is a way of making that set into a semisimple commutative ring, say $k$, and then choosing a $k$-point of the scheme $X$. This is an elaboration of joint work with James Dolan.
要約:
In [J. Lond. Math. Soc. 109 (2024), e12884, 22 pages, arXiv:2208.09721], the difference qKZ equations were considered modulo a prime number $p$ and a family of polynomial solutions of the qKZ equations modulo $p$ was constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial examples of the qKZ equations in characteristic $p$. We describe all solutions of these qKZ equations in characteristic $p$ by demonstrating that they all stem from the $p$-hypergeometric solutions. We also prove a Lagrangian property (called the orthogonality property) of the subbundle of the qKZ bundle spanned by the $p$-hypergeometric sections. This paper extends the results of [arXiv:2405.05159] on the differential KZ equations to the difference qKZ equations.
要約:
In this paper we prove the following results: Given the Drinfeld double $\mathcal{A}^{ext}_{Q}$ of the localised preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+}_{Q}$ of quiver type $Q$ with the Cartan elements, there is a $\mathbb{Q}(q,t_e)_{e\in E}$-Hopf algebra isomorphism between $\mathcal{A}^{ext}_{Q}$ and the localised Maulik-Okounkov quantum loop group $U^{MO}_{q}(\hat{\mathfrak{g}}_{Q})$ of quiver type $Q$. Moreover, we prove the isomorphism of $\mathbb{Z}[q^{\pm1},t_{e}^{\pm1}]_{e\in E}$-algebras between the positive/negative half of the integral Maulik-Okounkov quantum loop group $U_{q}^{MO,\pm,\mathbb{Z}}(\hat{\mathfrak{g}}_{Q})$ with the (opposite) algebra of the integral preprojective (nilpotent) $K$-theoretic Hall algebra $\mathcal{A}^{+,\mathbb{Z}}_{Q}$ ($(\mathcal{A}^{+,nilp,\mathbb{Z}}_{Q})^{op}$) of the same quiver type $Q$. As the application, we prove that one can identify the wall subalgebra $U_{q}^{MO,\mathbb{Z}}(\mathfrak{g}_{w})$ as the root subalgebra $\mathcal{B}_{\mathbf{m},w}^{\mathbb{Z}}$ in the slope subalgebra $\mathcal{B}_{\mathbf{m}}^{\mathbb{Z}}$ as the quasitriangular Hopf $\mathbb{Z}[q^{\pm1},t_e^{\pm1}]_{e\in E}$-algebras. Moreover we use the freeness of the wall subalgebra in MO quantum loop groups to prove the freeness of the preprojective $K$-theoretic Hall algebra for arbitrary torus $\mathbb{C}_q^*\subset A\subset T$.
要約:
We study the rational homology of the Deligne--Mumford compactification $\overline{\mathcal M}_{g,n}$ of the moduli space of stable curves via a family of Morse functions, namely the $\text{sys}_T$ functions. Exploiting the geometric and Morse properties of $\text{sys}_T$, including the existence of an index gap and additivity of the Morse index upon gluing maps, we reprove that in low degrees the homology of $\overline{\mathcal M}_{g,n}$ is supported entirely on the boundary $\partial \overline{\mathcal M}_{g,n}$, providing a geometric perspective complementary to Harer's classical result on the virtual cohomological dimension.
Furthermore, we establish finite generation and stability phenomena for the rational homology across all genera and numbers of marked points. We show that for each degree $k$, a finite set of homology elements generates all $k$-th homology classes via attaching copies of thrice-marked $\mathbb{P}^1$. This result also recovers previously known stability in the number of marked points, such as Tosteson's theorem.
要約:
In this note, we compute the $L$-function of the projective smooth surface $S$ over $\mathbb{Q}$ that parametrizes cuboids whose geometric properties are studied in detail by Stoll and Testa. As a byproduct, we completely determine the structure of ${\rm Pic}(S_{\overline{\mathbb{Q}}})$ as a ${\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$-module.