กลับไปหน้าบทความ

อ่าน 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 ]

วัตถุลอการิทึมยังปรากฏขึ้นตามธรรมชาติในฐานะวัตถุที่ขอบเขตของปริภูมิโมดูลัสกล่าวคือ จากการเสื่อมสภาพ

เรขาคณิตลอการิทึมยังช่วยให้สามารถกำหนดนิยามของโคฮอโมโลยีผลึกแบบลอการิทึมซึ่งเป็นอนาล็อกของโคฮอโมโลยีผลึกที่มีพฤติกรรมที่ดีสำหรับวาไรตีที่ไม่จำเป็นต้องเรียบ แต่เรียบแบบลอการิทึมเท่านั้น สิ่งนี้จึงนำไปประยุกต์ใช้กับทฤษฎีการแทนกาโลอิสโดยเฉพาะอย่างยิ่งการแทนกาโลอิสแบบกึ่งเสถียร

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Log_structure&oldid=1356361179 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ โครงสร้างบันทึก

ในเรขาคณิตเชิงพีชคณิตโครงสร้างลอการิทึมเป็นบริบทเชิงนามธรรมที่ใช้ในการศึกษาโครงร่างกึ่งเสถียรโดยเฉพาะอย่างยิ่งแนวคิดของรูปแบบเชิงอนุพันธ์ลอการิทึมและ แนวคิด ทางทฤษฎีฮอดจ์...

แรงจูงใจ

แนวคิดคือการศึกษา ความหลากหลายทางพีชคณิต (หรือ โครงร่าง ) 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 }...