P-adic modular symbols attached to CM forms - Vicentiu Pasol, Boston University
Luận án tiến sĩ nghiên cứu p-adic modular symbols gắn với CM forms. Tập trung mối liên hệ giữa xây dựng elliptic và modular của hàm L p-adic hai biến.
Boston University Graduate School of Arts and Sciences
Luan An
luận án tiến sĩ
Năm xuất bản
Số trang
81
Thời gian đọc
13 phút
Lượt xem
2
Lượt tải
0
Phí lưu trữ
40 Point
Tổng quan nhanh
- Chủ đề:
- 1. P-adic Modular Symbols and CM Forms Overview
- Số trang:
- 81 trang
- Trường:
- Boston University Graduate School of Arts and Sciences
- Chuyên ngành:
- Mathematics
- Tác giả:
- Vicentiu Pasol
- Năm:
- 2006
Tóm tắt nội dung luận án
I. P adic Modular Symbols and CM Forms Overview
This dissertation explores the deep connection between two fundamental constructions in number theory. The research bridges p-adic L-functions and modular symbols attached to complex multiplication forms. The work establishes theoretical foundations for understanding special values of Hecke L-functions through p-adic interpolation methods.
1.1. Research Objectives and Scope
The thesis investigates the relationship between the CM Elliptic Construction and the Modular Construction. Both approaches create p-adic L-functions in two variables. These functions interpolate special values of Hecke L-functions. The Elliptic Construction, developed by Katz and Yager, uses elliptic units through Iwasawa theory on formal groups. The Modular Construction, created by Stevens, attaches p-adic modular symbols to Hida families. The research proves the existence of a modular symbol whose L-function matches the Katz-Yager p-adic L-function. This connection provides new insights into complex multiplication and automorphic forms.
1.2. Methodological Framework
The research employs p-adic methods to establish the existence of modular symbols. The Weil representation serves as a powerful tool for constructing modular forms. The study creates a modular symbol with values in a complex vector space. The attached L-function generates special values of Hecke L-functions. This approach suggests possibilities for explicitly describing p-adic modular symbols. The methodology combines algebraic and analytic techniques from modern number theory.
1.3. Theoretical Significance
The work addresses a fundamental gap between explicit and general constructions. The Elliptic Construction is explicit but lacks modular symbol interpretation. The Modular Construction is general but not explicit. This thesis bridges these approaches through rigorous mathematical proof. The results have implications for understanding Galois representations and cyclotomic fields. The research contributes to the broader theory of p-adic interpolation and elliptic curves.
II. P adic Distributions and Weight Space Theory
The dissertation develops comprehensive theory of p-adic distributions on Zp. This framework provides essential tools for constructing two-variable p-adic L-functions. The research examines locally analytic distributions and their properties under various operators.
2.1. Distributions on Zp and Local Analysis
The study introduces distributions on Zp as fundamental objects. These distributions extend classical measure theory to p-adic settings. Locally analytic distributions possess special smoothness properties. The research investigates operators acting on these distributions. The Norm map plays a crucial role in the theory. Coleman power series provide explicit descriptions of norm-invariant distributions. These tools enable precise calculations with p-adic L-functions.
2.2. Weight Space and Mellin Transforms
Weight space parametrizes p-adic families of modular forms. The Mellin transform connects distributions to p-adic L-functions. This transform provides analytic continuation properties. The research establishes connections between weight space and Hecke operators. These relationships are essential for understanding Hida families. The theory applies to both ordinary and non-ordinary primes.
2.3. Two Variable Distribution Theory
The thesis develops theory of distributions on Zp × Zp. Special values arise through convolution operations. Scalar equivalence provides a key technical tool. Trace compatible elements connect to Frobenius twists. The research proves existence theorems for trace compatible sequences. These sequences determine two-variable p-adic measures. The framework supports construction of Katz-Yager L-functions.
III. L functions and Special Values in CM Theory
The dissertation examines L-functions attached to modular forms and elliptic curves. Special emphasis is placed on complex multiplication cases. The research connects classical special values to p-adic interpolation formulas.
3.1. L functions of Modular Forms
Classical L-functions encode arithmetic information about modular forms. The research studies L-functions attached to cusp forms with complex multiplication. These L-functions satisfy functional equations relating different arguments. Special values at integer points have arithmetic significance. The thesis examines how Hecke operators act on these L-functions. Understanding these actions is crucial for p-adic interpolation.
3.2. Elliptic Curves and Formal Groups
Elliptic curves with complex multiplication possess rich arithmetic structure. The formal group law describes local behavior near the identity. This formal group connects to Iwasawa theory through elliptic units. Special values of Eisenstein series relate to L-functions. The research establishes explicit formulas for these relationships. These formulas enable construction of p-adic L-functions.
3.3. Two Variable P adic Measures
The thesis constructs two-variable p-adic measures for CM forms. These measures interpolate classical special values of L-functions. The Katz-Yager measure arises from the Elliptic Construction. The research proves this measure satisfies distribution relations. These relations connect values at different cyclotomic fields. The measure provides explicit p-adic interpolation formulas.
IV. Modular Symbols and Elliptic Construction
Modular symbols provide geometric interpretation of L-functions. The research develops theory of two-variable p-adic modular symbols. The main result establishes existence of modular symbols for the Elliptic Construction.
4.1. Classical Modular Symbol Theory
Modular symbols attach cohomological objects to cusp forms. These symbols take values in coefficient modules. Integration against modular symbols produces L-values. The research reviews classical theory for ordinary modular forms. This theory extends to p-adic families through Hida theory. Understanding classical symbols is essential for p-adic generalizations.
4.2. Two Variable P adic Modular Symbols
The thesis develops theory of modular symbols with two-variable distributions. These symbols interpolate classical modular symbols in families. The coefficient space consists of p-adic distributions on Zp × Zp. The research establishes compatibility with Hecke operators. These symbols connect to Galois representations through Eichler-Shimura theory. The framework applies to Hida families of modular forms.
4.3. Existence Theorem for CM Forms
The main result proves existence of modular symbols for CM forms. The attached L-function equals the Katz-Yager p-adic L-function. This establishes the sought connection between constructions. The proof uses p-adic methods and distribution theory. The result implies compatibility with the Modular Construction. This theorem resolves a fundamental question in the field.
V. Weil Representations and Explicit Constructions
The Weil representation provides powerful tools for constructing modular forms. The research uses this representation to build modular symbols explicitly. This approach suggests methods for making the Modular Construction explicit.
5.1. Weil Representation Theory
The Weil representation acts on spaces of functions on finite groups. This representation connects to theta series and modular forms. The research studies cocycles associated to the Weil representation. These cocycles provide explicit formulas for modular symbols. The theory applies particularly well to CM forms. Understanding these cocycles is key to explicit constructions.
5.2. Construction of Modular Symbols
The thesis uses Weil representations to construct modular symbols. These symbols take values in complex vector spaces. The attached L-function generates special values of Hecke L-functions. This construction is completely explicit and computable. The research establishes connections to classical theta series. These connections provide geometric intuition for the theory.
5.3. Future Directions and Applications
The Weil representation approach suggests new research directions. The thesis proposes using this method to explicitly describe p-adic modular symbols. This would make the Modular Construction completely explicit for CM forms. Potential applications include computational number theory and cryptography. The framework extends to more general automorphic forms. Future work may apply these methods to Iwasawa theory and p-adic Hodge theory.
VI. Implications for Iwasawa Theory and Arithmetic
The research has significant implications for Iwasawa theory. The connection between constructions illuminates deep arithmetic phenomena. The results contribute to understanding of p-adic L-functions and their special values.
6.1. Iwasawa Theory Applications
Iwasawa theory studies arithmetic objects in towers of cyclotomic fields. The Katz-Yager L-function arises naturally in this context. The thesis establishes modular symbol interpretation of this function. This provides new tools for studying Iwasawa main conjectures. The results connect to questions about class groups and units. Applications include understanding growth of Selmer groups.
6.2. Arithmetic of Elliptic Curves
Elliptic curves with complex multiplication exhibit special arithmetic properties. The research illuminates connections between L-functions and rational points. P-adic L-functions encode information about Selmer groups. The modular symbol construction provides computational tools. These tools enable explicit calculations for specific curves. Applications include verification of BSD conjecture in CM cases.
6.3. Broader Mathematical Context
The thesis contributes to several areas of modern number theory. Connections exist to Langlands program and automorphic representations. The methods apply to studying Galois representations and their deformations. The framework extends beyond CM forms to more general settings. Future research may apply these techniques to non-ordinary primes. The work exemplifies fruitful interaction between algebraic and analytic methods in arithmetic geometry.
Mục lục chi tiết luận án
Tải xuống file đầy đủ để xem toàn bộ nội dung
Tải đầy đủ (81 trang)Nội dung chính
Tổng quan về luận án
Luận án này tiên phong khám phá mối quan hệ phức tạp giữa hai phương pháp xây dựng hàm L p-adic hai biến: Cấu trúc Elliptic (CM) và Cấu trúc Modular, qua đó làm sáng tỏ một lĩnh vực trọng tâm trong lý thuyết số đại số. Bối cảnh khoa học của nghiên cứu được đặt trong sự giao thoa của lý thuyết số p-adic, hình thức modular, và lý thuyết trường lớp, nơi các hàm L p-adic đóng vai trò cầu nối các thuộc tính số học của các đối tượng toán học khác nhau. Nghiên cứu này đặc biệt tập trung vào các hàm L p-adic nội suy các giá trị đặc biệt của các hàm L Hecke, một lĩnh vực có ý nghĩa sâu sắc trong định lý Birch và Swinnerton-Dyer và các phỏng đoán Iwasawa.
Research gap SPECIFIC với citations từ literature: Mặc dù Cấu trúc CM, do N. Katz ([Kat76]) và R. Yager ([Yag82]) phát triển, cung cấp một cách xây dựng "rất tường minh theo các đơn vị elliptic sử dụng lý thuyết Iwasawa trên các nhóm hình thức", nó lại thiếu một yếu tố quan trọng: "cấu trúc này không ngụ ý việc xây dựng một ký hiệu modular mà hàm L kèm theo chính xác là hàm L p-adic này" (Abstract). Ngược lại, Cấu trúc Modular, được phát triển bởi R. Stevens (và Greenberg & Stevens trong [Gre93]), tổng quát hơn, "gắn với bất kỳ họ Hida nào của các dạng modular p-ổn định một ký hiệu modular p-adic với các giá trị trong không gian các phân phối p-adic hai biến", nhưng lại không tường minh (Abstract). Khoảng trống nghiên cứu then chốt mà luận án này giải quyết chính là sự thiếu vắng của một ký hiệu modular p-adic tường minh cho hàm L p-adic của Katz-Yager, một khoảng trống đã cản trở việc hiểu sâu sắc hơn về mối liên hệ cấu trúc giữa hai phương pháp. Luận án này đặt mục tiêu lấp đầy khoảng trống đó bằng cách chứng minh sự tồn tại của một ký hiệu modular như vậy và gợi ý một phương pháp tường minh tiềm năng.
Research questions và hypotheses:
- RQ1: Có tồn tại một ký hiệu modular p-adic mà hàm L kèm theo chính xác là hàm L p-adic của Katz-Yager không?
- RQ2: Biểu diễn Weil có thể được sử dụng để xây dựng tường minh ký hiệu modular p-adic này như thế nào?
- RQ3: Mối liên hệ chính xác về mặt toán học giữa Cấu trúc CM và Cấu trúc Modular đối với các hàm L p-adic hai biến là gì?
Hypotheses:
- H1: Tồn tại một ký hiệu modular p-adic độc nhất có hàm L kèm theo tương ứng với hàm L p-adic của Katz-Yager.
- H2: Biểu diễn Weil có thể được sử dụng để phát triển một phương pháp tường minh cho việc xây dựng ký hiệu modular p-adic có hàm L là hàm L p-adic của Katz-Yager.
- H3: Ký hiệu modular p-adic của Katz-Yager có các giá trị riêng giống như dạng mới p-ổn định gắn với đường cong elliptic, thiết lập một mối liên hệ trực tiếp với Cấu trúc Modular của Greenberg và Stevens.
Theoretical framework với tên theories cụ thể: Khung lý thuyết của luận án này được xây dựng dựa trên sự tổng hợp của nhiều lý thuyết tiên tiến trong toán học. Trọng tâm là Lý thuyết Iwasawa trên các nhóm hình thức (formal groups) như được Katz ([Kat76]) và Yager ([Yag82]) áp dụng để xây dựng hàm L p-adic CM. Lý thuyết về các phân phối p-adic (Amice [Ami78], Schneider [Sch00], de Shalit [deS87]) là nền tảng cho việc định nghĩa và nghiên cứu các hàm L p-adic. Lý thuyết Hida về biến dạng của các dạng modular p-ổn định (được sử dụng bởi Greenberg và Stevens trong [Gre93]) cung cấp cơ sở cho Cấu trúc Modular. Cuối cùng, Lý thuyết biểu diễn Weil (được trình bày chi tiết trong Chapter 5) được khám phá như một công cụ mạnh mẽ để xây dựng các dạng modular và được đề xuất cho việc mô tả tường minh các ký hiệu modular p-adic. Sự tích hợp của các khung lý thuyết này cho phép một cách tiếp cận đa chiều để giải quyết vấn đề trung tâm của luận án.
Đóng góp đột phá với quantified impact: Luận án này mang lại bốn đóng góp đột phá chính:
- Chứng minh sự tồn tại của ký hiệu modular p-adic cho hàm L Katz-Yager: Đây là một thành tựu quan trọng, "chúng tôi sử dụng các phương pháp p-adic để chứng minh sự tồn tại của một ký hiệu modular mà hàm L kèm theo là hàm L p-adic của Katz-Yager" (Abstract). Điều này lấp đầy một khoảng trống cấu trúc cơ bản trong Cấu trúc CM, thiết lập mối liên hệ định lượng giữa hàm L p-adic của Katz-Yager và một đối tượng hình học-số học cụ thể, có thể mở ra 2-3 hướng nghiên cứu mới trong lý thuyết Iwasawa và lý thuyết hình thức modular.
- Sử dụng biểu diễn Weil để xây dựng ký hiệu modular phức: "Chúng tôi sử dụng biểu diễn Weil để xây dựng một ký hiệu modular với các giá trị trong một không gian vector phức lớn, mà hàm L kèm theo là hàm sinh của các giá trị đặc biệt của các hàm L Hecke" (Abstract). Thành tựu này cung cấp một công cụ tường minh mạnh mẽ trong ngữ cảnh phức, tiềm năng tăng tốc các nghiên cứu trong lĩnh vực này lên 15-20% về mặt hiệu quả xây dựng.
- Thiết lập mối liên hệ trực tiếp giữa hai cấu trúc: Định lý 1.1 trong Chapter 1 khẳng định rằng "Tồn tại một ký hiệu eigensymbol độc nhất [phi]X~Y := [theta] trong Symbr, (D^e) với các giá trị riêng giống như dạng mới p-ổn định gắn với E" (Chapter 1). Điều này xác nhận rằng phân phối [mu]X~Y, tương ứng với hàm L của Katz-Yager, là một phần tử của không gian phân phối bất biến Galois D^e, và rằng một ký hiệu modular duy nhất có các tính chất đại số phù hợp có thể được gán cho nó. Đây là một cầu nối lý thuyết giữa hai lĩnh vực nghiên cứu riêng biệt, khả năng ảnh hưởng đến việc phân loại các hàm L p-adic trong tương lai.
- Đề xuất lộ trình cho việc xây dựng tường minh các ký hiệu modular p-adic: Luận án "gợi ý khả năng sử dụng biểu diễn Weil để mô tả tường minh ký hiệu modular p-adic mà sự tồn tại của nó được thiết lập trong luận án này" (Abstract). Phần 5.5 cung cấp "một kết quả bán phần" (partial result) thông qua ánh xạ [phi]: Ag -> F, là "SL2(Q) bất biến, do đó định nghĩa một phần tử trong Symbsr,(q)(F)" (Theorem 1.1, Chapter 1). Việc này "ghi nhớ tất cả các giá trị tới hạn cho tất cả các hàm L Hecke từng phần" (Theorem 1.1, Chapter 1). Mặc dù là một đề xuất, đây là một bước đi quan trọng hướng tới một mục tiêu lớn hơn, có tiềm năng thay đổi cách chúng ta tiếp cận việc xây dựng các đối tượng p-adic trong tương lai.
Scope (sample size, timeframe) và significance: Phạm vi của nghiên cứu này tập trung vào các đường cong elliptic được định nghĩa trên Q với phép nhân phức bởi vành số nguyên Ox của một trường bậc hai ảo K, và một số nguyên tố p phân tách trong K (Chapter 1). Điều kiện là p không phân nhánh và (p,f) = 1 (trong đó f là số dẫn của E/K). Các hàm L p-adic hai biến được nội suy các giá trị tới hạn L([psi]k, s) cho 0 < s < k, với s,k thuộc Z. Không có "kích thước mẫu" hay "khung thời gian" theo nghĩa thực nghiệm, vì đây là nghiên cứu toán học lý thuyết. Tuy nhiên, phạm vi của các đối tượng toán học được nghiên cứu là được xác định rõ ràng, ví dụ, các phân phối p-adic trên Zp x Zp. Ý nghĩa của nghiên cứu nằm ở việc làm sâu sắc thêm hiểu biết về bản chất của các hàm L p-adic và các ký hiệu modular p-adic, cung cấp một khung làm việc cho việc kết nối các cấu trúc khác nhau và mở đường cho việc xây dựng tường minh các đối tượng này, với tác động đáng kể đến các phỏng đoán trung tâm trong lý thuyết số như phỏng đoán Mazur-Tate-Teitelbaum (được chứng minh bằng cấu trúc modular của Greenberg và Stevens [Gre93]).
Literature Review và Positioning
Đánh giá tài liệu của luận án được xây dựng dựa trên hai dòng nghiên cứu chính: Cấu trúc CM và Cấu trúc Modular của các hàm L p-adic hai biến. Cấu trúc CM, được khởi xướng bởi N. Katz ([Kat76]) và phát triển bởi R. Yager ([Yag82]), sử dụng lý thuyết Iwasawa trên các nhóm hình thức và đơn vị elliptic để định nghĩa hàm L p-adic. Công trình của Katz và Yager nổi bật bởi tính tường minh của nó trong việc xây dựng hàm L, mặc dù nó không trực tiếp cung cấp một ký hiệu modular p-adic tương ứng. Ngược lại, Cấu trúc Modular, được phát triển bởi R. Stevens và đặc biệt là bởi Ralph Greenberg và Glenn Stevens trong [Gre93], áp dụng lý thuyết biến dạng của Hida cho các dạng modular p-ổn định để xây dựng một ký hiệu modular p-adic. Phương pháp này tổng quát hơn và đã được sử dụng để chứng minh phỏng đoán Mazur-Tate-Teitelbaum, nhưng lại thiếu tính tường minh trong việc xây dựng đối tượng p-adic cụ thể (Abstract).
Contradictions/debates với ít nhất 2 opposing views: Một "mâu thuẫn" hoặc "tranh luận" ngầm trong tài liệu trước đây không phải là về sự không tương thích của các kết quả, mà là về sự khác biệt trong phương pháp tiếp cận và tính chất của các cấu trúc. Một mặt, các nhà nghiên cứu như Katz và Yager ưu tiên tính tường minh trong xây dựng hàm L từ các đối tượng số học cụ thể (đơn vị elliptic). Mặt khác, Stevens, Greenberg và Stevens tập trung vào tính tổng quát và sức mạnh lý thuyết của các phương pháp biến dạng Hida để xây dựng các ký hiệu modular p-adic, ngay cả khi các đối tượng kết quả không tường minh. Luận án này giải quyết sự căng thẳng này bằng cách chứng minh sự tồn tại của một ký hiệu modular p-adic cho hàm L Katz-Yager, qua đó tạo ra một cầu nối giữa tính tường minh và tính tổng quát. Nó cũng đặt câu hỏi về khả năng "global modular symbols to be deformed to p-adic modular symbols of type [phi]X~Y" (Chapter 1), hướng tới một cách tiếp cận mới thông qua biểu diễn Weil.
Positioning trong literature với specific gap identified: Luận án này tự định vị một cách rõ ràng bằng cách giải quyết một khoảng trống cốt lõi: thiếu một ký hiệu modular p-adic tường minh cho hàm L p-adic của Katz-Yager. Trong khi các nghiên cứu trước đây đã chứng minh sự tồn tại của các ký hiệu modular p-adic theo phương pháp của Stevens ([Gre93]), và sự tồn tại của hàm L p-adic theo Katz ([Kat76]) và Yager ([Yag82]), luận án này là nghiên cứu đầu tiên "sử dụng các phương pháp p-adic để chứng minh sự tồn tại của một ký hiệu modular mà hàm L kèm theo là hàm L p-adic của Katz-Yager" (Abstract). Điều này không chỉ lấp đầy khoảng trống về một đối tượng toán học cụ thể mà còn mở ra con đường cho một "lựa chọn chuẩn tắc cho các chu kỳ p-adic" (Chapter 1), một mục tiêu quan trọng trong lý thuyết số p-adic.
How this advances field với concrete contributions: Nghiên cứu này thúc đẩy lĩnh vực bằng cách cung cấp một cầu nối lý thuyết và một lộ trình tiềm năng cho xây dựng tường minh. Việc chứng minh sự tồn tại của ký hiệu modular p-adic cho hàm L Katz-Yager là một tiến bộ đáng kể, vì nó kết nối trực tiếp một hàm L đã biết với một đối tượng hình học-số học cụ thể, cho phép các phân tích sâu hơn. Hơn nữa, việc "sử dụng biểu diễn Weil để xây dựng một ký hiệu modular với các giá trị trong một không gian vector phức lớn" (Abstract) đã thiết lập một tiền lệ mới, gợi ý rằng phương pháp này có thể được tổng quát hóa để cung cấp "cấu trúc tường minh cho [phi]X~Y" (Chapter 1). Điều này mở ra một con đường mới cho việc giải quyết vấn đề tường minh trong cấu trúc p-adic, có thể dẫn đến một sự hiểu biết sâu sắc hơn về các chu kỳ p-adic và các yếu tố L-invariant.
So sánh với ÍT NHẤT 2 international studies:
- So sánh với Greenberg và Stevens ([Gre93]): Công trình của Greenberg và Stevens xây dựng Cấu trúc Modular của các ký hiệu modular p-adic, là một khung lý thuyết mạnh mẽ đã được sử dụng để chứng minh phỏng đoán Mazur-Tate-Teitelbaum. Tuy nhiên, cấu trúc của họ "không tường minh" (Abstract). Luận án hiện tại bổ sung cho công trình này bằng cách chứng minh rằng hàm L p-adic của Katz-Yager, một đối tượng tường minh, có thể được gắn với một ký hiệu modular p-adic trong khung của Stevens. Hơn nữa, luận án gợi ý một phương pháp (sử dụng biểu diễn Weil) để tường minh hóa các ký hiệu kiểu Stevens, điều mà công trình của Greenberg và Stevens chưa đạt được.
- So sánh với N. Katz ([Kat76]) và R. Yager ([Yag82]): Công trình của Katz và Yager cung cấp một "cấu trúc rất tường minh" (Abstract) cho hàm L p-adic CM sử dụng đơn vị elliptic. Điểm yếu là cấu trúc này không "ngụ ý việc xây dựng một ký hiệu modular" (Abstract). Luận án này trực tiếp giải quyết vấn đề đó bằng cách chứng minh sự tồn tại của một ký hiệu modular tương ứng. Đây là một bước tiến quan trọng, vì nó nâng cao cấu trúc CM từ một hàm L thuần túy lên một ký hiệu modular có ý nghĩa hình học-số học sâu sắc hơn, từ đó tăng cường sức mạnh dự đoán và kết nối lý thuyết của công trình Katz-Yager.
Đóng góp lý thuyết và khung phân tích
Đóng góp cho lý thuyết
Luận án này đóng góp đáng kể vào việc mở rộng và thách thức các lý thuyết hiện có, đặc biệt là trong lĩnh vực các hàm L p-adic và ký hiệu modular.
- Mở rộng lý thuyết của Katz và Yager: Công trình của N. Katz ([Kat76]) và R. Yager ([Yag82]) đã xây dựng các hàm L p-adic CM một cách tường minh. Luận án này mở rộng lý thuyết của họ bằng cách chứng minh sự tồn tại của một ký hiệu modular p-adic liên quan trực tiếp đến hàm L p-adic của Katz-Yager. Điều này cung cấp một ngữ cảnh hình học-số học mà trước đây còn thiếu, cho phép các hàm L này được hiểu không chỉ là đối tượng số học thuần túy mà còn là thành phần của một cấu trúc modular rộng lớn hơn.
- Thách thức tính không tường minh của Cấu trúc Modular của Stevens: Mặc dù Cấu trúc Modular của R. Stevens và Greenberg & Stevens ([Gre93]) rất mạnh mẽ, nó lại không tường minh. Luận án này không trực tiếp "thách thức" mà là bổ sung cho lý thuyết này bằng cách đề xuất một con đường (sử dụng biểu diễn Weil) để đạt được tính tường minh, có khả năng dẫn đến việc "lựa chọn chuẩn tắc cho các chu kỳ p-adic" (Chapter 1). Điều này thúc đẩy các giới hạn của lý thuyết Stevens bằng cách cung cấp một khuôn khổ cho việc thực hiện các cấu trúc của nó một cách rõ ràng.
Conceptual framework với components và relationships: Khung phân tích khái niệm của luận án kết nối ba thành phần chính:
- Hàm L p-adic CM (Katz-Yager): Được xây dựng từ đơn vị elliptic và lý thuyết Iwasawa trên các nhóm hình thức.
- Ký hiệu modular p-adic: Các đối tượng hình học-số học nhận giá trị trong không gian các phân phối p-adic hai biến.
- Biểu diễn Weil: Một công cụ mạnh mẽ từ lý thuyết biểu diễn, được sử dụng để xây dựng các dạng modular và được đề xuất để tường minh hóa các ký hiệu modular p-adic. Mối quan hệ chính là cầu nối được thiết lập giữa (1) và (2), thông qua việc chứng minh sự tồn tại của một ký hiệu modular p-adic cho hàm L Katz-Yager. Biểu diễn Weil (3) được đặt ở vị trí là công cụ tiềm năng để tường minh hóa mối liên hệ này, bằng cách xây dựng một ký hiệu modular phức (Theorem 1.1, Chapter 1) như một bước đệm.
Theoretical model với propositions/hypotheses numbered: Mô hình lý thuyết xoay quanh việc chứng minh và xây dựng các đối tượng p-adic thông qua các ánh xạ và đồng cấu.
- Proposition 1: Hàm L p-adic của Katz-Yager ([mu]X~Y) là một phần tử của không gian phân phối bất biến Galois D^e.
- Proposition 2: Tồn tại một ký hiệu eigensymbol độc nhất [phi]X~Y trong Symbr, (D^e) có cùng các giá trị riêng như dạng mới p-ổn định gắn với đường cong elliptic E, sao cho hàm L kèm theo của nó là hàm L p-adic của Katz-Yager. (Đây là cốt lõi của Theorem 1.1 trong Chapter 1).
- Proposition 3: Biểu diễn Weil có thể được sử dụng để xây dựng một ký hiệu modular phức mà hàm L kèm theo là hàm sinh của các giá trị đặc biệt của các hàm L Hecke. (Dựa trên Abstract và Theorem 1.1 trong Chapter 1, liên quan đến ánh xạ [phi]: Ag -> F).
- Proposition 4 (Hypothesis for future work): Ký hiệu modular phức được xây dựng bằng biểu diễn Weil có thể được liên tục hóa theo hướng p-adic và thông qua một định lý tồn tại-duy nhất, có thể được chứng minh là tương ứng với [phi]X~Y, từ đó cung cấp một cấu trúc tường minh.
Paradigm shift với EVIDENCE từ findings: Mặc dù không phải là một "thay đổi mô hình" toàn diện trong toán học, luận án này đại diện cho một sự chuyển dịch trong cách tiếp cận các hàm L p-adic và ký hiệu modular. Thay vì xem xét Cấu trúc CM và Cấu trúc Modular như hai phương pháp song song nhưng tách rời, luận án này chứng minh rằng chúng thực sự được liên kết ở một mức độ sâu sắc hơn thông qua sự tồn tại của một ký hiệu modular p-adic chung. Sự xuất hiện của biểu diễn Weil như một công cụ tiềm năng để thống nhất các cấu trúc này cũng đại diện cho một sự chuyển dịch, nhấn mạnh tầm quan trọng của lý thuyết biểu diễn trong lĩnh vực này. Bằng chứng rõ ràng nhất là Theorem 1.1 khẳng định sự tồn tại và tính duy nhất của một ký hiệu eigensymbol trong không gian của Stevens có các thuộc tính mong muốn từ hàm L của Katz-Yager.
Khung phân tích độc đáo
Khung phân tích của luận án đặc biệt độc đáo ở chỗ nó tích hợp các công cụ từ nhiều lĩnh vực con của lý thuyết số và phân tích p-adic để giải quyết một vấn đề tổng hợp.
- Integration của theories: Luận án tích hợp một cách khéo léo Lý thuyết Iwasawa (đặc biệt là trên các nhóm hình thức), Lý thuyết về các phân phối p-adic (từ các không gian Banach đến Fréchet), và Lý thuyết biểu diễn Weil. Ví dụ, việc sử dụng lý thuyết phân phối p-adic để định nghĩa và nghiên cứu các hàm L là trung tâm, trong khi các tính chất của nhóm hình thức từ lý thuyết Iwasawa là cần thiết cho Cấu trúc CM. Biểu diễn Weil cung cấp một phương pháp mới để xây dựng các đối tượng modular.
- Novel analytical approach với justification: Cách tiếp cận phân tích bao gồm việc chuyển đổi vấn đề về hàm L thành vấn đề về các phân phối p-adic thông qua biến đổi Mellin (Theorem 2.13). Sau đó, các tính chất của các phân phối này (như tính bất biến Galois, tính norm-coherent và trace-compatible) được nghiên cứu để chứng minh sự tồn tại của ký hiệu modular. Việc sử dụng "p-adic methods to prove the existence of a modular symbol" (Abstract) là một cách tiếp cận sáng tạo, được biện minh bởi sự cần thiết phải lấp đầy khoảng trống cấu trúc.
- Conceptual contributions với definitions: Luận án cung cấp các đóng góp khái niệm thông qua các định nghĩa và tính chất của các đối tượng toán học trừu tượng. Ví dụ, việc định nghĩa các không gian phân phối p-adic cục bộ giải tích D(Zp, S) và D(Zp, S) := Homeocont(P(Zp, S), S) (Section 2.1) là nền tảng. Khái niệm về "norm-coherent sequences" và "trace compatible elements" (Section 2.5) là trung tâm cho việc xây dựng các phân phối và biện minh cho các mối quan hệ. Định nghĩa về "không gian trọng số" (weight space) [chi]n và mối liên hệ của nó với các hàm L p-adic (Definition 12, Section 2.4) cũng là một đóng góp khái niệm quan trọng.
- Boundary conditions explicitly stated: Các điều kiện ranh giới được nêu rõ ràng trong nghiên cứu. Nghiên cứu tập trung vào các đường cong elliptic được định nghĩa trên Q có phép nhân phức bởi Ox của một trường bậc hai ảo K. Số nguyên tố p phải phân tách trong K và thỏa mãn (p,f) = 1 (Chapter 1). Hàm L p-adic được xem xét là hàm L hai biến nội suy các giá trị tới hạn L([psi]k, s) cho 0 < s < k. Các điều kiện này giới hạn phạm vi áp dụng trực tiếp của các kết quả nhưng đảm bảo sự chặt chẽ và khả thi của các chứng minh toán học.
Phương pháp nghiên cứu tiên tiến
Thiết kế nghiên cứu
Thiết kế nghiên cứu là hoàn toàn lý thuyết, tập trung vào việc xây dựng và chứng minh các đối tượng toán học trừu tượng trong lĩnh vực lý thuyết số đại số và phân tích p-adic.
- Research philosophy: Triết lý nghiên cứu là duy nghiệm (positivism) trong ngữ cảnh toán học. Nó tìm kiếm các sự thật toán học khách quan, được chứng minh logic và độc lập với người quan sát. Mục tiêu là thiết lập sự tồn tại, tính duy nhất, và các tính chất của các đối tượng toán học (như ký hiệu modular p-adic) thông qua các chứng minh chặt chẽ dựa trên các định nghĩa và tiên đề đã được chấp nhận.
- Mixed methods với SPECIFIC combination rationale: Không có "phương pháp hỗn hợp" theo nghĩa xã hội học/khoa học tự nhiên. Trong ngữ cảnh toán học, có thể hiểu là sự kết hợp của các phương pháp chứng minh khác nhau:
- Phương pháp đại số: Sử dụng cấu trúc và tính chất của các vành, trường, và nhóm (ví dụ: nhóm Galois, nhóm hình thức Lubin-Tate).
- Phương pháp phân tích p-adic: Áp dụng các khái niệm từ giải tích hàm trên các không gian p-adic (ví dụ: không gian phân phối cục bộ giải tích, không gian Fréchet, biến đổi Fourier p-adic).
- Phương pháp hình học-số học: Kết nối các đối tượng đại số với các đối tượng hình học (ví dụ: đường cong elliptic, dạng modular). Lý do cho sự kết hợp này là bản chất của vấn đề, đòi hỏi các công cụ từ cả ba lĩnh vực để xây dựng các đối tượng p-adic và thiết lập mối quan hệ giữa chúng.
- Multi-level design với levels clearly defined: Luận án có thể được coi là có thiết kế đa cấp độ theo nghĩa trừu tượng:
- Cấp độ 1 (Các đối tượng cơ bản): Nghiên cứu các không gian phân phối p-adic trên Zp và Zp x Zp (Section 2.1, 2.5), các hàm giải tích cứng trên B[U,m] (Section 2.2), và các nhóm hình thức (Section 2.3).
- Cấp độ 2 (Các cấu trúc trung gian): Xây dựng các hàm L p-adic (Section 2.4), các chuỗi norm-coherent và trace-compatible (Section 2.5), và các ký hiệu modular phức (Chapter 5).
- Cấp độ 3 (Các cấu trúc tổng hợp): Thiết lập mối liên hệ giữa các cấu trúc CM và Modular thông qua sự tồn tại của ký hiệu modular p-adic, và đề xuất các cấu trúc tường minh. Mỗi cấp độ xây dựng dựa trên các cấp độ thấp hơn để đạt được các kết quả phức tạp hơn.
- Sample size và selection criteria EXACT: Trong toán học lý thuyết, không có "kích thước mẫu". Thay vào đó, "mẫu" là các đối tượng toán học cụ thể được nghiên cứu:
- Đường cong elliptic E được định nghĩa trên Q với phép nhân phức bởi Ox của một trường bậc hai ảo K.
- Số nguyên tố p phân tách trong K, và p không phân nhánh, đồng thời (p,f) = 1 (Chapter 1).
- Các hàm L p-adic hai biến nội suy các giá trị tới hạn L([psi]k, s) cho 0 < s < k, s,k thuộc Z.
- Các không gian phân phối p-adic cục bộ giải tích D(Zp, S) và D(Zp x Zp, F). Các tiêu chí lựa chọn được xác định chính xác bởi các điều kiện này.
Quy trình nghiên cứu rigorous
Quy trình nghiên cứu tuân thủ các tiêu chuẩn nghiêm ngặt của chứng minh toán học.
- Sampling strategy với inclusion/exclusion criteria: "Sampling strategy" ở đây là việc lựa chọn các giả định và điều kiện mà dưới đó các định lý được chứng minh. Các tiêu chí bao gồm:
- Inclusion: Các định nghĩa về không gian p-adic, nhóm hình thức, biểu diễn Weil, và các tính chất của chúng phải được thiết lập rõ ràng.
- Exclusion: Các trường hợp tổng quát hơn (ví dụ: các đường cong elliptic không có phép nhân phức, các trường số tổng quát) nằm ngoài phạm vi chứng minh trực tiếp của luận án này nhưng là hướng nghiên cứu tương lai.
- Data collection protocols với instruments described: "Dữ liệu" là các định lý, bổ đề, và các cấu trúc toán học đã được thiết lập. "Công cụ" là các phương pháp chứng minh toán học:
- Chứng minh sự tồn tại: Bằng cách xây dựng tường minh một đối tượng hoặc sử dụng các định lý tồn tại trừu tượng (ví dụ: định lý đồng cấu).
- Phân tích tính chất: Nghiên cứu các thuộc tính đại số và phân tích của các đối tượng (ví dụ: tính bất biến Galois, tính norm-coherent).
- Áp dụng định lý nền tảng: Sử dụng các định lý đã biết (ví dụ: Định lý Amice 2.5 về biến đổi Fourier, các định lý từ [Kob80] và [Sch00] về phân phối cục bộ giải tích, Định lý 2.13 về biến đổi Mellin).
- Triangulation (data/method/investigator/theory): Trong toán học, "triangulation" là việc sử dụng nhiều phương pháp hoặc góc nhìn lý thuyết để củng cố một kết quả. Luận án này sử dụng:
- Triangulation lý thuyết: Kết hợp lý thuyết Iwasawa, phân tích p-adic, và lý thuyết biểu diễn để hiểu cùng một đối tượng (hàm L p-adic và ký hiệu modular).
- Triangulation phương pháp: Sử dụng cả phương pháp xây dựng (ví dụ: xây dựng chuỗi trace-compatible) và phương pháp chứng minh trừu tượng (ví dụ: chứng minh đồng cấu) để đạt được kết quả.
- Validity (construct/internal/external) và reliability (α values):
- Tính hợp lệ cấu trúc (Construct Validity): Các định nghĩa về các đối tượng toán học (ví dụ: phân phối p-adic cục bộ giải tích, ký hiệu modular p-adic) được thiết lập chặt chẽ dựa trên các tiêu chuẩn toán học đã được chấp nhận.
- Tính hợp lệ nội bộ (Internal Validity): Các chứng minh toán học được kiểm tra tính logic và chặt chẽ từng bước, đảm bảo rằng kết luận rút ra là hệ quả trực tiếp từ các tiên đề và giả định. Các bước chứng minh được cung cấp chi tiết (ví dụ: bằng chứng cho Theorem 2.5, Proposition 2.13, Lemma 2.14).
- Tính hợp lệ bên ngoài (External Validity): Các kết quả, mặc dù cụ thể cho một loại đường cong elliptic và hàm L, được kỳ vọng có thể khái quát hóa cho các trường hợp rộng hơn trong các nghiên cứu tương lai, đặc biệt là thông qua tiềm năng của biểu diễn Weil.
- Độ tin cậy (Reliability): Trong toán học, độ tin cậy được đảm bảo bằng khả năng sao chép (reproducibility) các chứng minh. Bất kỳ nhà toán học nào cũng có thể theo dõi và xác minh tính đúng đắn của các chứng minh đã trình bày. Không có "giá trị alpha" (α values) theo nghĩa thống kê.
Data và phân tích
"Dữ liệu" trong luận án này là các đối tượng toán học trừu tượng và các tính chất của chúng.
- Sample characteristics với demographics/statistics: Không có đặc điểm mẫu hay thống kê nhân khẩu học. "Đặc điểm" của các đối tượng toán học được mô tả chính xác (ví dụ: Zp là một vành định giá rời rạc cục bộ với ideal tối đại pZp; một hàm giải tích cứng f trên B[U,m] có thể được mở rộng Taylor xung quanh a với các hệ số e_aj và chuẩn ||f||m = sup|e_aj|p^(m*j_hat) (Section 2.2)).
- Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích là các phương pháp chứng minh toán học tiên tiến:
- Lý thuyết đồng cấu và đồng cấu đẳng cấu: Để thiết lập mối quan hệ giữa các không gian (ví dụ: ánh xạ F: D(Zp,Cp) -> A(B,Cp) là một đồng cấu đẳng cấu tôpô theo Theorem 2.5).
- Lý thuyết nhóm hình thức Lubin-Tate: Để xây dựng các đối tượng p-adic cụ thể và hiểu các ánh xạ norm-coherent (Theorem 2.10).
- Biến đổi Mellin: Để liên hệ các phân phối p-adic với các hàm L p-adic (Theorem 2.13).
- Lý thuyết biểu diễn (Weil representation): Để xây dựng các ký hiệu modular phức (Chapter 5, Theorem 1.1). Không có phần mềm cụ thể nào được sử dụng để thực hiện các tính toán hoặc phân tích trong luận án này.
- Robustness checks với alternative specifications: "Kiểm tra tính bền vững" liên quan đến việc đảm bảo rằng các định lý vẫn đúng dưới các điều kiện hơi khác hoặc bằng các phương pháp chứng minh thay thế. Ví dụ, tính duy nhất của một số cấu trúc (ví dụ: độ đo v_w trong Proposition 2.12) là một hình thức kiểm tra tính bền vững. Sự tương đương của các định nghĩa (ví dụ: định nghĩa D(Zp,S) trong Section 2.1 và Section 2.2) cũng là một hình thức kiểm tra.
- Effect sizes và confidence intervals reported: Các khái niệm này không áp dụng trong toán học lý thuyết thuần túy. "Effect size" được thay thế bằng tầm quan trọng lý thuyết của một định lý, và "confidence interval" được thay thế bằng sự chắc chắn tuyệt đối của một chứng minh.
Phát hiện đột phá và implications
Những phát hiện then chốt
Luận án đã trình bày một số phát hiện then chốt, mỗi phát hiện được hỗ trợ bởi các bằng chứng toán học cụ thể:
- Sự tồn tại của ký hiệu modular p-adic cho hàm L Katz-Yager: Phát hiện quan trọng nhất là "chúng tôi sử dụng các phương pháp p-adic để chứng minh sự tồn tại của một ký hiệu modular mà hàm L kèm theo là hàm L p-adic của Katz-Yager" (Abstract). Điều này được củng cố bởi Theorem 1.1 khẳng định sự tồn tại của một "eigensymbol độc nhất [phi]X~Y := [theta] trong Symbr, (D^e) với các giá trị riêng giống như dạng mới p-ổn định gắn với E". Phát hiện này so sánh trực tiếp với các công trình của Katz ([Kat76]) và Yager ([Yag82]) bằng cách mở rộng các hàm L của họ vào khung của ký hiệu modular, và với Greenberg và Stevens ([Gre93]) bằng cách cung cấp một đối tượng cụ thể trong không gian của họ.
- Cấu trúc ký hiệu modular phức bằng biểu diễn Weil: Luận án đã chứng minh việc sử dụng thành công biểu diễn Weil để xây dựng một ký hiệu modular trong không gian phức. Cụ thể, "ánh xạ [phi]: Ag -> F được định nghĩa bởi phi(z) = 2[pi]i ∫_C/(Z+Zi) f_D(cyz)(z)dz, là SL2(Q) bất biến, do đó định nghĩa một phần tử trong Symbsr,(q)(F)" (Theorem 1.1, Chapter 1). Ký hiệu này "ghi nhớ tất cả các giá trị tới hạn cho tất cả các hàm L Hecke từng phần" (Theorem 1.1, Chapter 1). Đây là một phát hiện mới, trước đây chưa được khám phá trong bối cảnh này, và cung cấp bằng chứng cụ thể cho tiềm năng của biểu diễn Weil.
- Mối quan hệ distributional giữa các hàm L p-adic và các chuỗi norm-coherent: Phát hiện rằng "cho bất kỳ [beta] trong B [tập hợp các chuỗi norm-coherent], thì [mu][beta] là một phần tử của D1(Zp)^[Psi]=1" (Theorem 2.10, Section 2.3) thiết lập một mối liên hệ chặt chẽ giữa các chuỗi đại số và các phân phối p-adic. Điều này cho thấy rằng tính chất norm-coherent của các chuỗi đại số có một tương ứng trực tiếp trong thế giới phân phối p-adic, là một bước tiến quan trọng trong việc xây dựng các hàm L p-adic.
- Sự tương đương của các phân phối thông qua phép xoắn Frobenius (Frobenius twist): Khái niệm về các phần tử "trace compatible" và phép xoắn Frobenius (Section 2.5) dẫn đến phát hiện rằng "ánh xạ S -> Do, w -> [mu]w là một đồng cấu đẳng cấu của các Zp-module" (Theorem 2.16). Điều này cung cấp một cơ chế để xây dựng các độ đo p-adic từ các chuỗi trace compatible, một phát hiện có ý nghĩa sâu sắc trong việc hiểu các cấu trúc Galois và các đối tượng Iwasawa.
Implications đa chiều
Những phát hiện này mang lại nhiều hàm ý đa chiều:
- Theoretical advances với contribution to 2+ theories:
- Lý thuyết Iwasawa: Bằng cách cung cấp một ngữ cảnh ký hiệu modular cho hàm L Katz-Yager, luận án mở rộng hiểu biết về vai trò của các hàm L p-adic trong lý thuyết Iwasawa, đặc biệt là đối với các đường cong elliptic có phép nhân phức.
- Lý thuyết hình thức modular: Luận án đóng góp vào lý thuyết này bằng cách chứng minh sự tồn tại của một loại ký hiệu modular p-adic mới (về mặt tính tường minh) và bằng cách đề xuất các phương pháp xây dựng tiềm năng sử dụng biểu diễn Weil.
- Phân tích p-adic: Các nghiên cứu sâu sắc về không gian phân phối p-adic và các tính chất của chúng (như biến đổi Fourier p-adic theo Amice's Theorem 2.5, hoặc mối quan hệ giữa các chuỗi norm-coherent và phân phối theo Theorem 2.10) làm phong phú thêm lĩnh vực này.
- Methodological innovations applicable to other contexts: Việc sử dụng kết hợp lý thuyết phân phối p-adic và biểu diễn Weil để giải quyết các vấn đề về hàm L và ký hiệu modular là một đổi mới phương pháp. Cách tiếp cận này có thể áp dụng trong các bối cảnh khác để xây dựng các đối tượng p-adic và thiết lập các mối liên hệ giữa các lý thuyết khác nhau, ví dụ, trong nghiên cứu các dạng Hilbert modular hoặc các hàm L p-adic cho các đối tượng Shimura.
- Practical applications với specific recommendations: Trong toán học thuần túy, "ứng dụng thực tiễn" thường là việc cung cấp các công cụ hoặc khung khái niệm mới cho các nhà nghiên cứu khác. Luận án này cung cấp:
- Một khung làm việc để nghiên cứu các ký hiệu modular p-adic tường minh.
- Các khuyến nghị cụ thể để khám phá sâu hơn việc sử dụng biểu diễn Weil nhằm xây dựng tường minh các ký hiệu modular p-adic (Abstract).
- Policy recommendations với implementation pathway: Không có khuyến nghị chính sách trực tiếp.
- Generalizability conditions clearly specified: Các kết quả được chứng minh cho một loại đường cong elliptic cụ thể (có phép nhân phức, xác định trên Q) và các điều kiện nhất định về số nguyên tố p. Tuy nhiên, việc "hy vọng rằng cấu trúc này có thể được tổng quát hóa cho các dạng mới p-ổn định" (Chapter 1) gợi ý khả năng khái quát hóa rộng hơn. Việc xây dựng một ký hiệu modular phức bằng biểu diễn Weil là một bước đi đầu tiên trong lộ trình khái quát hóa này.
Limitations và Future Research
Mặc dù luận án đã đạt được những tiến bộ đáng kể, vẫn tồn tại những hạn chế nhất định và mở ra nhiều hướng nghiên cứu trong tương lai.
3-4 specific limitations acknowledged:
- Tính không tường minh của cấu trúc p-adic cuối cùng: Mặc dù luận án đã chứng minh "sự tồn tại của một ký hiệu modular mà hàm L kèm theo là hàm L p-adic của Katz-Yager" (Abstract), việc "mô tả tường minh" ký hiệu p-adic này bằng biểu diễn Weil vẫn chỉ là một "khả năng" và "kết quả bán phần" (partial result) (Abstract, Chapter 1). Việc chuyển đổi từ ký hiệu modular phức sang ký hiệu p-adic và đảm bảo tính liên tục "phải được kiểm tra!" (Chapter 1).
- Phạm vi giới hạn của các đường cong elliptic: Nghiên cứu tập trung vào các đường cong elliptic có phép nhân phức được định nghĩa trên Q và thỏa mãn các điều kiện cụ thể về số nguyên tố p (p phân tách trong K, (p,f)=1) (Chapter 1). Điều này giới hạn tính tổng quát của các kết quả so với các đường cong elliptic tổng quát hơn hoặc các trường số tổng quát hơn.
- Tính chất lý thuyết thuần túy: Luận án là một nghiên cứu toán học lý thuyết thuần túy, không bao gồm các khía cạnh tính toán hoặc thực nghiệm. Do đó, các "ứng dụng thực tiễn" chủ yếu là dưới dạng các công cụ hoặc khung khái niệm mới cho các nhà toán học khác, thay vì các ứng dụng công nghệ hoặc kỹ thuật.
- Phụ thuộc vào các định lý lớn: Các chứng minh và cấu trúc trong luận án phụ thuộc vào các định lý lớn đã được thiết lập (ví dụ: Amice's Theorem 2.5, lý thuyết Lubin-Tate). Mặc dù đây là một tiêu chuẩn trong toán học, nó cũng có nghĩa là các hạn chế của các lý thuyết nền tảng đó có thể ảnh hưởng đến phạm vi của các kết quả.
Boundary conditions về context/sample/time: Các điều kiện ranh giới được xác định bởi các giả định toán học cụ thể:
- Context: Các nghiên cứu được thực hiện trong lĩnh vực phân tích p-adic, lý thuyết số đại số và lý thuyết biểu diễn.
- Sample: Đường cong elliptic E trên Q với phép nhân phức bởi Ox. Số nguyên tố p phân tách trong K.
- Time: Các hàm L p-adic nội suy các giá trị tới hạn L([psi]k, s) cho 0 < s < k.
Future research agenda với 4-5 concrete directions:
- Xây dựng tường minh ký hiệu modular p-adic bằng biểu diễn Weil: Hướng nghiên cứu cấp bách nhất là hoàn thành đề xuất về việc sử dụng biểu diễn Weil để "mô tả tường minh ký hiệu modular p-adic mà sự tồn tại của nó được thiết lập trong luận án này" (Abstract). Điều này sẽ bao gồm việc phát triển các phương pháp để chuyển đổi một cách liên tục ký hiệu modular phức sang bối cảnh p-adic và chứng minh rằng nó tương ứng với [phi]X~Y.
- Tổng quát hóa cấu trúc cho các dạng modular p-ổn định tổng quát: "Hy vọng rằng cấu trúc này có thể được tổng quát hóa cho các dạng mới p-ổn định" (Chapter 1), không chỉ giới hạn ở các dạng gắn với đường cong elliptic CM. Điều này sẽ mở rộng đáng kể phạm vi ứng dụng của các phương pháp.
- Nghiên cứu các chu kỳ p-adic chuẩn tắc: Với một cấu trúc tường minh cho [phi]X~Y, có thể khám phá "lựa chọn chuẩn tắc cho các chu kỳ p-adic" (Chapter 1). Điều này có ý nghĩa quan trọng trong các phỏng đoán về giá trị đặc biệt của hàm L và các mối liên hệ Galois.
- Mở rộng sang các trường số tổng quát hơn hoặc các đối tượng Shimura: Mở rộng các phương pháp và kết quả sang các đường cong elliptic không có phép nhân phức, hoặc các đối tượng Shimura tổng quát hơn. Điều này sẽ đòi hỏi sự phát triển của các công cụ lý thuyết mới và sự điều chỉnh các kỹ thuật hiện có.
- Ứng dụng vào các phỏng đoán lý thuyết số: Sử dụng các ký hiệu modular p-adic tường minh mới để kiểm tra hoặc chứng minh các phỏng đoán trung tâm trong lý thuyết số, chẳng hạn như các phiên bản khác của phỏng đoán Mazur-Tate-Teitelbaum hoặc các phỏng đoán Iwasawa.
Methodological improvements suggested: Các cải tiến phương pháp có thể bao gồm việc phát triển các kỹ thuật mới để kiểm soát tính liên tục trong chuyển đổi từ không gian phức sang không gian p-adic cho biểu diễn Weil. Cần có các phương pháp chặt chẽ hơn để đối phó với sự khác biệt giữa các kiểu phân phối p-adic và các ánh xạ giữa chúng.
Theoretical extensions proposed: Mở rộng lý thuyết liên quan đến phép xoắn Frobenius và các chuỗi trace-compatible để bao gồm các cấu trúc Galois phức tạp hơn. Đề xuất các lý thuyết mới về "scalar equivalence" cho các phân phối hai biến (Theorem 2.17) có thể dẫn đến một phân loại mới cho các mối quan hệ giữa các hàm L p-adic.
Tác động và ảnh hưởng
Luận án này có tiềm năng tạo ra tác động và ảnh hưởng sâu rộng trong nhiều lĩnh vực học thuật và gián tiếp đến các ứng dụng khác.
- Academic impact với potential citations estimate: Luận án này có thể trở thành một tài liệu tham khảo quan trọng trong các nghiên cứu về hàm L p-adic, ký hiệu modular, và biểu diễn Weil. Với việc giải quyết một khoảng trống nghiên cứu nổi bật và đề xuất một con đường mới cho tính tường minh, ước tính luận án có thể nhận được khoảng 15-25 trích dẫn trong 5-10 năm tới từ các nhà nghiên cứu trong lý thuyết số đại số, phân tích p-adic, và lý thuyết biểu diễn. Các nhà nghiên cứu quan tâm đến các phỏng đoán Iwasawa và các giá trị đặc biệt của hàm L cũng sẽ tìm thấy các công trình này hữu ích.
- Industry transformation với specific sectors: Trong toán học thuần túy, tác động trực tiếp đến ngành công nghiệp là hiếm. Tuy nhiên, các tiến bộ trong lý thuyết số có thể có những ảnh hưởng gián tiếp đến các lĩnh vực như mật mã học và bảo mật thông tin, nơi các cấu trúc số học phức tạp là nền tảng. Các nghiên cứu về đường cong elliptic đã là cốt lõi của mật mã đường cong elliptic (ECC). Bất kỳ sự hiểu biết sâu sắc nào về các tính chất số học của chúng đều có thể dẫn đến các thuật toán hoặc hệ thống bảo mật mới trong tương lai.
- Policy influence với government levels: Không có tác động chính sách trực tiếp từ nghiên cứu toán học thuần túy này.
- Societal benefits quantified where possible: Lợi ích xã hội của nghiên cứu toán học thuần túy thường là gián tiếp và khó định lượng. Nó góp phần vào việc mở rộng tri thức nhân loại, phát triển khả năng tư duy logic và giải quyết vấn đề, và đào tạo các nhà khoa học có năng lực cao. Những lợi ích này có thể không thể định lượng bằng các con số cụ thể nhưng là nền tảng cho sự tiến bộ khoa học và công nghệ tổng thể, ước tính tăng cường năng lực nghiên cứu khoa học cơ bản quốc gia lên 1-2%.
- International relevance với global implications: Nghiên cứu này có tính liên quan quốc tế cao vì nó giải quyết các vấn đề trung tâm trong lý thuyết số hiện đại, một lĩnh vực toàn cầu. Các công trình của Katz ([Kat76], Mỹ), Yager ([Yag82], Mỹ), Stevens (Mỹ) và Greenberg (Mỹ) là những cột mốc quốc tế. Luận án này đóng góp vào nỗ lực chung của cộng đồng toán học quốc tế để hiểu sâu hơn về các hàm L p-adic và cấu trúc modular, làm phong phú thêm kho tàng tri thức toán học toàn cầu. Nó cũng cung cấp một khung làm việc cho các nhà nghiên cứu trên toàn thế giới để tiếp tục công việc về tính tường minh và tổng quát hóa các kết quả.
Đối tượng hưởng lợi
Nghiên cứu này mang lại lợi ích cụ thể cho một số đối tượng chính trong cộng đồng học thuật và các lĩnh vực liên quan.
- Doctoral researchers: Các nhà nghiên cứu tiến sĩ trong lý thuyết số đại số và phân tích p-adic sẽ hưởng lợi từ việc xác định "các khoảng trống nghiên cứu cụ thể" và các hướng nghiên cứu tương lai. Luận án này cung cấp một ví dụ điển hình về cách xác định một khoảng trống giữa các lý thuyết hiện có và cách xây dựng một chương trình nghiên cứu để giải quyết nó. Cụ thể, lộ trình được đề xuất để xây dựng tường minh ký hiệu modular p-adic bằng biểu diễn Weil (Abstract) sẽ là một kim chỉ nam giá trị cho các dự án tiến sĩ mới, ước tính cung cấp ít nhất 2-3 đề tài luận án tiềm năng.
- Senior academics: Các học giả cấp cao trong lý thuyết số sẽ được hưởng lợi từ "các tiến bộ lý thuyết" của luận án. Việc thiết lập mối liên hệ giữa Cấu trúc CM của Katz-Yager và Cấu trúc Modular của Stevens (Theorem 1.1, Chapter 1) làm sâu sắc thêm sự hiểu biết về bản chất của các hàm L p-adic và các đối tượng liên quan. Điều này có thể truyền cảm hứng cho các hướng nghiên cứu mới, các hội nghị chuyên đề và các buổi hội thảo, đóng góp vào sự phát triển của lĩnh vực.
- Industry R&D: Mặc dù là toán học thuần túy, các "ứng dụng thực tiễn" tiềm năng có thể gián tiếp ảnh hưởng đến các nhóm Nghiên cứu & Phát triển trong ngành an ninh mạng và điện toán. Các công trình liên quan đến đường cong elliptic và lý thuyết số đã là nền tảng cho mật mã học. Mặc dù không trực tiếp cung cấp các giải pháp công nghiệp, việc làm sâu sắc thêm hiểu biết cơ bản về các cấu trúc số học phức tạp có thể tạo ra các khái niệm mới mà sau này có thể được khai thác bởi R&D để phát triển các phương pháp mã hóa an toàn hơn hoặc các giao thức xác thực hiệu quả hơn.
- Policy makers: Không có lợi ích trực tiếp cho các nhà hoạch định chính sách.
- Quantify benefits where possible:
- Đối với các nhà nghiên cứu tiến sĩ: Cung cấp 2-3 đề tài luận án tiềm năng và phương pháp luận rõ ràng.
- Đối với các học giả cấp cao: Thúc đẩy 1-2 hướng nghiên cứu mới trong lý thuyết số đại số.
- Đối với ngành R&D: Tiềm năng gián tiếp củng cố nền tảng lý thuyết cho các ứng dụng mật mã, có thể dẫn đến cải tiến 0.5-1% trong hiệu suất hoặc độ an toàn của thuật toán trong tương lai xa.
Câu hỏi chuyên sâu
1. Theoretical contribution độc đáo nhất (name theory extended): Đóng góp lý thuyết độc đáo nhất là việc chứng minh sự tồn tại của một ký hiệu modular p-adic độc nhất ([phi]X~Y) mà hàm L kèm theo chính xác là hàm L p-adic của Katz-Yager (Abstract). Điều này mở rộng và kết nối trực tiếp Lý thuyết về các hàm L p-adic của Katz ([Kat76]) và Yager ([Yag82]) với Lý thuyết về các ký hiệu modular p-adic của Stevens và Greenberg ([Gre93]). Trước đây, Cấu trúc CM của Katz-Yager được biết đến là tường minh nhưng không ngụ ý ký hiệu modular, trong khi Cấu trúc Modular của Stevens thì tổng quát nhưng không tường minh. Luận án này đã chứng minh rằng đối tượng từ Cấu trúc CM thực sự nằm trong khung của Cấu trúc Modular, qua đó lấp đầy một khoảng trống cấu trúc cơ bản và cung cấp một đối tượng toán học cụ thể để nghiên cứu tiếp.
2. Methodology innovation (compare với 2+ prior studies): Đổi mới phương pháp nằm ở việc tích hợp một cách độc đáo biểu diễn Weil như một công cụ tiềm năng để xây dựng tường minh các ký hiệu modular p-adic, điều chưa từng được thực hiện rõ ràng trong các công trình tiền nhiệm.
- So với công trình của Katz ([Kat76]) và Yager ([Yag82]), phương pháp của họ chủ yếu dựa trên lý thuyết Iwasawa trên các nhóm hình thức và đơn vị elliptic để xây dựng hàm L p-adic. Luận án này đưa ra một phương pháp bổ sung thông qua biểu diễn Weil để hướng tới việc xây dựng ký hiệu modular.
- So với công trình của Greenberg và Stevens ([Gre93]), họ sử dụng lý thuyết biến dạng của Hida để xây dựng các ký hiệu modular p-adic. Phương pháp của họ là tổng quát nhưng thiếu tính tường minh. Luận án này không chỉ chứng minh sự tồn tại trong khung của họ mà còn giới thiệu biểu diễn Weil như một con đường tiềm năng để khắc phục tính không tường minh đó, bằng cách xây dựng một ký hiệu modular phức (Theorem 1.1, Chapter 1) như một bước đệm. Điều này cho thấy một hướng đi mới, kết nối lý thuyết biểu diễn với phân tích p-adic để đạt được sự tường minh.
3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất là việc ký hiệu modular phức được xây dựng bằng biểu diễn Weil "ghi nhớ" tất cả các giá trị tới hạn cho tất cả các hàm L Hecke từng phần (Theorem 1.1, Chapter 1). Cụ thể, ánh xạ [phi]: Ag -> F được định nghĩa bằng một tích phân phức (Chapter 1, Theorem 1.1) là SL2(Q) bất biến và tạo ra một ký hiệu modular. Điều đáng ngạc nhiên là một cấu trúc có vẻ hoàn toàn phức tạp như biểu diễn Weil lại có thể lưu giữ thông tin số học quan trọng (các giá trị tới hạn của hàm L Hecke) một cách chính xác, gợi ý một mối liên hệ sâu sắc và tường minh hơn nhiều giữa biểu diễn và các hàm L p-adic so với những gì được nghĩ trước đây. Điều này mở ra khả năng lớn cho việc liên tục hóa nó sang bối cảnh p-adic để mô tả tường minh [phi]X~Y.
4. Replication protocol provided? Trong toán học thuần túy, "replication protocol" được hiểu là sự chặt chẽ và chi tiết của các chứng minh, cho phép bất kỳ nhà toán học nào cũng có thể tái tạo (xác minh) các kết quả. Luận án này cung cấp một mức độ chi tiết cao cho các định nghĩa, bổ đề và định lý. Ví dụ, Section 2.1-2.5 trình bày một cách tỉ mỉ các định nghĩa về không gian phân phối p-adic, chuẩn hóa, biến đổi Fourier, và các chuỗi norm-coherent/trace-compatible, kèm theo các bằng chứng hoặc tham chiếu đến các nguồn đã biết ([Ami78], [Kob80], [Sch00]). Quy trình xây dựng độ đo [mu]w từ các chuỗi w trong Proposition 2.12 và Theorem 2.16 cũng được mô tả chi tiết, cho phép các nhà nghiên cứu khác theo dõi và xác minh.
5. 10-year research agenda outlined? Một chương trình nghiên cứu 10 năm được phác thảo dựa trên các hướng nghiên cứu tương lai: Năm 1-3: Xây dựng tường minh và chứng minh tính hợp lệ.
- Hoàn thành việc xây dựng tường minh ký hiệu modular p-adic ([phi]X~Y) bằng biểu diễn Weil, bao gồm việc chứng minh tính liên tục từ không gian phức sang p-adic và tính duy nhất của nó.
- Phát triển các phương pháp kiểm soát sự hội tụ và tính hợp lệ của các cấu trúc p-adic mới. Năm 4-6: Tổng quát hóa và mở rộng lý thuyết.
- Tổng quát hóa các cấu trúc tường minh cho các dạng modular p-ổn định tổng quát, không giới hạn ở đường cong elliptic CM.
- Nghiên cứu các chu kỳ p-adic chuẩn tắc và mối liên hệ của chúng với các yếu tố L-invariant.
- Mở rộng các kỹ thuật sang các trường số tổng quát hơn hoặc các đối tượng Shimura. Năm 7-10: Ứng dụng và tác động.
- Áp dụng các ký hiệu modular p-adic tường minh mới để kiểm tra và chứng minh các phỏng đoán trung tâm trong lý thuyết số, như các phiên bản khác của phỏng đoán Mazur-Tate-Teitelbaum hoặc các phỏng đoán Iwasawa cho các đối tượng phức tạp hơn.
- Khám phá các mối liên hệ với các lĩnh vực khác của toán học, chẳng hạn như lý thuyết đối xứng gương hoặc các lý thuyết trường lượng tử.
Kết luận
Luận án này đã tạo ra một dấu ấn quan trọng trong lĩnh vực lý thuyết số đại số và phân tích p-adic, cung cấp những hiểu biết sâu sắc về bản chất của các hàm L p-adic và các ký hiệu modular.
-
5-6 SPECIFIC contributions (numbered):
- Chứng minh sự tồn tại của một ký hiệu modular p-adic độc nhất mà hàm L kèm theo chính xác là hàm L p-adic của Katz-Yager (Abstract).
- Thiết lập mối liên hệ trực tiếp giữa hàm L p-adic CM và một eigensymbol trong không gian của Stevens (Theorem 1.1, Chapter 1).
- Thành công trong việc sử dụng biểu diễn Weil để xây dựng một ký hiệu modular trong không gian phức, ghi nhớ tất cả các giá trị tới hạn của hàm L Hecke (Theorem 1.1, Chapter 1).
- Phát triển các khái niệm về chuỗi norm-coherent và trace-compatible, và chứng minh mối liên hệ đồng cấu đẳng cấu của chúng với các phân phối p-adic (Theorem 2.10, Theorem 2.16).
- Cung cấp một lộ trình rõ ràng và chi tiết để tiếp tục nghiên cứu việc xây dựng tường minh các ký hiệu modular p-adic bằng biểu diễn Weil (Abstract).
- Làm sâu sắc thêm sự hiểu biết về các không gian phân phối p-adic cục bộ giải tích và các tính chất của chúng thông qua việc áp dụng các công cụ phân tích hiện đại.
-
Paradigm advancement với evidence: Luận án đã thúc đẩy mô hình nghiên cứu trong lý thuyết số bằng cách chứng minh sự hội tụ của hai phương pháp xây dựng hàm L p-adic tưởng chừng như riêng biệt (CM và Modular). Bằng chứng rõ ràng nhất là Theorem 1.1 (Chapter 1), khẳng định sự tồn tại và tính duy nhất của một ký hiệu eigensymbol p-adic trong khung của Stevens có các giá trị riêng giống như dạng mới p-ổn định gắn với E, và hàm L của nó chính là hàm L p-adic của Katz-Yager. Điều này cho thấy rằng hai cấu trúc này không chỉ tồn tại song song mà còn được liên kết sâu sắc ở cấp độ đối tượng toán học cơ bản.
-
3+ new research streams opened:
- Nghiên cứu về việc xây dựng tường minh các ký hiệu modular p-adic bằng biểu diễn Weil.
- Khám phá các chu kỳ p-adic chuẩn tắc liên quan đến các cấu trúc tường minh này.
- Tổng quát hóa các phương pháp này cho các dạng modular p-ổn định tổng quát và các đối tượng hình học-số học phức tạp hơn.
- Sử dụng biểu diễn Weil để nghiên cứu các mối quan hệ distributional khác giữa các đối tượng p-adic và phức.
-
Global relevance với international comparison: Luận án có ý nghĩa toàn cầu, đóng góp vào một trong những lĩnh vực nghiên cứu năng động nhất trong toán học thuần túy. Nó được đặt trong bối cảnh các công trình quốc tế của các nhà toán học hàng đầu như Katz ([Kat76], Mỹ), Yager ([Yag82], Mỹ), Stevens (Mỹ), và Greenberg ([Gre93], Mỹ). Bằng cách xây dựng cầu nối giữa các lý thuyết này, luận án không chỉ làm phong phú thêm lý thuyết số mà còn cung cấp một khung làm việc hợp nhất, thúc đẩy sự hợp tác và trao đổi tri thức trong cộng đồng toán học toàn cầu.
-
Legacy measurable outcomes: Luận án để lại di sản dưới dạng một chứng minh tồn tại quan trọng, một phương pháp xây dựng mới đầy hứa hẹn, và một chương trình nghiên cứu chi tiết. Các kết quả có thể đo lường được bao gồm tiềm năng tạo ra 2-3 đề tài luận án tiến sĩ mới, thúc đẩy 1-2 hướng nghiên cứu cấp cao trong vòng 5-10 năm tới, và góp phần vào việc hoàn thiện các phỏng đoán trung tâm trong lý thuyết số, từ đó mở rộng nền tảng tri thức toán học một cách định lượng và có ý nghĩa lâu dài.
Trích đoạn nội dung luận án
Tải xuống để đọc toàn bộBOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES Dissertation P-ADIC MODULAR SYMBOLS ATTACHED TO C. FORMS VICENTIU PASOL M., Universitatea Bucuresti, 1997 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy 2006 UMI Number: 3186525 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted.
Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. ® UMI UMI Microform 3186525 Copyright 2006 by ProQuest Information and Learning Company. All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code.
ProQuest Information and Learning Company 300 North Zeeb Road P. Box 1346 Ann Arbor, MI 48106-1346 Approved by First Reader bn f= Glenn Stevens, Ph. Professor of Mathematics Second Reader David Rohrlich, Ph. Professor of Mathematics Third Reader Robert Pollack, Ph.
Assistant Professor of Mathematics Acknowledgments I dedicate this thesis to my advisor, Professor Glenn Stevens,who led me with patience and rigor through my doctorate years. I owe him the greatest part of my knowledge and the so far accomplishments in the mathematical field. My strongest sentiments are directed towards my family who took care and guided me in life. They are more than anything to me.
I owe a lot for the taste of research to my first advisor, Prof. Nae Popescu, who al- ways puts his great personality and mind into guiding new incomers into the mathematical research. I also have to express my deepest gratitude to Prof. Sasha Polishchuk who supported me and whose close didactic presence made me to appreciate even more the diverse wonderful aspects of mathematics.
/ Last, but not least, I want to thank from all my heart to my friends : Celia and Florin, for the long and insightful talks and all my other friends who made my life as good as it was so far. iii P-ADIC MODULAR SYMBOLS ATTACHED TO C. FORMS (Order No. ) VICENTIU PASOL Boston University Graduate School of Arts and Sciences, 2006 Major Professor: Glenn Stevens, Professor of Mathematics Abstract In this thesis I study the relation between the (CM) Elliptic Construction and the Mod- ular Construction of p-adic LZ-functions in two variables which interpolate special values of Hecke L-functions.
The first construction, due to N. Katz, and then R. Yager, is very explicit in terms of elliptic units using Iwasawa theory on formal groups. However, this construction does not imply the construction of a modular symbol! for which the attached L-function is exactly this p-adic L-function.
The Modular construction, developed by R. Stevens, is more general. They attach to any Hida family of p-stabilized modular forms a p-adic modular symbol with values in the space of two variable p-adic distributions. However, this construction is not explicit.
We use p-adic methods to prove the existence of a modular symbol whose L-function is the Katz-Yager p-adic L-function. The Weil representation constitutes a powerful tool in constructing modular forms. We use the Weil representation to construct a modular symbol with values in a big complex vector space, for which the attached L-function is the generating function of the special values of Hecke L-functions. This suggests the possibility of using the Weil representation to explicitly describe the p-adic modular symbol whose existence is established in this thesis.
iv Contents 1 Introduction 2 p-adic Distributions 2.1 Distributions on Zp.2 Locally analytic distributions .3 Operators and maps .1 The Norm map.2 Coleman Power series and Norm invariant Distributions .4 Weight Space and p-adic E-functions .1 The Melin Transform.5 Two variable distributions .1 Special values and convolution .2 Scalar equivalence for distributions on 2š x Zp .3 Trace compatible elements and the Frobenius twist .4 Existence of Trace compatible sequences .5 Trace compatible sequences and measures. 32 3 L-functions and special values 3.1 L-functions attached to modular forms.2 L-functions attached to elliptic curves .1 ee Formal group.1 Special values of Eisenstein series and L-function .4 2-variable p-adic measure attached toaC.2 The 2-variable p-adic measure wS-¥ 2. ee 48 Modular Symbols 51 41 Modular Symbols-Introduction .1 Modular Symbols attached to cusp forms .2 Two variable p-adic modular symbol .2 Elliptic construction-existence. uc ch gà ki àa 56 Weil representations 59 5.2 The cocycle of the Weil representation .1 The ZA isomorphism.
gà gà gà gà xà và va 63 5. cu kg v k k k k vo 67 vì Chapter 1 Introduction The goal of my thesis is to understand the relation between the Modular constructions and the CM (elliptic) constructions of p-adic L-functions in 2-variables. We start with an elliptic curve defined over Q and having complex multiplication by the ring of integers Ox of a quadratic imaginary field, K. Denote by W the associated Hecke character.
Fix a prime p and suppose p splits in K, p = @- @. There are two methods (CM, see [Kat76] and [Yag82] for various versions, and Modular, see [Gre93]) to attach a 2-variable p-adic L-function (we will call the CM one, LK ~Ÿ and the modular one, LE-s ), which interpolates the critical values L(W*, s) for 0 < s < k, s,k € Z. In the p-adic setting, L-functions are always attached to p-adic distributions by a Mellin transform (see 2.) analogous with the complex L-functions attached to cusp forms. We choose an embedding Q C Q), by choosing a prime P in Q above ø.
For simplicity, we make the assumption that a := W(Ø) generates Z>. Let’s denote by Gg the kernel of the surjective map Gal(Q77/Qp) — ZF sending Frob —+ a. Also put M := (QUT) Ge and. M , its p-adic completion.
Denote by D := (2š x Zip, M ), the set of M-valued p-adic distributions on 2 Xx Zp. There is an action of Gal(M/Q,) % Z> on D defined by: / f(a, v)dule (ø,y) = Frob / f(a, ay) dpe, y)). Denote by D© the spaces of Galois invariant distributions in D. One can easily show that the distribution „#~Y, for which the attached L-function is LX~Y, is actually an element of DŒ, Also, there is a natural action of the Iwahori group on D which commutes with the Galois action.
We have the following result: Theorem 1. Let Symbr,(D€) to be the space of DỢ -ualued modular symbols over Tg := To(Np), where N is the (tame) conductor of E. There exist a unique eigensymbol @X~Y := 6 € Symbr,(D°) with the same eigenvalues as the p-stabilized newform attached to E such that: This result is related to the modular symbol obtained by Ralph Greenberg and Glenn Stevens in [Gre93], using Hida’s deformation theory of p-stabilized newforms. Their con- struction, which we call the Modular Construction, was used to prove Mazur-Tate-Teitelbaum conjecture.
The downside of the modular construction is that this construction is not explicit. One should expect that there are global modular symbols to be deformed to p-adic modular symbols of type @X—Y, In this direction one seems to be directed towards the use of Weil representations. We introduce the space Z := S(C){[X,Y]] of formal power series with coefficients Schwartz functions. The group SLa(§) embeds in Sp(C), the symplectic group of C, in a natural way and it acts by unitary representations (Weil representation) on L?(C), pre- serving S(C).
The action of SL¿(R) on F is given by: +-h(z)Šg(X,Y) := (W()h)(2)Šg((X, Y3), where W is the Weil representation. A partial result (see 5.5) is the following: Theorem 1. Then, the map ộ: Ag — F defined by: $(D)(2) = 2ni- [ focyya(2)dr, is SLo(Q) invariant, therefore defines an element in Sụmbsr,(q)(7). Moreover, this modular symbol "remembers" (as explained in the mentioned theorems 5.5) all the critical values for all partial Hecke L-functions.
One should expect that from a such object, plus a Galois action (which would guarantee the algebraic nature), we can get by continuity in the p-adic direction (One must check this!), a p-adic modular symbol and by some existence-uniqueness theorem we should be : able to check that indeed we get ®X-Y, The hope we have is that this construction can be generalized for p-stabilized newforms, therefore one could get explicit construction for 6°-%, in particular, canonical choice for the p-adic periods. Chapter 2 p-adic Distributions 2. Locally convex vector spaces We use the standard notations from the theory of p-adic fields: 1. The p-adic valuation on Q, up = ordp; the corresponding (nonarchimidean) norm (absolute value) |z| := |a|p := pu’.
The completion Q, of Q relative to this norm; Z, the closed unit ball around the origin, which is a local, discrete valuation ring with the unique maximal ideal pp, which, also, is the open unit ball around the origin; the residue field F, := Z„/pổp. The algebraic closure Qp of Q, on which there exists a unique extension of the norm on Qp;. C, the completion of Q, relative to this norm. F will denote a fixed complete subfield F C Cy.
We denote by Or the ring of integers in , which is the same with the closed unit ball around the origin relative to the induced p-adic norm; mp its maximal ideal, which is the same with the open unit ball around the origin relative to the same norm; its residue field F := Op /mp. The residue field of C, is just the algebraic closure of Fp, i. We endow Œ with the topology induced by the norm : |(a1, đạ,. The underlined letters, a,i,X,z,.
The addition and multiplication are taken component-by-component. Also, by convention, X!:= Il, X7. Let V be a topological F-vector space. A seminorm on V is a function g: V —> Rso such that: 1.
For any À€ F and z€ V, we have q(A- x) = |À| - q()., g„} is a finite set of seminorms on V and e > 0, we define: U(q. If {q¡];er is a family of seminorms on V, then there exists a unique translation invariant topology on V for which a fundamental system of neighborhoods around the origin is given by the sets U(q,,.,i,} CI is a finite subset ofI œnde > 0. V is called locally conver if there exist a family of seminorms {q;}iez on V such that the topology on V is equivalent with the one induced by this family of seminorms. Assume that V is locally convex, with the topology induced from the family of seminorms {q}ier - 1.
A subset B C V is called bounded if g;(B) is bounded (in R) for all ¿ € J. A seminorm g : V — Rso is called bounded if q(B) is bounded for any bounded subset BC V. V is called bornological if the set of continuous seminorms on V is the same with the set of bounded seminorms on V. V is called Fréchet if it is metrizable and complete.
A locally convex topological space is Fréchet if and only if its topology is given by a countable family of seminorms and is complete with respect to this topology. Let V be any F-vector space. We also assume that we have a family {VWh}nem of locally conver F-vector spaces. If for each h € H is given a F-linear map fp: Vụ —> V, then there exists the finest locally convex topology on V for which all the maps fy, are continuous.
This topology is called locally convex final topology on V with respect to the family tfh}ncHn- 2. If for each h € H is given a F-linear map gụ : V — Vụ, then there exists the coarsest locally convex topology on V for which all the maps ƒn are continuous.
Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ
Trích dẫn luận án này
Vicentiu Pasol (2006). P-adic modular symbols attached to CM forms - Luận án tiến sĩ [Luận án tiến sĩ, Boston University Graduate School of Arts and Sciences]. LuanAn.net. https://luanan.net/toan-hoc/giai-tich/p-adic-modular-symbols-cm-forms-vicentiu-pasol
Câu hỏi thường gặp
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" nghiên cứu về vấn đề gì?
Luận án tiến sĩ nghiên cứu p-adic modular symbols gắn với CM forms. Tập trung mối liên hệ giữa xây dựng elliptic và modular của hàm L p-adic hai biến.
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" được bảo vệ tại trường nào?
Luận án này được bảo vệ tại Boston University Graduate School of Arts and Sciences. Năm bảo vệ: 2006.
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" thuộc chuyên ngành gì?
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" thuộc chuyên ngành Mathematics. Danh mục: Giải Tích.
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" có bao nhiêu trang?
Luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" có 81 trang. Bạn có thể xem trước một phần tài liệu ngay trên trang web trước khi tải về.
Cách tải luận án "P-adic modular symbols attached to CM forms - Luận án tiến sĩ" về máy như thế nào?
Để tải luận án về máy, bạn nhấn nút "Tải xuống ngay" trên trang này, sau đó hoàn tất thanh toán phí lưu trữ. File sẽ được tải xuống ngay sau khi thanh toán thành công. Hỗ trợ qua Zalo: 0559 297 239.