arXiv research

In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some categories of smooth manifolds. Namely, the tangent functor in the category of smooth man…

Instantons on the Taub-NUT space are related to `bow solutions' via a generalization of the ADHM-Nahm transform. Both are related to complex geometry, either via the twistor transform or via the Kobayashi-Hitchin correspondence. We explore various aspects of this complex geometry, exhibiting equivalences. For both the …

In this paper we further investigate the geometry of monads of order-preserving functionals and of positively homogeneous functionals. We prove that for any compactum X with $w(X) = τ$ the map $μ_F X$, where $F\in\{O,OH\}$, is homeomorphic to trivial $I^τ$-fibration if and only if $X$ is openly generated $χ$-homogeneou…

Constructs stable bundles on K3 surfaces using monad construction.

Unitons, i.e.\ harmonic spheres in a unitary group, correspond to \lq uniton bundles\rq, i.e.\ holomorphic bundles over the compactified tangent space to the complex line with certain triviality and other properties. In this paper, we use a monad representation similar to Donaldson's representation of instanton bundles…

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free c…

In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dimension d, including all t…

We propose using category theory to unify deep learning architectures.

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends…

The paper discusses strictification and non-strictification of monoidal categories.

In this paper we investigate the functors of OH of positively homogenous functionals and OS of semiadditive functionals. We show that OH(X) is AR if and only if X is openly generated, and OS(X) is AR if and only if X is an openly generated compactum of weight less than $ω_1$. Also, we investigate the multiplication map…

The moduli space of solutions to Nahm's equations of rank (k,k+j) on the circle, and hence, of SU(2) calorons of charge (k,j), is shown to be equivalent to the moduli of holomorphic rank 2 bundles on P^1xP^1 trivialized at infinity with c_2=k and equipped with a flag of degree j along P^1x{0}. An explicit matrix descri…

This article constructs the moduli stack of torsionfree $G$-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any $\infty$-topos equipped with any stable factorization systems. In the intended applications of this theory, the factorization systems are …

Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the a…

We study $SU(2)$ calorons, also known as periodic instantons, and consider invariance under isometries of $S^1\times\mathbb{R}^3$ coupled with a non-spatial isometry called the rotation map. In particular, we investigate the fixed points under various cyclic symmetry groups. Our approach utilises a construction akin to…

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…

Instanton bundles on $\mathbb{P}^3$ have been at the core of the research in Algebraic Geometry during the last thirty years. Motivated by the recent extension of their definition to other Fano threefolds of Picard number one, we develop the theory of instanton bundles on the complete flag variety $F:=F(0,1,2)$ of poin…

Motivated by gauge theory under special holonomy, we present techniques to produce holomorphic bundles over certain noncompact $3-$folds, called building blocks, satisfying a stability condition `at infinity'. Such bundles are known to parametrise solutions of the Yang-Mills equation over the $\rm G_2-$manifolds obtain…

For a Lie group $G$ and a vector bundle $E$ we study those actions of the Lie group $TG$ on $E$ for which the action map $TG\times E \to E$ is a morphism of vector bundles, and call those \emph{affine actions}. We prove that the category $\mathrm{Vect}_{TG}^{\mathrm{aff}}\left(X\right)$ of such actions over a fixed $G$…

Classifies instantons on ALF multi-Taub-NUT spaces and ties them to bow solutions.

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…