Source author record

David Jordan

David Jordan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2021arXiv

Quantum decorated character stacks

We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group of the surface. In the cases $G=SL_2,PGL_2$ we construct a system of categorical charts and flips on the quantum decorated character stacks which generalize the well--known cluster structures on the Fock--Goncharov moduli spaces.

preprint2020arXiv

The quantum Frobenius for character varieties and multiplicative quiver varieties

We prove that quantized multiplicative quiver varieties and quantum character varieties define sheaves of Azumaya algebras over the corresponding classical moduli spaces, and we prove that the Azumaya locus of the Kauffman bracket skein algebras contains the smooth locus, proving a strong form of the Unicity Conjecture of Bonahon and Wong. The proofs exploit a strong compatibility between quantum Hamiltonian reduction and the quantum Frobenius homomorphism as it arises in each setting. We therefore introduce the concepts of Frobenius quantum moment maps and their Hamiltonian reduction, and of Frobenius Poisson orders. We use these tools to construct canonical central subalgebras of quantum algebras, and explicitly compute the resulting Azumaya loci we encounter, using a natural nondegeneracy assumption.

preprint2013arXiv

An algebro-geometric construction of lower central series of associative algebras

The lower central series invariants M_k of an associative algebra A are the two-sided ideals generated by k-fold iterated commutators; the M_k provide a filtration of A. We study the relationship between the geometry of X = Spec A_ab and the associated graded components N_k of this filtration. We show that the N_k form coherent sheaves on a certain nilpotent thickening of X, and that Zariski localization on X coincides with noncommutative localization of A. Under certain freeness assumptions on A, we give an alternative construction of N_k purely in terms of the geometry of X (and in particular, independent of A). Applying a construction of Kapranov, we exhibit the N_k as natural vector bundles on the category of smooth schemes.

preprint2013arXiv

Cyclic extensions of fusion categories via the Brauer-Picard groupoid

We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2Z-extension of one of the Asaeda-Haagerup fusion categories, which is one of only two known 3-supertransitive fusion categories outside the ADE series. In another direction, we show that our long exact sequence appears in exactly the way one expects: it is part of a long exact sequence of homotopy groups associated to a naturally occuring fibration. This motivates our constructions, and gives another example of the increasing interplay between fusion categories and algebraic topology.

preprint2012arXiv

Lower central series of a free associative algebra over the integers and finite fields

Consider the free algebra A_n generated over Q by n generators x_1, ..., x_n. Interesting objects attached to A = A_n are members of its lower central series, L_i = L_i(A), defined inductively by L_1 = A, L_{i+1} = [A,L_{i}], and their associated graded components B_i = B_i(A) defined as B_i=L_i/L_{i+1}. These quotients B_i, for i at least 2, as well as the reduced quotient \bar{B}_1=A/(L_2+A L_3), exhibit a rich geometric structure, as shown by Feigin and Shoikhet and later authors, (Dobrovolska-Kim-Ma,Dobrovolska-Etingof,Arbesfeld-Jordan,Bapat-Jordan). We study the same problem over the integers Z and finite fields F_p. New phenomena arise, namely, torsion in B_i over Z, and jumps in dimension over F_p. We describe the torsion in the reduced quotient RB_1 and B_2 geometrically in terms of the De Rham cohomology of Z^n. As a corollary we obtain a complete description of \bar{B}_1(A_n(Z)) and \bar{B}_1(A_n(F_p)), as well as of B_2(A_n(Z[1/2])) and B_2(A_n(F_p)), p>2. We also give theoretical and experimental results for B_i with i>2, formulating a number of conjectures and questions based on them. Finally, we discuss the supercase, when some of the generators are odd (fermionic) and some are even (bosonic), and provide some theoretical results and experimental data in this case.

preprint2012arXiv

Lower central series of free algebras in symmetric tensor categories

We continue the study of the lower central series of a free associative algebra, initiated by B. Feigin and B. Shoikhet (arXiv:math/0610410). We generalize via Schur functors the constructions of the lower central series to any symmetric tensor category; specifically we compute the modified first quotient \bar{B}_1, and second and third quotients B_2, and B_3 of the series for a free algebra T(V) in any symmetric tensor category, generalizing the main results of (arXiv:math/0610410) and (arXiv:0902.4899). In the case A_{m|n}:=T(\CC^{m|n}), we use these results to compute the explicit Hilbert series. Finally, we prove a result relating the lower central series to the corresponding filtration by two-sided associative ideals, confirming a conjecture from (arXiv:0805.1909), and another one from (arXiv:0902.4899), as corollaries.

preprint2012arXiv

The lower central series of the symplectic quotient of a free associative algebra

We study the lower central series filtration L_k for a symplectic quotient A=A_{2n}/<w> of the free algebra A_{2n} on 2n generators, where w=\sum [x_i,x_{i+n}]. We construct an action of the Lie algebra H_{2n} of Hamiltonian vector fields on the associated graded components of the filtration, and use this action to give a complete description of the reduced first component \bar{B}_1(A)= A/(L_2 + AL_3) and the second component B_2=L_2/L_3, and we conjecture a description for the third component B_3=L_3/L_4.

preprint2011arXiv

Poisson traces in positive characteristic

We study Poisson traces of the structure algebra A of an affine Poisson variety X defined over a field of characteristic p. According to arXiv:0908.3868v4, the dual space HP_0(A) to the space of Poisson traces arises as the space of coinvariants associated to a certain D-module M(X) on X. If X has finitely many symplectic leaves and the ground field has characteristic zero, then M(X) is holonomic, and thus HP_0(A) is finite dimensional. However, in characteristic p, the dimension of HP_0(A) is typically infinite. Our main results are complete computations of HP_0(A) for sufficiently large p when X is 1) a quasi-homogeneous isolated surface singularity in the three-dimensional space, 2) a quotient singularity V/G, for a symplectic vector space V by a finite subgroup G in Sp(V), and 3) a symmetric power of a symplectic vector space or a Kleinian singularity. In each case, there is a finite nonnegative grading, and we compute explicitly the Hilbert series. The proofs are based on the theory of D-modules in positive characteristic.

preprint2011arXiv

Quantized multiplicative quiver varieties

Beginning with the data of a quiver Q, and its dimension vector d, we construct an algebra D_q=D_q(Mat_d(Q)), which is a flat q-deformation of the algebra of differential operators on the affine space Mat_d(Q). The algebra D_q is equivariant for an action by a product of quantum general linear groups, acting by conjugation at each vertex. We construct a quantum moment map for this action, and subsequently define the Hamiltonian reduction A^lambda_d(Q) of D_q with moment parameter λ. We show that A^λ_d(Q) is a flat formal deformation of Lusztig's quiver varieties, and their multiplicative counterparts, for all dimension vectors satisfying a flatness condition of Crawley-Boevey: indeed the product on A^λ_d(Q) yields a Fedosov quantization the of symplectic structure on multiplicative quiver varieties. As an application, we give a description of the category of representations of the spherical double affine Hecke algebra of type A_{n-1}, and its generalization constructed by Etingof, Oblomkov, and Rains, in terms of a quotient of the category of equivariant D_q-modules by a Serre sub-category of aspherical modules.

preprint2010arXiv

Quantum symmetric pairs and representations of double affine Hecke algebras of type $C^\vee C_n$

We build representations of the affine and double affine braid groups and Hecke algebras of type $C^\vee C_n$, based upon the theory of quantum symmetric pairs $(U,B)$. In the case $U=U_q(gl_N)$, our constructions provide a quantization of the representations constructed by Etingof, Freund and Ma in arXiv:0801.1530, and also a type $BC$ generalization of the results in arXiv:0805.2766.

preprint2009arXiv

New results on the lower central series quotients of a free associative algebra

We continue the study of the lower central series and its associated graded components for a free associative algebra with n generators, as initiated by B. Feigin and B. Shoikhet. We establish a linear bound on the degree of tensor field modules appearing in the Jordan-Hoelder series of each graded component, which is conjecturally tight. We also bound the leading coefficient of the Hilbert polynomial of each graded component. As applications, we confirm conjectures of P. Etingof and B. Shoikhet concerning the structure of the third graded component.

preprint2009arXiv

On the classification of certain fusion categories

We advance the classification of fusion categories in two directions. Firstly, we completely classify integral fusion categories -- and consequently, semi-simple Hopf algebras -- of dimension $pq^2$, where $p$ and $q$ are distinct primes. This case is especially interesting because it is the simplest class of dimensions where not all integral fusion categories are group-theoretical. Secondly, we classify a certain family of $\ZZ/3\ZZ$-graded fusion categories, which are generalizations of the $\ZZ/2\ZZ$-graded Tambara-Yamagami categories. Our proofs are based on the recently developed theory of extensions of fusion categories.

preprint2008arXiv

Quantum D-modules, elliptic braid groups, and double affine Hecke algebras

We build representations of the elliptic braid group from the data of a quantum D-module M over a ribbon Hopf algebra U. The construction is modelled on, and generalizes, similar constructions by Lyubashenko and Majid, and also certain geometric constructions of Calaque, Enriquez, and Etingof concerning trigonometric Cherednik algebras. In this context, the former construction is the special case where M is the basic representation, while the latter construction can be recovered as a quasi-classical limit of U=U_t(sl_N), as t limits 1. In the latter case, we produce representations of the double affine Hecke algebra of type A_{n-1}, for each n.