Related papers: Morphisms of Multiplicative Unitaries
We introduce the natural notion of (p,q)-harmonic morphisms between Riemannian manifolds. This unifies several theories that have been studied during the last decades. We then study the special case when the maps involved are…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
The class of the hypercomplex pseudo-Hermitian manifolds is considered. The flatness of the considered manifolds with the 3 parallel complex structures is proved. Conformal transformations of the metrics are introduced. The conformal…
Motivated by the theory of unitary representations of finite dimensional Lie supergroups, we describe those Lie superalgebras which have a faithful finite dimensional unitary representation. We call these Lie superalgebras unitary. This is…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
Let $R$ be a commutative ring with identity. A unit $u$ of $R$ is called exceptional if $1-u$ is also a unit. When $R$ is a finite commutative ring, we determine the additive and multiplicative structures of its exceptional units; and then…
The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them…
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…
We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families.…
We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial…
We discuss natural transformations in the context of Lie groupoids, and their infinitesimal counterpart. Our main result is an integration procedure that provides smooth natural transformations between Lie groupoid morphisms.
We provide combinatorial/topological formula for the multiplicity of a complex analytic normal surface singularity whenever the analytic structure on the fixed topological type is generic.
We develop a theory of multiplicative functions (with values inside or on the unit circle) in arithmetic progressions analogous to the well-known theory of primes in arithmetic progressions.
We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of…
Differentiable conjugacies link dynamical systems that share properties such as the stability multipliers of corresponding orbits. It provides a stronger classification than topological conjugacy, which only requires qualitative similarity.…
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…
Let S be an arbitrary scheme. We define biextensions of 1-motives by 1-motives which we see as the geometrical origin of morphisms from the tensor product of two 1-motives to a third one. If S is the spectrum of a field of characteristic 0,…
The moduli space of degree $d$ morphisms on $\mathbb{P}^1$ has received much study. McMullen showed that, except for certain families of Latt\`es maps, there is a finite-to-one correspondence (over $\mathbb{C}$) between classes of morphisms…