Search arXivSearch

arXiv · math/0612411

Noncommutative geometry and path integrals

Abstract

We argue that there should exist a "noncommutative Fourier transform" which should identify functions of noncommutative variables (say, of matrices of indeterminate size) and ordinary functions or measures on the space of paths. Some examples are considered.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

M. Kapranov. 2006-12-14. Noncommutative geometry and path integrals. https://arxiv.org/abs/math/0612411

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quantum-symmetric equivalence for superpotential algebras

We study superpotential algebras by introducing the notion of quantum-symmetric equivalence defined relatively to two fixed Hopf coactions. This concept relies on the non-vanishing of a bi-Galois object for the two coacting Hopf algebras, where the cotensor product with this object provides a Morita--Takeuchi equivalence between their comodule categories, mapping one superpotenial algebra to the other as comodule algebras. In particular, we investigate $\mathcal{GL}$-type and $\mathcal{SL}$-type quantum-symmetric equivalences using Bichon's reformation of bi-Galois objects in the language of cogroupoids constructed by nondegenerate twisted superpotentials. As applications, for the $\mathcal{GL}$-type, we characterize the Artin--Schelter regularity, or equivalently, twisted Calabi--Yau property, of a superpotential algebra as the non-vanishing of the bi-Galois object in the associated cogroupoid. For the $\mathcal{SL}$-type, we apply the pivotal structure of the comodule categories to study numerical invariants for $\mathcal{SL}$ quantum-symmetric equivalence, including the quantum Hilbert series of the superpotential algebras.

math.QA

Local Ocneanu rigidity for separable algebra objects

We establish local Ocneanu rigidity for separable algebra objects in Hom-finite monoidal categories C over an algebraically closed field k. A separability morphism contracts the first two Hochschild cohomology groups without requiring an abelian ambient category. Separable algebra structures and homomorphisms from separable sources have open algebraic-group orbits, and affine Bezout estimates give effective finiteness results. For Frobenius subalgebras, exchange relations replace the source and embedding data by a single self-dual idempotent. We prove that their separable inner-conjugacy classes are open in the exchange locus, yielding a bound of 2^(dim_k End_C(X)) for nonzero ambient algebras; connectedness gives the same bound on the actual number of subalgebras. As an application, we obtain an effective form of the Etingof-Walton finiteness theorem: every finite-dimensional semisimple Hopf algebra H over the complex numbers has at most 2^(dim_C H) left coideal subalgebras. In the unitary setting, we bound E-compatible intermediates of C*-algebra and von Neumann algebra inclusions up to unitary conjugacy, under finite-index and finite-center hypotheses. For irreducible subfactors, these improve the 9^[M:N] bound of Bakshi-Das-Liu-Ren to 2^[M:N].

math.QA

Odd-rank maximal ideals at collapsing levels of type $D$

We determine the defining ideal of the simple affine vertex algebra $L_{2-\ell}(\mathfrak{so}_{2\ell})$ for every odd $\ell\ge5$. Perše's quadratic singular vector alone generates the maximal ideal of the universal affine vertex algebra at this level. Together with the established even-rank presentation, this gives a complete parity-dependent description of this type-$D$ collapsing family at $k=2-\ell$: one quadratic generator in odd rank, and a quadratic generator together with two Pfaffian generators in even rank. The proof establishes a rank reduction for the quadratic quotients under minimal Drinfeld--Sokolov reduction, valid in both parities. Nonvanishing of reduction on nonzero graded subquotients then lifts simplicity along the odd-rank chain from the known base case $D_3\cong A_3$ at level $-1$.

math.QA