arXiv research

On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant ge…

We consider spectral sequences in smooth generalized cohomology theories, including differential generalized cohomology theories. The main differential spectral sequences will be of the Atiyah-Hirzebruch (AHSS) type, where we provide a filtration by the Cech resolution of smooth manifolds. This allows for systematic st…

Classifies Real line bundles with Real connections on manifolds with involution.

Boundary of fiber convex domains is a cohomological sphere.

We construct an analytic multiplicative model of smooth K-theory. We further introduce the notion of a smooth K-orientation of a proper submersion and define the associated push-forward which satisfies functoriality, compatibility with pull-back diagrams, and projection and bordism formulas. We construct a multiplicati…

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

In this paper we define a new cohomology of a smooth manifold called Lichnerowicz type cohomology attached to a function. Firstly, we study some basic properties of this cohomology as: a de Rham type isomorphism, dependence on the function, singular forms, relative cohomology, Mayer-Vietoris sequence, homotopy invarian…

New cohomology theory reveals $\mathbb{Q}/\mathbb{Z}$ in group homology.

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 compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of $\mathbb{P}^2$. A consequence of our theorem is that over the finite field $\mathbb{F}_q$, away from finitely…

The proof of Theorem 7.12 of "Uniqueness of smooth cohomology theories" by the authors of this note is not correct. The said theorem identifies the flat part of a differential extension of a generalized cohomology theory E with ER/Z (there called "smooth extension"). In this note, we give a correct proof. Moreover, we …

The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and show how they are related to the cohomology with coefficients in ther space of sm…

We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence…

Based in the isomorphism between Lie algebroid cohomology and piecewise smooth cohomology, it is proved that the Rham cohomology of a locally trivial Lie groupoid $G$ on a smooth manifold $M$ is isomorphic to the piecewise Rham cohomology of $G$, in which $G$ and $M$ are manifolds without boundary and $M$ is smoothly t…

In this paper we extend Badzioch's, Dorabiala's, and Williams' definition of cohomological higher smooth torsion to a twisted cohomological higher torsion invariant. Additionally, we show that this still satisfies geometric additivity and transfer, and will also satisfy additivity and transfer for coefficients.

On a smoothly stratified space, we identify intersection cohomology of any given perversity with an associated weighted $L^2$ cohomology for iterated fibred cusp metrics on the smooth stratum. In particular given a Witt space, we identify the $L^2$ cohomology of iterated fibred cusp metrics with the middle perversity i…

Classifies certain high-dimensional manifolds with specific cohomology properties.

A Morse complex for Axiom A flows on smooth manifolds.

Compute local cohomology of vector fields on manifolds.

For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We sh…

Local vanishing theorems for complex spaces with smooth boundaries.

In this paper, we apply the theory of Chern-Cheeger-Simons to construct canonical invariants associated to a $r$-simplex whose points parametrize flat connections on a smooth manifold $X$. These invariants lie in degrees $(2p-r-1)$-cohomology with $C/Z$-coefficients, for $p> r\geq 1$. In turn, this corresponds to a hom…

Extends Kollár's result to fibered Calabi-Yau varieties with cohomological assumption.

Constructs equivariant cohomology models for differentiable stacks.

We introduce smooth L^\infty differential forms on a singular (semialgebraic) set X in R^n. Roughly speaking, a smooth L^\infty differential form is a certain class of equivalence of 'stratified forms', that is, a collection of smooth forms on disjoint smooth subsets (stratification) of X with matching tangential compo…

Let M be a paracompact smooth manifold of dimension n; A a Weil algebra and M^A the Weil bundle associated. We define and describe the notion of \widetilded-Poisson cohomology and of \widetilded^A -Poisson cohomology on M^A.

We present two approaches to constructing an integration map for smooth Deligne cohomology. The first is defined in the simplicial model, where a class in Deligne cohomology is represented by a simplicial form, and the second in a related but more combinatorial model.

Defines sheaves and Čech cohomology for diffeological spaces and classifies principal bundles.

The paper proves weaker conditions for global smoothings of special Lagrangian submanifolds with conical singularities.

We present a simple proof of a precise version of the localization theorem in equivariant cohomology. As an application, we describe the cohomology algebra of any compact symplectic variety with a multiplicity-free action of a compact Lie group. This applies in particular to smooth, projective spherical varieties.

Let $M$ be a smooth manifold, $\cal S$ the space of polynomial on fibers functions on $T^*M$ (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, $Vect(M)$, of vector fields on $M$ with coefficients in the space of linear differential operators on $\cal S$. This co…

Constructs cohomology decompositions for symmetric stacks.

In this paper, we study a certain cohomology attached to a smooth function, which arose naturally in Poisson geometry. We explain how this cohomology depends on the function, and we prove that it satisfies both the excision and the Mayer-Vietoris axioms. For a regular function we show that the cohomology is related to …

In this note, we first give a criterion of pseudo-Einstein contact forms and then affirm the CR analogue of Frankel conjecture in a closed, spherical, strictly pseudoconvex CR manifold of nonnegative pseudohermitian curvature on the space of smooth representatives of the first Kohn-Rossi cohomology group. Moreover, we …

Let $C$ be a smooth projective curve of genus $2$. Following a method by O' Grady, we construct a semismall desingularization $\tilde{\mathcal{M}}_{Dol}^G$ of the moduli space $\mathcal{M}_{Dol}^G$ of semistable $G$-Higgs bundles of degree 0 for $G=GL(2,\mathbb{C}), SL(2,\mathbb{C})$. By the decomposition theorem by Be…

We prove the finiteness of the cohomology of torsion-free lattices in a semisimple Lie group of real rank one with coefficients in the distribution vector globalization of Harish-Chandra modules. The cohomology is expressed in terms of automorphic and cusp forms. We also consider the Lie-algebra cohomology of these glo…

Study transverse Dolbeault cohomology for almost complex structures.

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…

Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to a cohomology class of a homotopy colimit BSO of classifying spaces BSO_n. Simil…

Develops differential K-theory for noncommutative algebras.

Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential cohomology theory. While more involved differential cohomology theories have been expl…

We classify real Poisson structures on complex toric manifolds of type $(1,1)$ and initiate an investigation of their Poisson cohomology. For smooth toric varieties, such structures are necessarily algebraic and are homogeneous quadratic in each of the distinguished holomorphic coordinate charts determined by the open …

The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are…

Smooth bundles with rough data maintain Hodge kernel isomorphism.

The paper studies homology of tropical fans and introduces smoothness.

A natural map from Lawson homology to Deligne cohomology groups for smooth complex projective varieties is constructed by using the Harvey-Lawson spark complexes. We also compare this to Abel-Jacobi type constructions by others.

In this note, we extend the theory of Chern-Cheeger-Simons to construct canonical invariants for a one-parameter family of flat connections on a smooth manifold. These invariants lie in degrees $(2p-2)$-cohomology with $\C/\Z$-cohomology, for $p\geq 2$. Furthermore, they are shown to be rigid in a variation of paths (p…

We propose a unified framework in which the different constructions of cohomology groups for topological and Lie groups can all be treated on equal footings. In particular, we show that the cohomology of "locally continuous" cochains (respectively "locally smooth" in the case of Lie groups) fits into this framework, wh…