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…

Constructs stable bundles on K3 surfaces using monad construction.

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 …

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

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…

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 …

We propose using category theory to unify deep learning architectures.

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…

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…

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…

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…

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…

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…

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

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…

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$…

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…

We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.

A method to construct fractal surfaces by recurrent fractal curves is provided. First we construct fractal interpolation curves using a recurrent iterated functions system(RIFS) with function scaling factors and estimate their box-counting dimension. Then we present a method of construction of wider class of fractal su…

Modified curve shortening flow constructs $λ$-Angenent curve.

Article constructs coassociative submanifolds in Joyce's $G_2$-manifolds.

The twist construction is a geometric model of T-duality that includes constructions of nilmanifolds from tori. This paper shows how one-dimensional foliations on manifolds may be used in a shear construction, which in algebraic form builds certain solvable Lie groups from Abelian ones. We discuss other examples of geo…

We describe various constructions in Sasakian geometry. First we generalize the join construction of the first two authors to arbitrary Sasakian manifolds. We then give several examples, including ones which prove the existence of Sasakian-Einstein metrics on manifolds homeomorphic to $S^2\times S^5.$ Then we use a gen…

Recently, there has been emerging interest in constructing reproducing kernel Banach spaces (RKBS) for applied and theoretical purposes such as machine learning, sampling reconstruction, sparse approximation and functional analysis. Existing constructions include the reflexive RKBS via a bilinear form, the semi-inner-p…

We construct bi-invariant total orderings of residually torsion-free nilpotent groups by using Chen's iterated integrals. This construction can be seen as a generalization of the Magnus ordering of the free groups, and equivalent to the classical construction which uses an iteration of central extensions. Our geometric…

The paper constructs infinitely many surfaces with specific mean curvature.

Explains a 1978 construction for Yang-Mills instantons.

We construct several non-trivial examples of CAT(1) spaces by using the idea of free construction.

We study the performance of the adaptive construction scheme for a Bayesian inference on the Quadratic GARCH model which introduces the asymmetry in time series dynamics. In the adaptive construction scheme a proposal density in the Metropolis-Hastings algorithm is constructed adaptively by changing the parameters of t…

New pseudomodular groups constructed from jigsaw construction.

Study constructs associative submanifolds in $G_2$-manifolds from orbifolds.

Test-asset construction affects factor model performance.

We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to…

Extends knot surgery to exotic four-manifolds.

We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construct…

Researchers match complex affine structures in mirror constructions.

The paper constructs solutions to a critical Dirac equation on spheres.

In this paper, we construct the index bundle gerbe of a family of self-adjoint Dirac-type operators, refining a construction of Segal. In a special case, we construct a geometric bundle gerbe called the caloron bundle gerbe, which comes with a natural connection and curving, and show that it is isomorphic to the analyt…

Two constructions link path geometries to almost Grassmann structures.

Constructs subvarieties in translation surface strata using combinatorial input.

Springer varieties appear in both geometric representation theory and knot theory. Motivated by knot theory and categorification Khovanov provides a topological construction of $(n/2, n/2)$ Springer varieties. We extend Khovanov's construction to all two-row Springer varieties. Using the combinatorial and diagrammatic …

Constructs harmonic maps between special geometric shapes.

This is the second paper in a series of papers aimed at providing a geometric construction of modular functors and topological quantum field theories from conformal field theory building on the constructions in [TUY] and [KNTY]. We give a geometric construct of a modular functor for any simple Lie-algebra and any level…

We give an algebro-geometric construction of some of the non-arithmetic ball quotients constructed by the author, Parker and Paupert. The new construction reveals a relationship between the corresponding orbifold fundamental groups and the automorphism group of the Klein quartic, and also with groups constructed by Bar…