そのセットを証明する $\pi_n(X,v)$ グループです(Goerss and Jardine Theorem 7.2)

2
Isomorphism 2020-08-06 02:57.

Goerss andJardineの著書SimplicialHomotopy Theoryの定理7.2で、著者は、同一性法と逆法が集合に当てはまることを示すように求めています。 $\pi_n(X,v)$。私はこれらの声明を証明することができません。

逆についての質問がありました https://math.stackexchange.com/questions/3372841/showing-that-pi-nx-v-satisfies-inverse-axiom、しかし答えはありません。そして、私はこれを詳細に説明する代替の参考文献を見つけることができませんでした。

どんな助けでも大歓迎です。


私の考え:

グループ操作は次のように定義されます。 $n$ シンプレックス $a$ そして $b$ (に $X$)1つは作成します $n+1$ 次元 $n$-ホーン $(v,v,...v,a,\, ,b)$$X$ そしてそれを埋めます $\omega$ (以来 $X$カン複合体と見なされます)。次に、の乗算$a$ そして $b$ によって新しく塗りつぶされた面として定義されます $\omega$、すなわち $[a\cdot b] = [d_n \omega]$

同一性法を証明するために、私は設定する必要があります $b = v$ そしてそれを示す $[a]\cdot [v] = [a]$。しかし、これは$\omega$ そのような $\partial \omega = (v,v,...,a,d_n \omega,v)$、ホモトピーを見つけなければならない $d_n\omega \to a$。私はいくつかを事前に構成できると思っていました$\triangle^n \times \triangle^1 \to \triangle^{n+1}$$\omega$必要なホモトピーを取得します。しかし、私は先に進むことができません。

逆公理の場合、著者は、左の乗算マップが全単射であることを示すように求めています。どこから始めればいいのかわからない。

1 answers

1
jgon 2020-08-12 06:24.

身元

あなたのアイデアも機能しますが、製品が明確に定義されていることがわかっていると仮定すると、ID要件のより簡単な証明があります。

まず、簡単な証明。他の証拠は投稿の最後にあります。取る$\omega = s_na$、顔があります $(v,v,\ldots,v,a,a)$ そして $\omega=s_{n-1}a$、顔があります $(v,v,\ldots,a,a,v)$ 左右の同一性法を証明するため。

ここでは、この乗算が明確に定義されており(つまり、ホモトピークラスの代表の選択やホーンフィラーの選択に依存しない)、結合的(左/右の逆数が等しい場合にのみ必要)であることをすでに知っていると思います。

これらの仮定を考えると、実際にはGoerssとJardineによって提案されたものよりも簡単な証拠があると思うので、代わりにこの証拠を示します。(おそらく私は間違いを犯しています。)

による左右の乗算 $[a]$どちらも全射です。左乗算の場合、与えられたと仮定します$[a]$ そして $[c]$、そして私たちは見つけたい $[b]$ そのような $[a]\cdot [b]=[c]$。次に、フィラーを選択できます$\omega$ のために $\Lambda^{n+1}_{n+1}$ $(v,v,\ldots,v,a,c,-)$。取る$b=d_{n+1}\omega$、および $\omega$ を示す $[a]\cdot[b]=[c]$、乗算が明確に定義されていると仮定します。

本質的に同じ証明は、正しい乗算も全射であることを示しています。したがって、要素があります$[b]$ そして $[b']$ そのような $[a]\cdot [b]=[v]=[b']\cdot[a]$、これは $[b]=[b']$ (これは結合性を使用する場所です)、および $[a]$ 反転可能です。

アイデンティティのための明示的なホモトピー

この議論には、製品が事前に明確に定義されていると想定しないという利点があることに注意してください。

あなたのアイデアを機能させるために、次のことを行って明示的なホモトピーを構築することができます。構築することでそれを視覚化する方が簡単な場合があります$\Delta^n\times \Delta^1$ から $\omega$ と縮退の束。

念のため、 $(n+1)$-シンプレックス $\Delta^n\times \Delta^1$ 頂点があります $(0,0),(1,0),\cdots(n,0),(n,1)$$(0,0),\cdots, (n-1,0),(n-1,1),(n,1)$、 等々。がある$n+1$ これらのうち、これらにラベルを付けましょう $(n+1)$-シンプレックスとして $H_0,\ldots,H_n$ その順番で。

$H_i$ 頂点があります $(0,0),\ldots,(n-i,0),(n-i,1),\ldots,(n,1)$、だから私たちはそれを持っています $H_i$ そして $H_{i+1}$ 頂点と顔を共有する $(0,0),\ldots,(n-i-1,0),(n-i,1),\ldots,(n,1)$。したがって、互換性の条件があります。$d_{n-i}H_i=d_{n-i}H_{i+1}$

今取る
$H_0=s_nd_n\omega$$H_{1}=\omega$、および $H_i = s_{n-i}a$ ために $i>1$

互換性の条件を確認して、 $d_nH_0=d_ns_nd_n\omega = d_n\omega=d_nH_1$$d_{n-1}H_1=d_{n-1}H_1=a=d_{n-1}s_{n-2}a=d_{n-1}H_2$、および $i>1$$d_{n-i}H_i=d_{n-i}s_{n-i}a=a=d_{n-i}s_{n-i-1}a=d_{n-i}H_{i+1}$

また、 $d_{n+1}H_0=d_{n+1}s_nd_n\omega=d_n\omega$、および $d_0H_n = d_0s_0a=a$

したがって、ホモトピーを $d_n\omega$$a$。さらに、残りの面がすべてであることを確認するのは難しくありません$v$、したがって、これはシンプレックスの境界を保持するホモトピーです。

他のアイデンティティは同じ考えですが、今はそれが与えられている点が異なります $\omega$ 境界がある $(v,v,\ldots,v,d_n\omega,a)$、だから私たちは取る $H_0=\omega$$H_i=s_{n-i}d_n\omega$ ために $i > 0$、そして今、私たちはからホモトピーを取得します $a$$d_n\omega$

MORE COOL STUFF

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは、夫に会ったとき、典型的な交際のアドバイスに逆らいました。

マイケルシーンが非営利の俳優である理由

マイケルシーンが非営利の俳優である理由

マイケルシーンは非営利の俳優ですが、それは正確にはどういう意味ですか?

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

特徴的なスターのコリン・エッグレスフィールドは、RomaDrama Liveでのスリル満点のファンとの出会いについて料理しました!加えて、大会での彼のINSPIREプログラム。

「たどりつけば」をオンラインでストリーミングできない理由

「たどりつけば」をオンラインでストリーミングできない理由

ノーザンエクスポージャーが90年代の最も人気のある番組の1つになった理由を確認するには、Blu-rayまたはDVDプレーヤーをほこりで払う必要があります。

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖は、世界で2番目に大きいボイリング湖です。そこにたどり着くまでのトレッキングは大変で長いですが、努力する価値は十分にあります。

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

サロンからのヘアトリミングや個人的な寄付は、油流出を吸収して環境を保護するのに役立つマットとして再利用できます。

ホワイトハウスの最も記憶に残る結婚式を見てください

ホワイトハウスの最も記憶に残る結婚式を見てください

過去200年以上の間にホワイトハウスで結婚したのはほんの数人です。彼らは誰でしたか、そしてそこで結婚式を獲得するために何が必要ですか?

アトランタのドナ・ブラジル:「私があなたに私の話をするとき私を踏まないでください」

アトランタのドナ・ブラジル:「私があなたに私の話をするとき私を踏まないでください」

2017年11月19日にアトランタで開催されたドナブラジルとモーアイボリー(ダグスミスフォトグラフィー)ドナブラジルを見逃すことはありません。

彼らは北朝鮮から脱出した亡命者の胃の中に奇妙な寄生虫を見つけました

彼らは北朝鮮から脱出した亡命者の胃の中に奇妙な寄生虫を見つけました

画像:ゲッティ陰謀愛好家は新しくてエキサイティングなディスカッション資料を持っています:国境を越えて韓国に5発撃たれた北朝鮮の脱北者は寄生虫でいっぱいで、そのうちの1人は南のメディアは、寄生虫を持った北朝鮮の脱北者を見つけることは珍しいことではないと報告している、実際、男性が30以上のタイプを持っていたケースがあった。

パニッシャーの第2話は、複雑な陰謀の網を織り交ぜています

パニッシャーの第2話は、複雑な陰謀の網を織り交ぜています

写真:パニッシャー(Netflix)これらのMarvel Netflixが愛していることが1つあるとすれば、それは複雑な政府や企業の陰謀です。そして、なぜこれらのショーがそのルートを選択するのかを理解するのは簡単です。

最新のBoseヘッドフォンは音楽を聴くためのものではなく、パートナーの鼻を鳴らすためのものです。

最新のBoseヘッドフォンは音楽を聴くためのものではなく、パートナーの鼻を鳴らすためのものです。

あなたのパートナーはチェーンソーのように詮索し、あなたを眠らせませんか?あなたのパートナーはあなたがチェーンソーのように詮索したと主張しますが、あなたが詮索しないので彼らは彼の想像ですか?あなたのケースが何であれ、Bose(はい、ハイエンドオーディオ機器のメーカー)はあなたのために何かを持っています。それらはBoseSleepbudsと呼ばれます。

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya shared a sweet photo in honor of boyfriend Tom Holland's 26th birthday Wednesday

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

シーレン「Ms.JuicyBaby」ピアソンは、先月脳卒中で入院した後、「もう一度たくさんのことをする方法を学ばなければならない」ため、言語療法を受けていることを明らかにしました。

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

オスカー受賞者の世紀半ばの家には、3つのベッドルーム、2つのバス、オーシャンフロントの景色があります。

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、生後4か月の娘、モナコに母乳育児をしていると語った。

投資ノート:Bioscout AU$300万シード

投資ノート:Bioscout AU$300万シード

Bioscoutは、農家を運転席に置くという使命を負っています。Artesian(GrainInnovate)やUniseedと並んで、最新のシードラウンドでチームを支援できることをうれしく思います。問題真菌症による重大な作物の損失は、農民にとって試練であることが証明されています。

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

遠隔医療は、パンデミック後の時代では新しいものではなく、時代遅れの分野でもありません。しかし、業界を詳しく見ると、需要と供給の強力な持続可能性と、米国で絶え間ない革命となる強力な潜在的成長曲線を示しています。

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

2021年は、世界的なベンチャーキャピタル(VC)の資金調達にとって記録的な年でした。DealStreetAsiaによると、東南アジアも例外ではなく、この地域では年間で記録的な25の新しいユニコーンが採掘されました。

ムーアの法則を超えて

ムーアの法則を超えて

計算に対する私たちの欲求とムーアの法則が提供できるものとの間には、指数関数的に増大するギャップがあります。私たちの文明は計算に基づいています—建築と想像力の現在の限界を超える技術を見つけなければなりません。

Language