• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1357-1366
• /
• 2018

It is shown that the Mayer-Vietoris sequence holds for the cohomology of complexes of Lie algebroids which are defined on simplicial complexes and satisfy the compatibility condition concerning restrictions to the faces of each simplex. The Mayer-Vietoris sequence will be obtained as a consequence of the extension lemma for piecewise smooth forms defined on complexes of Lie algebroids.

• Honam Mathematical Journal
• /
• v.30 no.3
• /
• pp.513-519
• /
• 2008

Let (R, m) be a Noetherian local ring with maximal ideal m, E := $E_R$(R/m) and let I be an ideal of R. Let M and N be finitely generated R-modules. It is shown that $H^n_I(M,(H^n_I(N)^{\vee})){\cong}(M{\otimes}_RN)^{\vee}$ where grade(I, N) = n = $cd_i$(I, N). We also show that for n = grade(I, R), one has $End_R(H^n_I(P,R)^{\vee}){\cong}Ext^n_R(H^n_I(P,R),P^*)^{\vee}$.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1501-1509
• /
• 2020

We discuss the decomposition of degree two basic cohomology for codimension four taut Riemannian foliation according to the holonomy invariant transversal almost complex structure J, and show that J is C^∞ pure and full. In addition, we obtain an estimate of the dimension of basic J-anti-invariant subgroup. These are the foliated version for the corresponding results of T. Draghici et al. [3].

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.689-698
• /
• 2021

In this paper, we show some results on the artinianness of local cohomology modules with respect to a system of ideals. If M is a 𝚽-minimax ZD-module, then H^{dim M}_𝚽(M)/𝖆H^{dim M}_𝚽(M) is artinian for all 𝖆 ∈ 𝚽. Moreover, if M is a 𝚽-minimax ZD-module, t is a non-negative integer and Hⁱ_𝚽(M) is minimax for all i > t, then Hⁱ_𝚽(M) is artinian for all i > t.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.303-325
• /
• 2023

In this paper, we introduce relative Rota-Baxter systems on Leibniz algebras and give some characterizations and new constructions. Then we construct a graded Lie algebra whose Maurer-Cartan elements are relative Rota-Baxter systems. This allows us to define a cohomology theory associated with a relative Rota-Baxter system. Finally, we study formal deformations and extendibility of finite order deformations of a relative Rota-Baxter system in terms of the cohomology theory.

• Journal of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1215-1227
• /
• 2012

The membership of the generalized local cohomology modules $H_a^i$(M,N) of two R-modules M and N with respect to an ideal a in certain Serre subcategories of the category of modules is studied from below ($i<t$). Furthermore, the behaviour of the $n$th graded component $H_a^i(M,N)_n$ of the generalized local cohomology modules with respect to an ideal containing the irrelevant ideal as $n{\rightarrow}-{\infty}$ is investigated by using the above result, in certain graded situations.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.319-329
• /
• 2017

Let I denote an ideal of a Noetherian local ring (R, m). Let M denote a finitely generated R-module. We study the endomorphism ring of the local cohomology module $H^c_I(M)$, c = grade(I, M). In particular there is a natural homomorphism $$Hom_{\hat{R}^I}({\hat{M}}^I,\;{\hat{M}}^I){\rightarrow}Hom_R(H^c_I(M),\;H^c_I(M))$$, $where{\hat{\cdot}}^I$ denotes the I-adic completion functor. We provide sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J{\subset}I$ with the property grade(I, M) = grade(J, M). Our results extends constructions known in the case of M = R (see e.g. [8], [17], [18]).

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.1
• /
• pp.77-102
• /
• 2017

As an analogy of $Poincar{\acute{e}}$ series in the space of modular forms, T. Ono associated a module $M_c/P_c$ for ${\gamma}=[c]{\in}H^1(G,R^{\times})$ where finite group G is acting on a ring R. $M_c/P_c$ is regarded as the 0-dimensional twisted Tate cohomology ${\hat{H}}^0(G,R^+)_{\gamma}$. In the case that G is the Galois group of a Galois extension K of a number field k and R is the ring of integers of K, the vanishing properties of $M_c/P_c$ are related to the ramification of K/k. We generalize this to arbitrary n-dimensional twisted cohomology of the ring of integers and obtain the extended version of theorems. Moreover, some explicit examples on quadratic and biquadratic number fields are given.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.105-121
• /
• 2020

The main result of this article is to factorize the first (σ, τ)-cohomology group of triangular Banach algebra 𝓣 of order three with coefficients in 𝓣 -bimodule 𝓧 to the first (σ, τ)-cohomology groups of Banach algbras 𝓐, 𝓑 and 𝓒, where σ, τ are continuous homomorphisms on 𝓣. As a direct consequence, we find necessary and sufficient conditions for 𝓣 to be (σ, τ)-weakly amenable.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1309-1320
• /
• 2023

Let f : X → Y be a map between simply connected CW-complexes of finite type with X finite. In this paper, we prove that the rational cohomology of mapping spaces map(X, Y ; f) contains a polynomial algebra over a generator of degree N, where N = max{i, π_i(Y)⊗ℚ ≠ 0} is an even number. Moreover, we are interested in determining the rational homotopy type of map(𝕊ⁿ, ℂP^m; f) and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.