<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-09-23T20:22:52Z</responseDate><request verb="GetRecord" identifier="oai:www.repository.cam.ac.uk:1810/325273" metadataPrefix="uketd_dc">https://api.repository.cam.ac.uk/server/oai/request</request><GetRecord><record><header><identifier>oai:www.repository.cam.ac.uk:1810/325273</identifier><datestamp>2023-12-22T14:06:18Z</datestamp><setSpec>com_1810_213747</setSpec><setSpec>com_1810_256064</setSpec><setSpec>col_1810_213748</setSpec></header><metadata><uketd_dc:uketddc xmlns:uketd_dc="http://naca.central.cranfield.ac.uk/ethos-oai/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:uketdterms="http://naca.central.cranfield.ac.uk/ethos-oai/terms/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://naca.central.cranfield.ac.uk/ethos-oai/2.0/ http://naca.central.cranfield.ac.uk/ethos-oai/2.0/uketd_dc.xsd">
   <dc:title>Computing the Cassels-Tate Pairing for Jacobian Varieties of Genus Two Curves</dc:title>
   <dc:identifier xsi:type="dcterms:DOI">10.17863/CAM.72729</dc:identifier>
   <dc:creator>Yan, Jiali</dc:creator>
   <uketdterms:advisor>Fisher, Tom</uketdterms:advisor>
   <dcterms:abstract>Let J be the Jacobian variety of a genus two curve defined over a number field K. The main focus of this thesis is on computing the Cassels-Tate pairing on the 2-Selmer group of J.

We start by studying the Cassels-Tate pairing when J admits a Richelot 􏰑
isogeny φ : J → J. Suppose all points in J[2] are defined over K. We compute 􏰑􏰑
the Cassels-Tate pairing ⟨ , ⟩CT on Selφ􏰑(J)×Selφ􏰑(J) following the Weil pairing definition of the Cassels-Tate pairing.

We then study the pairing ⟨ , ⟩CT on Sel2(J) × Sel2(J) following the homogeneous space definition of the Cassels-Tate pairing. For ε,η ∈ Sel2(J), we compute ⟨ε,η⟩CT both in the case where all points in J[2] are defined over K and in the case where the twisted Kummer surface Kη has a K-rational point. In both cases, we give a computable formula for ⟨ε,η⟩CT and a practical algorithm for computation when K = Q.

In all cases, we calculate examples for which computing the Cassels-Tate pairing improves the rank bound of J obtained by carrying out standard de- scent calculations. We also give techniques to reduce the degree of the number field needed in the algorithm for computation.</dcterms:abstract>
   <uketdterms:institution>University of Cambridge</uketdterms:institution>
   <dcterms:issued>2021-03-31</dcterms:issued>
   <dc:type>Thesis</dc:type>
   <uketdterms:qualificationlevel>Doctoral</uketdterms:qualificationlevel>
   <uketdterms:qualificationname>Doctor of Philosophy (PhD)</uketdterms:qualificationname>
   <dc:language>eng</dc:language>
   <dcterms:isReferencedBy xsi:type="dcterms:URI">https://www.repository.cam.ac.uk/handle/1810/325273</dcterms:isReferencedBy>
   <dc:identifier xsi:type="dcterms:URI">https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/f7785500-5f49-4b73-aba6-58cddc64f6c1/download</dc:identifier>
   <uketdterms:checksum xsi:type="uketdterms:MD5">7b72b0518cd287707a651e982db5210a</uketdterms:checksum>
   <dcterms:license>https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/da1f8b48-8028-419b-9f6a-7562c548db32/download</dcterms:license>
   <uketdterms:checksum xsi:type="uketdterms:MD5">353adac0d1ebdfd65ab16480263c3c87</uketdterms:checksum>
   <dc:rights>https://www.rioxx.net/licenses/all-rights-reserved/</dc:rights>
   <dc:subject>Number Theory</dc:subject>
   <dc:subject>Cassels-Tate pairing</dc:subject>
   <dc:subject>rank bound</dc:subject>
   <dc:subject>genus two curves</dc:subject>
</uketd_dc:uketddc>
</metadata></record></GetRecord></OAI-PMH>