Related papers: Monadic Decompositions and Classical Lie Theory

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…

We show that for a monic polynomial p of degree d, the length of the level set {z: |p(z)|=1} is at most 9.2 d, which improves an earlier estimate due to P. Borwein. For d=2 we show that the extremal level set is the Bernoullis' Lemniscate.…

We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully…

The conjugation action of the complex orthogonal group on the polynomial functions on $n \times n$ matrices gives rise to a graded algebra of invariant polynomials. A spanning set of this algebra is in bijective correspondence to a set of…

We refine a property of $2$-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each $2$-connected $n$-vertex graph with minimum degree at…

We prove the Milnor conjecture for Lie groups and the Friedlander conjecture for complex algebraic Lie groups.

We show that for quasi-compact smooth rigid analytic spaces, the extension functor sends holonomic D-modules to coadmissible D-cap-modules which are of finite length as weakly holonomic D-cap-modules. Using this, we show that the…

We show that holomorphic vector fields on (C^3,0) have separatrices provided that they are embedded in a rank 2 representation of a two-dimensional Lie algebra. In turn, this result enables us to show that the second jet of a holomorphic…

The McMullen Correspondence gives a linear dependence between M-sequences of length |d/2|+1 and f-vectors of simplical d-polytopes. Denote the transfer matrix between g and f by M_d. Recently, Bjorner proved that any 2x2-minor of M_d is…

We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…

A brief proof of Lie's classification of finite dimensional subalgebras of vector fields on the complex plane that have a proper Levi decomposition is given. The proof uses basic representation theory of sl(2, C). This, combined with…

We show that singular Riemannian foliations, or, more generally, manifold submetries, defined on a compact normal homogeneous space, have algebraic nature. Moreover, in this case there exists a one-to-one correspondence between algebras of…

Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…

In this paper the classical limit of relativistic transport theories for spin 1/2 fermions is examined through a comparison with the classical kinetic theory derived from N=1 supersymmetric classical mechanics. The conclusion is that in the…

We introduce the notion of weak Lie 2-bialgebra. Roughly, a weak Lie 2-bialgebra is a pair of compatible 2-term $L_\infty$-algebra structures on a vector space and its dual. The compatibility condition is described in terms of the big…

It is a classical result that the category of finitely-generated free monoids serves as a PROP for commutative bialgebras. Attaching permutations to fix the order of multiplication, we construct an extension of this category that is…

Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of…

We prove that the infinite-dimensional Lie algebra of polynomial vector fields on the affine space $\KK^n$ is generated by two explicitly given elements.

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…

Let $V$ be a $C_2$-cofinite vertex operator algebra without nonzero elements of negative weights. We prove the conjecture that the spaces spanned by analytic extensions of pseudo-$q$-traces ($q=e^{2\pi i\tau}$) shifted by $-\frac{c}{24}$ of…