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...

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.

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...

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 $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 $(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 $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

Let $R$ and $S$ be commutative rings with unity, $f:R\to S$ a ring homomorphism and $J$ an ideal of $S$. Then the subring $R{\bowtie }^{f}J:=\{(a,f\left(a\right)+j)\mid a\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along $J$ with respect to $f$. In this paper, we determine when $R{\bowtie }^{f}J$ is a (generalized) filter ring.

Let $(R,𝔪)$ be a commutative Noetherian regular local ring of dimension $d$ and $I$ be a proper ideal of $R$ such that ${\mathrm{mAss}}_R(R/I)={\mathrm{Assh}}_R\left(I\right)$. It is shown that the $R$-module $H_I^{\mathrm{ht}\left(I\right)}\left(R\right)$ is $I$-cofinite if and only if $\mathrm{cd}(I,R)=\mathrm{ht}\left(I\right)$. Also we present a sufficient condition under which this condition the $R$-module $H_I^i\left(R\right)$ is finitely generated if and only if it vanishes.

An entire solution of the Allen-Cahn equation $\Delta u=f\left(u\right)$, where $f$ is an odd function and has exactly three zeros at $\pm 1$ and $0$, e.g. $f\left(u\right)=u(u^2-1)$, is called a $2k$ end solution if its nodal set is asymptotic to $2k$ half lines, and if along each of these half lines the function $u$ looks (up to a multiplication by $-1$) like the one dimensional, odd, heteroclinic solution $H$, of $H^{\text{'}\text{'}}=f\left(H\right)$. In this paper we present some recent advances in the theory of the multiple end solutions. We begin with the description of the moduli space...

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...

We characterize clean elements of $ℛ\left(L\right)$ and show that $\alpha \in ℛ\left(L\right)$ is clean if and only if there exists a clopen sublocale $U$ in $L$ such that ${𝔠}_L\left(\mathrm{coz}(\alpha -\mathbf{1})\right)\subseteq U\subseteq {𝔬}_L\left(\mathrm{coz}\left(\alpha \right)\right)$. Also, we prove that $ℛ\left(L\right)$ is clean if and only if $ℛ\left(L\right)$ has a clean prime ideal. Then, according to the results about $ℛ\left(L\right),$ we immediately get results about ${𝒞}_c\left(L\right).$

For $k\in \mathbb{N}\cup \left\{\infty \right\}$ and $U$ open in $ℝ$, let ${\mathrm{C}}^k\left(U\right)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown that for $f\in {\mathrm{C}}^k\left(U\right)$ there is $g\in {\mathrm{C}}^{\infty }\left(ℝ\right)$ with $U\subseteq \mathrm{coz}g$ and $h\in {\mathrm{C}}^k\left(ℝ\right)$ with ${fg|}_U{=h|}_U$. The function $f$ and its $k$ derivatives are not assumed to be bounded on $U$. The function $g$ is constructed using splines based on the Mollifier function. Some consequences about the ring ${\mathrm{C}}^k\left(ℝ\right)$ are deduced from this, in particular that ${\mathrm{Q}}_{\mathrm{cl}}\left({\mathrm{C}}^k\left(ℝ\right)\right)=\mathrm{Q}\left({\mathrm{C}}^k\left(ℝ\right)\right)$.

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.