Related papers: Flowing from intersection product to cup product
In this paper we produce the first known formula for cohomologies of the derived tensor products of structure sheaves of subschemes in the case where the intersection of the subschemes is not a local complete intersection. The case covered…
Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces…
We use piecewise polynomials to define tropical cocycles generalising the well-known notion of tropical Cartier divisors to higher codimensions. Groups of cocycles are tropical analogues of Chow cohomology groups. We also introduce an…
For a topological flow $(V,\phi)$ - i.e., $V$ is a linearly compact vector space and $\phi$ a continuous endomorphism of $V$ - we gain a deep understanding of the relationship between $(V,\phi)$ and the Bernoulli shift: a topological flow…
The motivation of this work is to define cohomology classes in the space of knots that are both easy to find and to evaluate, by reducing the problem to simple linear algebra. We achieve this goal by defining a combinatorial graded cochain…
We give a complete description of the cohomology ring $A^*(\overline Z)$ of a compactification of a linear subvariety $Z$ of a torus in a smooth toric variety whose fan $\Sigma$ is supported on the tropicalization of $Z$. It turns out that…
We prove that any globular subdivision of multipointed $d$-spaces gives rise to a dihomotopy equivalence between the associated flows. As a straightforward application, the flows associated to two multipointed $d$-spaces related by a finite…
We construct a Floer type boundary operator for generalised Morse-Smale dynamical systems on compact smooth manifolds by counting the number of suitable flow lines between closed (both homoclinic and periodic) orbits and isolated critical…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
The purpose of this paper is to provide a way to compute the intersection cohomology of the GIT quotient of a nonsingular projective variety. We show that the middle perversity intersection cohomology of the GIT quotient $M//G$ is naturally…
A field theoretic representation of the classical partition function is derived for a system composed of a mixture of anisotropic and isotropic mobile charges that interact {\sl via} long range Coulomb and short range nematic interactions.…
The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy…
A new cohomology, induced by a vector field, is defined on pairs of differential forms ($1$--differentiable forms) in a manifold. It is proved a link with the classical de Rham cohomology and an $1$-differentable cohomology of Lichnerowicz…
We discuss the cyclic homology of crossed product algebras from the Cuntz-Quillen point of view. The periodic cyclic homology of a crossed product algebra $A\rtimes G$ is described in terms of the $G$-action on periodic cyclic bicomplexes…
We associate to each algebraic variety defined over $\mathbb{R}$ a filtered cochain complex, which computes the cohomology with compact supports and $\mathbb{Z}\_2$-coefficients of the set of its real points. This filtered complex is…
We retrieve the graded commutative algebra structure of rack and quandle cohomology by purely algebraic means.
We define two different versions of the relative De Rham cohomology groups of a diffeological space. Additionally, we study a variant of the Mayer-Vietoris sequence and discuss the existence of a relative cup product. Our approach is…
Given a compact toric surface, the multiplication of its rational cohomology can be described in terms of the intersection products of Weil divisors, or in terms of the cup products of cohomology classes representing specific cells. In this…
Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved…
We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…