We construct and study noncommutative deformations of toric varieties by combining techniques from toric geometry, isospectral deformations, and noncommutative geometry in braided monoidal categories. Our approach utilizes the same fan structure of the variety but deforms the underlying embedded algebraic torus. We develop a sheaf theory using techniques from noncommutative algebraic geometry. The cases of projective varieties are studied in detail, and several explicit examples are worked out, including new noncommutative deformations of Grassmann and flag varieties. Our constructions set up the basic ingredients for thorough study of instantons on noncommutative toric varieties, which will be the subject of the sequel to this paper
We continue our study of the noncommutative algebraic and differential geometry of a particular class of deformations of toric varieties, focusing on aspects pertinent to the construction and enumeration of noncommutative instantons on these varieties. We develop a noncommutative version of twistor theory, which introduces a new example of a noncommutative four-sphere. We develop a braided version of the ADHM construction and show that it parameterizes a certain moduli space of framed torsion free sheaves on a noncommutative projective plane. We use these constructions to explicitly build instanton gauge bundles with canonical connections on the noncommutative four-sphere that satisfy appropriate anti-selfduality equations. We construct projective moduli spaces for the torsion free sheaves and demonstrate that they are smooth. We define equivariant partition functions of these moduli spaces, finding that they coincide with the usual instanton partition functions for supersymmetric gauge theories on C 2 .
ABSTRACT. We introduce the notion of identity component of a compact quantum group and that of total disconnectedness. As a drawback of the generalized Burnside problem, we note that totally disconnected compact matrix quantum groups may fail to be profinite. We consider the problem of approximating the identity component as well as the maximal normal (in the sense of Wang) connected subgroup by introducing canonical, but possibly transfinite, sequences of subgroups. These sequences have a trivial behaviour in the classical case. We give examples, arising as free products, where the identity component is not normal and the associated sequence has length 1.We give necessary and sufficient conditions for normality of the identity component and finiteness or profiniteness of the quantum component group. Among them, we introduce an ascending chain condition on the representation ring, called Lie property, which characterizes Lie groups in the commutative case and reduces to group Noetherianity of the dual in the cocommutative case. It is weaker than ring Noetherianity but ensures existence of a generating representation. The Lie property and ring Noetherianity are inherited by quotient quantum groups. We show that A u (F ) is not of Lie type. We discuss an example arising from the compact real form of U q (sl 2 ) for q < 0.
In the context of higher gauge theory, we construct a flat and fake flat 2-connection, in the configuration space of n particles in the complex plane, categorifying the Knizhnik-Zamolodchikov connection. To this end, we define the differential crossed module of horizontal 2-chord diagrams, categorifying the Lie algebra of horizontal chord diagrams in a set of n parallel copies of the interval. This therefore yields a categorification of the 4-term relation. We carefully discuss the representation theory of differential crossed modules in chain-complexes of vector spaces, which makes it possible to formulate the notion of an infinitesimal 2-R matrix in a differential crossed module. keyword: higher gauge theory, braided surface, two-dimensional holonomy, chord diagrams, infinitesimal braiding, 4-term relation, differential crossed module, Knizhnik-Zamolodchikov equations, categorical representation.MSC2010: 16T25, 20F36 (principal); 18D05, 17B37, 53C29, 57Q45 (secondary).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.