Related papers: The Correspondence between Geometric Quantization …
We define formal geometric quantisation for proper Hamiltonian actions by possibly noncompact groups on possibly noncompact, prequantised symplectic manifolds, generalising work of Weitsman and Paradan. We study the functorial properties of…
The paper presents an extension of the geometric quantization procedure to integrable, big-isotropic structures. We obtain a generalization of the cohomology integrality condition, we discuss geometric structures on the total space of the…
Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…
We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local…
In this paper we set-up a general framework for a formal deformation theory of Dirac structures. We give a parameterization of formal deformations in terms of two-forms obeying a cubic equation. The notion of equivalence is discussed in…
We give a conceptual explanation of universal deformation formulas for unital associative algebras and prove some results on the structure of their moduli spaces. We then generalize universal deformation formulas to other types of algebras…
This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…
This is a survey on formality results relying on weight structures. A weight structure is a naturally occurring grading on certain differential graded algebras. If this weight satisfies a purity property, one can deduce formality. Algebraic…
In this paper we consider the problem of deformation quantization of the algebra of polynomial functions on coadjoint orbits of semisimple lie groups. The deformation of an orbit is realized by taking the quotient of the universal…
In this paper we review a proposed geometrical formulation of quantum mechanics. We argue that this geometrization makes available mathematical methods from classical mechanics to the quantum frame work. We apply this formulation to the…
To each natural deformation quantization on a Poisson manifold M we associate a Poisson morphism from the formal neighborhood of the zero section of the cotangent bundle to M to the formal neighborhood of the diagonal of the product M x M~,…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
The Modular Isomorphism Problem asks, if an isomorphism between modular group algebras of finite $p$-groups over a field $F$ implies an isomorphism of the group bases. We explore the differences of knowledge on the problem when $F$ is…
We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class…
It is well known that classical and quantum theories carry distinct types of representations, each type of representation corresponding to possible values of generalized charges in the classical or quantum context. This paper demonstrates a…
In this paper and a companion paper, we show how the framework of information geometry, a geometry of discrete probability distributions, can form the basis of a derivation of the quantum formalism. The derivation rests upon a few…
In these lecture notes I give an introduction to deformation quantization. The quantization problem is discussed in some detail thereby motivating the notion of star products. Starting from a deformed observable algebra, i.e. the star…
These notes give an introduction to the quantization procedure called geometric quantization. It gives a definition of the mathematical background for its understanding and introductions to classical and quantum mechanics, to differentiable…