Related papers: Computing a holonomic submodule of the partial Wey…
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
We prove that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight…
Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by…
The Moyal--Weyl description of quantum mechanics provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in $\hbar$. Its semiclassical expansion…
We prove that any action of a finite dimensional Hopf algebra H on a Weyl algebra A over an algebraically closed field of characteristic zero factors through a group action. In other words, Weyl algebras do not admit genuine finite quantum…
The decompositions of an element of a finite von Neumann algebra into the sum of a normal operator plus an s.o.t.-quasinilpotent operator, obtained using the Haagerup--Schultz hyperinvariant projections, behave well with respect to…
Let $G$ be a compact Lie group. We introduce a semiclassical framework, called Borel-Weil calculus, to investigate $G$-equivariant (pseudo)differential operators acting on $G$-principal bundles over closed manifolds. In this calculus, the…
In this paper, we study the desingularization problem in the first $q$-Weyl algebra. We give an order bound for desingularized operators, and thus derive an algorithm for computing desingularized operators in the first $q$-Weyl algebra.…
This paper introduces and systematically studies Weyl-type, Witt-type, and non-associative algebras defined over expolynomial rings -- commutative rings generated by exponential functions $e^{\alpha x}$, exponentials of exponentials $e^{\pm…
Symbolic integration over the Haar measure of compact groups is a computational cornerstone in quantum information science and random matrix theory. We present \texttt{IntegrateUnitary.jl}, a comprehensive Julia package for computing exact…
This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…
We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions and on interpolation, which has received little attention in…
Let k be an algebraically closed field of characteristic p>0. We compute the Weyl filtration multiplicities in indecomposable tilting modules and the decomposition numbers for the general linear group over k in terms of cap diagrams under…
The so-called Weyl transform is a linear map from a commutative algebra of functions to a noncommutative algebra of linear operators, characterized by an action on Cartesian coordinate functions of the form $(x, y) \mapsto (X, Y)$ such that…
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…
The probability content of a convex polyhedron with a multivariate normal distribution can be regarded as a real analytic function. We give a system of linear partial differential equations with polynomial coefficients for the function and…
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
In this article a new formulation of the Weyl C*-algebra, which has been invented by Fleischhack, in terms of C*-dynamical systems is presented. The quantum configuration variables are given by the holonomies along paths in a graph.…
Given a polynomial P of partial derivatives of the Kahler metric, expressed as a linear combination of directed multigraphs, we prove a simple criterion in terms of the coefficients for $P$ to be an invariant polynomial, i.e. invariant…
Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…