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

A Note on Injectivity of Frobenius on Local Cohomology of Hypersurfaces

A note on injectivity of Frobenius on local cohomology of global complete intersections

Frobenius on the cohomology of thickenings

Higher F-injective singularities

Injectives obstruct Fourier-Mukai functors

Frobenius nonclassical hypersurfaces

Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

Rost injectivity for classical groups over function fields of curves over local fields

A Frobenius splitting and cohomology vanishing for the cotangent bundles of the flag varieties of GL_n

On the Hochschild Cohomology for Frobenius Kernels

Koszul homology of $F$-finite module and applications

An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves

On the injectivity of certain homomorphisms between extensions of $\widehat{\mathcal{G}}^{(λ)}$ by $\widehat{\mathbb{G}}_m$ over a $\mathbb{Z}_{(p)}$-algebra

An application of adjoint ideal sheaves to injectivity and extension theorems

Injective ellipticity, cancelling operators, and endpoint Gagliardo-Nirenberg-Sobolev inequalities for vector fields

Injectivity Theorem for Generalised Pairs on Surfaces

Local Cohomology of Certain Determinantal Thickenings

Gersten's Injectivity for Smooth Algebras over Valuation Rings

A note on étale endomorphisms of normal schemes

Frobenius pushforwards of of vector bundles on projective spaces

Finiteness of cohomology of local systems on rigid analytic spaces