Điểm:7

CSIDH - l máy phát điện lý tưởng

lá cờ cn

Tôi đang cố gắng nghiên cứu thuật toán CSIDH. Tôi có một số kiến ​​thức cơ bản về đường cong elip và tôi đã theo dõi các bài giảng của Andrew Sutherland (https://math.mit.edu/classes/18.783/2019/lectures.html) để hiểu các vành nội hình và hành động nhóm lớp cũng như cách chúng ta có thể áp dụng lý thuyết trên các đường cong phức tạp vào các đường cong trên một trường hữu hạn. Nền tảng của tôi về lý thuyết số không tốt lắm nên đây có thể chỉ là một vấn đề đơn giản.

Trong CSIDH (trang 13) có đề cập rằng chúng ta là lý tưởng chính $(l)\mathcal{O}$ (ở đâu $\mathcal{O}$ là một bậc trong trường bậc hai ảo) chia thành hai iđêan $\mathbb{l}$$\mathbb{\overline{l}}$ như trong $(l)\mathcal{O}= \mathbb{l}\mathbb{\overline{l}}$ cũng ở đâu $\mathbb{l}, \mathbb{\overline{l}}$ được tạo ra bởi $(l, \pi \pm 1)$.

Sử dụng phép nhân lý tưởng tôi nhận được $$ \mathbb{l}\mathbb{\overline{l}} =(l, \pi + 1)(l, \pi -1) = (l^2, l(\pi -1), l(\pi + 1), \pi^2-1) $$ tức là một phần tử $\alpha \in \mathbb{l}\mathbb{\overline{l}}$ nên có hình thức $$ \alpha = al^2+bl(\pi-1)+cl(\pi+1)+d(\pi^2-1), \{a,b,c,d\} \subseteq \mathcal{O } $$ Làm thế nào để tôi có được điều đó $\alpha = xl$ cho một số $x \in \mathcal{O}$? Có phải nó chỉ đơn giản là đơn giản hóa và sử dụng giả định rằng $\pi^2= 1 \mod l$ (tức là phương trình đặc trưng) bằng cách nào đó hoặc có một lý do phức tạp hơn?

Câu hỏi khác của tôi là chúng ta lấy nó ở đâu $\mathbb{l}$, $\mathbb{\overline{l}}$ do các phần tử đó sinh ra?

Cảm ơn bạn trước. Ngoài ra, việc chỉ ra một số tài nguyên tốt cũng sẽ hữu ích. Tôi đã tìm kiếm thông qua các bài báo được trích dẫn nhưng thật khó để tìm đúng nguồn.

Sam Jaques avatar
lá cờ us
Tôi sẽ thêm một câu hỏi tiếp theo: Trường bậc hai ảo đẳng cấu với $\mathbb{Q}[\sqrt{-p}]$; lý tưởng trong $\mathcal{O}_{\mathbb{Q}[\sqrt{-p}]}$ mà $\pi$ (nội hình Frobenius) là đẳng cấu với là gì?
lá cờ ne
@SamJaques Trong câu hỏi, $Ï$ là căn bậc hai của $-p$, không phải là nội hình Frobenius. Bằng phép nhân phức, Frobenius được xác định là một trong hai căn bậc hai của $-p$. Lý tưởng liên quan chỉ đơn giản là lý tưởng chính $Ï\mathcal{O}$.
Điểm:4
lá cờ ne

Để trả lời câu hỏi đầu tiên của bạn: nó đơn giản như vậy. Trình bày lại những gì bạn đã viết, nó đủ để kiểm tra rằng $l$ chia tất cả bốn máy phát điện: $l^2$, $l(Ï-1)$, $l(Ï+1)$$Ï^2-1$. Đó là điều hiển nhiên đối với ba người đầu tiên và đối với người cuối cùng, chỉ cần nhớ lại điều đó theo định nghĩa $Ï^2 = -p$, và rằng CSIDH rõ ràng buộc $l|(p+1)$. Điều này chứng tỏ rằng $(l) â (l,Ï-1)(l,Ï+1)$. Để chứng minh sự bao gồm khác, xem bên dưới.

Câu hỏi thứ hai của bạn về cơ bản là yêu cầu chứng minh rằng $l,\bar{l}$ là những lý tưởng chính. Một cách dễ dàng để làm như vậy là tính toán các chỉ tiêu của họ. định mức của $(l,Ï-1)$ là gcd của các chuẩn của các phần tử của nó. định mức của $l$$l^2$, và chuẩn của $Ï-1$$(Ï-1)(-Ï-1) = p+1$ (nhân với liên hợp). Bằng cách xây dựng $\gcd(l^2,p+1)=l$, Vì thế $(l,Ï-1)$ có định mức $l$. Nhưng mà $l$ là số nguyên tố nên $(l,Ï-1)$ phải là một lý tưởng chính.

Để kết luận, bạn đã biết rằng $l\bar{l}â(l)$, nhưng hiện tại bạn cũng đã biết định mức trên LHS và RHS là như nhau nên nhất thiết phải $l\bar{l}=(l)$, đến đơn vị.

honzaik avatar
lá cờ cn
cảm ơn nhiều. điều duy nhất tôi không chắc chắn là "chuẩn mực là gcd của các chuẩn mực của các phần tử của nó" đến từ đâu. Tôi đã tìm kiếm một chút và tôi chỉ tìm thấy một định lý rằng chuẩn của một lý tưởng trong $\mathcal{O_K}$ là gcd của chuẩn của tất cả các phần tử (không chỉ trình tạo).đây chỉ là trường hợp đặc biệt do đơn đặt hàng hay điều này áp dụng cho bất kỳ đơn đặt hàng nào? Một cách khác có thể là sử dụng $(l)|(l,\pi -1)(l,\pi +1) \implies N((l))|N((l,\pi -1))N(( l,\pi +1))$ và vì $N((l))=l^2$ nên cả hai đều có chuẩn $l$ hoặc một trong số chúng có chuẩn $1$, điều này sẽ mâu thuẫn phải không?
lá cờ ne
Rằng chuẩn mực của một lý tưởng là gcd chuẩn mực của các phần tử của nó là một trong những định nghĩa khả dĩ về chuẩn mực của một lý tưởng. Lý do tôi chỉ lấy gcd định mức của các trình tạo trong tính toán của mình là vì $n | N(a)$ và $n | N(b)$ ngụ ý $n | N(a+b)$. Như vậy, chỉ cần tìm thừa số chung của các bộ sinh là đủ để biết ước số chung của tất cả các phần tử.
lá cờ ne
Nhưng lập luận của bạn cũng có tác dụng, bằng cách quan sát rằng các iđêan liên hợp có cùng chuẩn.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.