# Masters Thesis

I defended my thesis, “Computational Verification of the Cone Conjecture”, in December 2018, and submitted all final edits in May 2019.

• Dr. Matthias Beck
• Dr. Serkan Hosten

Abstract:

The set of polyhedral pointed rational cones form a partially ordered set with respect to elementary additive extensions of certain type. This poset captures a global picture of the interaction of all possible rational cones with the integer lattice and, also, provides an alternative approach to another important poset, the poset of normal polytopes. One of the central conjectures in the field is the so called Cone Conjecture: the order on cones is the inclusion order. The conjecture has been proved only in dimensions up to 3. In this work we develop an algorithmic approach to the conjecture in higher dimensions. Namely, we study how often two specific types of cone extensions generate the chains of cones in dimensions 4 and 5, whose existence follows from the Cone Conjecture.

A naive expectation, explicitly expressed in a recently published paper by Dr. Gubeldaze, is that these special extensions suffice to generate the desired chains. This would prove the conjecture in general and was the basis of the proof of the 3-dimesional case. Our extensive computational experiments show that in many cases the desired chains are in fact generated, but there are cases when the chain generation process does not terminate in reasonable time. Moreover, the fast generation of the desired chains fails in an interesting way—the complexity of the involved cones, measured by the size of their Hilbert bases, grows roughly linearly in time, making it less and less likely that we have a terminating process. This phenomenon is not observed in dimension 3. Our computations can be done in arbitrary high dimensions. We make a heavy use of SAGE, an open-source mathematics software system, and Normaliz, a C++ package designed to compute the Hilbert bases of cones.

Full Text is below:

The actual latex code is hosted on github.

I took Graduate Algebra with Professor Matthias Beck in Spring 2017. These comprehensive notes were compiled using lecture notes and the textbook, David S. Dummit & Richard M. Foote, Abstract Algebra (3rd edition), Wiley 2004. [errata]

Disclaimer: my notes are meant to be a toolbox while doing proofs and studying/practicing the course in general. There may contain typos or mistakes. Please feel free to let me know if you find any errors!

Topics Covered:

• Polynomial rings,
• irreducibility criteria,
• Gröbner bases & Buchberger’s algorithm,
• field extensions,
• splitting fields,
• Galois groups,
• fundamental theorem of Galois theory,
• applications of Galois extensions,
• introduction to the polynomial method with applications in graph theory and incidence geometry.

# Notes: Modern Algebra II

I took Modern Algebra II with Professor Matthias Beck in Spring 2016. These comprehensive notes were compiled using lecture notes and the textbook, David S. Dummit & Richard M. Foote, Abstract Algebra (3rd edition), Wiley 2004. [errata]

Featured Image: Icosahedron and dodecahedron Duality
Credit: Images from Algebra: Abstract and Concrete by Frederick M. Goodman

Disclaimer: my notes are meant to be a toolbox while doing proofs and studying/practicing the course in general. There may contain typos or mistakes. Please feel free to let me know if you find any errors!

Topics Covered:

• Review of basic properties of groups and rings and their quotient structures and homomorphisms,
• group actions,
• Sylow’s theorems,
• principal ideal domains,
• unique factorization,
• Euclidean domains,
• polynomial rings,
• modules,
• field extensions,
• primitive roots,
• finite fields.

# Notes: Number Theory and Modern Algebra I

I took Modern Algebra I with Professor Matthias Beck in Fall 2015. These comprehensive notes were compiled using lecture notes and the textbooks,