Source author record

Francesco Sala

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.RT hep-th math-ph math.MP math.QA

Catalog footprint

Research overview

12works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Continuum Kac-Moody algebras

We introduce a new class of infinite-dimensional Lie algebras, which we refer to as continuum Kac-Moody algebras. Their construction is closely related to that of usual Kac-Moody algebras, but they feature a continuum root system with no simple roots. Their Cartan datum encodes the topology of a one-dimensional real space and can be thought of as a generalization of a quiver, where vertices are replaced by connected intervals. For these Lie algebras, we prove an analogue of the Gabber-Kac-Serre theorem, providing a complete set of defining relations featuring only quadratic Serre relations. Moreover, we provide an alternative realization as continuum colimits of symmetric Borcherds-Kac-Moody algebras with at most isotropic simple roots. The approach we follow deeply relies on the more general notion of a semigroup Lie algebra and its structural properties.

preprint2020arXiv

Cohomological Hall algebra of Higgs sheaves on a curve

We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ( $2$ -dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$ , as well as its nilpotent and semistable variants, in the context of an arbitrary oriented Borel-Moore homology theory. In the case of usual Borel-Moore homology, ${AHA}_{Higgs(X)}$ is a module over the (universal) cohomology ring $\mathbb{H}$ of the stacks of coherent sheaves on $X$ . We show that it is a torsion-free $\mathbb{H}$ -module, and we provide an explicit collection of generators (the collection of fundamental classes $[Coh_{r,d}]$ of the zero-sections of the map $Higgs_{r,d} \to Coh_{r,d}$ , for $r \geq 0, d \in Z$ ).

preprint2020arXiv

Fock space representation of the circle quantum group

In [arXiv:1711.07391] we have defined quantum groups $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ and $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ , which can be interpreted as continuous generalizations of the quantum groups of the Kac-Moody Lie algebras of finite, respectively affine type $A$ . In the present paper, we define the Fock space representation $\mathcal{F}_{\mathbb{R}}$ of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ as the vector space generated by real pyramids (a continuous generalization of the notion of partition). In addition, by using a variant of the "folding procedure" of Hayashi-Misra-Miwa, we define an action of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ on $\mathcal{F}_{\mathbb{R}}$ .

preprint2020arXiv

The circle quantum group and the infinite root stack of a curve (with an appendix by Tatsuki Kuwagaki)

In the present paper, we give a definition of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ of the circle $S^1\colon =\mathbb{R}/\mathbb{Z}$ , and its fundamental representation. Such a definition is motivated by a realization of a quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ associated to the rational circle $S^1_\mathbb{Q}\colon= \mathbb{Q}/\mathbb{Z}$ as a direct limit of $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(n))$ 's, where the order is given by divisibility of positive integers. The quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ arises as a subalgebra of the Hall algebra of coherent sheaves on the infinite root stack $X_\infty$ over a fixed smooth projective curve $X$ defined over a finite field. Via this Hall algebra approach, we are able to realize geometrically the fundamental and the tensor representations, and a family of symmetric tensor representations, depending on the genus $g_X$ , of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ . Moreover, we show that $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(+\infty))$ and $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(\infty))$ are subalgebras of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ . As proved by T. Kuwagaki in the appendix, the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ naturally arises as well in the mirror dual picture, as a Hall algebra of constructible sheaves on the circle $S^1$ .

preprint2016arXiv

AGT relations for abelian quiver gauge theories on ALE spaces

We construct level one dominant representations of the affine Kac-Moody algebra $\widehat{\mathfrak{gl}}_k$ on the equivariant cohomology groups of moduli spaces of rank one framed sheaves on the orbifold compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$ . We show that the direct sum of the fundamental classes of these moduli spaces is a Whittaker vector for $\widehat{\mathfrak{gl}}_k$ , which proves the AGT correspondence for pure $\mathcal{N}=2$ $U(1)$ gauge theory on $X_k$ . We consider Carlsson-Okounkov type Ext-bundles over products of the moduli spaces and use their Euler classes to define vertex operators. Under the decomposition $\widehat{\mathfrak{gl}}_k\simeq \mathfrak{h}\oplus \widehat{\mathfrak{sl}}_k$ , these vertex operators decompose as products of bosonic exponentials associated to the Heisenberg algebra $\mathfrak{h}$ and primary fields of $\widehat{\mathfrak{sl}}_k$ . We use these operators to prove the AGT correspondence for $\mathcal{N}=2$ superconformal abelian quiver gauge theories on $X_k$ .

preprint2015arXiv

Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces

We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$ , which is a projective toric orbifold $\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a $\mathbb{Z}_k$ -gerbe. We construct moduli spaces of torsion free sheaves on $\mathscr{X}_k$ which are framed along the compactification gerbe. We prove that this moduli space is a smooth quasi-projective variety, compute its dimension, and classify its fixed points under the natural induced toric action. We use this construction to compute the partition functions and correlators of chiral BPS operators for $\mathcal{N}=2$ quiver gauge theories on $X_k$ with nontrivial holonomies at infinity. The partition functions are computed with and without couplings to bifundamental matter hypermultiplets and expressed in terms of toric blowup formulas, which relate them to the corresponding Nekrasov partition functions on the affine toric subsets of $X_k$ . We compare our new partition functions with previous computations, explore their connections to the representation theory of affine Lie algebras, and find new constraints on fractional instanton charges in the coupling to fundamental matter. We show that the partition functions in the low energy limit are characterised by the Seiberg-Witten curves, and in some cases also by suitable blowup equations involving Riemann theta-functions on the Seiberg-Witten curve with characteristics related to the nontrivial holonomies.

preprint2014arXiv

Framed sheaves on projective stacks

Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$ , i.e., pairs $(\mathcal E,ϕ_{\mathcal E})$ , where $\mathcal E$ is a coherent sheaf on $\mathscr X$ and $ϕ_{\mathcal E}$ is a morphism from $\mathcal E$ to a fixed coherent sheaf $\mathcal F$ . After introducing a suitable notion of (semi)stability, we construct a projective scheme, which is a moduli space for semistable framed sheaves with fixed Hilbert polynomial, and an open subset of it, which is a fine moduli space for stable framed sheaves. If $\mathscr X$ is a projective irreducible orbifold of dimension two and $\mathcal F$ a locally free sheaf on a smooth divisor $\mathscr D\subset \mathscr X$ satisfying certain conditions, we consider $(\mathscr{D}, \mathcal{F})$ -framed sheaves, i.e., framed sheaves $(\mathcal E,ϕ_{\mathcal E})$ with $\mathcal E$ a torsion-free sheaf which is locally free in a neighborhood of $\mathscr D$ , and ${ϕ_{\mathcal{E}}}_{| \mathscr{D}}$ an isomorphism. These pairs are $μ$ -stable for a suitable choice of a parameter entering the (semi)stability condition, and of the polarization of $\mathscr X$ . This implies the existence of a fine moduli space parameterizing isomorphism classes of $(\mathscr{D}, \mathcal{F})$ -framed sheaves on $\mathscr{X}$ with fixed Hilbert polynomial, which is a quasi-projective scheme. In an appendix we develop the example of stacky Hirzebruch surfaces. This is the first paper of a project aimed to provide an algebro-geometric approach to the study of gauge theories on a wide class of 4-dimensional Riemannian manifolds by means of framed sheaves on "stacky" compactifications of them. In particular, in a subsequent paper we will use these results to study gauge theories on ALE spaces of type $A_k$ .

preprint2014arXiv

Instantons and framed sheaves on Kähler Deligne-Mumford stacks

We provide stacky generalizations of classical gauge-theoretic results inspired by Donaldson, the Uhlenbeck-Yau theorem and variants due to Bando and his collaborators. Moreover, we show an application of this machinery in the study of ALE spaces.

preprint2014arXiv

N=2 quiver gauge theories on A-type ALE spaces

We survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in $\mathcal{N}=2$ gauge theories on ALE spaces based on quiver varieties and the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$ , in light of their recently conjectured duality with two-dimensional coset conformal field theories. We review and elucidate the rigorous constructions of gauge theories for a particular family of ALE spaces, using their relation to the cohomology of moduli spaces of framed torsion free sheaves on a suitable orbifold compactification of $X_k$ . We extend these computations to generic $\mathcal{N}=2$ superconformal quiver gauge theories, obtaining in these instances new constraints on fractional instanton charges, a rigorous proof of the Nekrasov master formula, and new quantizations of Hitchin systems based on the underlying Seiberg-Witten geometry.

preprint2013arXiv

Restriction theorems for $μ$ -(semi)stable framed sheaves

We provide a generalization of Mehta-Ramanathan theorems to framed sheaves: we prove that the restriction of a $μ$ -semistable framed sheaf on a nonsingular projective irreducible variety, of dimension greater or equal than two, to a general hypersurface of sufficiently high degree is again $μ$ -semistable. The same holds for $μ$ -stability under some additional assumptions.

preprint2012arXiv

Symplectic structures on moduli spaces of framed sheaves on surfaces

We provide generalizations of the notions of Atiyah class and Kodaira-Spencer map to the case of framed sheaves. Moreover, we construct closed two-forms on the moduli spaces of framed sheaves on surfaces. As an application, we define a symplectic structure on the moduli spaces of framed sheaves on some birationally ruled surfaces.

preprint2010arXiv

Representations of the Heisenberg algebra and moduli spaces of framed sheaves

We give a `geometrical' construction of an action of a Heisenberg algebra on the homology of the moduli spaces of torsion free sheaves on a complex smooth connected projective surface, framed along a smooth connected genus zero curve. This result generalizes Nakajima's construction for the Hilbert schemes of points.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Francesco Sala

Research overview

Is this your work?

12 publications

Continuum Kac-Moody algebras

Cohomological Hall algebra of Higgs sheaves on a curve

Fock space representation of the circle quantum group

The circle quantum group and the infinite root stack of a curve (with an appendix by Tatsuki Kuwagaki)

AGT relations for abelian quiver gauge theories on ALE spaces

Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces

Framed sheaves on projective stacks

Instantons and framed sheaves on Kähler Deligne-Mumford stacks

N=2 quiver gauge theories on A-type ALE spaces

Restriction theorems for $μ$ -(semi)stable framed sheaves

Symplectic structures on moduli spaces of framed sheaves on surfaces

Representations of the Heisenberg algebra and moduli spaces of framed sheaves

See the researcher in context

Building this map preview

Francesco Sala

Research overview

Is this your work?

12 publications

Continuum Kac-Moody algebras

Cohomological Hall algebra of Higgs sheaves on a curve

Fock space representation of the circle quantum group

The circle quantum group and the infinite root stack of a curve (with an appendix by Tatsuki Kuwagaki)

AGT relations for abelian quiver gauge theories on ALE spaces

Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces

Framed sheaves on projective stacks

Instantons and framed sheaves on Kähler Deligne-Mumford stacks

N=2 quiver gauge theories on A-type ALE spaces

Restriction theorems for μμμ-(semi)stable framed sheaves

Symplectic structures on moduli spaces of framed sheaves on surfaces

Representations of the Heisenberg algebra and moduli spaces of framed sheaves

See the researcher in context

Building this map preview

Restriction theorems for $μ$ -(semi)stable framed sheaves