Related papers: Comparing arithmetic intersection formulas for den…
We establish a new simple explicit description of combinatorial wall-crossing for the rational Cherednik algebra applied to the trivial representation. In this way we recover a theorem of P. Dimakis and G. Yue. We also present two…
We test R. van Luijk's method for computing the Picard group of a $K3$ surface. The examples considered are the resolutions of Kummer quartics in $\bP^3$. Using the theory of abelian varieties, in this case, the Picard group may be computed…
Given a symmetric quiver with potential, we develop a geometric construction of shifted Yangians acting on the critical cohomologies of antidominantly framed quiver varieties with extended potentials, using the $R$-matrices constructed from…
We investigate two algebra of curves on a topological surface with punctures - the cluster algebra of surfaces defined by Fomin, Shapiro, and Thurston, and the generalized skein algebra constructed by Roger and Yang. By establishing their…
We present a new integration formula for intersection numbers on toric quotients, extending the results of Witten, Jeffrey and Kirwan on localization. Our work was motivated by the Toric Residue Mirror Conjecture of Batyrev and Materov; as…
We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and…
We prove a $q$-refined correspondence theorem between higher genus relative Gromov-Witten invariants with a Lambda class $\lambda_{g-g'}$ insertion in the blow-up of $\mathbb{P}^2$ at $k$ points on a conic and the refined counts of genus…
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
We present a simplified formulation of open intersection numbers, as an alternative to the theory initiated by Pandharipande, Solomon and Tessler. The relevant moduli spaces consist of Riemann surfaces (either with or without boundary) with…
Shimura curves on Shimura surfaces have been a candidate for counterexamples to the bounded negativity conjecture. We prove that they do not serve this purpose: there are only finitely many whose self-intersection number lies below a given…
In this paper we obtained several properties that the characteristic polynomials of the unit-primitive matrix satisfy. In addition, using these properties we have shown that the recurrence relation given as in the formula (1) is true. In…
Buch and Fulton conjectured the nonnegativity of the quiver coefficients appearing in their formula for a quiver variety. Knutson, Miller and Shimozono proved this conjecture as an immediate consequence of their ``component formula''. We…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
We give a new algorithm for constructing Picard curves over a finite field with a given endomorphism ring. This has important applications in cryptography since curves of genus 3 allow for smaller key sizes than elliptic curves. For a…
We prove that there is an algorithm to compute the class of the intersection of the divisor of schemes incident to a fixed line with any other class of a basis of the Chow ring $A^*(\mathbb{P}^{2[N]})$ due to Mallavibarrena and Sols. This…
This paper is about the arithmetic of Kudla-Rapoport divisors on Shimura varieties of type GU(n-1,1). In the first part of the paper we construct a toroidal compactification of N. Kramer's integral model of the Shimura variety. This extends…
This is the second part in a series of papers on counting surfaces on Calabi-Yau 4-folds. In this paper, we introduce $K$-theoretic $\mathrm{DT}, \mathrm{PT}_0, \mathrm{PT}_1$ invariants and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$…
In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be…
In this paper we investigate the $\mathbb{Q}$-rational points of a class of simply connected Calabi-Yau threefolds, which were originally studied by Hosono and Takagi in the context of mirror symmetry. These varieties are defined as a…
We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset…