Related papers: Principal Types as Partial Involutions
We consider tensor grammars, which are an example of \commutative" grammars, based on the classical (rather than intuitionistic) linear logic. They can be seen as a surface representation of abstract categorial grammars ACG in the sense…
Combining geometric group theory techniques with geometric topology tools, we show how primitive cohomologies provide useful insights towards unifying the mathematical formulation of Gromov-Witten invariants. In particular, we emphasise the…
A topological quantum field theory of non-abelian differential forms is investigated from the point of view of its possible applications to description of polynomial invariants of higher-dimensional two-component links. A path-integral…
A few formulas and theorems for statistical structures are proved. They deal with various curvatures as well as with metric properties of the cubic form or its covariant derivative. Some of them generalize formulas and theorems known in the…
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and…
A classical theorem of Wonenburger, Djokovic, Hoffmann and Paige states that an element of the general linear group of a finite-dimensional vector space is the product of two involutions if and only if it is similar to its inverse. We give…
Non-relativistic charged particles and strings coupled with abelian gauge fields are quantized in a geometric representation that generalizes the Loop Representation. We consider three models: the string in self-interaction through a…
The Resource $\lambda$-calculus is a variation of the $\lambda$-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic programming languages, and the target language of…
The Gross-Pitaevskii equation with a local cubic nonlinearity that describes a many-dimensional system in an external field is considered in the framework of the complex WKB-Maslov method. Analytic asymptotic solutions are constructed in…
P. Broussous and S. Stevens studied maps between enlarged Bruhat-Tits buildings to construct types for p-adic unitary groups. They needed maps which respect the Moy-Prasad filtrations. That property is called (CLF), i.e. compatibility with…
We introduce a new family of invariants of real algebraic sets defined in terms of the topology of their complexifications and compute some of these invariants for spheres. This allows us to completely classify topological isomorphism…
Motivated by the theory of Inoue-type varieties, we give a structure theorem for projective manifolds $W_0$ with the property of admitting a 1-parameter deformation where $W_t$ is a hypersurface in a projective smooth manifold $Z_t$. Their…
Consistent interactions that can be added to a free, Abelian gauge theory comprising a BF model and a finite set of massless real scalar fields are constructed from the deformation of the solution to the master equation based on specific…
We introduce and study birational invariants for foliations on projective surfaces built from the adjoint linear series of positive powers of the canonical bundle of the foliation. We apply the results in order to investigate the effective…
We study the geometry of algebraic monoids. We prove that the group of invertible elements of an irreducible algebraic monoid is an algebraic group, open in the monoid. Moreover, if this group is reductive, then the monoid is affine. We…
For quantum systems described by finite matrices, linear and affine maps of matrices are shown to provide equivalent descriptions of evolution of density matrices for a subsystem caused by unitary Hamiltonian evolution in a larger system;…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain…
A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of…