-
Quantum Hamiltonian reduction of W-algebras and category O
Authors:
Stephen Morgan
Abstract:
We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$, whenever $e_2 \ge e_1$ in the dominance ordering. This isomorphism is shown to hold whenever $e_1$ is subregular, and in $\mathfrak{sl}_n$ for all $n \le 4$.…
▽ More
We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$, whenever $e_2 \ge e_1$ in the dominance ordering. This isomorphism is shown to hold whenever $e_1$ is subregular, and in $\mathfrak{sl}_n$ for all $n \le 4$.
We next define embeddings of various categories $\mathcal{O}$ for the W-algebras associated to $e_1$ and $e_2$, amongst them the embeddings $\mathcal{O}(e_2,\mathfrak{p}) \hookrightarrow \mathcal{O}(e_1,\mathfrak{p})$, where $\mathfrak{p}$ is a parabolic subalgebra containing both $e_1$ and $e_2$ in its Levi subalgebra.
△ Less
Submitted 25 October, 2015;
originally announced October 2015.
-
Quantum Hamiltonian reduction of W-algebras and category O
Authors:
Stephen Morgan
Abstract:
W-algebras are a class of non-commutative algebras related to the classical universal enveloping algebras. They can be defined as a subquotient of U(g) related to a choice of nilpotent element e and compatible nilpotent subalgebra m. The definition is a quantum analogue of the classical construction of Hamiltonian reduction.
We define a quantum version of Hamiltonian reduction by stages and use…
▽ More
W-algebras are a class of non-commutative algebras related to the classical universal enveloping algebras. They can be defined as a subquotient of U(g) related to a choice of nilpotent element e and compatible nilpotent subalgebra m. The definition is a quantum analogue of the classical construction of Hamiltonian reduction.
We define a quantum version of Hamiltonian reduction by stages and use it to construct intermediate reductions between different W-algebras U(g,e) in type A.This allows us to express the W-algebra U(g,e') as a subquotient of U(g,e) for nilpotent elements e' covering e. It also produces a collection of (U(g,e),U(g,e'))-bimodules analogous to the generalised Gel'fand-Graev modules used in the classical definition of the W-algebra; these can be used to obtain adjoint functors between the corresponding module categories.
The category of modules over a W-algebra has a full subcategory defined in a parallel fashion to that of the Bernstein-Gel'fand-Gel'fand (BGG) category O; this version of category O(e) for W-algebras is equivalent to an infinitesimal block of O by an argument of Miličić and Soergel. We therefore construct analogues of the translation functors between the different blocks of O, in this case being functors between the categories O(e) for different W-algebras U(g,e). This follows an argument of Losev, and realises the category O(e') as equivalent to a full subcategory of the category O(e) where e' is greater than e in the refinement ordering.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
Numerical Algorithm for Pólya Enumeration Theorem
Authors:
Conrad W. Rosenbrock,
Wiley S. Morgan,
Gus L. W. Hart,
Stefano Curtarolo,
Rodney W. Forcade
Abstract:
Although the Pólya enumeration theorem has been used extensively for decades, an optimized, purely numerical algorithm for calculating its coefficients is not readily available. We present such an algorithm for finding the number of unique colorings of a finite set under the action of a finite group.
Although the Pólya enumeration theorem has been used extensively for decades, an optimized, purely numerical algorithm for calculating its coefficients is not readily available. We present such an algorithm for finding the number of unique colorings of a finite set under the action of a finite group.
△ Less
Submitted 12 December, 2014;
originally announced December 2014.
-
L1TV computes the flat norm for boundaries
Authors:
Simon P. Morgan,
Kevin R. Vixie
Abstract:
We show that the recently introduced L1TV functional can be used to explicitly compute the flat norm for co-dimension one boundaries. While this observation alone is very useful, other important implications for image analysis and shape statistics include a method for denoising sets which are not boundaries or which have higher co-dimension and the fact that using the flat norm to compute distan…
▽ More
We show that the recently introduced L1TV functional can be used to explicitly compute the flat norm for co-dimension one boundaries. While this observation alone is very useful, other important implications for image analysis and shape statistics include a method for denoising sets which are not boundaries or which have higher co-dimension and the fact that using the flat norm to compute distances not only gives a distance, but also an informative decomposition of the distance. This decomposition is made to depend on scale using the "flat norm with scale" which we define in direct analogy to the L1TV functional. We illustrate the results and implications with examples and figures.
△ Less
Submitted 1 July, 2007; v1 submitted 11 December, 2006;
originally announced December 2006.
-
Mixed Dimensional Compactness with Dimension Collapsing from Sn-1 Bundle Measures
Authors:
Simon P. Morgan
Abstract:
We provide a measure based topology for certain unions of C2 rectifiable submanifolds of mixed dimensions in Rn. In this topology lower dimensional sets remain in the limit as measures when higher dimensional sets collapse down to them. For example a decreasing sequence of spheres may have a limit consisting of just a point. The n-1 dimensional space of outward pointing vectors can be used for s…
▽ More
We provide a measure based topology for certain unions of C2 rectifiable submanifolds of mixed dimensions in Rn. In this topology lower dimensional sets remain in the limit as measures when higher dimensional sets collapse down to them. For example a decreasing sequence of spheres may have a limit consisting of just a point. The n-1 dimensional space of outward pointing vectors can be used for such a measure. It represents all C2 rectifiable sets of codimension at least one of Rn as rectifiable sets in RnXSn-1 with n-1 dimensional Hausdorff measure. When viewed as (n-1)-rectifiable varifolds or currents in RnXSn-1 they come equipped with compactness theorems. The projection of their limits to Rn recovers the rectifiable sets of mixed dimensions giving the limits for the desired topology on subsets of Rn. Both varifold and current compactness are required as there are sequences, such as honeycombs, that converge as varifolds but not as currents. Conversely sequences such as lifts of polyhedral approximations converge as currents but not as varifolds.
△ Less
Submitted 6 September, 2004;
originally announced September 2004.
-
Harmonic Maps of Surfaces Approaching the Boundary of Moduli Space and Eliminating Bubbling
Authors:
Simon P. Morgan
Abstract:
The limit of energies of a sequence of harmonic maps as their annular domains approach the boundary of moduli space depends upon the boundary point approached. The infinite energy case is associated with limits of images containing ruled surfaces. The finite energy case yields a limit of images, under a suitable topology, with a union of discs and straight line segments. Generalization to higher…
▽ More
The limit of energies of a sequence of harmonic maps as their annular domains approach the boundary of moduli space depends upon the boundary point approached. The infinite energy case is associated with limits of images containing ruled surfaces. The finite energy case yields a limit of images, under a suitable topology, with a union of discs and straight line segments. Generalization to higher numbers of boundary components shows that minimal surfaces union straight line segments can still be achieved, and that the configuration of straight line segments depends on the direction of approach of domain conformal classes to the boundary point of domain moduli space. Bubbling can occur in variable ways according to the metric representatives of the conformal classes of domains. A method is given whereby bubbling can be eliminated yielding a point-wise limit of maps with image limit containing a surface union straight line segments.
△ Less
Submitted 7 September, 2004; v1 submitted 6 September, 2004;
originally announced September 2004.
-
Constructing Piecewise Flat Pseudo-Manifolds with Minimal Pseudo-Foliations
Authors:
Simon P Morgan
Abstract:
Piecewise Euclidean structures (identified solid Euclidean polyhedra) on topological 3-dimensional manifolds and pseudo-manifolds are constructed so that they admit pseudo-foliations, a generalized type of foliation. The construction of non-manifold point neighborhoods is done to preserve as much of the geometric, and vector space, structure of Euclidean space as possible. This enables structure…
▽ More
Piecewise Euclidean structures (identified solid Euclidean polyhedra) on topological 3-dimensional manifolds and pseudo-manifolds are constructed so that they admit pseudo-foliations, a generalized type of foliation. The construction of non-manifold point neighborhoods is done to preserve as much of the geometric, and vector space, structure of Euclidean space as possible. This enables structures, such as foliations and calibrations, to generalize over to pseudo-manifolds. The main result is that the cone of any compact topological surfaces can be given a piecewise flat metric structure that admits a pseudo-foliation by minimal surfaces. In some situations orientation reversing holonomy is an obstruction and in others it is just the opposite, a sufficient condition. Also foliations by minimal surfaces can extend across connect sum operations.
△ Less
Submitted 28 July, 2004;
originally announced July 2004.
-
An Improved Energy-Area Inequality for Harmonic Maps Using Image Curvature
Authors:
Simon P Morgan
Abstract:
An ODE variational calculation shows that an image principle curvature ratio factor can raise the lower bound, 2(Image Area), on energy of a harmonic map of a surface into Rn. In certain situations, including all radially symmetry harmonic maps, equality is achieved.
An ODE variational calculation shows that an image principle curvature ratio factor can raise the lower bound, 2(Image Area), on energy of a harmonic map of a surface into Rn. In certain situations, including all radially symmetry harmonic maps, equality is achieved.
△ Less
Submitted 24 August, 2004; v1 submitted 28 July, 2004;
originally announced July 2004.
