อ่าน 2 นาที
โครงสร้างบันทึก
ในเรขาคณิตเชิงพีชคณิตโครงสร้างลอการิทึมเป็นบริบทเชิงนามธรรมที่ใช้ในการศึกษาโครงร่างกึ่งเสถียรโดยเฉพาะอย่างยิ่งแนวคิดของรูปแบบเชิงอนุพันธ์ลอการิทึมและ แนวคิด ทางทฤษฎีฮอดจ์...
โครงสร้างบันทึก
ในเรขาคณิตเชิงพีชคณิตโครงสร้างลอการิทึมเป็นบริบทเชิงนามธรรมที่ใช้ในการศึกษาโครงร่างกึ่งเสถียรโดยเฉพาะอย่างยิ่งแนวคิดของรูปแบบเชิงอนุพันธ์ลอการิทึมและ แนวคิด ทางทฤษฎีฮอดจ์ ที่เกี่ยวข้อง แนวคิดนี้เป็นหนึ่งในรากฐานของเรขาคณิตเชิงลอการิทึมและมีการประยุกต์ใช้ในทฤษฎีของปริภูมิโมดูลัสในทฤษฎีการเปลี่ยนรูปและทฤษฎีฮอดจ์ p-adic ของฟอนเทน เป็นต้น
แรงจูงใจ
แนวคิดคือการศึกษาความหลากหลายทางพีชคณิต (หรือโครงร่าง ) Uซึ่งเรียบแต่ไม่จำเป็นต้องเหมาะสมโดยการฝังลงในXซึ่งเหมาะสม แล้วจึงพิจารณาชีฟบางอย่างบนXปัญหาคือชีฟย่อยของที่ประกอบด้วยฟังก์ชันซึ่งการจำกัดบนUสามารถผกผันได้ ไม่ใช่ชีฟของวงแหวน (เนื่องจากการบวกฟังก์ชันที่ไม่เป็นศูนย์สองฟังก์ชันอาจให้ฟังก์ชันที่เป็นศูนย์ได้) และเราจะได้ชีฟของโมโนอิด ย่อย ของ เท่านั้น โดยการคูณ การจดจำโครงสร้างเพิ่มเติมนี้บนXสอดคล้องกับการจดจำการรวมซึ่งเปรียบเทียบXกับโครงสร้างพิเศษนี้กับความหลากหลายที่มีขอบเขต (สอดคล้องกับ) [ 1 ]
คำนิยาม
ให้Xเป็นสกีมโครงสร้างพรีล็อกบนXประกอบด้วยชีฟของโมโนอิด (แบบสลับที่ได้) บนXพร้อมกับโฮโมมอร์ฟิซึมของโมโนอิดโดยที่ถือว่าเป็นโมโนอิดภายใต้การคูณของฟังก์ชัน
โครงสร้างก่อนลอการิทึมจะเป็นโครงสร้างลอการิทึมได้ ก็ ต่อ เมื่อ เหนี่ยวนำให้เกิดไอโซมอร์ฟิซึมเพิ่มเติมด้วย
มอร์ฟิซึมของโครงสร้าง (ก่อน)ลอการิทึมประกอบด้วยโฮโมมอร์ฟิซึมของชีฟของโมโนอิดที่สลับตำแหน่งกับโฮโมมอร์ฟิซึมที่เกี่ยวข้องไปยัง
แผนผังแบบบันทึกข้อมูล (Log scheme) ก็คือแผนผังที่ประกอบด้วยโครงสร้างบันทึกข้อมูลนั่นเอง
ตัวอย่าง
- สำหรับรูปแบบใดๆXเราสามารถกำหนดโครงสร้างลอการิทึมแบบง่ายๆบนX ได้ โดยการกำหนดให้และเป็นการรวมเข้าด้วยกัน
- ตัวอย่างที่กระตุ้นให้เกิดการนิยามโครงสร้างลอการิทึมมาจากแผนผังแบบกึ่งเสถียร ให้Xเป็นแผนผังซึ่งเป็นการรวมของแผนผังย่อยแบบเปิดของXโดยที่ส่วนเติมเต็มเป็น ตัว หารที่มีจุดตัดปกติดังนั้นจะมีโครงสร้างลอการิทึมที่เกี่ยวข้องกับสถานการณ์นี้ ซึ่งก็คือโดย ที่เป็น เพียงมอร์ฟิซึมการรวมเข้าไป ใน นี่เรียกว่าโครงสร้างลอการิทึมแบบแคนอนิก ( หรือแบบมาตรฐาน ) บนXที่เกี่ยวข้องกับD
- ให้Rเป็นวงแหวนการประเมินค่าแบบไม่ต่อเนื่องโดยมีฟิลด์เศษเหลือkและฟิลด์เศษส่วนKแล้วโครงสร้างลอการิทึมแบบแคนอนิกบนประกอบด้วยการรวม(และไม่ใช่!) ไว้ภายในอันที่จริงนี่เป็นตัวอย่างหนึ่งของการสร้างก่อนหน้านี้ แต่ใช้
- ด้วยRดังที่กล่าวมาข้างต้น เราสามารถกำหนดโครงสร้างลอการิทึมกลวงบน ได้โดยใช้ชีฟของโมโนอิดชุดเดียวกันกับที่ใช้ก่อนหน้านี้ แต่ส่งไอเดียลสูงสุดของRไปที่ 0 แทน
แอปพลิเคชัน
หนึ่งในแอปพลิเคชันของโครงสร้างลอการิทึมคือความสามารถในการกำหนดรูปแบบลอการิทึม (หรือเรียกว่ารูปแบบเชิงอนุพันธ์ที่มีขั้วลอการิทึม) บนแผนผังลอการิทึมใดๆ จากนั้น เราสามารถกำหนดความเรียบของลอการิทึมและความเป็นเอทาลของลอการิทึมได้ โดยเป็นการขยายแนวคิดของมอร์ฟิซึมเรียบและมอร์ฟิซึมเอทาลซึ่งจะช่วยให้สามารถศึกษาทฤษฎีการเปลี่ยนรูปได้
นอกจากนี้ โครงสร้างลอการิทึมยังใช้เพื่อกำหนดโครงสร้าง Hodge แบบผสมบนวาไรตี้เชิงซ้อนเรียบใดๆXโดยการใช้การทำให้กระชับด้วยขอบเขตตัวหารจุดตัดปกติDและเขียนคอมเพล็กซ์ de Rham ลอการิทึมที่ สอดคล้องกัน [ 2 ]
วัตถุลอการิทึมยังปรากฏขึ้นตามธรรมชาติในฐานะวัตถุที่ขอบเขตของปริภูมิโมดูลัสกล่าวคือ จากการเสื่อมสภาพ
เรขาคณิตลอการิทึมยังช่วยให้สามารถกำหนดนิยามของโคฮอโมโลยีผลึกแบบลอการิทึมซึ่งเป็นอนาล็อกของโคฮอโมโลยีผลึกที่มีพฤติกรรมที่ดีสำหรับวาไรตีที่ไม่จำเป็นต้องเรียบ แต่เรียบแบบลอการิทึมเท่านั้น สิ่งนี้จึงนำไปประยุกต์ใช้กับทฤษฎีการแทนกาโลอิสโดยเฉพาะอย่างยิ่งการแทนกาโลอิสแบบกึ่งเสถียร
ดูเพิ่มเติม
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ โครงสร้างบันทึก
ในเรขาคณิตเชิงพีชคณิตโครงสร้างลอการิทึมเป็นบริบทเชิงนามธรรมที่ใช้ในการศึกษาโครงร่างกึ่งเสถียรโดยเฉพาะอย่างยิ่งแนวคิดของรูปแบบเชิงอนุพันธ์ลอการิทึมและ แนวคิด ทางทฤษฎีฮอดจ์...
แรงจูงใจ
แนวคิดคือการศึกษา ความหลากหลายทางพีชคณิต (หรือ โครงร่าง ) U ซึ่ง เรียบ แต่ไม่จำเป็นต้อง เหมาะสม โดยการฝังลงใน X ซึ่งเหมาะสม แล้วจึงพิจารณาชีฟบางอย่างบน X ปัญหาคือชีฟย่อยของที่ประกอบด้วยฟังก์ชันซึ่งการจำกัดบน U สามารถผกผันได้ ไม่ใช่ชีฟของวงแหวน...
คำนิยาม
ให้ X เป็นสกีม โครงสร้างพรีล็อก บน X ประกอบด้วยชีฟของโมโนอิด (แบบสลับที่ได้) บน X พร้อมกับโฮโมมอร์ฟิซึมของโมโนอิดโดยที่ถือว่าเป็นโมโนอิดภายใต้การคูณของฟังก์ชัน เอ็ม {\displaystyle {\mathcal {M}}} α : เอ็ม → โอ X {\displaystyle \alpha \colon {\mathcal {M}}\to...
ตัวอย่าง
สำหรับรูปแบบใดๆ X เราสามารถกำหนด โครงสร้างลอการิทึมแบบง่ายๆ บน X ได้ โดยการกำหนดให้และเป็นการรวมเข้าด้วยกัน เอ็ม = โอ X × {\displaystyle {\mathcal {M}}={\mathcal {O}}_{X}^{\times }} α {\displaystyle \alpha }...