On Algebraic Supergroups,Coadjoint Orbits and Their Deformations

In this paper we study algebraic supergroups and their coadjoint orbits as affine algebraic supervarieties. We find an algebraic deformation quantization of them that can be related to the fuzzy spaces of non-commutative geometry.Investigation supported by the University of Bologna, funds for selected research topics.     

Functorial geometric quantization and Van Hove's theorem

A classical theorem of Van Hove in conjunction with a formalism developed by Weinstein is used to prove that a quantization functor does not exist. In the proof a category of exact transverse Lagrangian submanifolds is introduced which provides a functorial link between Schrödinger quantization and the prequantization/polarization theory of Kostant and Souriau.     

Can Dirac quantization of constrained systems be fulfilled within the intrinsic geometry?

For particles constrained on a curved surface, how to perform quantization within Dirac’s canonical quantization scheme is a long-standing problem. On one hand, Dirac stressed that the Cartesian coordinate system has fundamental importance in passing from the classical Hamiltonian to its quantum mechanical form while preserving the classical algebraic structure between positions, momenta and Hamiltonian to the extent possible. On the other, on the curved surface, we have no exact Cartesian coordinate system within intrinsic geometry. These two facts imply that the three-dimensional Euclidean space in which the curved surface is embedded must be invoked otherwise no proper canonical quantization is attainable. In this paper, we take a minimum surface, helicoid, on which the motion is constrained, to explore whether the intrinsic geometry offers a proper framework in which the quantum theory can be established in a self-consistent way. Results show that not only an inconsistency within Dirac theory occurs, but also an incompatibility with Schrödinger theory happens. In contrast, in three-dimensional Euclidean space, the Dirac quantization turns out to be satisfactory all around, and the resultant geometric momentum and potential are then in agreement with those given by the Schrödinger theory.     

The logical quantization of algebraic groups

In a previous paper we introduced a highly abstract framework within which the theory of manuals initiated by Foulis and Randall is to be developed. The framework enabled us in a subsequent paper to quantize the notion of a set. Following these lines, this paper is devoted to quantizing algebraic groups viewed from Grothendieck's functorial standpoint.     

Deformation Quantization of Algebraic Varieties

The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semiformal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semiformal deformations are Noetherian and have polynomial growth. We propose constructions of semiformal quantizations of projective and affine algebraic Poisson manifolds satisfying certain natural geometric conditions. Projective symplectic manifolds (e.g. K3 surfaces and Abelian varieties) do not satisfy our conditions, but projective spaces with quadratic Poisson brackets and Poisson–Lie groups can be semiformally quantized.     

Affine holomorphic quantization

We present a rigorous and functorial quantization scheme for affine field theories, i.e., field theories where local spaces of solutions are affine spaces. The target framework for the quantization is the general boundary formulation, allowing to implement manifest locality without the necessity for metric or causal background structures. The quantization combines the holomorphic version of geometric quantization for state spaces with the Feynman path integral quantization for amplitudes. We also develop an adapted notion of coherent states, discuss vacuum states, and consider observables and their Berezin–Toeplitz quantization. Moreover, we derive a factorization identity for the amplitude in the special case of a linear field theory modified by a source-like term and comment on its use as a generating functional for a generalized S$S$-matrix.     

Quantum Algebra as Deformation Symmetry

The deformation maps as well as the general algebraic maps among algebras with three generators are systematically investigated in terms of symplectic geometry and geometric quantization on 2-D manifolds, from which the explicit Hamiltonian of Heisenberg model with SU_q(2) symmetry and arbitrary spin values are given. The deformation symmetries in differential dynamical systems and the q-deformed transformations of SO(3) group in usual R³ are also discussed.     

Synthetic Braided Geometry II

Braided geometry is a natural generalization of supergeometry and is intimately connected with noncommutative geometry. Synthetic differential geometry is a peppy dissident in the stale regime of orthodox differential geometry, just as Grothendieck's category-theoretic revolution in algebraic geometry was in the middle of the 20th century. Our previous paper [Nishimura (1998) International Journal of Theoretical Physics, 37, 2833–2849] was a gambit of our ambitious plan to approach braided geometry from a synthetic viewpoint and to concoct what is supposedly to be called synthetic braided geometry. As its sequel this paper is intended to give a synthetic treatment of braided connections, in which the second Bianchi identity is established. Considerations are confined to the case that the braided monoidal category at issue is a category of vector spaces graded by a finite Abelian group with its nonsymmetric braiding being given by phase factors. Thus the present paper encompasses physical systems amenable to anyonic statistics.     

An Interacting Gauge Field Theoretic Model for Hodge Theory: Basic Canonical Brackets

We derive the basic canonical brackets amongst the creation and annihilation operators for a two （1 ＋ 1）- dimensional （2D） gauge field theoretic model of an interacting Hodge theory where a U（1） gauge field （Aμ） is coupled with the fermionic Dirac fields （ψ and ψ）. In this derivation, we exploit the spin-statistics theorem, normal ordering and the strength of the underlying six infinitesimal continuous symmetries （and the concept of their generators） that are present in the theory. We do not use the definition of the canonical conjugate momenta （corresponding to the basic fields of the theory） anywhere in our whole discussion. Thus, we conjecture that our present approach provides an alternative to the canonical method of quantization for a class of gauge field theories that are physical examples of Hodge theory where the continuous symmetries （and corresponding generators） provide the physical realizations of the de Rham cohomological operators of differential geometry at the algebraic level.     

Weyl quantization and star products

Many non-linear classical mechanical systems arise as the symplectic reductions of linear systems. The star products on the corresponding quantized algebras can be derived from the Weyl-Moyal product on the algebras of the linear systems. An algebraic approach to Berezin quantization is sketched.     

A new mathematical problem related to quantization of fields

This paper is a survey of author??s mathematical and logical studies concerning the quantization of fields.     

导出二次量子化表象的简单代数方法

本文采用纯粹的代数运算,导出了全同粒子系统的二次量子化表象,与传统的导出方法相比,我们的方法具有简单、初等和能够清楚地表述所涉及的物理量之涵义的优点。 关键词：     

分子高激发振动的经典代数方法研究——以C_2H_2的C-H弯曲振动为例

本文以目前探讨得较多的C2H2的CH弯曲振动为例,说明如何应用代数方法来研究分子的高激发振动。由于分子的高激发振动态具有很强的模间非线性偶合以及能量的传递,传统的动力学方法似乎很难有效地用来研究其性质。问题的核心是高激发振动态由于其量子数很大,因此具有经典(或半经典)的性质。同时模间能量的传递可以用二次量子化算子来表示,而这些算子所具有的代数性质,使得人们可以用几何的概念来描述其性质。因此,整个问题就变为用几何的观点来分析分子的高激发振动态。最后,我们用所得的经典的代数哈密顿量和哈密顿方程对CHtrans弯曲和cis弯曲振动模间能量的传递速度与体系所含能量之高低的关系做了探讨     

Quantization of first-class constraints with structure functions

As part of a program to desuperize BRST symmetries, we show how to translate the BRST construction completely in terms of standard symplectic geometry in the case where the constraints are derived from a foliation on a configuration space. The consequences of this approach on quantization are investigated. As a corollary, we solve (in a restricted setting) the problem of how to deal in quantization with (globally independent) first-class constraints with structure functions rather than structure constants.     

Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach

In this paper, we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulae describing quantum reality as a free algebra freely generated by the set of quantum proportional variables. We define the general notion of logic as a structural consequence operation. Next, we introduce the concept of logical matrices understood as a model of quantum logics. We give the definitions of two quantum consequence operations defined in these models.     

Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism

We develop the idea of employing localization systems of Boolean coverings, associated with measurement situations, in order to comprehend structures of quantum observables. In this manner, Boolean domain observables constitute structure sheaves of coordinatization coefficients in the attempt to probe the quantum world. Interpretational aspects of the proposed scheme are discussed with respect to a functorial formulation of information exchange, as well as, quantum logical considerations. Finally, the sheaf theoretical construction suggests an operationally intuitive method to develop differential geometric concepts in the quantum regime.     

An Enlarged Canonical Quantization Scheme and Quantization of a Free Particle on Two-Dimensional Sphere

For a non-relativistic particle that freely moves on a curved surface, the fundamental commutation relations between positions and momenta are insufficient to uniquely determine the operator form of the momenta. With introduction of more commutation relations between positions and Hamiltonian and those between momenta and Hamiltonian,our recent sequential studies imply that the Cartesian system of coordinates is physically preferable, consistent with Dirac's observation. In present paper, we study quantization problem of the motion constrained on the two-dimensional sphere and develop a discriminant that can be used to show how the quantization within the intrinsic geometry is improper. Two kinds of parameterization of the spherical surface are explicitly invoked to investigate the quantization problem within the intrinsic geometry.     

AQFT from <Emphasis Type="Italic">n</Emphasis>-Functorial QFT

There are essentially two different approaches to the axiomatization of quantum field theory (QFT): algebraic QFT, going back to Haag and Kastler, and functorial QFT, going back to Atiyah and Segal. More recently, based on ideas by Baez and Dolan, the latter is being refined to “extended” functorial QFT by Freed, Hopkins, Lurie and others. The first approach uses local nets of operator algebras which assign to each patch an algebra “of observables”, the latter uses n-functors which assign to each patch a “propagator of states”.In this note we present an observation about how these two axiom systems are naturally related: we demonstrate under mild assumptions that every 2-dimensional extended Minkowskian QFT 2-functor (“parallel surface transport”) naturally yields a local net, whose locality derives from the 2-categorical exchange law, and which is covariant if the 2-functor is equivariant. This is obtained by postcomposing the propagation 2-functor with an operation that mimics the passage from the Schrödinger picture to the Heisenberg picture in quantum mechanics. The argument has a straightforward generalization to general Lorentzian structure, bare lightcone structure and higher dimensions. It does not, however, by itself imply anything about the existence of a vacuum state or about positive energy representations.