arXiv research

Affine actions of Lie groups are studied and their K-theory is related to standard K-theory.

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…

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

Monads link instantons and bow solutions in complex geometry.

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…

New geometric structures in tangent categories.

New criterion for almost-complex 4-manifolds using polyhedral decompositions.

Constructs stable bundles on K3 surfaces using monad construction.

We derive symmetries and adjunction inequalities of the knot Floer homology groups which appear to be especially interesting for homologically essential knots. Furthermore, we obtain an adjunction inequality for cobordism maps in knot Floer homologies. We demonstrate the adjunction inequalities and symmetries in explic…

New inequality for refined knot invariants in a specific space.

It is shown that the multiplicative monoids of Temperley-Lieb algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the…

The paper proves an adjunction inequality for Real embedded surfaces in 4-manifolds.

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 paper studies Weyl-minimal surfaces and their adjunction inequality.

Paper shows Seiberg-Witten invariants vanish for Davis hyperbolic 4-manifold.

Studies modules over a category of Jacobi diagrams in handlebodies.

New invariant from Seiberg-Witten equations constrains embedded surfaces.

We further sharpen higher type adjunction inequalities of P. Ozsváth and Z. Szabó on a 4-manifold $M$ with a nonzero Seiberg-Witten invariant for a Spin$^c$ structure $\frak{s}$, when an embedded surface $Σ\subset M$ satisfies $[Σ]\cdot [Σ]\geq 0$ and $|\langle [Σ],c_1(\frak{s})\rangle|+[Σ]\cdot [Σ]\geq 2b_1(M).$

In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a F…

Paper proves a symplectic inequality using trisections and contact geometry.

The paper introduces an inequality to detect when surfaces in 4-manifolds are not smoothly isotopic.

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…

For several embedded surfaces with zero self-intersection number in 4-manifolds, we show that an adjunction-type genus bound holds for at least one of the surfaces under certain conditions. For example, we derive certain adjunction inequalities for surfaces embedded in $m\mathbb{CP}^2\# n(-\mathbb{CP}^2)$ ($m, n \geq 2…

We propose using category theory to unify deep learning architectures.

The paper introduces new inequalities for knots in 4D cobordisms.

Researchers find the minimal genus for a specific type of surface bundle.

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…

It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of symmetry involving the self-adjoint functor is satisfied. As in a previous paper, of …

We prove new adjunction inequalities for embedded surfaces in four-manifolds with non-negative self-intersection number by using the Donaldson invariants. These formulas are completely analogous to the ones obtained by Ozsváth and Szabó using the Seiberg-Witten invariants. To prove these relations, we give a fairly exp…

Upper bounds found for Seiberg-Witten moduli spaces under specific conditions.

Researchers determine quantum filtration structure of torus links.

We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings. In particular, it implies that any exact filling of the standard unit cotangent bundle of a hyperbolic surface has vanishing first Chern class and has the same integral homology and intersection form as its disk cotangent bundle. This…

Each lens space has a canonical contact structure which lifts to the distribution of complex lines on the three-sphere. In this paper, we show that a symplectic homology cobordism between two lens spaces, which is given with the canonical contact structure on the boundary, must be diffeomorphic to the product of a lens…

Proves K-stability and superrigidity of certain singular Fano hypersurfaces.

The paper extends Stone duality to topological convexity spaces.

To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present article we consider functorial aspects of these construction principles. The first …

We reprove and strengthen some old difficult theorems of 4-manifolds by the aid of recently discovered modern tools, which involve contact structures on 3-manifolds, compact Stein domains, etc.

New invariants for 4-manifolds obstruct certain surface pairs.

The paper bounds the genus of surfaces in four-manifolds with indefinite forms.

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…

Link cobordism maps are graded and determine surface genus.

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…

Researchers solve M-theory's gauge enhancement problem using advanced homotopy theory.

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 prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid. We prove that the category of torsors is equivalent to that of pregroupoids. Hence we also get enveloping groupoids for torsors, and for pri…

We solve a certain case of the minimal genus problem for embedded surfaces in elliptic 4-manifolds. The proofs involve a restricted transitivity property of the action of the orientation preserving diffeomorphism group on the second homology. In the case we consider we get the minimal possible genus allowed by the adju…

Article constructs jet-structures in homotopy type theory.

The paper finds a new lower bound on the genus of surfaces in indefinite 4-manifolds.