Non-toric examples of elliptic canonical bases I

Tatsuyuki Hikita

2024-10-17

Abstract:We propose several properties of elliptic lifts of the $K$-theoretic canonical bases for conical symplectic resolutions defined in our previous work. As an example, we construct elliptic lifts of canonical bases for the Hilbert scheme of 2-points in the affine plane.

Algebraic Geometry,Representation Theory

What problem does this paper attempt to address?

Non-toric Bases for Elliptic Calabi-Yau Threefolds and 6D F-theory Vacua

Washington Taylor,Yi-Nan Wang

DOI: https://doi.org/10.4310/atmp.2017.v21.n4.a6

IF: 1.722

2017-01-01

Advances in Theoretical and Mathematical Physics

Abstract:We develop a combinatorial approach to the construction of general smooth compact base surfaces that support elliptic Calabi-Yau threefolds. This extends previous analyses that have relied on toric or semi-toric structure. The resulting algorithm is used to construct all classes of such base surfaces $S$ with $h^{1, 1} (S) < 8$ and all base surfaces over which there is an elliptically fibered Calabi-Yau threefold $X$ with Hodge number $h^{2, 1} (X) \geq 150$. These two sets can be used todescribe all 6D F-theory models that have fewer than seven tensor multiplets or more than 150 neutral scalar fields respectively in their maximally Higgsed phase. Technical challenges to constructing the complete list of base surfaces for all Hodge numbers are discussed.
Tame quivers and affine bases II: nonsimply-laced cases

Jie Xiao,Han Xu

2024-02-06

Abstract:In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of representations of a valued quiver. We obtain a bar-invariant basis $\mathbf{B}'=\{C(\mathbf{c},t_\lambda)|(\mathbf{c},t_\lambda)\in\mathcal{G}^a\}$ in the generic composition algebra $\mathcal{C}^*$ and prove that $\mathcal{B}'=\mathbf{B}'\sqcup(-\mathbf{B}')$ coincides with Lusztig's signed canonical basis $\mathcal{B}$. Moreover, in type $\tilde{B}_n,\tilde{C}_n$, $\mathbf{B}'$ is the canonical basis $\mathbf{B}$.

Representation Theory,Quantum Algebra,Rings and Algebras
Kudla Millson lift of toric cycles and restriction of Hilbert modular forms

Romain Branchereau

2024-02-16

Abstract:Let $V$ be quadratic space of even dimension and of signature $(p, q)$ with $p \geq q > 0$. We show that the Kudla-Millson lift of toric cycles - attached to algebraic tori - is a cusp form that is the diagonal restriction of a Hilbert modular form of parallel weight one. We deduce a formula relating the dimension of the span of such diagonal restrictions and the dimension of the span of toric and special cycles.

Number Theory
Generic Extensions and Canonical Bases for Cyclic Quivers

Bangming Deng,Jie Du,Jie Xiao

DOI: https://doi.org/10.4153/cjm-2007-054-7

2007-01-01

Abstract:We use the monomial basis theory developed by Deng and Du to present an elementary algebraic construction of the canonical bases for both the Ringel-Hall algebra of a cyclic quiver and the positive part U+ of the quantum affine sl(n). This construction relies on analysis of quiver representations and the introduction of a new integral PBW-like basis for the Lusztig Z[v, v(-1)] -form of U+.
Canonical local heights and Berkovich skeleta

Robin de Jong,Farbod Shokrieh

2024-05-28

Abstract:We discuss canonical local heights on abelian varieties over non-archimedean fields from the point of view of Berkovich analytic spaces. Our main result is a refinement of Néron's classical result relating canonical local heights with intersection multiplicities on the Néron model. We also revisit Tate's explicit formulas for Néron's canonical local heights on elliptic curves. Our results can be viewed as extensions of Tate's formulas to higher dimensions.

Number Theory,Algebraic Geometry
Non-abelian base change for symmetric power liftings of holomorphic modular forms

Laurent Clozel,James Newton,Jack A. Thorne

2024-06-07

Abstract:Let $f$ be a non-CM Hecke eigenform of weight $k \geq 2$. We give a new proof of some cases of Langlands functoriality for the automorphic representation $\pi$ associated to $f$. More precisely, we prove the existence of the base change lifting, with respect to any totally real extension $F / \mathbb{Q}$, of any symmetric power lifting of $\pi$.

Number Theory
Canonical coordinates for moduli spaces of rank two irregular connections on curves

Arata Komyo,Frank Loray,Masa-Hiko Saito,Szilard Szabo

2023-09-18

Abstract:In this paper, we study a geometric counterpart of the cyclic vector which allow us to put a rank 2 meromorphic connection on a curve into a ``companion'' normal form. This allow us to naturally identify an open set of the moduli space of $\mathrm{GL}_2$-connections (with fixed generic spectral data, i.e. unramified, non resonant) with some Hilbert scheme of points on the twisted cotangent bundle of the curve. We prove that this map is symplectic, therefore providing Darboux (or canonical) coordinates on the moduli space, i.e. separation of variables. On the other hand, for $\mathrm{SL}_2$-connections, we give an explicit formula for the symplectic structure for a birational model given by Matsumoto. We finally detail the case of an elliptic curve with a divisor of degree $2$.

Algebraic Geometry,Symplectic Geometry
Canonical bases for Coulomb branches of 4d $\mathcal{N}=2$ gauge theories

Sabin Cautis,Harold Williams

2023-06-06

Abstract:We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples $\mathcal{R}_{G,N}$, where $N$ is a representation of a reductive group $G$. Its heart $\mathcal{KP}_{G,N}$ is a finite-length, rigid, monoidal abelian category with renormalized $r$-matrices. We refer to objects of $\mathcal{KP}_{G,N}$ as Koszul-perverse coherent sheaves. Simple objects of $\mathcal{KP}_{G,N}$ define a canonical basis in the quantized $K$-theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-'t Hooft lines, and we interpret our construction as an algebro-geometric definition of the category of half-BPS line defects in a 4d $\mathcal{N}=2$ gauge theory of cotangent type.

Algebraic Geometry,Mathematical Physics,Representation Theory
Elliptic hyperlogarithms

Benjamin Enriquez,Federico Zerbini

2024-04-03

Abstract:Let $\mathcal E$ be a complex elliptic curve and $S$ be a non-empty finite subset of $\mathcal E$. We show that the functions $\tilde\Gamma$ introduced in <a class="link-https" data-arxiv-id="1712.07089" href="https://arxiv.org/abs/1712.07089">arXiv:1712.07089</a> out of string theory motivations give rise to a basis of the minimal algebra $A_{\mathcal E\smallsetminus S}$ of holomorphic multivalued functions on $\mathcal E\smallsetminus S$ which is stable under integration, introduced in <a class="link-https" data-arxiv-id="2212.03119" href="https://arxiv.org/abs/2212.03119">arXiv:2212.03119</a>; this basis is alternative to the basis of $A_{\mathcal E\smallsetminus S}$ constructed in loc. cit. using elliptic analogues of the hyperlogarithm functions.

Algebraic Geometry,Mathematical Physics
On Dual Canonical Bases

HC Zhang

DOI: https://doi.org/10.1088/0305-4470/37/32/004

2004-01-01

Journal of Physics A Mathematical and General

Abstract:The dual basis of the canonical basis of the modified quantized enveloping algebra is studied, in particular for type A. The construction of a basis for the coordinate algebra of the n x n quantum matrices is appropriate for studying the multiplicative property. It is shown that this basis is invariant under multiplication by certain quantum minors including the quantum determinant. Then a basis of quantum SL (n) is obtained by setting the quantum determinant to one. This basis turns out to be equivalent to the dual canonical basis.
Canonical bases of the oriented skein category

Yaolong Shen

2024-01-12

Abstract:We develop a bar involution and canonical basis for every morphism space of the oriented skein category through a diagrammatic approach. In particular, our construction gives rise to Kazhdan-Lusztig type bases on quantized walled Brauer algebras.

Quantum Algebra,Representation Theory
The Effect of Quadratic Base Change on Torsion of Elliptic Curves

Irmak Balçık,Burton Newman

2024-10-30

Abstract:Let $K$ be a quadratic number field and let $E$ be an elliptic curve defined over $K$ such that $E[2] \not\subseteq E(K).$ In this paper, we study the effect of quadratic base change on $E(K)_{\text{tor}}.$ Moreover, for a given elliptic curve $E/K$ with prescribed torsion group over $K,$ (no restriction on its $2$-torsion part) we describe a fast algorithm to find all quadratic extensions $L/K$ in which $E(K)_{\text{tor}} \subsetneq E(L)_{\text{tor}}$ and describe $E(L)_{\text{tor}}$ in each such case. In particular, we determine the growth of $E(K)_{\text{tor}}$ upon quadratic base change when $K$ is any quadratic cyclotomic field, which completes the earlier work of the second author.

Number Theory
Canonical torsor bundles of prescribed rational functions on complex curves

A. Zuevsky

DOI: https://doi.org/10.1142/s0129055x24500387

2024-08-21

Reviews in Mathematical Physics

Abstract:Reviews in Mathematical Physics, Ahead of Print. The prescribed rational functions constitute a subset of rational functions satisfying certain symmetry and analyticity conditions. Over a smooth complex curve [math], we construct explicitly a bundle [math] with values in the prescribed rational functions. An intrinsic coordinate-independent formulation (the main result of the paper, Proposition 1) for such bundles is given. The construction presented in this paper is useful for studies of the canonical cosimplicial cohomology of infinite-dimensional Lie algebras on smooth manifolds, as well as for the purposes of conformal field theory and the theory of foliations.

physics, mathematical
Baryon Spectroscopy at Beijing Electron Positron Collider

B.S. Zou,X.B. Ji,H.X. Yang,representing BES Collaboration

DOI: https://doi.org/10.48550/arXiv.hep-ph/0110264

2001-10-19

Abstract:BES Collaboration has collected 58 million $J/\psi$ events at the Beijing Electron-Positron Collider (BEPC). $J/\psi$ decays provide an excellent place for studying excited nucleons and hyperons -- $N^*$, $\Lambda^*$, $\Sigma^*$ and $\Xi^*$ resonances. Physics motivation, data status, partial wave analyses and future prospects are presented for the baryon resonance program at BES.

High Energy Physics - Phenomenology
Boundedness of elliptic Calabi-Yau varieties with a rational section

Caucher Birkar,Gabriele Di Cerbo,Roberto Svaldi

2023-12-14

Abstract:We show that for each fixed dimension $d\geq 2$, the set of $d$-dimensional klt elliptic varieties with numerically trivial canonical bundle is bounded up to isomorphism in codimension one, provided that the torsion index of the canonical class is bounded and the elliptic fibration admits a rational section. This case builds on an analogous boundedness result for the set of rationally connected log Calabi-Yau pairs with bounded torsion index. In dimension $3$, we prove the more general statement that the set of $\epsilon$-lc pairs $(X,B)$ with $-(K_X +B)$ nef and rationally connected $X$ is bounded up to isomorphism in codimension one.

Algebraic Geometry
Piecewise linear parametrization of canonical bases

G. Lusztig

DOI: https://doi.org/10.48550/arXiv.0807.2824

2008-07-18

Abstract:We extend the known piecewise linear parametrization of the canonical basis of the plus part of an enveloping algebra of type ADE to the nonsimplylaced case.

Representation Theory
Towards a characterization of toric hyperkähler varieties among symplectic singularities

Yoshinori Namikawa

2024-09-25

Abstract:Let $(X, \omega)$ be a conical symplectic variety of dimension $2n$ which has a projective symplectic resolution. Assume that $X$ admits an effective Hamiltonian action of an $n$-dimensional algebraic torus $T^n$, compatible with the conical $\mathbf{C}^*$-action. A typical example of $X$ is a toric hyperkahler variety $Y(A,0)$. In this article, we prove that this property characterizes $Y(A,0)$ with $A$ unimodular. More precisely, if $(X, \omega)$ is such a conical symplectic variety, then there is a $T^n$-equivariant (complex analytic) isomorphism $\varphi: (X, \omega) \to (Y(A,0), \omega_{Y(A,0)})$ under which both moment maps are identified. Moreover $\varphi$ sends the center $0_X$ of $X$ to the center $0_{Y(A,0)}$ of $Y(A,0)$.

Algebraic Geometry
A motivic spectrum representing hermitian K-theory

Baptiste Calmès,Yonatan Harpaz,Denis Nardin

2024-02-23

Abstract:We establish fundamental motivic results about hermitian K-theory without assuming that 2 is invertible on the base scheme. In particular, we prove that both quadratic and symmetric Grothendieck-Witt theory satisfy Nisnevich descent, and that symmetric Grothendieck-Witt theory further satisfies d\'evissage and A^1-invariance over a regular Noetherian base of finite Krull dimension, as well as a projective bundle formula. We use this to show that over a regular Noetherian base, symmetric Grothendieck-Witt theory is represented by a motivic E-infinity-ring spectrum, which we then show is an absolutely pure spectrum, answering a question of D\'eglise. As with algebraic K-theory, we show that over a general base, one can also construct a hermitian K-theory motivic spectrum, representing this time a suitable homotopy invariant and Karoubi-localising version of Grothendieck-Witt theory.

Algebraic Geometry,K-Theory and Homology
Equivalence of two canonical lists of elliptic functions

Robert Conte,Liangwen Liao,Chengfa Wu

DOI: https://doi.org/10.48550/arxiv.2208.04470

2022-01-01

Abstract: We establish a one-to-one correspondence between,on one hand the four types of transcendental meromorphic solutions of the autonomous Schwarzian differential equations which are elliptic,on the other hand the four binomial equations of Briot and Bouquet possessing an elliptic solution.
Sharp bounds on the height of K-semistable Fano varieties I, the toric case

Rolf Andreasson,Robert J. Berman

2024-05-02

Abstract:Inspired by Fujita's algebro-geometric result that complex projective space has maximal degree among all K-semistable complex Fano varieties, we conjecture that the height of a K-semistable metrized arithmetic Fano variety X of relative dimension n is maximal when X is the projective space over the integers, endowed with the Fubini-Study metric. Our main result establishes the conjecture for the canonical integral model of a toric Fano variety when n is less than or equal to 6 (the extension to higher dimensions is conditioned on a conjectural "gap hypothesis" for the degree). Translated into toric Kähler geometry this result yields a sharp lower bound on a toric invariant introduced by Donaldson, defined as the minimum of the toric Mabuchi functional. We furthermore reformulate our conjecture as an optimal lower bound on Odaka's modular height. In any dimension n it is shown how to control the height of the canonical toric model X, with respect to the Kähler-Einstein metric, by the degree of X. In a sequel to this paper our height conjecture is established for any projective diagonal Fano hypersurface, by exploiting a more general logarithmic setup.

Algebraic Geometry,Differential Geometry,Number Theory

Non-toric examples of elliptic canonical bases I

Non-toric Bases for Elliptic Calabi-Yau Threefolds and 6D F-theory Vacua

Tame quivers and affine bases II: nonsimply-laced cases

Kudla Millson lift of toric cycles and restriction of Hilbert modular forms

Generic Extensions and Canonical Bases for Cyclic Quivers

Canonical local heights and Berkovich skeleta

Non-abelian base change for symmetric power liftings of holomorphic modular forms

Canonical coordinates for moduli spaces of rank two irregular connections on curves

Canonical bases for Coulomb branches of 4d $\mathcal{N}=2$ gauge theories

Elliptic hyperlogarithms

On Dual Canonical Bases

Canonical bases of the oriented skein category

The Effect of Quadratic Base Change on Torsion of Elliptic Curves

Canonical torsor bundles of prescribed rational functions on complex curves

Baryon Spectroscopy at Beijing Electron Positron Collider

Boundedness of elliptic Calabi-Yau varieties with a rational section

Piecewise linear parametrization of canonical bases

Towards a characterization of toric hyperkähler varieties among symplectic singularities

A motivic spectrum representing hermitian K-theory

Equivalence of two canonical lists of elliptic functions

Sharp bounds on the height of K-semistable Fano varieties I, the toric case