arXiv research

Article proves tangent complex structure of Lie n-groupoid.

The decorated hypercube found in the construction of Khovanov homology for links is an example of a Boolean lattice equipped with a presheaf of modules. One can place this in a wider setting as an example of a coloured poset, that is to say a poset with a unique maximal element equipped with a presheaf of modules. In t…

The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization, together with its higher-order extensions.

Khovanov homology for pro-tangles and spectral sequences

In this article we give an equivariant version for the construction of generic models on presheaves of structures. We deal with first order structures endowed with a suitable action of some fixed group, say $G$; we call them $G$-structures. We show that every exact presheaf of $G$-structures $\mathcal{M}$ has a generic…

Develops a new exponential map for time-varying vector fields.

We introduce notions such as cdp presheaf, cds precosheaf, Mayer-Vietoris system, and investigate their properties. As applications, we study cohomologies with values in local systems on smooth manifolds and Dolbeault cohomologies with values in locally free sheaves on complex manifolds, where the compactness is not ne…

Paper proves model structures equal for smooth manifolds and Cartesian spaces.

We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over omega-graphs, c.f. [MZ]. In particular, they allow us to give an explicit combinato…

Detecting exotic spheres involves analyzing framed configuration spaces.

In this paper we introduce $B_{α,β}^{k}$-manifolds as generalizations of the notion of smooth manifolds with $G$-structure or with $k$-bounded geometry. These are $C^{k}$-manifolds whose transition functions $\varphi_{ji}=\varphi_{j}\circ\varphi_{i}^{-1}$ are such that $\partial^μ\varphi_{ji}\in B_{α(r)}\cap C^{k-β(r)}…

In this paper we consider existence and multiplicity results concerning affine connections on $C^{k}$-manifolds $M$ whose coefficients are as regular as one needs, following the regularity theory introduced in arXiv:1908.04442. We show that if $M$ admits a $B_{α,β}^{k}$-structure, then the existence of such regular con…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for homogeneity of a supermanifold. In analogy, their study yields results on the clas…

New skein categories for non-semisimple settings, extending existing theory.

New smooth models for string groups defined in ∞-categories.

New method recovers differential cohomology from diffeological spaces.