Mathematics Commons^™

On The Superabundance Of Singular Varieties In Positive Characteristic, Jake Kettinger

Department of Mathematics: Dissertations, Theses, and Student Research

The geproci property is a recent development in the world of geometry. We call a set of points Z\subseq\P_k^3 an (a,b)-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point P to a plane is a complete intersection of curves of degrees a and b. Examples known as grids have been known since 2011. Previously, the study of the geproci property has taken place within the characteristic 0 setting; prior to the work in this thesis, a procedure has been known for creating an (a,b)-geproci half-grid for 4\leq a\leq b, but it was not …

Brill--Noether Theory Via K3 Surfaces, Richard Haburcak

Dartmouth College Ph.D Dissertations

Brill--Noether theory studies the different projective embeddings that an algebraic curve admits. For a curve with a given projective embedding, we study the question of what other projective embeddings the curve can admit. Our techniques use curves on K3 surfaces. Lazarsfeld's proof of the Gieseker--Petri theorem solidified the role of K3 surfaces in the Brill--Noether theory of curves. In this thesis, we further the study of the Brill--Noether theory of curves on K3 surfaces.

We prove results concerning lifting line bundles from curves to K3 surfaces. Via an analysis of the stability of Lazarsfeld--Mukai bundles, we deduce a bounded version …

The Zariski-Riemann Space As A Universal Model For The Birational Geometry Of A Function Field, Giovan Battista Pignatti Morano Di Custoza

Dissertations, Theses, and Capstone Projects

Given a function field $K$ over an algebraically closed field $k$, we propose to use the Zariski-Riemann space $\ZR (K/k)$ of valuation rings as a universal model that governs the birational geometry of the field extension $K/k$. More specifically, we find an exact correspondence between ad-hoc collections of open subsets of $\ZR (K/k)$ ordered by quasi-refinements and the category of normal models of $K/k$ with morphisms the birational maps. We then introduce suitable Grothendieck topologies and we develop a sheaf theory on $\ZR (K/k)$ which induces, locally at once, the sheaf theory of each normal model. Conversely, given a sheaf …

Waring Rank And Apolarity Of Some Symmetric Polynomials, Max Brian Sullivan

Boise State University Theses and Dissertations

We examine lower bounds for the Waring rank for certain types of symmetric polynomials. The first are Schur polynomials, a symmetric polynomial indexed by integer partitions. We prove some results about the Waring rank of certain types of Schur polynomials, based on their integer partition. We also make some observations about the Waring rank in general for Schur polynomials, based on the shape of their Semistandard Young Tableaux. The second type of polynomials we refer to as a Power of a Fermat-type polynomial, or a PFT polynomial. This is a Fermat type (or power sum) polynomial over n variables with …

Towards A Generalization Of Fulton's Intersection Multiplicity Algorithm, Ryan Sandford

Electronic Thesis and Dissertation Repository

In this manuscript we generalize Fulton's bivariate intersection multiplicity algorithm to a partial intersection multiplicity algorithm in the n-variate setting. We extend this generalization of Fulton's algorithm to work at any point, rational or not, using the theory of regular chains. We implement these algorithms in Maple and provide experimental testing. The results indicate the proposed algorithm often outperforms the existing standard basis-free intersection multiplicity algorithm in Maple, typically by one to two orders of magnitude. Moreover, we also provide some examples where the proposed algorithm outperforms intersection multiplicity algorithms which rely on standard bases, indicating the proposed algorithm is …

Equivariant Smoothings Of Cusp Singularities, Angelica Simonetti

Doctoral Dissertations

Let $p \in X$ be the germ of a cusp singularity and let $\iota$ be an antisymplectic involution, that is an involution free on $X\setminus \{p\}$ and such that there exists a nowhere vanishing holomorphic 2-form $\Omega$ on $X\setminus \{p\}$ for which $\iota^*(\Omega)=-\Omega$. We prove that a sufficient condiition for such a singularity equipped with an antisymplectic involution to be equivariantly smoothable is the existence of a Looijenga (or anticanonical) pair $(Y,D)$ that admits an involution free on $Y\setminus D$ and that reverses the orientation of $D$.

From Mathematics To Medicine: A Practical Primer On Topological Data Analysis (Tda) And The Development Of Related Analytic Tools For The Functional Discovery Of Latent Structure In Fmri Data, Andrew Salch, Adam Regalski, Hassan Abdallah, Raviteja Suryadevara, Michael J. Catanzaro, Vaibhav A. Diwadkar

Mathematics Faculty Research Publications

fMRI is the preeminent method for collecting signals from the human brain in vivo, for using these signals in the service of functional discovery, and relating these discoveries to anatomical structure. Numerous computational and mathematical techniques have been deployed to extract information from the fMRI signal. Yet, the application of Topological Data Analyses (TDA) remain limited to certain sub-areas such as connectomics (that is, with summarized versions of fMRI data). While connectomics is a natural and important area of application of TDA, applications of TDA in the service of extracting structure from the (non-summarized) fMRI data itself are heretofore nonexistent. …

A Cone Conjecture For Log Calabi-Yau Surfaces, Jennifer Li

Doctoral Dissertations

In 1993, Morrison conjectured that the automorphism group of a Calabi-Yau 3-fold acts on its nef cone with a rational polyhedral fundamental domain. In this thesis, we prove a version of this conjecture for log Calabi-Yau surfaces. In particular, for a generic log Calabi-Yau surface with singular boundary, the monodromy group acts on the nef effective cone with a rational polyhedral fundamental domain. In addition, the automorphism group of the unique surface with a split mixed Hodge structure in each deformation type acts on the nef effective cone with a rational polyhedral fundamental domain. We also prove that, given a …

Zariski Geometries And Quantum Mechanics, Milan Zanussi

Boise State University Theses and Dissertations

Model theory is the study of mathematical structures in terms of the logical relationships they define between their constituent objects. The logical relationships defined by these structures can be used to define topologies on the underlying sets. These topological structures will serve as a generalization of the notion of the Zariski topology from classical algebraic geometry. We will adapt properties and theorems from classical algebraic geometry to our topological structure setting. We will isolate a specific class of structures, called Zariski geometries, and demonstrate the main classification theorem of such structures. We will construct some Zariski structures where the classification …

Dupin Submanifolds In Lie Sphere Geometry (Updated Version), Thomas E. Cecil, Shiing-Shen Chern

Mathematics Department Faculty Scholarship

A hypersurface M^n-1 in Euclidean space Eⁿ is proper Dupin if the number of distinct principal curvatures is constant on M^n-1, and each principal curvature function is constant along each leaf of its principal foliation. This paper was originally published in 1989 (see Comments below), and it develops a method for the local study of proper Dupin hypersurfaces in the context of Lie sphere geometry using moving frames. This method has been effective in obtaining several classification theorems of proper Dupin hypersurfaces since that time. This updated version of the paper contains the original exposition together …

Intrinsic Curvature For Schemes, Pat Lank

Mathematics & Statistics ETDs

This thesis develops an algebraic analog of psuedo-Riemannian geometry for relative schemes whose cotangent sheaf is finite locally free. It is a generalization of the algebraic differential calculus proposed by Dr. Ernst Kunz in an unpublished manuscript to the non-affine case. These analogs include the psuedo-Riemannian metric, Levi-Civit´a connection, curvature, and various existence theorems.

Classification Of Torsion Subgroups For Mordell Curves, Zachary Porat

Honors Theses

Elliptic curves are an interesting area of study in mathematics, laying at the intersection of algebra, geometry, and number theory. They are a powerful tool, having applications in everything from Andrew Wiles’ proof of Fermat’s Last Theorem to cybersecurity. In this paper, we first provide an introduction to elliptic curves by discussing their geometry and associated group structure. We then narrow our focus, further investigating the torsion subgroups of elliptic curves. In particular, we will examine two methods used to classify these subgroups. We finish by employing these methods to categorize the torsion subgroups for a specific family of elliptic …

Curving Towards Bézout: An Examination Of Plane Curves And Their Intersection, Camron Alexander Robey Cohen

Honors Papers

One area of interest in studying plane curves is intersection. Namely, given two plane curves, we are interested in understanding how they intersect. In this paper, we will build the machinery necessary to describe this intersection. Our discussion will include developing algebraic tools, describing how two curves intersect at a given point, and accounting for points at infinity by way of projective space. With all these tools, we will prove Bézout’s theorem, a robust description of the intersection between two curves relating the degrees of the defining polynomials to the number of points in the intersection.

Albert Forms, Quaternions, Schubert Varieties & Embeddability, Jasmin Omanovic

Electronic Thesis and Dissertation Repository

The origin of embedding problems can be understood as an effort to find some minimal datum which describes certain algebraic or geometric objects. In the algebraic theory of quadratic forms, Pfister forms are studied for a litany of powerful properties and representations which make them particularly interesting to study in terms of embeddability. A generalization of these properties is captured by the study of central simple algebras carrying involutions, where we may characterize the involution by the existence of particular elements in the algebra. Extending this idea even further, embeddings are just flags in the Grassmannian, meaning that their study …

Mirror Symmetry For Non-Abelian Landau-Ginzburg Models, Matthew Michael Williams

Theses and Dissertations

We consider Landau-Ginzburg models stemming from non-abelian groups comprised of non-diagonal symmetries, and we describe a rule for the mirror LG model. In particular, we present the non-abelian dual group G*, which serves as the appropriate choice of group for the mirror LG model. We also describe an explicit mirror map between the A-model and the B-model state spaces for two examples. Further, we prove that this mirror map is an isomorphism between the untwisted broad sectors and the narrow diagonal sectors in general.

On Orders Of Elliptic Curves Over Finite Fields, Yujin H. Kim, Jackson Bahr, Eric Neyman, Gregory Taylor

Rose-Hulman Undergraduate Mathematics Journal

In this work, we completely characterize by $j$-invariant the number of orders of elliptic curves over all finite fields $F_{p^r}$ using combinatorial arguments and elementary number theory. Whenever possible, we state and prove exactly which orders can be taken on.

Constructing Surfaces With (1/(K-2)^2)(1,K-3) Singularities, Liam Patrick Keenan

Lawrence University Honors Projects

We develop a procedure to construct complex algebraic surfaces which are stable, minimal, and of general type, possessing a T-singularity of the form (1/(k-2)²)(1,k-3).

Regulators On Higher Chow Groups, Muxi Li

Arts & Sciences Electronic Theses and Dissertations

There are two natural questions one can ask about the higher Chow group of number fields:

One is its torsion, the other one is its relation with the homology of GLn. For the first

question, based on some earlier work, the integral regulator on higher Chow complexes

introduced here can put a lot of earlier result on a firm ground. For the second question, we

give a counterexample to an earlier proof of the existence of linear representatives of higher

Chow groups of number fields.

Chapter 1 gives a general picture of the two problems we are talking about. Chapter …

A Computational Introduction To Elliptic And Hyperelliptic Curve Cryptography, Nicholas Wilcox

Honors Papers

At its core, cryptography relies on problems that are simple to construct but difficult to solve unless certain information (the “key”) is known. Many of these problems come from number theory and group theory. One method of obtaining groups from which to build cryptosystems is to define algebraic curves over finite fields and then derive a group structure from the set of points on those curves. This thesis serves as an exposition of Elliptic Curve Cryptography (ECC), preceded by a discussion of some basic cryptographic concepts and followed by a glance into one generalization of ECC: cryptosystems based on hyperelliptic …

Z2-Orbifolds Of Affine Vertex Algebras And W-Algebras, Masoumah Abdullah Al-Ali

Electronic Theses and Dissertations

Vertex algebras arose in conformal field theory and were first defined axiomatically by Borcherds in his famous proof of the Moonshine Conjecture in 1986. The orbifold construction is a standard way to construct new vertex algebras from old ones. Starting with a vertex algebra V and a group G of automorphisms, one considers the invariant subalgebra V^G (called G-orbifold of V), and its extensions. For example, the Moonshine vertex algebra arises as an extension of the Z₂-orbifold of the lattice vertex algebra associated to the Leech lattice.

In this thesis we consider two problems. First, …

Tropical Derivation Of Cohomology Ring Of Heavy/Light Hassett Spaces, Shiyue Li

HMC Senior Theses

The cohomology of moduli spaces of curves has been extensively studied in classical algebraic geometry. The emergent field of tropical geometry gives new views and combinatorial tools for treating these classical problems. In particular, we study the cohomology of heavy/light Hassett spaces, moduli spaces of heavy/light weighted stable curves, denoted as $\calm_{g, w}$ for a particular genus $g$ and a weight vector $w \in (0, 1]^n$ using tropical geometry. We survey and build on the work of \citet{Cavalieri2014}, which proved that tropical compactification is a \textit{wonderful} compactification of the complement of hyperplane arrangement for these heavy/light Hassett spaces. For $g …

A Journey To Fuzzy Rings, Brett T. Ernst

Electronic Theses and Dissertations

Enumerative geometry is a very old branch of algebraic geometry. In this thesis, we will describe several classical problems in enumerative geometry and their solutions in order to motivate the introduction of tropical geometry. Finally, fuzzy rings, a powerful algebraic framework for tropical and algebraic geometry is introduced.

Algorithms To Compute Characteristic Classes, Martin Helmer

Electronic Thesis and Dissertation Repository

In this thesis we develop several new algorithms to compute characteristics classes in a variety of settings. In addition to algorithms for the computation of the Euler characteristic, a classical topological invariant, we also give algorithms to compute the Segre class and Chern-Schwartz-MacPherson (CSM) class. These invariants can in turn be used to compute other common invariants such as the Chern-Fulton class (or the Chern class in smooth cases).

We begin with subschemes of a projective space over an algebraically closed field of characteristic zero. In this setting we give effective algorithms to compute the CSM class, Segre class and …

Investigations Into Non-Degenerate Quasihomogeneous Polynomials As Related To Fjrw Theory, Scott C. Mancuso

Theses and Dissertations

The motivation for this paper is a better understanding of the basic building blocks of FJRW theory. The basics of FJRW theory will be briefly outlined, but the majority of the paper will deal with certain multivariate polynomials which are the most fundamental building blocks in FJRW theory. We will first describe what is already known about these polynomials and then discuss several properties we proved as well as conjectures we disproved. We also introduce a new conjecture suggested by computer calculations performed as part of our investigation.

Boundary Divisors In The Moduli Space Of Stable Quintic Surfaces, Julie Rana

Doctoral Dissertations

I give a bound on which singularities may appear on KSBA stable surfaces for a wide range of topological invariants, and use this result to describe all stable numerical quintic surfaces, i.e. stable surfaces with K^2= 5, p_g=4, and q=0, whose unique non Du Val singularity is a Wahl singularity. Quintic surfaces are the simplest examples of surfaces of general type and the question of describing their moduli is a long-standing question in algebraic geometry. I then extend the deformation theory of Horikawa to the log setting in order to describe the boundary divisor of the moduli space of KSBA …

Intersection Number Of Plane Curves, Margaret E. Nichols

Honors Papers

In algebraic geometry, seemingly geometric problems can be solved using algebraic techniques. Some of the most basic geometric objects we can study are polynomial curves in the plane. In this paper we focus on the intersections of two curves. We address both the number of times two curves intersect at a given point, counting multiplicity (whatever that means), and the total number of intersections of the curves, again counting multiplicity. The former is known as the intersection number of the curves at the point. This concept, although geometrically motivated, can be described in algebraic terms; it is this relationship which …

Communal Partitions Of Integers, Darren B. Glass

Math Faculty Publications

There is a well-known formula due to Andrews that counts the number of incongruent triangles with integer sides and a fixed perimeter. In this note, we consider the analagous question counting the number of k-tuples of nonnegative integers none of which is more than 1/(k−1) of the sum of all the integers. We give an explicit function for the generating function which counts these k-tuples in the case where they are ordered, unordered, or partially ordered. Finally, we discuss the application to algebraic geometry which motivated this question.

Generalized Borcea-Voisin Construction, Jimmy Dillies

Department of Mathematical Sciences Faculty Publications

C. Voisin and C. Borcea have constructed mirror pairs of families of Calabi-Yau threefolds by taking the quotient of the product of an elliptic curve with a K3 surface endowed with a non-symplectic involution. In this paper, we generalize the construction of Borcea and Voisin to any prime order and build three and four dimensional Calabi-Yau orbifolds. We classify the topological types that are obtained and show that, in dimension 4, orbifolds built with an involution admit a crepant resolution and come in topological mirror pairs. We show that for odd primes, there are generically no minimal resolutions and the …

On Some Order 6 Non-Symplectic Automorphisms Of Elliptic K3 Surfaces, Jimmy J. Dillies

Department of Mathematical Sciences Faculty Publications

We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we determine the possible fixed loci and show that when the Picard lattice is fixed, K3 surfaces come in mirror pairs.

Strong Nonnegativity And Sums Of Squares On Real Varieties, Mohamed Omar, Brian Osserman

All HMC Faculty Publications and Research

Motivated by scheme theory, we introduce strong nonnegativity on real varieties, which has the property that a sum of squares is strongly nonnegative. We show that this algebraic property is equivalent to nonnegativity for nonsingular real varieties. Moreover, for singular varieties, we reprove and generalize obstructions of Gouveia and Netzer to the convergence of the theta body hierarchy of convex bodies approximating the convex hull of a real variety.