Related papers: Le cocycle du verger

Commability is the finest equivalence relation between locally compact groups such that $G$ and $H$ are equivalent whenever there is a continuous proper homomorphism $G \to H$ with cocompact image. Answering a question of Cornulier, we show…

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…

Let $A$ be a commutative algebra over the field ${\mathbb F}_2 = {\mathbb Z}/2$. We show that there is a natural algebra homomorphism $\ell (A) \to HC^-_*(A)$ which is an isomorphism when $A$ is a smooth algebra. Thus, the functor $\ell$…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

We study and classify a class of representations (called generalized geometric representations) of a Coxeter group of finite rank. These representations can be viewed as a natural generalization of the geometric representation. The…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…

We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…

We consider the cobordism ring of involutions of a field of characteristic not two, whose elements are formal differences of classes of smooth projective varieties equipped with an involution, and relations arise from equivariant K-theory…

We introduce a class of combinatorial singularities of Lagrangian skeleta of symplectic manifolds. The link of each singularity is a finite regular cell complex homotopy equivalent to a bouquet of spheres. It is determined by its face poset…

Suppose $L$ is a semisimple Levi subgroup of a connected Lie group~$G$, $X$ is a Borel $G$-space with finite invariant measure, and $\alpha \colon X \times G \to \GL_n(\real)$ is a Borel cocycle. Assume $L$ has finite center, and that the…

Given Y a non-compact manifold or orbifold, we define a natural subspace of the cohomology of Y called the narrow cohomology. We show that despite Y being non-compact, there is a well-defined and non-degenerate pairing on this subspace. The…

Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology.…

We propose a definition of varieties over the field with one element. These have extensions of scalars to the ring of integers which are varieties in the usual sense. We show that toric varieties can be defined over the field with one…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

Given a Lie group $G$ with finitely many components and a compact Lie group A which acts on $G$ by automorphisms, we prove that there always exists an A-invariant maximal compact subgroup K of G, and that for every such K, the natural map…

In this article, we construct a natural group homomorphism $$ \psi: \text{Br}(f)\to H^{1}_{et}(S, f_{*}\mathcal{O}_{X}^{\times}/\mathcal{O}_{S}^{\times})$$ for a faithful affine map $f: X \to S$ of noetherian schemes. Here $\text{Br}(f)$…

Assume that two algebraic varieties of finite type over the complex numbers are related by a morphism whose fibers are precisely the orbits for the action of a unipotent group. We show that the two varieties have the same topological Euler…

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…

Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…