Related papers: Exhausting formal quantization procedures
It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their…
M. Kapranov introduced and studied in math.AG/9802041 the noncommutative formal structure of a smooth affine variety. In this note we show that his construction is a special case of microlocalization and extend it in a functorial way to…
In this work, a classical-quantum correspondence for two-level pseudo-Hermitian systems is proposed and analyzed. We show that the presence of a complex external field can be described by a pseudo-Hermitian Hamiltonian if there is a…
We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…
This paper is an overview of my recent work on abstract homomorphisms of algebraic groups. It is based on a talk given at the Conference on Group Actions and Applications in Geometry, Topology, and Analysis held in Kunming in July 2012.
We construct models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes, generalizing well-known models for the classifying space of a right-angled Coxeter…
A new, configuration-space picture of a formalism of group quantization, the GAQ formalism, is presented in the context of a previous, algebraic generalization. This presentation serves to make a comprehensive discussion in which other…
The aim of this paper is to construct formal normal forms for the class of topologically quasi-homogeneous foliations under generic conditions. Any such normal form is given as the sum of three terms: an initial generic quasi-homogeneous…
We describe a natural isomorphism between the set of equivalence classes of pseudocycles and the integral homology groups of a smooth manifold. Our arguments generalize to settings well-suited for applications in enumerative algebraic…
In this article we give a universal model for geometric quantization associated to a real polarization given by an integrable system with non-degenerate singularities. This universal model goes one step further than the previous cotangent…
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the construction of the Atiyah-Hirzebruch and Serre spectral…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications,…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…
For a local analytic diffeomorphism of the plane with an irrational elliptic fixed point at 0, we introduce the notion of ``geometric normalization'', which includes the classical formal normalizations as a special case: it is a formal…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
We introduce a general method for the construction of quasiprobability representations for arbitrary notions of quantum coherence. Our technique yields a nonnegative probability distribution for the decomposition of any classical state.…
The worldline formalism offers an alternative framework to the standard diagrammatic approach in quantum field theory, grounded in first-quantized relativistic path integrals. Over recent decades, this formalism has attracted growing…
We introduce the notion of partial presimplicial set and construct its geometric realization. We show that any semiadequate diagram yields a partial presimplicial set leading to a geometric realization of the almost-extreme Khovanov…
This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect…