• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Rigidity of Pham-Brieskorn Threefolds

Chitayat, Michael 02 May 2023 (has links)
Let $\bk$ be a field of characteristic zero. A Pham-Brieskorn ring is a $\bk$-algebra of the form $B_{a_0,\dots,a_n} = \bk[X_0,\dots,X_n] / \lb X_0^{a_0} + \cdots + X_n^{a_n} \rb$, where $n \geq 2$ and $a_0, \dots, a_n$ are positive integers. A ring $B$ is rigid if the only locally nilpotent derivation $D : B \to B$ is the zero derivation. Consider the following conjecture. \begin{conjnonumber}\label{PBConjectureAbstract} Let $n \geq 2$, and let $B_{a_0, \dots, a_n} = \bk[X_0, \dots, X_n] / \langle X_0^{a_0} + \cdots + X_n^{a_n} \rangle$ be a Pham-Brieskorn ring. If $\min\{a_0, \dots,a_n \} \geq 2$ and at most one element $i$ of $\{0,\dots ,n\}$ satisfies $a_i = 2$, then $B_{a_0, \dots, a_n}$ is rigid. \end{conjnonumber} The $n = 2$ case of the Conjecture is known to be true. In this thesis, we make progress towards solving the above conjecture. Our main results are: \begin{enumerate}[\rm(1)] \item For any $n \geq 3$, in order to prove the above conjecture, it suffices to prove rigidity of $B_{a_0, \dots, a_n}$ in the cases where $\bk = \Comp$ and $\cotype(a_0, \dots, a_n) = 0$. \item For any $n \geq 2$, $X = \Proj B_{a_0, \dots, a_n}$ is a well-formed quasismooth weighted complete intersection if and only if $\cotype(a_0, \dots, a_n) = 0$. \item When $n = 3$ and $\cotype(a_0, a_1, a_2, a_3) = 0$, $B_{a_0, a_1, a_2, a_3}$ is rigid, except possibly in the cases where, up to a permutation of the $a_i$, $(a_0, a_1, a_2, a_3) \in \{(2,3,4,12), (2,3,5,30)\}$. \item We summarize the list of 3-dimensional Pham-Brieskorn rings $B_{a_0, a_1, a_2, a_3}$ for which rigidity is known. It follows in particular that if $B_{2,3,4,12}$ and $B_{2,3,5,30}$ are rigid then the $n = 3$ case of the above conjecture is true. \end{enumerate} In addition to the above, we develop techniques for proving rigidity of rings in general; prove rigidity of many Pham-Brieskorn rings whose dimension is greater than 3; give simple examples of rational projective surfaces with quotient singularities that have an ample canonical divisor and prove that the members of a certain family of singular hypersurfaces are not rational.

Page generated in 0.0611 seconds