Abstract:Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite module (in the sense of Lyubeznik \cite{Lyu-2}). We show that if $r \geq 1$ then the Koszul homology modules $H_i(Y_1,\ldots, Y_r; \mathcal{M})$ are $F_{\overline{R}}$-finite modules where $\overline{R} = R/(Y_1,\ldots, Y_r)$ for $i = 0, \ldots, r$. As an application if $A$ is a regular ring containing a field of characteristic $p > 0$ and $S = A[X_1,\ldots, X_m]$ is standard graded and $I$ is an arbitrary graded ideal in $S$ then we give a comprehensive study of graded components of local cohomology modules $H^i_I(S)$. This extends in positive characteristic results we proved in \cite{P}. We study $H^i_I(S) $ when $A$ is local and prove that if $S/I$ is equidimensional and $Proj(S/I)$ is Cohen-Macaulay then $H^i_I(S)_n = 0$ for all $n \geq 0$ and for all $i > \ height \ I$. If $B$ is a equicharacteristic local Noetherian ring with infinite residue field and with a surjective map $\pi \colon T \rightarrow B$ where $(T,\mathfrak{n})$ is regular local then we show that the Koszul cohomology modules $H^j(\mathfrak{n}, H^{\dim T - i}_{\ker \pi }(T))$ depend only on $A, i, j$ and not on $T$ and $\pi$.

The Fedder action and a simplicial complex of local cohomologies

Hopf Algebras with Rigid Dualizing Complexes

The geometric realization of regular path complexes via (co-)homology

Local Cohomology of Certain Determinantal Thickenings

Tilting Complexes And Codimension Functions Over Commutative Noetherian Rings

Koszul homology of $F$-finite module and applications

Recursive properties of Cohen--Macaulay flag simplicial complexes and Lefschetz decompositions from $f$-vectors

Rigidification of connective comodules

A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Cofiniteness of local cohomology modules and subcategories of modules

On Coefficient Module of Arbitrary Modules

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Local (Co)homology and Čech (Co)complexes with Respect to a Pair of Ideals

A ring of cohomological operators on Ext and Tor

Toric rings attached to simplicial complexes

Hochschild cohomology of the Fukaya category via Floer cohomology with coefficients

Filtration of cohomology via symmetric semisimplicial spaces

A formalism of $F$-modules for rings with complete local finite $F$-representation type

Categorifications of rational Hilbert series and characters of $FS^{op}$ modules

Local cohomology of ideals and the $R_n$ condition of Serre