arXiv research

Paper proves all Lagrangians unobstructed if one is, using non-archimedean analytic structure.

We study the large-scale geometry of 3-manifolds with nontrivial 2-dimensional bounded cohomology, with a view to proving a weak version of the geometrization conjecture for such manifolds.

Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices (endowed with the compact-open topology) defines a continuous real function. We pr…

We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other …

Modified proof constructs holomorphic quilts on closed surfaces.

In this paper we develop several algebraic structures on the simplicial cochains of a triangulated manifold that are analogues of objects in differential geometry. We study a cochain product and prove several statements about its convergence to the wedge product on differential forms. Also, for cochains with an inner p…

New method compares geometric and standard cup products.

Geometrically interprets a duality theorem linking cochain and chain complexes.

A fundamental theorem of Wolfe isometrically identifies the space of flat differential forms of dimension $m$ in $\mathbb{R}^n$ with the space of flat $m$-cochains, that is, the dual space of flat chains of dimension $m$ in $\mathbb{R}^n$. The main purpose of the present paper is to generalize Wolfe's theorem to the se…

The paper discusses $q$-deformations of the Aomoto complex.

In this paper, we consider the concept of connection cochain of central extensions introduced by Moriyoshi and apply it to the abelian case. We will show the relationship between connection cochain and connection $1$-form of a principal bundle whose structure group is abelian.

New method to compute tangle sums in character varieties.

The aim of the present paper is to define a notion of weakly differentiable cochain in the generality of metric measure spaces and to study basic properties of such cochains. Our cochains are (sub-)linear functionals on a subspace of chains, and a suitable notion of chains in metric spaces is given by Ambrosio-Kirchhei…

We construct a pair of transverse genuine laminations on an atoroidal 3-manifold admitting transversely orientable uniform 1-cochain. The laminations are induced by the uniform 1-cochain and they are indeed the "straightening" of the coarse laminations defined in [Ca], by using minimal surface techniques. Moreover, whe…

Paper constructs Thom-Smale complex using instantons from Morse functions.

VB-groupoids define a special class of Lie groupoids which carry a compatible linear structure. In this paper, we show that their differentiable cohomology admits a refinement by considering the complex of cochains which are k-homogeneous on the linear fiber. Our main result is a Van Est theorem for such cochains. We a…

The paper computes KV cochain differentials and their geometric implications.

We develop an algebro-analytic framework for the systematic study of the continuous bounded cohomology of Lie groups in large degree. As an application, we examine the continuous bounded cohomology of PSL(2,R) with trivial real coefficients in all degrees greater than two. We prove a vanishing result for strongly reduc…

Paper bridges matching rules and height functions in aperiodic tilings.

This work redefines data-centric AI by unifying categorical and cochain notions.

We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given a pair of smooth manifolds of the same dimension with embeddin…

New complexes derived from any filtered cochain complex compute the same cohomology.

An adapted version of the proof (due to A. Weil) of the well-known de Rham Theorem allows us to compare uniformly the spectrum of the Hodge Laplacian acting on differential forms (on a compact Riemannian manifold) to the spectrum of the combinatorial Laplacian acting on cochains associated to an open cover (made of bal…

Discrete exterior calculus shows natural properties of wedge product and averaging.

Motivated by the Atiyah-Floer conjecture, we consider $SO(3)$ Santi-self-dual instantons on the product of the real line and a three-manifold with cylindrical end. We prove a Gromov-Uhlenbeck type compactness theorem, namely, any sequence of such instantons with uniform energy bound has a subsequence converging to a ty…

The abstract describes a strategy to construct reduced Khovanov homology for links in lens spaces.

Many quantum groups and quantum spaces of interest can be obtained by cochain (but not cocycle) twist from their corresponding classical object. This failure of the cocycle condition implies a hidden nonassociativity in the noncommutative geometry already known to be visible at the level of differential forms. We exten…

Characterizes Whitney forms on simplices and proves their uniqueness.

Let $G$ be a group and $N$ be a normal subgroup of $G$. There exists the group extension $G$ of $G/N$ by $N$. For a $G$-module $A$ which $N$ acts on trivially and a $G$-invariant homomorphism on $N$ to $A$, we obtain a central extension of $G/N$ by $A$. By using connection cochains, we exhibit the formula of its extens…

Simplicial versions of topological abelian gauge theories are constructed which reproduce the continuum expressions for the partition function and Wilson expectation value of linked loops, expressible in terms of R-torsion and linking numbers respectively. The new feature which makes this possible is the introduction o…

We elaborate on an idea of M. Abouzaid of equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an $A_\infty$-algebra. This is a variation on K. Fukaya's definition of Morse-$A_\infty$-categories for closed oriented manifolds involving families of Morse funct…

We propose a general notion of algebraic gauge theory obtained via extracting the main properties of classical gauge theory. Building on a recent work on transferring curved $A_{\infty}$-structures we show that, under certain technical conditions, algebraic gauge theories can be transferred along chain contractions. Sp…

The classical Van Est theory relates the smooth cohomology of Lie groups with the cohomology of the associated Lie algebra, or its relative versions. Some aspects of this theory generalize to Lie groupoids and their Lie algebroids. In this paper, continuing an idea from [18], we revisit the van Est theory using the Per…

Seidel and Smith have constructed an invariant of links as the Floer cohomology for two Lagrangians inside a complex affine variety Y. This variety is the intersection of a semisimple orbit with a transverse slice at a nilpotent in the Lie algebra $sl_{2m}.$ We exhibit bijections between a set of generators for the Sei…

Geometric cohomology model uses co-oriented maps to define a product structure.

Develops combinatorial theory of vector bundles on simplicial complexes.

A formula connects two algebraic structures derived from a category.

The uniform boundary condition in a normed chain complex asks for a uniform linear bound on fillings of null-homologous cycles. For the $\ell^1$-norm on the singular chain complex, Matsumoto and Morita established a characterisation of the uniform boundary condition in terms of bounded cohomology. In particular, spaces…

Discrete connections on abelian Lie groups bundles are studied.

Extends Young integral to Hölder differential forms in arbitrary dimensions.

Introduces $θ$-almost twisted Poisson structures and their cohomology.

Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson. We do it simplicially in the setting of a filtered version of face sets, also cal…

This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de …

The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) o…

The Van Est homomorphism for a Lie groupoid $G \rightrightarrows M$, as introduced by Weinstein-Xu, is a cochain map from the complex $C^\infty(BG)$ of groupoid cochains to the Chevalley-Eilenberg complex $C(A)$ of the Lie algebroid $A$ of $G$. It was generalized by Weinstein, Mehta, and Abad-Crainic to a morphism from…

We express the Connes-Chern character of the Dirac operator associated to a b-metric on a manifold with boundary in terms of a retracted cocycle in relative cyclic cohomology, whose expression depends on a scaling/cut-off pa- rameter. Blowing-up the metric one recovers the pair of characteristic currents that represent…

Given an action of a Lie group on a smooth manifold, we discuss the induced action on the Hochschild cohomology of smooth functions, and notions of invariance on this space. Depending on whether one considers invariance of cochains or invariance of cohomology classes, two different spaces of invariants arise. We perfor…

We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.