arXiv research

Study of equivariant scalar curvature groups for proper group actions.

We show how the fundamental cocycles on current Lie algebras and the Lie algebra of symmetries for the sigma model are obtained via the current algebra functors. We present current group extensions integrating some of these current Lie algebra extensions.

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in se…

Abstract: New geometric incarnation of isomonodromy functors.

We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the fundamental exact sequences of differential cohomology. We consider smooth Pontry…

We show that the fundamental quandle defines a functor from the oriented tangle category to a suitably defined quandle category. Given a tangle decomposition of a link $L$, the fundamental quandle of $L$ may be obtained from the fundamental quandles of tangles. We apply this result to derive a presentation of the funda…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of their fundamental group in $G$. Under some mild conditions on $R$, we construct a…

We provide a new perspective on parallel 2-transport and principal 2-group bundles with 2-connection. We define parallel 2-transport as a 2-functor from the thin fundamental 2-groupoid to the 2-category of 2-group torsors. The definition of the 2-category of 2-group torsors is new, and we develop the tools necessary fo…

In this paper we show that the fibered isomorphism conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of complex manifolds. A consequence of this result is that the Whitehead group, reduced projective class groups and the neg…

Polynomial representations found in surface braid and mapping class groups.

Manifold calculus of functors, due to M. Weiss, studies contravariant functors from the poset of open subsets of a smooth manifold to topological spaces. We introduce "multivariable" manifold calculus of functors which is a generalization of this theory to functors whose domain is a product of categories of open sets. …

Study on polynomiality and outer nature of functors from Jacobi diagrams to group homomorphisms.

Let $Σ$ be a compact connected oriented surface with one boundary component and let $\mathcal{M}$ denote the mapping class group of $Σ$. By considering the action of $\mathcal{M}$ on the fundamental group of $Σ$ it is possible to define different filtrations of $\mathcal{M}$ together with some homomorphisms on each ter…

A modular functor is constructed from non-semisimple 3d TFTs.

Paper constructs infinitely many tangent functors on diffeological spaces.

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study …

Let M denote the mapping class group of S, a compact connected oriented surface with one boundary component. The action of M on the nilpotent quotients of the fundamental group of S allows to define the so-called Johnson filtration and the Johnson homomorphisms. J. Levine introduced a new filtration of M, called the La…

Three functors link Lorentzian geometry concepts.

The study explores how different Grothendieck topologies and functors between categories preserve locality.

Let $\mathbb{F}$ be a field and let $G\subset \mathbb{F}\setminus \{0\}$ be a multiplicative subgroup. We consider the category $\mathcal{Cob}_G$ of $3$-dimensional cobordisms equipped with a representation of their fundamental group in $G$, and the category ${Vect}_{\mathbb{F},\pm G}$ of $\mathbb{F}$-linear maps defin…

We study the functor of points and the local functor of points (here called the Weil--Berezin functor) for smooth and holomorphic supermanifolds, providing characterization theorems and fully discussing the representability issues. In the end we examine applications to differential calculus including the transitivity t…

In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor $F$ holds if the functor $F$ can be induced from a (co)homology functor. We examin…

Parity functors assign labels to knot diagrams based on crossing parity.

The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category of manifolds over $A$. This result simultaneously generalizes results known for o…

In this article, we introduce the notion of a functor on coarse spaces being coarsely excisive- a coarse analogue of the notion of a functor on topological spaces being excisive. Further, taking cones, a coarsely excisive functor yields a topologically excisive functor, and for coarse topological spaces there is an ass…

The involutory birack counting invariant is an integer-valued invariant of unoriented tangles defined by counting homomorphisms from the fundamental involutory birack of the tangle to a finite involutory birack over a set of framings modulo the birack rank of the labeling birack. In this first of an anticipated series …

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

Proves Hodge structures on modular functors, providing formulas for Hodge numbers.

Cheptea, Habiro and Massuyeau constructed the LMO functor, which is defined on a certain category of cobordisms between two surfaces with at most one boundary component. In this paper, we extend the LMO functor to the case of any number of boundary components, and our functor reflects relations among the parts correspo…

The extension functors between categories of Cartan geometries can be used to define different categories of Cartan geometries with additional morphisms. The Cartan geometries modeled on skeletons can be used for the description of such categories of Cartan geometries and therefore we develop the theory of Cartan geome…

New jet functors generalize classical notions in noncommutative geometry.

Proves modular functors for SO(3) have integral Hodge structures.

The Morse complex is shown to be an infinite functor.

Functors from web categories differ despite similar definitions.

Functor decomposes Khovanov spectra for non-alternating diagrams.

Constructs a functor for equivariant smooth h-cobordisms.

The paper extends bubble concept to other functors.

Researchers create functors to match colored homologies of knots and links.

The article is devoted to the $q_R$-conformal modular functors, which being ``deformations'' of the conformal modular functor (the projective representation of the category $Train(Diff_+(S^1))$, the train of the group $Diff_+(S^1)$ of all orientation preserving diffeomorphisms of a circle) in the class of all projectiv…

Generalizes string-net modular functors to non-spherical categories.

Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we introduce: local trivializations and smooth descent data. This provides a way to…

We construct a weak 2-functor from the bicategory of oriented tangles to a bicategory of Lagrangian cospans. This functor simultaneously extends the Burau representation of the braid groups, its generalization to tangles due to Turaev and the first-named author, and the Alexander module of 1 and 2-dimensional links.

Article studies symmetry in smooth vector bundles using advanced operations.

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham coh…

In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond up to equivalence to bilinear forms on free, finitely-generated modules over com…

We describe a symplectization functor from the Poisson category to the symplectic "category" and we study some of its properties.

We construct a covariant functor from the topological torus bundles to the so-called Cuntz-Krieger algebras; the functor maps homeomorphic bundles into the stably isomorphic Cuntz-Krieger algebras. It is shown, that the K-theory of the Cuntz-Krieger algebra encodes torsion of the first homology group of the bundle. We …