Showing 1–50 of 50 results for author: Licata, A

Fusion-equivariant stability conditions and Morita duality

Authors: Hannah Dell, Edmund Heng, Anthony M. Licata

Abstract: Given a triangulated category $D$ with an action of a fusion category $C$, we study the moduli space $Stab_{C}(D)$ of fusion-equivariant Bridgeland stability conditions on $D$. The main theorem is that the fusion-equivariant stability conditions form a closed, complex submanifold of the moduli space of stability conditions on $D$. As an application of this framework, we generalise a result of Macr… ▽ More Given a triangulated category $D$ with an action of a fusion category $C$, we study the moduli space $Stab_{C}(D)$ of fusion-equivariant Bridgeland stability conditions on $D$. The main theorem is that the fusion-equivariant stability conditions form a closed, complex submanifold of the moduli space of stability conditions on $D$. As an application of this framework, we generalise a result of Macrì--Mehrotra--Stellari by establishing a homeomorphism between the space of $G$-invariant stability conditions on $D$ and the space of $rep(G)$-equivariant stability conditions on the equivariant category $D^G$. We also describe applications to the study of stability conditions associated to McKay quivers and to geometric stability conditions on free quotients of smooth projective varieties. △ Less

Submitted 22 March, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Comments: v2: Updated the proof of lemma 3.17 (3.16 in previous version); new geometrical applications included; added an appendix dealing with the support property. v1: 30 pages. Comments more than welcomed!

MSC Class: 18M20 (Primary); 16G20; 14F08; 14L30 (Secondary)

$q$-deformed rational numbers and the 2-Calabi--Yau category of type $A_2$

Authors: Asilata Bapat, Louis Becker, Anthony M. Licata

Abstract: We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space.… ▽ More We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space. In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in $q$. Points in one of the orbits are exactly the $q$-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new $q$-deformation of the rational numbers. Specialising $q$ to a positive real number, we obtain a complete description of the boundary of the compactification. △ Less

Submitted 15 February, 2022; originally announced February 2022.

Comments: 35 pages. Comments welcome

MSC Class: 18G80; 20F36; 11D68

Spherical objects and stability conditions on 2-Calabi--Yau quiver categories

Authors: Asilata Bapat, Anand Deopurkar, Anthony M. Licata

Abstract: Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgelan… ▽ More Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgeland stability conditions is connected. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 13 pages, 1 figure. Comments welcome

MSC Class: 18G80; 20F36

Strands algebras and the affine highest weight property for equivariant hypertoric categories

Authors: Aaron D. Lauda, Anthony M. Licata, Andrew Manion

Abstract: We show that the equivariant hypertoric convolution algebras introduced by Braden-Licata-Proudfoot-Webster are affine quasi hereditary in the sense of Kleshchev and compute the Ext groups between standard modules. Together with the main result of arXiv:2009.03981, this implies a number of new homological results about the bordered Floer algebras of Ozsvath-Szabo, including the existence of standar… ▽ More We show that the equivariant hypertoric convolution algebras introduced by Braden-Licata-Proudfoot-Webster are affine quasi hereditary in the sense of Kleshchev and compute the Ext groups between standard modules. Together with the main result of arXiv:2009.03981, this implies a number of new homological results about the bordered Floer algebras of Ozsvath-Szabo, including the existence of standard modules over these algebras. We prove that the Ext groups between standard modules are isomorphic to the homology of a variant of the Lipshitz-Ozsvath-Thurston bordered strands dg algebras. △ Less

Submitted 14 January, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: v2 corrects typos and adds several examples

MSC Class: 16G99; 57K18; 14M25; 17B37; 17B15

Journal ref: Advances in Math, Volume 413, 15 January 2023, 108849

Categorical braid group actions and cactus groups

Authors: Iva Halacheva, Anthony Licata, Ivan Losev, Oded Yacobi

Abstract: Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence… ▽ More Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $Θ_{w_0}:D^b(\mathcal{C}_μ) \to D^b(\mathcal{C}_{w_0(μ)})$, where $μ$ is a weight of $V$ and $Θ_{w_0}$ is a positive lift of the longest element of the Weyl group. We prove that this equivalence is t-exact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $\mathfrak{g}=\mathfrak{sl}_2$. For general $V$, we prove that $Θ_{w_0}$ is a perverse equivalence with respect to a Jordan-Hölder filtration of $\mathcal{C}$. Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Schützenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of Berenstein-Zelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the Kazhdan-Lusztig basis of its Specht modules. △ Less

Submitted 14 June, 2023; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: v3: 26 pages, fixed a mistake in Theorem 3.6. v2: 26 pages, revision based on referee comments. v1: 23 pages

A Thurston compactification of the space of stability conditions

Authors: Asilata Bapat, Anand Deopurkar, Anthony M. Licata

Abstract: We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to… ▽ More We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to an infinite projective space. We prove that, under suitable hypotheses, these maps are injective and their image has a compact closure. We identify a family of points in the boundary that are categorical analogous to the intersection functionals in Teichmüller theory. We study in detail the geometry of the resulting compactification for the 2-Calabi--Yau categories of quivers, and fully work out the cases of the \(A_2\) and \(\widehat{A_1}\) quivers. To do so, we carefully examine the dynamics of Harder--Narasimhan multiplicities under auto-equivalences of the category. We introduce a finite automaton to study this dynamics and employ it in our analysis of the \(A_{2}\) and \(\widehat{A_1}\) categories. △ Less

Submitted 8 November, 2023; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 75 pages, 11 figures. Comments welcome!

MSC Class: 18G80; 20F36; 14F08

From hypertoric geometry to bordered Floer homology via the m=1 amplituhedron

Authors: Aaron D. Lauda, Anthony M. Licata, Andrew Manion

Abstract: We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for cyclic arrangements by showing that these algebras are isomorphic to algebras appearing in work of Ozsvath-Szabo arXiv:1603.06559 in bordered Heegaard Floer homology… ▽ More We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for cyclic arrangements by showing that these algebras are isomorphic to algebras appearing in work of Ozsvath-Szabo arXiv:1603.06559 in bordered Heegaard Floer homology arXiv:0810.0687. The proof of our conjecture in the cyclic case extends work of Karp-Williams arXiv:1608.08288 on sign variation and the combinatorics of the m=1 amplituhedron. We then use the algebras associated to cyclic arrangements to construct categorical actions of gl(1|1). △ Less

Submitted 8 September, 2020; originally announced September 2020.

Comments: 42 pages, eps figures

MSC Class: 57K16; 57K18; 53D37; 14M25; 17B37; 81U99

Journal ref: Selecta Mathematica, Volume 30, No 43, (2024)

The Hamburg Meteorite Fall: Fireball trajectory, orbit and dynamics

Authors: P. G. Brown, D. Vida, D. E. Moser, M. Granvik, W. J. Koshak, D. Chu, J. Steckloff, A. Licata, S. Hariri, J. Mason, M. Mazur, W. Cooke, Z. Krzeminski

Abstract: The Hamburg (H4) meteorite fell on January 17, 2018 at 01:08 UT approximately 10km North of Ann Arbor, Michigan. More than two dozen fragments totaling under one kilogram were recovered, primarily from frozen lake surfaces. The fireball initial velocity was 15.83 $\pm$ 0.05 km/s, based on four independent records showing the fireball above 50 km altitude. The radiant had a zenith angle of 66.1… ▽ More The Hamburg (H4) meteorite fell on January 17, 2018 at 01:08 UT approximately 10km North of Ann Arbor, Michigan. More than two dozen fragments totaling under one kilogram were recovered, primarily from frozen lake surfaces. The fireball initial velocity was 15.83 $\pm$ 0.05 km/s, based on four independent records showing the fireball above 50 km altitude. The radiant had a zenith angle of 66.1 $\pm$ 0.29 degs and an azimuth of 121.56 $\pm$ 1.2 degs. The resulting low inclination ($<$ 1 deg) Apollo-type orbit has a large aphelion distance and Tisserand value relative to Jupiter (Tj) of $\sim$ 3. Two major flares dominant the energy deposition profile, centred at 24.1 and 21.7 km altitude respectively under dynamic pressures of 5-7 MPa. Our preferred total energy for the Hamburg fireball is 2 to 7 T TNT (8.4 to 28 x 10$^9$ J), which corresponds to a likely initial mass in the range of 60 to 225 kg or diameter between 0.3 to 0.5 m. Based on the model of Granvik et al (2018), the meteorite originated in an escape route from the mid-outer asteroid belt. Hamburg is the 14th known H-chondrite with an instrumentally-derived pre-atmospheric orbit, half of which have small ($<$5 deg) inclinations making connection with (6) Hebe problematic. A definitive parent body consistent with all 14 known H-chondrite orbits remains elusive △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: 85 pages, 4 tables, 15 figures, 1 appendix. Accepted to Meteoritics and Planetary Science, June 19, 2019

Koszul Algebras and Flow Lattices

Authors: Zsuzsanna Dancso, Anthony M. Licata

Abstract: We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated… ▽ More We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated $A_{Γ,T}$ modules is isomorphic to the Euclidean lattice $\mathbb Z^{E(Γ)}$, and we describe the sublattices of integer cuts and integer flows on $Γ$ in terms of the representation theory of $A_{Γ,T}$. The grading on $A_{Γ,T}$ gives rise to $q$-analogs of the lattices of integer cuts and flows; these $q$-lattices depend non-trivially on the choice of spanning tree. We give a $q$-analog of the matrix-tree theorem, and prove that the $q$-flow lattice of $(Γ_1,T_1)$ is isomorphic to the $q$-flow lattice of $(Γ_2,T_2)$ if and only if there is a cycle preserving bijection from the edges of $Γ_1$ to the edges of $Γ_2$ taking the spanning tree $T_1$ to the spanning tree $T_2$. This gives a $q$-analog of a classical theorem of Caporaso-Viviani and Su-Wagner. △ Less

Submitted 28 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: 25 pages, minor corrections

Braid groups of type ADE, Garside monoids, and the categorified root lattice

Authors: Anthony M. Licata, Hoel Queffelec

Abstract: We study Artin-Tits braid groups $\mathbb{B}_W$ of type ADE via the action of $\mathbb{B}_W$ on the homotopy category $\mathcal{K}$ of graded projective zigzag modules (which categorifies the action of the Weyl group $W$ on the root lattice). Following Brav-Thomas, we define a metric on $\mathbb{B}_W$ induced by the canonical $t$-structure on $\mathcal{K}$, and prove that this metric on… ▽ More We study Artin-Tits braid groups $\mathbb{B}_W$ of type ADE via the action of $\mathbb{B}_W$ on the homotopy category $\mathcal{K}$ of graded projective zigzag modules (which categorifies the action of the Weyl group $W$ on the root lattice). Following Brav-Thomas, we define a metric on $\mathbb{B}_W$ induced by the canonical $t$-structure on $\mathcal{K}$, and prove that this metric on $\mathbb{B}_W$ agrees with the word-length metric in the canonical generators of the standard positive monoid $\mathbb{B}_W^+$ of the braid group. We also define, for each choice of a Coxeter element $c$ in $W$, a baric structure on $\mathcal{K}$. We use these baric structures to define metrics on the braid group, and we identify these metrics with the word-length metrics in the Birman-Ko-Lee/Bessis dual generators of the associated dual positive monoid $\mathbb{B}_{W.c}^\vee$. As consequences, we give new proofs that the standard and dual positive monoids inject into the group, give linear-algebraic solutions to the membership problem in the standard and dual positive monoids, and provide new proofs of the faithfulness of the action of $\mathbb{B}_W$ on $\mathcal{K}$. Finally, we use the compatibility of the baric and $t$-structures on $\mathcal{K}$ to prove a conjecture of Digne and Gobet regarding the canonical word-length of the dual simple generators of ADE braid groups. △ Less

Submitted 17 March, 2017; originally announced March 2017.

Comments: 40 pages

Annular Khovanov-Lee homology, braids, and cobordisms

Authors: J. Elisenda Grigsby, Anthony M. Licata, Stephan M. Wehrli

Abstract: We prove that the Khovanov-Lee complex of an oriented link, L, in a thickened annulus, A x I, has the structure of a bifiltered complex whose filtered chain homotopy type is an invariant of the isotopy class of L in A x I. Using ideas of Ozsvath-Stipsicz-Szabo as reinterpreted by Livingston, we use this structure to define a family of annular Rasmussen invariants that yield information about annul… ▽ More We prove that the Khovanov-Lee complex of an oriented link, L, in a thickened annulus, A x I, has the structure of a bifiltered complex whose filtered chain homotopy type is an invariant of the isotopy class of L in A x I. Using ideas of Ozsvath-Stipsicz-Szabo as reinterpreted by Livingston, we use this structure to define a family of annular Rasmussen invariants that yield information about annular and non-annular cobordisms. Focusing on the special case of annular links obtained as braid closures, we use the behavior of the annular Rasmussen invariants to obtain a necessary condition for braid quasipositivity and a sufficient condition for right-veeringness. △ Less

Submitted 18 December, 2016; originally announced December 2016.

Comments: 33 pages, 2 figures

MSC Class: 57M27; 20F36; 81R50; 57Q60

Khovanov's Heisenberg category, moments in free probability, and shifted symmetric functions

Authors: Henry Kvinge, Anthony M. Licata, Stuart Mitchell

Abstract: We establish an isomorphism between the center of the Heisenberg category defined by Khovanov and the algebra $Λ^*$ of shifted symmetric functions defined by Okounkov-Olshanski. We give a graphical description of the shifted power and Schur bases of $Λ^*$ as elements of the center, and describe the curl generators of the center in the language of shifted symmetric functions. This latter descriptio… ▽ More We establish an isomorphism between the center of the Heisenberg category defined by Khovanov and the algebra $Λ^*$ of shifted symmetric functions defined by Okounkov-Olshanski. We give a graphical description of the shifted power and Schur bases of $Λ^*$ as elements of the center, and describe the curl generators of the center in the language of shifted symmetric functions. This latter description makes use of the transition and co-transition measures of Kerov and the noncommutative probability spaces of Biane. △ Less

Submitted 14 October, 2016; originally announced October 2016.

Comments: 30 pages

MSC Class: 05E05; 18D10; 17B65

A graphical calculus for the Jack inner product on symmetric functions

Authors: Anthony Licata, Daniele Rosso, Alistair Savage

Abstract: Starting from a graded Frobenius superalgebra $B$, we consider a graphical calculus of $B$-decorated string diagrams. From this calculus we produce algebras consisting of closed planar diagrams and of closed annular diagrams. The action of annular diagrams on planar diagrams can be used to make clockwise (or counterclockwise) annular diagrams into an inner product space. Our main theorem identifie… ▽ More Starting from a graded Frobenius superalgebra $B$, we consider a graphical calculus of $B$-decorated string diagrams. From this calculus we produce algebras consisting of closed planar diagrams and of closed annular diagrams. The action of annular diagrams on planar diagrams can be used to make clockwise (or counterclockwise) annular diagrams into an inner product space. Our main theorem identifies this space with the space of symmetric functions equipped with the Jack inner product at Jack parameter $\operatorname{dim} B_\mathrm{even} - \operatorname{dim} B_\mathrm{odd}$. In this way, we obtain a graphical realization of that inner product space. △ Less

Submitted 6 December, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 29 pages. v2: Minor corrections, published version

MSC Class: 05E05; 18D10; 17B65

Journal ref: Journal of Combinatorial Theory, Series A 155 (2018), 503-543

Numerical and analytical approaches to an advection-diffusion problem at small Reynolds number and large Péclet number

Authors: Nathaniel J. Fuller, Nicholas A. Licata

Abstract: Obtaining a detailed understanding of the physical interactions between a cell and its environment often requires information about the flow of fluid surrounding the cell. Cells must be able to effectively absorb and discard material in order to survive. Strategies for nutrient acquisition and toxin disposal, which have been evolutionarily selected for their efficacy, should reflect knowledge of t… ▽ More Obtaining a detailed understanding of the physical interactions between a cell and its environment often requires information about the flow of fluid surrounding the cell. Cells must be able to effectively absorb and discard material in order to survive. Strategies for nutrient acquisition and toxin disposal, which have been evolutionarily selected for their efficacy, should reflect knowledge of the physics underlying this mass transport problem. Motivated by these considerations, in this paper we discuss the results from an undergraduate research project on the advection-diffusion equation at small Reynolds number and large Péclet number. In particular, we consider the problem of mass transport for a Stokesian spherical swimmer. We approach the problem numerically and analytically through a rescaling of the concentration boundary layer. A biophysically motivated first-passage problem for the absorption of material by the swimming cell demonstrates quantitative agreement between the numerical and analytical approaches. We conclude by discussing the connections between our results and the design of smart toxin disposal systems. △ Less

Submitted 31 August, 2017; v1 submitted 29 September, 2016; originally announced September 2016.

Comments: 7 pages, 4 figures

The Elliptic Hall algebra and the deformed Khovanov Heisenberg category

Authors: Sabin Cautis, Aaron D. Lauda, Anthony Licata, Peter Samuelson, Joshua Sussan

Abstract: We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined by Licata and Savage. We also show that as an algebra, it is isomorphic to "half" of a central extension of the elliptic Hall algebra of Burban and Schiffmann, specialized at $σ= \barσ^{-1} = q$. A key step in the proof may be of independent interest: we show that the sum (over $n$) of… ▽ More We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined by Licata and Savage. We also show that as an algebra, it is isomorphic to "half" of a central extension of the elliptic Hall algebra of Burban and Schiffmann, specialized at $σ= \barσ^{-1} = q$. A key step in the proof may be of independent interest: we show that the sum (over $n$) of the Hochschild homologies of the positive affine Hecke algebras $\mathrm{AH}_n^+$ is again an algebra, and that this algebra injects into both the elliptic Hall algebra and the trace of the $q$-Heisenberg category. Finally, we show that a natural action of the trace algebra on the space of symmetric functions agrees with the specialization of an action constructed by Schiffmann and Vasserot using Hilbert schemes. △ Less

Submitted 12 September, 2016; originally announced September 2016.

Comments: 49 pages, numerous figures

MSC Class: 81R10; 20C08; 17B65; 18D10

Journal ref: Selecta Mathematica, 24(5), pp 4041-4103, 2018

On the 2-linearity of the free group

Authors: Anthony M. Licata

Abstract: We construct an action of the free group $F_n$ on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between homotopy classes of paths in the punctured disc and complexes of projective zigzag modules and explore the connection between gradings on the zigzag algebra and mon… ▽ More We construct an action of the free group $F_n$ on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between homotopy classes of paths in the punctured disc and complexes of projective zigzag modules and explore the connection between gradings on the zigzag algebra and monoids in $F_n$. We use this connection to give homological constructions of the standard and Bessis dual word length metrics on the free group. △ Less

Submitted 21 June, 2016; originally announced June 2016.

Comments: 32 pages

MSC Class: 20J05; 18E30

Computing annular Khovanov homology

Authors: Hilary Hunt, Hannah Keese, Anthony Licata, Scott Morrison

Abstract: We define a third grading on Khovanov homology, which is an invariant of annular links but changes by $\pm 1$ under stabilization. We illustrate the use of our computer implementation, and give some example calculations. We define a third grading on Khovanov homology, which is an invariant of annular links but changes by $\pm 1$ under stabilization. We illustrate the use of our computer implementation, and give some example calculations. △ Less

Submitted 17 May, 2015; originally announced May 2015.

Comments: 9 pages

MSC Class: 57M27; 20F36

Annular Khovanov homology and knotted Schur-Weyl representations

Authors: J. Elisenda Grigsby, Anthony M. Licata, Stephan M. Wehrli

Abstract: Let L be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of the exterior current algebra of the Lie algebra sl_2. When L is an m-framed n-cable of a knot K in the three-sphere, its sutured annular Khovanov homology carries a commuting action of the symmetric group S_n. One therefore obtains a "knotted" Schur-Weyl representation that agrees with c… ▽ More Let L be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of the exterior current algebra of the Lie algebra sl_2. When L is an m-framed n-cable of a knot K in the three-sphere, its sutured annular Khovanov homology carries a commuting action of the symmetric group S_n. One therefore obtains a "knotted" Schur-Weyl representation that agrees with classical sl_2 Schur-Weyl duality when K is the Seifert-framed unknot. △ Less

Submitted 17 May, 2015; originally announced May 2015.

Comments: 38 pages, 8 figures

MSC Class: 57M27; 81R50; 20F36

Journal ref: Compositio Math. 154 (2018) 459-502

W-algebras from Heisenberg categories

Authors: Sabin Cautis, Aaron D. Lauda, Anthony M. Licata, Joshua Sussan

Abstract: The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions. The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions. △ Less

Submitted 3 January, 2015; originally announced January 2015.

Comments: 31 pages, tikz diagrams

MSC Class: 81R10; 20C08; 17B65; 18D10

Journal ref: Journal of the Institute of Mathematics of Jussieu, Vol 17, Issue 5, 2018 , pp. 981-101

Fluid flow enhances the effectiveness of toxin export by aquatic microorganisms: a first-passage perspective on microvilli and the concentration boundary layer

Authors: Nicholas A. Licata, Aaron Clark

Abstract: A central challenge for organisms during development is determining a means to efficiently export toxic molecules from inside the developing embryo. For aquatic microorganisms, the strategies employed should be robust with respect to the variable ocean environment and limit the chances that exported toxins are reabsorbed. As a result, the problem of toxin export is closely related to the physics o… ▽ More A central challenge for organisms during development is determining a means to efficiently export toxic molecules from inside the developing embryo. For aquatic microorganisms, the strategies employed should be robust with respect to the variable ocean environment and limit the chances that exported toxins are reabsorbed. As a result, the problem of toxin export is closely related to the physics of mass transport in a fluid. In this paper we consider a model first-passage problem for the uptake of exported toxins by a spherical embryo. By considering how macroscale fluid turbulence manifests itself on the microscale of the embryo, we determine that fluid flow enhances the effectiveness of toxin export as compared to the case of diffusion-limited transport. In the regime of large Péclet number, a perturbative solution of the advection-diffusion equation reveals that a concentration boundary layer forms at the surface of the embryo. The model results suggest a functional role for cell surface roughness in the export process, with the thickness of the concentration boundary layer setting the length scale for cell membrane protrusions known as microvilli. We highlight connections between the model results and experiments on the development of sea urchin embryos. △ Less

Submitted 16 September, 2014; originally announced September 2014.

Comments: 15 pages, 10 figures

Quantizations of conical symplectic resolutions II: category $\mathcal O$ and symplectic duality

Authors: Tom Braden, Anthony Licata, Nicholas Proudfoot, Ben Webster

Abstract: We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples.… ▽ More We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples. We observe that category $\mathcal O$ is often Koszul, and its Koszul dual is often equivalent to category $\mathcal O$ for a different symplectic resolution. This leads us to define the notion of a symplectic duality between symplectic resolutions, which is a collection of isomorphisms between representation theoretic and geometric structures, including a Koszul duality between the two categories. This duality has various cohomological consequences, including (conjecturally) an identification of two geometric realizations, due to Nakajima and Ginzburg/Mirković-Vilonen, of weight spaces of simple representations of simply-laced simple algebraic groups. An appendix by Ivan Losev establishes a key step in the proof that $\mathcal O$ is highest weight. △ Less

Submitted 7 May, 2022; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: 118 pages. v5: correcting a couple of small errors. See https://uwaterloo.ca/scholar/sites/ca.scholar/files/b2webste/files/qcsr-corrigendum.pdf for more details

Journal ref: Asterisque No. 384, 75-179 (2016)

A Littlewood-Richardson rule for the MacDonald inner product and bimodules over wreath products

Authors: Erik Carlsson, Anthony M. Licata

Abstract: We prove a Littlewood-Richardson type formula for $(s_{λ/μ},s_{ν/κ})_{t^k,t}$, the pairing of two skew Schur functions in the MacDonald inner product at $q = t^k$ for positive integers $k$. This pairing counts graded decomposition numbers in the representation theory of wreath products of the algebra $C[x]/x^k$ and symmetric groups. We prove a Littlewood-Richardson type formula for $(s_{λ/μ},s_{ν/κ})_{t^k,t}$, the pairing of two skew Schur functions in the MacDonald inner product at $q = t^k$ for positive integers $k$. This pairing counts graded decomposition numbers in the representation theory of wreath products of the algebra $C[x]/x^k$ and symmetric groups. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 11 pages, no figures

MSC Class: 05E05; 81R50; 16D90

Diagram automorphisms of quiver varieties

Authors: Anthony Henderson, Anthony Licata

Abstract: We show that the fixed-point subvariety of a Nakajima quiver variety under a diagram automorphism is a disconnected union of quiver varieties for the `split-quotient quiver' introduced by Reiten and Riedtmann. As a special case, quiver varieties of type D arise as the connected components of fixed-point subvarieties of diagram involutions of quiver varieties of type A. In the case where the quiver… ▽ More We show that the fixed-point subvariety of a Nakajima quiver variety under a diagram automorphism is a disconnected union of quiver varieties for the `split-quotient quiver' introduced by Reiten and Riedtmann. As a special case, quiver varieties of type D arise as the connected components of fixed-point subvarieties of diagram involutions of quiver varieties of type A. In the case where the quiver varieties of type A correspond to small self-dual representations, we show that the diagram involutions coincide with classical involutions of two-row Slodowy varieties. It follows that certain quiver varieties of type D are isomorphic to Slodowy varieties for orthogonal or symplectic Lie algebras. △ Less

Submitted 8 September, 2014; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 43 pages. In version 2, at the referee's suggestion, we slightly expand some statements (Theorem 1.2 and Proposition 3.19) to include the relevant affine varieties. This version is to appear in Advances in Mathematics

MSC Class: 17B08 (primary); 20G05 (secondary)

Journal ref: Adv. Math. 267 (2014), 225-276

Braid group actions via categorified Heisenberg complexes

Authors: Sabin Cautis, Anthony Licata, Joshua Sussan

Abstract: We construct categorical braid group actions from 2-representations of a Heisenberg algebra. These actions are induced by certain complexes which generalize spherical (Seidel-Thomas) twists and are reminiscent of the Rickard complexes defined by Chuang-Rouquier. Conjecturally, one can relate our complexes to Rickard complexes using categorical vertex operators. We construct categorical braid group actions from 2-representations of a Heisenberg algebra. These actions are induced by certain complexes which generalize spherical (Seidel-Thomas) twists and are reminiscent of the Rickard complexes defined by Chuang-Rouquier. Conjecturally, one can relate our complexes to Rickard complexes using categorical vertex operators. △ Less

Submitted 22 July, 2012; originally announced July 2012.

Comments: 35 pages

Journal ref: Compositio Math. 150 (2014) 105-142

Odd Khovanov Homology for Hyperplane Arrangements

Authors: Zsuzsanna Dancso, Anthony Licata

Abstract: We define several homology theories for central hyperplane arrangements, categorifying well-known polynomial invariants including the characteristic polynomial, Poincare polynomial, and Tutte polynomial. We consider basic algebraic properties of such chain complexes, including long-exact sequences associated to deletion-restriction triples and dg-algebra structures. We also consider signed hyperpl… ▽ More We define several homology theories for central hyperplane arrangements, categorifying well-known polynomial invariants including the characteristic polynomial, Poincare polynomial, and Tutte polynomial. We consider basic algebraic properties of such chain complexes, including long-exact sequences associated to deletion-restriction triples and dg-algebra structures. We also consider signed hyperplane arrangements, and generalize the odd Khovanov homology of Ozsvath-Rasmussen-Szabo from link projections to signed arrangements. We define hyperplane Reidemeister moves which generalize the usual Reidemeister moves from framed link projections to signed arrangements, and prove that the chain homotopy type associated to a signed arrangement is invariant under hyperplane Reidemeister moves. △ Less

Submitted 27 October, 2014; v1 submitted 12 May, 2012; originally announced May 2012.

Comments: 35 pages; Minor corrections and added technical details to the proof of Theorem 3.10

MSC Class: 20G05; 16B50

Vertex operators and 2-representations of quantum affine algebras

Authors: Sabin Cautis, Anthony Licata

Abstract: We construct 2-representations of quantum affine algebras from 2-representations of quantum Heisenberg algebras. The main tool in this construction are categorical vertex operators, which are certain complexes in a Heisenberg 2-representation that recover vertex operators after passing to the Grothendieck group. As an application we categorify the Frenkel-Kac-Segal homogeneous realization of the b… ▽ More We construct 2-representations of quantum affine algebras from 2-representations of quantum Heisenberg algebras. The main tool in this construction are categorical vertex operators, which are certain complexes in a Heisenberg 2-representation that recover vertex operators after passing to the Grothendieck group. As an application we categorify the Frenkel-Kac-Segal homogeneous realization of the basic representation of (simply laced) quantum affine algebras. This gives rise to categorical actions of quantum affine (and toroidal) algebras on derived categories of coherent sheaves on Hilbert schemes of points of ALE spaces. △ Less

Submitted 3 September, 2014; v1 submitted 28 December, 2011; originally announced December 2011.

Comments: 50 pages. Strengthened main result and simplified exposition

MSC Class: 81R50; 18D05; 14F05

Loop realizations of quantum affine algebras

Authors: Sabin Cautis, Anthony Licata

Abstract: We give a simplified description of quantum affine algebras in their loop presentation. This description is related to Drinfeld's new realization via halves of vertex operators. We also define an idempotent version of the quantum affine algebra which is suitable for categorification. We give a simplified description of quantum affine algebras in their loop presentation. This description is related to Drinfeld's new realization via halves of vertex operators. We also define an idempotent version of the quantum affine algebra which is suitable for categorification. △ Less

Submitted 26 October, 2012; v1 submitted 28 December, 2011; originally announced December 2011.

Comments: 19 pages

MSC Class: 20G42; 81R50

Whittaker Functions and Demazure Operators

Authors: Ben Brubaker, Daniel Bump, Anthony Licata

Abstract: We consider a natural basis of the Iwahori fixed vectors in the Whittaker model of an unramified principal series representation of a split semisimple p- adic group, indexed by the Weyl group. We show that the elements of this basis may be computed from one another by applying Demazure-Lusztig operators. The precise identities involve correction terms, which may be calculated by a combinatorial al… ▽ More We consider a natural basis of the Iwahori fixed vectors in the Whittaker model of an unramified principal series representation of a split semisimple p- adic group, indexed by the Weyl group. We show that the elements of this basis may be computed from one another by applying Demazure-Lusztig operators. The precise identities involve correction terms, which may be calculated by a combinatorial algorithm that is identical to the computation of the fibers of the Bott-Samelson resolution of a Schubert variety. The Demazure-Lusztig operators satisfy the braid and quadratic relations satisfied by the ordinary Hecke operators, and this leads to an action of the affine Hecke algebra on functions on the maximal torus of the L-group. This action was previously described by Lusztig using equivariant K-theory of the flag variety, leading to the proof of the Deligne-Langlands conjecture by Kazhdan and Lusztig. In the present paper, the action is applied to give a simple formula for the basis vectors of the Iwahori Whittaker functions. △ Less

Submitted 17 November, 2011; originally announced November 2011.

MSC Class: 22E35 (primary) 14M15 (secondary)

A survey of Heisenberg categorification via graphical calculus

Authors: Anthony Licata, Alistair Savage

Abstract: In this expository paper we present an overview of various graphical categorifications of the Heisenberg algebra and its Fock space representation. We begin with a discussion of "weak" categorifications via modules for Hecke algebras and "geometrizations" in terms of the cohomology of the Hilbert scheme. We then turn our attention to more recent "strong" categorifications involving planar diagramm… ▽ More In this expository paper we present an overview of various graphical categorifications of the Heisenberg algebra and its Fock space representation. We begin with a discussion of "weak" categorifications via modules for Hecke algebras and "geometrizations" in terms of the cohomology of the Hilbert scheme. We then turn our attention to more recent "strong" categorifications involving planar diagrammatics and derived categories of coherent sheaves on Hilbert schemes. △ Less

Submitted 18 February, 2015; v1 submitted 25 April, 2011; originally announced April 2011.

Comments: 23 pages; v2: Some typos corrected and other minor improvements made; v3: Some small errors corrected; v4: Code corrected to fix problem with missing arrows on some diagrams

MSC Class: 20C08; 14F05; 17B65

Journal ref: Bull. Inst. Math. Acad. Sin. (N.S.) 7 (2012), pp. 291--321

Coherent Sheaves on Quiver Varieties and Categorification

Authors: Sabin Cautis, Joel Kamnitzer, Anthony Licata

Abstract: We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories. We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories. △ Less

Submitted 3 April, 2011; originally announced April 2011.

Comments: 36 pages

MSC Class: 14F05; 81R50

Hecke algebras, finite general linear groups, and Heisenberg categorification

Authors: Anthony Licata, Alistair Savage

Abstract: We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined by Khovanov, acts naturally on the categories of modules for Hecke algebras of type A and finite general linear groups. In this way, we obtain a categorification… ▽ More We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined by Khovanov, acts naturally on the categories of modules for Hecke algebras of type A and finite general linear groups. In this way, we obtain a categorification of the bosonic Fock space. We also develop the theory of parabolic induction and restriction functors for finite groups and prove general results on biadjointness and cyclicity in this setting. △ Less

Submitted 22 October, 2014; v1 submitted 2 January, 2011; originally announced January 2011.

Comments: 46 pages, many figures; v2: some formulas corrected and additional explanations added; v3: minor typos corrected and section numbering changed to match published version; v4: fixed problem of missing arrows on strands in v3

MSC Class: Primary: 20C08; 17B65; Secondary: 16D90

Journal ref: Quantum Topol. 4 (2013), 124-185

Hypertoric category O

Authors: Tom Braden, Anthony Licata, Nicholas Proudfoot, Ben Webster

Abstract: We study the representation theory of the invariant subalgebra of the Weyl algebra under a torus action, which we call a "hypertoric enveloping algebra." We define an analogue of BGG category O for this algebra, and identify it with a certain category of sheaves on a hypertoric variety. We prove that a regular block of this category is highest weight and Koszul, identify its Koszul dual, compute i… ▽ More We study the representation theory of the invariant subalgebra of the Weyl algebra under a torus action, which we call a "hypertoric enveloping algebra." We define an analogue of BGG category O for this algebra, and identify it with a certain category of sheaves on a hypertoric variety. We prove that a regular block of this category is highest weight and Koszul, identify its Koszul dual, compute its center, and study its cell structure. We also consider a collection of derived auto-equivalences analogous to the shuffling and twisting functors for BGG category O. △ Less

Submitted 2 March, 2022; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: 65 pages, TikZ figures (PDF is recommended; DVI will not display correctly on all computers); v5: correcting an error in the proof of Lemma 8.25

MSC Class: 17B10; 16S32; 53D55; 52C35; 14M25

Journal ref: Advances in Mathematics 231 (2012), no. 3-4, 1487-1545

Heisenberg categorification and Hilbert schemes

Authors: Sabin Cautis, Anthony Licata

Abstract: Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on Hilbert schemes of points on the minimal resolutions of C^2/G. Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on Hilbert schemes of points on the minimal resolutions of C^2/G. △ Less

Submitted 30 December, 2011; v1 submitted 26 September, 2010; originally announced September 2010.

Comments: 53 pages

MSC Class: 14F05; 19A22; 81R50

Journal ref: Duke Math. J. 161, no. 13 (2012), 2469-2547

The first passage problem for diffusion through a cylindrical pore with sticky walls

Authors: Nicholas A. Licata, Stephan W. Grill

Abstract: We calculate the first passage time distribution for diffusion through a cylindrical pore with sticky walls. A particle diffusively explores the interior of the pore through a series of binding and unbinding events with the cylinder wall. Through a diagrammatic expansion we obtain first passage time statistics for the particle's exit from the pore. Connections between the model and nucleocytopla… ▽ More We calculate the first passage time distribution for diffusion through a cylindrical pore with sticky walls. A particle diffusively explores the interior of the pore through a series of binding and unbinding events with the cylinder wall. Through a diagrammatic expansion we obtain first passage time statistics for the particle's exit from the pore. Connections between the model and nucleocytoplasmic transport in cells are discussed. △ Less

Submitted 29 September, 2009; v1 submitted 29 May, 2009; originally announced May 2009.

Comments: v2: 13 pages, 6 figures, substantial revisions

Localization algebras and deformations of Koszul algebras

Authors: Tom Braden, Anthony Licata, Christopher Phan, Nicholas Proudfoot, Ben Webster

Abstract: We show that the center of a flat graded deformation of a standard Koszul algebra behaves in many ways like the torus-equivariant cohomology ring of an algebraic variety with finite fixed-point set. In particular, the center acts by characters on the deformed standard modules, providing a "localization map." We construct a universal graded deformation, and show that the spectrum of its center is s… ▽ More We show that the center of a flat graded deformation of a standard Koszul algebra behaves in many ways like the torus-equivariant cohomology ring of an algebraic variety with finite fixed-point set. In particular, the center acts by characters on the deformed standard modules, providing a "localization map." We construct a universal graded deformation, and show that the spectrum of its center is supported on a certain arrangement of hyperplanes which is orthogonal to the arrangement coming the Koszul dual algebra. This is an algebraic version of a duality discovered by Goresky and MacPherson between the equivariant cohomology rings of partial flag varieties and Springer fibers; we recover and generalize their result by showing that the center of the universal deformation for the ring governing a block of parabolic category $\mathcal{O}$ for $\mathfrak{gl}_n$ is isomorphic to the equivariant cohomology of a Spaltenstein variety. We also identify the center of the deformed version of the "category $\mathcal{O}$" of a hyperplane arrangement (defined by the authors in a previous paper) with the equivariant cohomology of a hypertoric variety. △ Less

Submitted 21 December, 2014; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: 39 pages; v3: final version

MSC Class: 16S37; 16G99; 55N91

Journal ref: Selecta Mathematica : Volume 17, Issue 3 (2011), Page 533-572

Derived equivalences for cotangent bundles of Grassmannians via categorical sl(2) actions

Authors: Sabin Cautis, Joel Kamnitzer, Anthony Licata

Abstract: We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians. We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians. △ Less

Submitted 30 June, 2011; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: 35 pages

Report number: AIM 2009 - 8

Coherent sheaves and categorical sl(2) actions

Authors: Sabin Cautis, Joel Kamnitzer, Anthony Licata

Abstract: We introduce the concept of a geometric categorical sl(2) action and relate it to that of a strong categorical sl(2) action. The latter is a special kind of 2-representation in the sense of Rouquier. The main result is that a geometric categorical sl(2) action induces a strong categorical sl(2) action. This allows one to apply the theory of strong sl(2) actions to various geometric situations. O… ▽ More We introduce the concept of a geometric categorical sl(2) action and relate it to that of a strong categorical sl(2) action. The latter is a special kind of 2-representation in the sense of Rouquier. The main result is that a geometric categorical sl(2) action induces a strong categorical sl(2) action. This allows one to apply the theory of strong sl(2) actions to various geometric situations. Our main example is the construction of a geometric categorical sl(2) action on the derived category of coherent sheaves on cotangent bundles of Grassmannians. △ Less

Submitted 19 November, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: 29 pages

Report number: AIM 2009 - 7

Journal ref: Duke Math. J. 154, no. 1 (2010), 135-179

Categorical geometric skew Howe duality

Authors: Sabin Cautis, Joel Kamnitzer, Anthony Licata

Abstract: We categorify the R-matrix isomorphism between tensor products of minuscule representations of U_q(sl(n)) by constructing an equivalence between the derived categories of coherent sheaves on the corresponding convolution products in the affine Grassmannian. The main step in the construction is a categorification of representations of U_q(sl(2)) which are related to representations of U_q(sl(n))… ▽ More We categorify the R-matrix isomorphism between tensor products of minuscule representations of U_q(sl(n)) by constructing an equivalence between the derived categories of coherent sheaves on the corresponding convolution products in the affine Grassmannian. The main step in the construction is a categorification of representations of U_q(sl(2)) which are related to representations of U_q(sl(n)) by quantum skew Howe duality. The resulting equivalence is part of the program of algebro-geometric categorification of Reshitikhin-Turaev tangle invariants developed by the first two authors. △ Less

Submitted 19 November, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: 31 pages

Report number: AIM 2009 - 6

Vertex operators and the geometry of moduli spaces of framed torsion-free sheaves

Authors: Anthony Licata, Alistair Savage

Abstract: We define complexes of vector bundles on products of moduli spaces of framed rank r torsion-free sheaves on the complex projective plane. The top non-vanishing Chern classes of the cohomology of these complexes yield actions of the r-colored Heisenberg and Clifford algebras on the equivariant cohomology of the moduli spaces. In this way we obtain a geometric realization of the boson-fermion corr… ▽ More We define complexes of vector bundles on products of moduli spaces of framed rank r torsion-free sheaves on the complex projective plane. The top non-vanishing Chern classes of the cohomology of these complexes yield actions of the r-colored Heisenberg and Clifford algebras on the equivariant cohomology of the moduli spaces. In this way we obtain a geometric realization of the boson-fermion correspondence and related vertex operators. △ Less

Submitted 19 November, 2009; v1 submitted 23 September, 2008; originally announced September 2008.

Comments: 36 pages; v2: Definition of geometric Heisenberg operators modified; v3: Minor typos corrected

MSC Class: 14C05; 17B69 (Primary)

Journal ref: Selecta Math. 16 (2010), no. 16, 201-240

Self-assembling DNA-caged particles: nanoblocks for hierarchical self-assembly

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: DNA is an ideal candidate to organize matter on the nanoscale, primarily due to the specificity and complexity of DNA based interactions. Recent advances in this direction include the self-assembly of colloidal crystals using DNA grafted particles. In this article we theoretically study the self-assembly of DNA-caged particles. These nanoblocks combine DNA grafted particles with more complicated… ▽ More DNA is an ideal candidate to organize matter on the nanoscale, primarily due to the specificity and complexity of DNA based interactions. Recent advances in this direction include the self-assembly of colloidal crystals using DNA grafted particles. In this article we theoretically study the self-assembly of DNA-caged particles. These nanoblocks combine DNA grafted particles with more complicated purely DNA based constructs. Geometrically the nanoblock is a sphere (DNA grafted particle) inscribed inside a polyhedron (DNA cage). The faces of the DNA cage are open, and the edges are made from double stranded DNA. The cage vertices are modified DNA junctions. We calculate the equilibriuim yield of self-assembled, tetrahedrally caged particles, and discuss their stability with respect to alternative structures. The experimental feasability of the method is discussed. To conclude we indicate the usefulness of DNA-caged particles as nanoblocks in a hierarchical self-assembly strategy. △ Less

Submitted 24 November, 2008; v1 submitted 24 July, 2008; originally announced July 2008.

Comments: v2: 21 pages, 8 figures; revised discussion in Sec. 2, replaced 2 figures, added new references

Gale duality and Koszul duality

Authors: Tom Braden, Anthony Licata, Nicholas Proudfoot, Ben Webster

Abstract: Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras… ▽ More Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O. △ Less

Submitted 12 December, 2008; v1 submitted 19 June, 2008; originally announced June 2008.

Comments: 55 pages; v2 contains significant revisions to proofs and to some of the results. Section 7 has been deleted; that material will be incorporated into a later paper by the same authors

MSC Class: 16S37; 52C35; 14M25

Journal ref: Advances in Mathematics, 225 (2010) 2002-2049

Theory and modeling of particles with DNA-mediated interactions

Authors: Nicholas A. Licata

Abstract: In recent years significant attention has been attracted to proposals which utilize DNA for nanotechnological applications. Potential applications of these ideas range from the programmable self-assembly of colloidal crystals, to biosensors and nanoparticle based drug delivery platforms. In Chapter I we introduce the system, which generically consists of colloidal particles functionalized with s… ▽ More In recent years significant attention has been attracted to proposals which utilize DNA for nanotechnological applications. Potential applications of these ideas range from the programmable self-assembly of colloidal crystals, to biosensors and nanoparticle based drug delivery platforms. In Chapter I we introduce the system, which generically consists of colloidal particles functionalized with specially designed DNA markers. The sequence of bases on the DNA markers determines the particle type. Due to the hybridization between complementary single-stranded DNA, specific, type-dependent interactions can be introduced between particles by choosing the appropriate DNA marker sequences. In Chapter II we develop a statistical mechanical description of the aggregation and melting behavior of particles with DNA-mediated interactions. In Chapter III a model is proposed to describe the dynamical departure and diffusion of particles which form reversible key-lock connections. In Chapter IV we propose a method to self-assemble nanoparticle clusters using DNA scaffolds. A natural extension is discussed in Chapter V, the programmable self-assembly of nanoparticle clusters where the desired cluster geometry is encoded using DNA-mediated interactions. In Chapter VI we consider a nanoparticle based drug delivery platform for targeted, cell specific chemotherapy. In Chapter VII we present prospects for future research: the connection between DNA-mediated colloidal crystallization and jamming, and the inverse problem in self-assembly. △ Less

Submitted 1 May, 2008; originally announced May 2008.

Comments: PhD Thesis, 146 pages, 36 figures

How to build nanoblocks using DNA scaffolds

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: In recent years there have been a number of proposals to utilize the specificity of DNA based interactions for potential applications in nanoscience. One interesting direction is the self-assembly of micro- and nanoparticle clusters using DNA scaffolds. In this letter we consider a DNA scaffold method to self-assemble clusters of "colored" particles. Stable clusters of microspheres have recently… ▽ More In recent years there have been a number of proposals to utilize the specificity of DNA based interactions for potential applications in nanoscience. One interesting direction is the self-assembly of micro- and nanoparticle clusters using DNA scaffolds. In this letter we consider a DNA scaffold method to self-assemble clusters of "colored" particles. Stable clusters of microspheres have recently been produced by an entirely different method. Our DNA based approach self-assembles clusters with additional degrees of freedom associated with particle permutation. We demonstrate that in the non-equilibrium regime of irreversible binding the self-assembly process is experimentally feasible. These color degrees of freedom may allow for more diverse intercluster interactions essential for hierarchical self-assembly of larger structures. △ Less

Submitted 2 June, 2008; v1 submitted 23 April, 2008; originally announced April 2008.

Comments: 4 pages, 2 figures ; epl format

Kinetic limitations of cooperativity based drug delivery systems

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: We study theoretically a novel drug delivery system that utilizes the overexpression of certain proteins in cancerous cells for cell specific chemotherapy. The system consists of dendrimers conjugated with "keys" (ex: folic acid) which "key-lock" bind to particular cell membrane proteins (ex: folate receptor). The increased concentration of "locks" on the surface leads to a longer residence time… ▽ More We study theoretically a novel drug delivery system that utilizes the overexpression of certain proteins in cancerous cells for cell specific chemotherapy. The system consists of dendrimers conjugated with "keys" (ex: folic acid) which "key-lock" bind to particular cell membrane proteins (ex: folate receptor). The increased concentration of "locks" on the surface leads to a longer residence time for the dendrimer and greater incorporation into the cell. Cooperative binding of the nanocomplexes leads to an enhancement of cell specificity. However, both our theory and detailed analysis of in-vitro experiments indicate that the degree of cooperativity is kinetically limited. We demonstrate that cooperativity and hence the specificity to particular cell type can be increased by making the strength of individual bonds weaker, and suggest a particular implementation of this idea. The implications of the work for optimizing the design of drug delivery vehicles are discussed. △ Less

Submitted 7 March, 2008; v1 submitted 17 August, 2007; originally announced August 2007.

Comments: 4 pages, 4 figures, v3: minor revisions

Colloids with key-lock interactions: non-exponential relaxation, aging and anomalous diffusion

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: The dynamics of particles interacting by key-lock binding of attached biomolecules are studied theoretically. Experimental realizations of such systems include colloids grafted with complementary single-stranded DNA (ssDNA), and particles grafted with antibodies to cell-membrane proteins. Depending on the coverage of the functional groups, we predict two distinct regimes. In the low coverage loc… ▽ More The dynamics of particles interacting by key-lock binding of attached biomolecules are studied theoretically. Experimental realizations of such systems include colloids grafted with complementary single-stranded DNA (ssDNA), and particles grafted with antibodies to cell-membrane proteins. Depending on the coverage of the functional groups, we predict two distinct regimes. In the low coverage localized regime, there is an exponential distribution of departure times. As the coverage is increased the system enters a diffusive regime resulting from the interplay of particle desorption and diffusion. This interplay leads to much longer bound state lifetimes, a phenomenon qualitatively similar to aging in glassy systems. The diffusion behavior is analogous to dispersive transport in disordered semiconductors: depending on the interaction parameters it may range from a finite renormalization of the diffusion coefficient to anomalous, subdiffusive behavior. We make connections to recent experiments and discuss the implications for future studies. △ Less

Submitted 17 July, 2007; v1 submitted 23 February, 2007; originally announced February 2007.

Comments: v2: substantially revised version, new treatment of localized regime, 19 pages, 10 figures

Dynamics of particles with "key-lock" interactions

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: The dynamics of particles interacting by key-lock binding of attached biomolecules are studied theoretically. Examples of such systems include DNA-functionalized colloids as well as nanoparticles grafted with antibodies to cell membrane proteins. Depending on the coverage of the functional groups, we predict two distinct regimes separated by a percolation transition. In the localized regime at l… ▽ More The dynamics of particles interacting by key-lock binding of attached biomolecules are studied theoretically. Examples of such systems include DNA-functionalized colloids as well as nanoparticles grafted with antibodies to cell membrane proteins. Depending on the coverage of the functional groups, we predict two distinct regimes separated by a percolation transition. In the localized regime at low coverage, the system exhibits a broad, power law like distribution of particle departure times. At higher coverage, there is an interplay between departure dynamics and particle diffusion. This interplay leads to a sharp increase of the departure times, a phenomenon qualitatively similar to aging in glassy systems. This diffusive regime is analogous to dispersive transport in disordered semiconductors: depending on the interaction parameters, the diffusion behavior ranges from standard diffusion to anomalous, subdiffusive behavior. The connection to recent experiments and implications for future studies are discussed. △ Less

Submitted 18 December, 2006; originally announced December 2006.

Comments: 4 pages, 6 figures

Framed Rank r Torsion-free Sheaves on CP^2 and Representations of the Affine Lie Algebra \hat{gl(r)}

Authors: Anthony Licata

Abstract: We construct geometric realizations of the r-colored bosonic and fermionic Fock space on the equivariant cohomology of the moduli space of framed rank r torsion-free sheaves on CP^2. Using these constructions, we realize geometrically all level one irreducible representations of the affine Lie algebra \hat{gl(r)}. The cyclic group Z_k acts naturally on the moduli space of sheaves, and the fixed-… ▽ More We construct geometric realizations of the r-colored bosonic and fermionic Fock space on the equivariant cohomology of the moduli space of framed rank r torsion-free sheaves on CP^2. Using these constructions, we realize geometrically all level one irreducible representations of the affine Lie algebra \hat{gl(r)}. The cyclic group Z_k acts naturally on the moduli space of sheaves, and the fixed-point components of this action are cyclic Nakajima quiver varieties . We realize level k irreducible representations of \hat{gl(r)} on the equivariant cohomology of these quiver varieties. △ Less

Submitted 26 July, 2006; originally announced July 2006.

Comments: 32 pages

Statistical Mechanics of DNA-Mediated Colloidal Aggregation

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: We present a statistical mechanical model of aggregation in colloidal systems with DNA mediated interactions. We obtain a general result for the two-particle binding energy in terms of the hybridization free energy $ΔG$ of DNA and two model dependent properties: the average number of available DNA bridges $\left< N\right>$ and the effective DNA conccentration $c_{eff}$. We calculate these parame… ▽ More We present a statistical mechanical model of aggregation in colloidal systems with DNA mediated interactions. We obtain a general result for the two-particle binding energy in terms of the hybridization free energy $ΔG$ of DNA and two model dependent properties: the average number of available DNA bridges $\left< N\right>$ and the effective DNA conccentration $c_{eff}$. We calculate these parameters for a particular DNA bridging scheme. The fraction of all the $n$-mers, including the infinite aggregate, are shown to be universal functions of a single parameter directly related to the two-particle binding energy. We explicitly take into account the partial ergodicity of the problem resulting from the slow DNA binding-unbinding dynamics, and introduce the concept of angular localization of DNA linkers. In this way, we obtain a direct link between DNA thermodynamics and the global aggregation and melting properties in DNA-colloidal systems. The results of the theory are shown to be in quantitative agreement with two recent experiments with particles of micron and nanometer size. PACS numbers: 81.16.Dn, 82.20.Db, 68.65.-k, 87.14.Gg △ Less

Submitted 27 February, 2007; v1 submitted 15 June, 2006; originally announced June 2006.

Comments: 12 pages, 6 figures, v2: added reference, expanded conclusion, added journal ref

Journal ref: Phys. Rev. E 74, 041408 (2006)

Self-assembly of DNA-coded nanoclusters

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: We present a theoretical discussion of a self-assembly scheme which makes it possible to use DNA to uniquely encode the composition and structure of micro- and nanoparticle clusters. These anisotropic DNA-decorated clusters can be further used as building blocks for hierarchical self-assembly of larger structures. We address several important aspects of possible experimental implementation of th… ▽ More We present a theoretical discussion of a self-assembly scheme which makes it possible to use DNA to uniquely encode the composition and structure of micro- and nanoparticle clusters. These anisotropic DNA-decorated clusters can be further used as building blocks for hierarchical self-assembly of larger structures. We address several important aspects of possible experimental implementation of the proposed scheme: the competition between different types of clusters in a solution, possible jamming in an unwanted configuration, and the degeneracy due to symmetry with respect to particle permutations. △ Less

Submitted 27 February, 2007; v1 submitted 15 June, 2006; originally announced June 2006.

Comments: v2, 4 pages, 7 figures, added journal ref

Journal ref: Phys. Rev. E 74, 040401 (2006)

Error-proof programmable self-assembly of DNA-nanoparticle clusters

Authors: Nicholas A. Licata, Alexei V. Tkachenko

Abstract: We study theoretically a new generic scheme of programmable self-assembly of nanoparticles into clusters of desired geometry. The problem is motivated by the feasibility of highly selective DNA-mediated interactions between colloidal particles. By analyzing both a simple generic model and a more realistic description of a DNA-colloidal system, we demonstrate that it is possible to suppress the g… ▽ More We study theoretically a new generic scheme of programmable self-assembly of nanoparticles into clusters of desired geometry. The problem is motivated by the feasibility of highly selective DNA-mediated interactions between colloidal particles. By analyzing both a simple generic model and a more realistic description of a DNA-colloidal system, we demonstrate that it is possible to suppress the glassy behavior of the system, and to make the self-assembly nearly error-proof. This regime requires a combination of stretchable interparticle linkers (e.g. sufficiently long DNA), and a soft repulsive potential. The jamming phase diagram and the error probability are computed for several types of clusters. The prospects for the experimental implementation of our scheme are also discussed. PACS numbers: 81.16.Dn, 87.14.Gg, 36.40.Ei △ Less

Submitted 27 February, 2007; v1 submitted 16 April, 2005; originally announced April 2005.

Comments: 6 pages, 4 figures, v2: substantially revised version, added journal ref

Journal ref: Phys. Rev. E 74, 041406 (2006)