نقش (R,A) Extv به عنوان یک کوهمولوژی از فرم های دیفرانسیل روی جبرهای جابجایی و آفین منظم

فرم های دیفرانسیل و ارتباط آنها با جبرهای لی، ابزار بسیار توانا و مفیدی در حل مساله هموار بودن واریته ها دارد. همچنین یکی دیگر از کاربردهای آن، مطالعه ی کوهمولوژی های هوشخیلد است. بحث مشتق و دیفرانسیل یکی از مسایل بسیار مهم و گرانبها در ریاضیات است. همه تصورشان این است که کسانی همچون نیوتن و لایبنیتز آن را معرفی کرده اند، در اصل، این هوشخیلد و پیروانش بودند که با توجه به موضوعات همولوژی و کوهمولوژی بذر آن را به دست آوردند. با ارائه ی کوهمولوژی نسبی حلقه ها و جبرها و با بررسی فانتکور Ext برای جبر عملگرهای دیفرانسیل، (R,A) Extv را به عنوان کوهمولوژی فرم های دیفرانسیل ارائه می کنیم.