class="bi x0 y0 w1 h1"
class="bi x1 y1 w2 h2"
M R.
H
i
I
(M)
i > dim Supp M (R, m)
M H
d
m
(M) = 0, d = dim M.
M i H
i
m
(M) = 0.
I
(R, m) dim R = n H
n
I
(R) = 0
dim

R/(I

R + P) ≥ 1 P
m

R.
M H
i

R
A Att
R
A
H
i
m
(M)
H
d
I
(M) M
R.
H
i
m
(M) H
d
I
(M)
R A
Ann
R
(0 :
A
p) = p p Ann
R
A.
H
i

(M)
P ∩ R Att
R
H
i
m
(M).
H
i
m
(M) R.
Att
R
H
i
m
(M)
Att

R
H
i
m
(M)
R
H
i
m
(M) H
i−dim R/p

H
d
I
(M)
R
R
H
i
m
(M)
H
d
I
(M)
H
d
I
(M)
(R, m)
M R dim M = d A
R
H
i
m
(M) m
Att
R
H
i
m

R).
A
Att

R
A =

p∈Att
R
A
Ass

R
(

R/p

R) (1)
A = H
i
m
(M)
A
f
a
: Spec(

R) → Spec(R) R
(R



R
(

R/p

R). (2)
R
R M i ≥ 0
R
Att

R
(H
i
m
(M)) Att
R
(H
i
m
(M))
i ≥ 0
M Psupp
i
R
(M)
Psupp
i
R

R
p
M
p
= 0 p ⊇ Ann
R
M.
p ⊇ Ann
R
A p = m A
p
= 0.
p ∈ Spec(R)
F
p
: M
R
→ M
R
p
R
R
p
F
p
R A
F
p
F
p

(M)
H
i
m
(M).
H
i
m
(M)?
p ∈ Spec(R)
F
p
: M
R
→ M
R
p
R R
p
F
p
H
i
m
(M) R
R A
Ann
R
(0 :
A

R
H
i
m
(M)

H
d
I
(M)
R
H
d
I
(M)
M
H
dim R
I
(R)

R.
H
d
I
(M)
H
d
I
(M).

A
q) 
R
(0 :
A
q
n+1
) N-dim
R
A
n Θ
q
A
(n). N-dim
R
A = s.
Θ
q
A
(n) = (0 :
A
q
n+1
) =
e

(q, A)
s!
n
s

M m R M
H
i
m
(M) m
H
i
m
(M)
R M
M

M
Ass

R

M =

p∈Ass M
Ass

R
(

R/p

R);
Ass
R

A =

p∈Att
R
A
Ass

R
(

R/p

R) (1)
A
R A.
Att

R
A =

p∈Att
R
A
Ass

R
(

R/p


m
(M)) =

p∈Att
R
(H
i
m
(M))
Ass

R
(

R/p

R)
Att
R
H
i
m
(M) Att

R
H
i
m
(M).
R

R
R R
p ∈ Spec(R) P ∈ Spec(

R) P ∩R = p
R →

R f : R
p
→

R
P

R
P
⊗(R
p
/pR
p
)
∼
=

R
P
/p

R
P


R
(H
i
m
(M)) = min

p∈Att
R
(H
i
m
(M))
Ass

R
(

R/p

R) R
M i ≥ 0
dim(R/ Ann
R
H
i
m
(M)) = N-dim
R
H

R
Psupp
i
R
M = {P ∩R | P ∈ Psupp
i

R
(

M)} R
M i ≥ 0
R
H
i
m
(M) H
i−dim R/p
pR
p
(M
p
)
H
i−dim R/p
pR
p
(M
p
) H

p
: M
R
→ M
R
p
F
p
R
A F
p
F
p
R
F
p
R R
p
F
p
(A) = 0 p ⊇ Ann
R
A R A
F
p
p ∈ Spec(R)
p ∈ Att
R
A Ann
R

p
p ∈ Spec(R). p ⊇ Ann
R
A F
p
(A) = 0
F
p
: M
R
→ M
R
p
p ∈ Spec(R). F
p
: M
R
→ M
R
p
R A R
F
p
(A) R
p
0 Ann
R
(0 :
A
p) = p


R) k = dim(

R/P)
dim(

R/P) = dim(R/(P ∩ R)) P ∈ Spec(

R)
p ∈ Spec(R)
F
p
: M
R
→ M
R
p
R →

R R
H
i
m
(M)
N-dim
R
(H
i
m
(M)) ≤ dim(R/ Ann

(M))
N-dim
R
(H
i
m
(M)) =
dim(R/ Ann
R
H
i
m
(M))
H
i
m
(M)
M i
dim(R/ Ann
R
H
i
m
(M)) = N-dim
R
(H
i
m
(M)) i
R M;

H
i
m
(M)
H
i
m
(M)
H
i
m
(M)
H
i
m
(M)
p ∈ Spec(R)
F
p
: M
R
→ M
R
p
R F
p
(H
i
m
(M))

i
(M) Psupp
i
(

M)
R
R
H
i
m
(M).
(R, m)
m M R dim M = d
A R I R Var(I)
R I

R

M m
R M
H
d
m
(M) R

R
H
dim R
I

0 M.
0 =

p∈Ass
R
M
N(p)
0 M
Ass
R
(I, M) =

p ∈ Ass
R
M | dim(R/p) = d,

I + p = m

.
N =

p∈Ass
R
(I,M)
N(p). Ass
R
(I, M)
M R N
0
H

d
I
(M)
∼
=
H
d
m
(M/N).
R H
d
I
(M)
Ass
R
(I, M) Att
R
H
d
I
(M)
Ass
R
(I, M)
Ass
R
(I, M) ⊆ Att
R
H
d

R
M | dim(R/p) = d,

I + p = m

.
Ass
R
(I, M)
Att

R
H
d
I
(M) =

p∈Att
R
H
d
I
(M)
Ass

R
(

R/p


(M))
∼
=
H
d−dim(R/p)
pR
p
(M/N)
p
.
H
d
I
(M)
N
H
d
I
(M) Cos
R
(H
d
I
(M)),
Cos
R
(H
d
I
(M)) =

d
I
(M)).
H
d
I
(M) Cos
R
(H
d
I
(M))
H
d
I
(M)
Cos
R
(H
d
I
(M)) = Var(Ann
R
H
d
I
(M)).
H
d
I

+ s
n  0 e

(q, A) e

(q, A)
A q
Psupp
i
R
(M) i psd
i
(M)
H
i
m
(M).
H
i
m
(M)
H
d
I
(M)
q m Ass
R
(I, M) N
H
d

I
(M)) = e(q, M/N) =

p∈Ass
R
(I,M)

R
p
(M
p
)e(q, R/p).
H
d
I
(M)
H
d
I
(M)
H
d
I
(M)
H
d
I
(M)
R
class="bi x1 y213 w3 h16"