Let $M$ be any compact simply-connected oriented $d$-dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $H{H}^{*}(S^{*}\left(M\right),S^{*}\left(M\right))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}\left(LM\right)$ introduced by Chas and Sullivan. We also show that the negative cyclic...

The relative cohomology ${\mathrm{H}}_{\mathrm{diff}}^1(𝕂\left(1\right|3),\mathrm{𝔬𝔰𝔭}(2,3);{𝒟}_{\lambda ,\mu }\left(S^{1|3}\right))$ of the contact Lie superalgebra $𝕂\left(1\right|3)$ with coefficients in the space of differential operators ${𝒟}_{\lambda ,\mu }\left(S^{1|3}\right)$ acting on tensor densities on $S^{1|3}$, is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating $1$-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative $1$-cocycle $s\left(X_f\right)=D_1{D}_2{D}_3\left(f\right){\alpha }_3^{1/2}$, $X_f\in 𝕂\left(1\right|3)$ which is invariant with respect to the conformal subsuperalgebra $\mathrm{𝔬𝔰𝔭}(2,3)$ of $𝕂\left(1\right|3)$. In this work we study the supergroup case. We give an explicit construction of $1$-cocycles...

We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical $\mathrm{Ext}$-computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for $G{L}_n$ for $n$ big enough (and we give a conjecture for smaller values of $n$). We also study the “twisting spectral sequence” $E^{s,t}(F,G,r)$ converging to the extension groups...

We use known results on the characteristic rank of the canonical $4$–plane bundle over the oriented Grassmann manifold ${\tilde{G}}_{n,4}$ to compute the generators of the ${\mathbb{Z}}_2$–cohomology groups $H^j\left({\tilde{G}}_{n,4}\right)$ for $n=8,9,10,11$. Drawing from the similarities of these examples with the general description of the cohomology rings of ${\tilde{G}}_{n,3}$ we conjecture some predictions.

Let $(R,𝔪)$ be a commutative Noetherian local ring, $𝔞$ be an ideal of $R$ and $M$ a finitely generated $R$-module such that $𝔞M\ne M$ and $\mathrm{cd}(𝔞,M)-\mathrm{grade}(𝔞,M)\le 1$, where $\mathrm{cd}(𝔞,M)$ is the cohomological dimension of $M$ with respect to $𝔞$ and $\mathrm{grade}(𝔞,M)$ is the $M$-grade of $𝔞$. Let $D(-):={\mathrm{Hom}}_R(-,E)$ be the Matlis dual functor, where $E:=E(R/𝔪)$ is the injective hull of the residue field $R/𝔪$. We show that there exists the following long exact sequence $$\begin{array}{cc}\hfill 0⟶& H_{𝔞}^{n-2}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)⟶D\left(M\right)\\ \hfill ⟶& H_{𝔞}^{n-1}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^{n+1}\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)\\ \hfill ⟶& H_{𝔞}^n\left(D\left(H_{(x_1,...,x_{n-1})}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{(}^{n-1}M\right)\right))⟶...,\end{array}$$ where $n:=\mathrm{cd}(𝔞,M)$ is a non-negative integer, $x_1,...,x_{n-1}$ is a regular sequence in $𝔞$ on $M$ and, for an $R$-module $L$, $H_{𝔞}^i\left(L\right)$ is the $i$th local cohomology module...

Let $R$ be a Noetherian ring, and $I$ and $J$ be two ideals of $R$. Let $S$ be a Serre subcategory of the category of $R$-modules satisfying the condition $C_I$ and $M$ be a $ZD$-module. As a generalization of the $S$-$\mathrm{depth}(I,M)$ and $\mathrm{depth}(I,J,M)$, the $S$-$\mathrm{depth}$ of $(I,J)$ on $M$ is defined as $S$-$\mathrm{depth}(I,J,M)=inf\{S$-$\mathrm{depth}(𝔞,M):𝔞\in \tilde{\mathrm{W}}(I,J)\}$, and some properties of this concept are investigated. The relations between $S$-$\mathrm{depth}(I,J,M)$ and $H_{I,J}^i\left(M\right)$ are studied, and it is proved that $S$-$\mathrm{depth}(I,J,M)=inf\{i:H_{I,J}^i\left(M\right)\notin S\}$, where $S$ is a Serre subcategory closed under taking injective hulls. Some conditions are provided that local cohomology...

Let $𝔞$, $I$, $J$ be ideals of a Noetherian local ring $(R,𝔪,k)$. Let $M$ and $N$ be finitely generated $R$-modules. We give a generalized version of the Duality Theorem for Cohen-Macaulay rings using local cohomology defined by a pair of ideals. We study the behavior of the endomorphism rings of $H_{I,J}^t\left(M\right)$ and $D\left(H_{I,J}^t\left(M\right)\right)$, where $t$ is the smallest integer such that the local cohomology with respect to a pair of ideals is nonzero and $D(-):={\mathrm{Hom}}_R(-,E_R\left(k\right))$ is the Matlis dual functor. We show that if $R$ is a $d$-dimensional complete Cohen-Macaulay...

Let $G$ be a finite group with a dicyclic subgroup $H$. We show that if there exist $H$-connected transversals in $G$, then $G$ is a solvable group. We apply this result to loop theory and show that if the inner mapping group $I\left(Q\right)$ of a finite loop $Q$ is dicyclic, then $Q$ is a solvable loop. We also discuss a more general solvability criterion in the case where $I\left(Q\right)$ is a certain type of a direct product.

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$. Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$-theory, Chow groups, Grothendieck’s $K_0$, etc.) with formal group law $F$. We construct a ring from $F$ and the characters of $T$, that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁(G/B)$ where $G/B$ is the variety of Borel subgroups of $G$. Our main result says that when the...

Let $X$ be an arbitrary hyperbolic geodesic metric space and let $\Gamma$ be a countable subgroup of the isometry group $\mathrm{Iso}\left(X\right)$ of $X$. We show that if $\Gamma$ is non-elementary and weakly acylindrical (this is a weak properness condition) then the second bounded cohomology groups $H_b^2(\Gamma ,ℝ)$, $H_b^2(\Gamma ,{\ell }^p\left(\Gamma \right))$ $(1<p<\infty )$ are infinite dimensional. Our result holds for example for any subgroup of the mapping class group of a non-exceptional surface of finite type not containing a normal subgroup which virtually splits as a direct...

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...

For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, let ${\pi }_{\varphi }$ be the unitary representation associated to $\varphi$ by the GNS construction. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,{\pi }_{\varphi })$ and reduced 1-cohomology ${\overline{H}}^1(G,{\pi }_{\varphi })$. For example, ${\overline{H}}^1(G,{\pi }_{\varphi })=0$ if and only if either $\text{Hom}(G,ℂ)=0$ or ${\mu }_{\varphi }\left(1_G\right)=0$, where $1_G$ is the trivial character of $G$ and ${\mu }_{\varphi }$ is the probability measure on the Pontryagin dual $\widehat{G}$ associated to $\varphi$ by Bochner’s Theorem. This streamlines an argument of Guichardet...

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$. Let $t\in {\mathbb{N}}_0$ be an integer and $M$ an $R$-module such that ${\mathrm{Ext}}_R^i(R/I,M)$ is minimax for all $i\le t+1$. We prove that if $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i<t$, then the $R$-modules $H_I^i\left(M\right)$ are $I$-cominimax for all $i<t$ and ${\mathrm{Ext}}_R^i(R/I,H_I^t\left(M\right))$ is minimax for $i=0,1$. Let $N$ be a finitely generated $R$-module. We prove that ${\mathrm{Ext}}_R^j(N,H_I^i\left(M\right))$ and ${\mathrm{Tor}}_j^R(N,H_I^i\left(M\right))$ are $I$-cominimax for all $i$ and $j$ whenever $M$ is minimax and $H_I^i\left(M\right)$ is ${\mathrm{FD}}_{\le 1}$ (or weakly Laskerian) for all $i$.

Let $I$ be an ideal of a commutative Noetherian ring $R$. It is shown that the $R$-modules $H_I^j\left(M\right)$ are $I$-cofinite for all finitely generated $R$-modules $M$ and all $j\in {\mathbb{N}}_0$ if and only if the $R$-modules ${\mathrm{Ext}}_R^i(N,H_I^j\left(M\right))$ and ${\mathrm{Tor}}_i^R(N,H_I^j\left(M\right))$ are $I$-cofinite for all finitely generated $R$-modules $M$, $N$ and all integers $i,j\in {\mathbb{N}}_0$.

In this work we compute the Chen–Ruan cohomology of the moduli spaces of smooth and stable $n$-pointed curves of genus $1$. In the first part of the paper we study and describe stack theoretically the twisted sectors of ${ℳ}_{1,n}$ and ${\overline{ℳ}}_{1,n}$. In the second part, we study the orbifold intersection theory of ${\overline{ℳ}}_{1,n}$. We suggest a definition for an orbifold tautological ring in genus $1$, which is a subring of both the Chen–Ruan cohomology and of the stringy Chow ring.

Let $M$ be a 1-connected closed manifold of dimension $m$ and $LM$ be the space of free loops on $M$. M.Chas and D.Sullivan defined a structure of BV-algebra on the singular homology of $LM$, $H_{*}(LM;k)$. When the ring of coefficients is a field of characteristic zero, we prove that there exists a BV-algebra structure on the Hochschild cohomology $H{H}^{*}(C^{*}\left(M\right);C^{*}\left(M\right))$ which extends the canonical structure of Gerstenhaber algebra. We construct then an isomorphism of BV-algebras between $H{H}^{*}(C^{*}\left(M\right);C^{*}\left(M\right))$ and the shifted homology $H_{*+m}(LM;k)$. We also prove...