Vikipedio:Projekto matematiko/Inversigebla fasko
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Inversigebla fasko (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En matematiko, inversigebla fasko estas kohera fasko S sur (ringis, sonorita) spaco X, por kiu estas inverso T kun respekto al tensora produto de OX-(moduloj, modulas). Tio estas, ni havi
- S ⊗ T
izomorfia al OX, kiu (agoj, agas, operacias, aktoj, aktas) kiel identa ero por la tensora produto. La plej grava (okazoj, skatoloj, kestoj, kestas, okazas) estas tiuj devena de algebra geometrio kaj kompleksa dukta teorio. La inversigeblaj kunligaĵoj en tiuj (teorioj, teorias) estas en efiki la liniaj pakaĵoj adekvate formulis.
Fakte, la abstrakta difino en projekta teorio de inversigebla fasko povas esti (anstataŭigita, anstataŭigis) per la kondiĉo de estante loke libera, de rango 1. Tio estas, la kondiĉo de tensora inverso tiam (implicas, enhavas), loke sur X, (tiu, ke, kiu) S estas la fasko (formo, formi) de libera rango 1 modulo (modela teorio) super komuta ringo. (Ekzemploj, Ekzemplas) veni de frakciaj idealoj en algebra nombroteorio, tiel ke la difino (enkaptas, kaptoj, kaptas) (tiu, ke, kiu) teorio. Pli ĝenerale, kiam X estas afina skemo _Spec_(R), la inversigeblaj kunligaĵoj veni de projekciaj moduloj super R, de rango 1.
Sufiĉe ĝenerale, la izomorfiaj klasoj de inversigeblaj kunligaĵoj sur X sin (formo, formi) komuta grupo sub tensora produto. Ĉi tiu grupo ĝeneraligas la ideala klasa grupo. En ĝenerala ĝi estas skribita
- _Pic_(X)
kun _Pic_ la _Picard_ _functor_. Ekde ĝi ankaŭ inkluzivas la teorio de la Jakobia determinanto (diversaj, diversaĵo) de algebra kurbo, la studi de ĉi tiu _functor_ estas majoro (eldoni, eligo) en algebra geometrio.
La direkta konstruado de inversigeblaj kunligaĵoj per datumoj sur X (plumboj, plumbas, kondukas) al la koncepto de _Cartier_ dividanto.
