Algebra Commons^™

Gauss Composition And Orthogonal Modular Forms On Binary Lattices, Haochen Wu

Dartmouth College Ph.D Dissertations

We revisit Gauss composition over a general base scheme, with a focus on orthogonal groups. We show that the Clifford and norm functors provide a discriminant-preserving equivalence of categories between binary quadratic modules and pseudoregular modules over quadratic algebras. This perspective synthesizes the constructions of Kneser and Wood, reconciling algebraic and geometric approaches and clarifying the role of orientations and the natural emergence of narrow class groups.

As an application, we restrict to lattices and show that binary orthogonal eigenforms correspond to Hecke characters. Using theta series, we show the explicit connection between Hilbert modular forms and orthogonal modular forms …

Non-Redundant Rovibrational Hamiltonians By Molien Generating Functions And Gröbner-Basis Reduction, Leandro Ajo

University Libraries Undergraduate Research Award

High-resolution molecular spectroscopy requires an effective Hamiltonian whose operator content is both complete, containing every term allowed by molecular symmetry and nonredundant, free of any algebraically dependent operators that would cause ill-conditioned parameter fits. Traditional derivations based on Van Vleck contact transformations satisfy neither criterion automatically. This paper develops a rigorous, algorithmic pipeline that guarantees both properties simultaneously. Starting from the permutation– inversion (PI) group GPI of a molecule (Longuet-Higgins, 1963), we apply Molien’s theorem (Molien, 1897) to the symplectic normal-coordinate representation to obtain the vibrational generating function Φvib(t); integrate over the Haar measure of SO(3) (Weyl, 1946) to obtain …

Catalan And Hyper-Catalan Numbers: Combinatorial Applications To Polynomial Equations, Leilani Natale

Williams Honors College, Honors Research Projects

In this paper, we study Catalan numbers and their generalization, hyper-Catalan numbers, and explore how these sequences arise naturally in the context of solving polynomial equations using infinite power series. We begin by introducing the Catalan numbers through their combinatorial interpretation as triangulations of convex polygons. Using this geometric definition, we derive a relation whose recursive structure leads to a quadratic functional equation. Interpreting this relation as a formal power series equation allows us to express solutions to quadratic equations as infinite power series whose coefficients are given by the Catalan numbers. This framework is then extended by allowing polygon …

Principal Quandles, Jesse Parrish

Electronic Theses and Dissertations

This thesis concerns principal quandles and, as a special case, Alexander quandles. A principal quandle is a coset quandle, Q(G,H, f), in which the subgroup H is trivial. If in addition the group G is abelian, then the coset quandle is called an Alexander quandle. The isomorphism types of Alexander quandles were classified [16], and some progress was made on describing the isomorphism types of principal quandles in [14] and [13]. The first part of this thesis applies the ideas used in Holmes’ paper to give a classification of the isomorphism types of principal quandles. The second …

A Theory Of Fundamental Strata For Twisted Formal Connections, Sorawit Viwanthananut

LSU Doctoral Dissertations

Let $G$ be a complex reductive group. A fundamental stratum for $G$ is a triple $(x,r,\beta)$ where $x$ is a point in the Bruhat-Tits building of $G$, $r$ is a nonnegative real number called depth of the stratum, and $\beta$ is a semistable functional on the Moy-Prasad filtration of $\fg$ associated to $x$ at level $r$. Fundamental strata were first introduced to classify admissible representations of a $p$-adic reductive group. More recently, Bremer and Sage have shown that fundamental strata play an important role in the geometric Langlands program and developed a theory of fundamental strata for $G$-connections. In this …

A Preliminary Study Of Hilbert–Kunz Functions: Coefficient Behavior In A Normal Affine Semigroup Ring, Jesus A. Mendiola Herrera

Theses and Dissertations

In 1890, David Hilbert published a set of notes on what now constitutes one of the bases of Commutative Algebra; his work would eventually influence the efforts of mathematicians like Ernst Kunz. In 1969, Ernst Kunz introduced a particular mapping regarding modules of regular local rings. His goal was to characterize Noetherian local rings of prime characteristic by computing the length of the composition series under Frobenius power transformations. In this thesis, the focus will be on stating the initial steps on finding the coefficients of the Hilbert-Kunz function of the normal affine semigroup ring of the form R = …

A Zariski-Nagata Theorem For Smooth Toric Surfaces, Jordan Vincent Barrett

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

The Affine Zariski-Nagata theorem is a classical result in commutative algebra that gives an expression for the n^th symbolic power of a radical ideal I in a polynomial ring over a field in terms of the n^th ordinary powers of the maximal ideals in [affine variety]_max(I). In this thesis we discuss a well-known projective analog of Zariski-Nagata and provide the necessary background on toric varieties to present a generalization of this result to toric surfaces. We conclude with a brief discussion about work toward characterizing which abstract toric varieties have smooth point fibers with …

Some Interpolation Problems In The Projective Plane, Lilah Estes

Mathematical Sciences Undergraduate Honors Theses

Given some set of r general points in the projective plane, we want to better understand: what is the smallest degree of any polynomial passing through the points m times? How many linearly independent equations of this degree pass through the points m times? The investigation of these questions, particularly for the case of m=3 and r< 16, motivates the development of several results. We translate Terracini's inductive argument, a tool for evaluating the expectedness of certain sets of double points, into a version which can be used for triple points, and prove that the argument holds. We compute the minimal graded free resolutions for the ideals corresponding to up to 15 points, for m up to 6, and we conjecture a connection between the expectedness of these ideals and what their resolutions look like. Further, we prove that this conjecture holds when m=1, and we either fully or partially prove that these ideals are …

Finite Posets As Prime Spectra Of Commutative Noetherian Rings, David T. Alkass

Rose-Hulman Undergraduate Mathematics Journal

We study finite partially ordered sets of prime ideals as found in commutative Noetherian rings. In doing so, we establish that these posets have a bipartite structure and devise a construction for finding ring spectra that are order-isomorphic to many such posets. Specifically, we prove that any finite complete bipartite graph is order-isomorphic to the spectrum of a ring of essentially finite type over the field of rational numbers. Furthermore, we prove that prime spectra of such rings can also depict any finite path or even cycle.

Affine Groups: A Functorial Perspective, Vladimir Khabaev

Honors Theses

A familiar construction associated to any commutative ringRwith1is its group of units, traditionally denoted by R^x= {u in R | uv = 1 for some v in R}. This is but one out of many ways to get a group from a ring. To see at least one other way, we need a mild change in perspective: units may instead be characterized as elements for which the linear transformation f(r) = u ⋅ r is an isomorphism of R as a module over itself. That is to say, R^x = GL(1, R …

Blow-Ups And Projectivized Toric Vector Bundles, Sara Church

Theses and Dissertations--Mathematics

This dissertation is set in the intersection of toric geometry, tropical geometry, and the theory of vector bundles. We focus on the geometry of projectivized toric vector bundles and their connections to Mori dream spaces, matroid theory, and tropical geometry. We generalize previous results on the quotient construction of Gonzalez, Hering, Payne, and Suss (GHPS) by introducing a new approach to describing the geometry of these bundles via associated blow-ups. Additionally, we examine tautological bundles arising from representable matroids and establish connections between their geometry and the wonderful compactification. Finally, we consider the case where Klyachko filtrations have maximal steps …

Betti Numbers Of Generic Ideals, Jason R. Howell

Electronic Theses & Dissertations (2024 - present)

We present results related to Betti numbers of so called generic ideals over a polynomial ring $T = \Bbbk[x_1, \ldots, x_n]$. For each $m$ define $T(m) = T/(x_{m+1}, \ldots, x_n)$ and for a homogeneous ideal $J$ we use the notation $J(m) = JT(m)$. Also we set $Q(m) = T(m)/J(m)$, and $L(m) = ann_{Q(m)}(x_m)$. The first main result is Theorem \ref{Long Exact Sequence} where we produce the following long exact sequence \begin{align*} \cdots \rightarrow &Tor_{k+1,j}^{T(m-1)}(Q(m-1),\Bbbk) \rightarrow Tor_{k-1,j+1}^{T(m-1)}(L(m),\Bbbk)_{j-1} \rightarrow Tor_{k,j}^{T(m)}(Q(m),\Bbbk) \rightarrow \\ &Tor_{k,j}^{T(m-1)}(Q(m-1),\Bbbk) \rightarrow Tor_{k-2,j-1}^{T(m-1)}(L(m),\Bbbk) \rightarrow \cdots. \end{align*} The second main result is Theorem \ref{Theorem F(j,m) equiv k(j,m)} where we explicitly describe …

Tasks For Learning Trigonometry, Sydnee Andreasen

All Graduate Reports and Creative Projects, Fall 2023 to Present

Many studies have been done using task-based learning within different mathematics courses. Within the field of trigonometry, task-based learning is lacking. The following research aimed to create engaging, mathematically rich tasks that meet the standards for the current trigonometry course at Utah State University and align with the State of Utah Core Standards for 7th through 12th grades. Four lessons were selected and developed based on the alignment of standards, the relevance to the remainder of the trigonometry course, and the relevance to courses beyond trigonometry. The four lessons that were chosen and developed were related to trigonometric ratios, graphing …

The Modular Generalized Springer Correspondence For The Symplectic Group, Joseph Dorta

LSU Doctoral Dissertations

The Modular Generalized Springer Correspondence (MGSC), as developed by Achar, Juteau, Henderson, and Riche, stands as a significant extension of the early groundwork laid by Lusztig's Springer Correspondence in characteristic zero which provided crucial insights into the representation theory of finite groups of Lie type. Building upon Lusztig's work, a generalized version of the Springer Correspondence was later formulated to encompass broader contexts.

In the realm of modular representation theory, Juteau's efforts gave rise to the Modular Springer Correspondence, offering a framework to explore the interplay between algebraic geometry and representation theory in positive characteristic. Achar, Juteau, Henderson, and Riche …

Spacetime Geometry Of Acoustics And Electromagnetism, Lucas Burns, Tatsuya Daniel, Stephon Alexander, Justin Dressel

Mathematics, Physics, and Computer Science Faculty Articles and Research

Both acoustics and electromagnetism represent measurable fields in terms of dynamical potential fields. Electromagnetic force-fields form a spacetime bivector that is represented by a dynamical energy–momentum 4-vector potential field. Acoustic pressure and velocity fields form an energy–momentum density 4-vector field that is represented by a dynamical action scalar potential field. Surprisingly, standard field theory analyses of spin angular momentum based on these traditional potential representations contradict recent experiments, which motivates a careful reassessment of both theories. We analyze extensions of both theories that use the full geometric structure of spacetime to respect essential symmetries enforced by vacuum wave propagation. The …

Auslander-Reiten Triangles On A Bounded Derived Category Of Constructible Complexes, Vishnu Prasad Sivaprasad

LSU Doctoral Dissertations

In this dissertation, concepts from homological algebra are used to study the existence of Auslander-Reiten triangles.

Auslander-Reiten triangles are closely related to representable functors, and the main theorem characterizes the existence of representable functors in a specific bounded derived category of constructible complexes.

Under certain boundedness conditions, a specific bounded derived category is shown to have Auslander-Reiten triangles.

Point Modules And Line Modules Of Certain Quadratic Quantum Projective Spaces, Jose E. Lozano

Mathematics Dissertations - Archive

During the past 36 years, some research in noncommutative algebra has been driven by attempts to classify AS-regular algebras of global dimension four. Such algebras are often considered to be noncommutative analogues of polynomial rings. In the 1980s, Artin, Tate, and Van den Bergh introduced a projective scheme that parametrizes the point modules over a graded algebra generated by elements of degree one. In 2002, Shelton and Vancliff introduced the concept of line scheme, which is a projective scheme that parametrizes line modules.

This dissertation is in two parts. In the first part, we consider a 1-parameter family of quadratic …

GröBner Bases With An Application To Tame Functions, Jessica D. Marconi

UNF Graduate Theses and Dissertations

Grobner bases are essential tools in algebraic geometry, used to simplify and solve systems of polynomial equations. These bases revolutionized computational methods in various branches of mathematics after being introduced in 1965 by Bruno Buchberger. This thesis explores the foundational concepts of Grobner bases, including their formation and properties. It also demonstrates their use in solving mathematical problems in algebraic geometry, including the ideal membership problem. As an application, we show how Grobner bases can be used to determine whether a polynomial mapping is tame. This concept is crucial for analyzing the topology near singular points and establishing whether a …

Unexpectedness Stratified By Codimension, Frank Zimmitti

Department of Mathematics: Dissertations, Theses, and Student Research

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore, and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose …

Unexpectedness Stratified By Codimension, Frank Zimmitti

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose N …

Interpolation Problems And The Characterization Of The Hilbert Function, Bryant Xie

Mathematical Sciences Undergraduate Honors Theses

In mathematics, it is often useful to approximate the values of functions that are either too awkward and difficult to evaluate or not readily differentiable or integrable. To approximate its values, we attempt to replace such functions with more well-behaving examples such as polynomials or trigonometric functions. Over the algebraically closed field C, a polynomial passing through r distinct points with multiplicities m1, ..., mr on the affine complex line in one variable is determined by its zeros and the vanishing conditions up to its mi − 1 derivative for each point. A natural question would then be to consider …

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 …

Invariants Of 3-Braid And 4-Braid Links, Mark Essa Sukaiti

Theses

In this study, we established a connection between the Chebyshev polynomial of the first kind and the Jones polynomial of generalized weaving knots of type W(3,n,m).
Through our analysis, we demonstrated that the coefficients of the Jones polynomial of weaving knots are essentially the Whitney numbers of Lucas lattices which allowed us to find an explicit formula for the Alexander polynomial of weaving knots of typeW(3,n).
In addition to confirming Fox’s trapezoidal conjecture, we also discussed the zeroes of the Alexander Polynomial of weaving knots of type W(3,n) as they relate to Hoste’s conjecture. In addition, …

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 …

Bridging The Mathematics Gap Through The Use Of Mathematical Apps, Ma. Louise Antonette N. De Las Penas, Debbie Marie B. Verzosa, Maria Alva Q. Aberin, Agnes D. Garciano, Juan Carlo F. Mallari, Jumela F. Sarmiento, Mark Anthony C. Tolentino

Mathematics Faculty Publications

During the COVID-19 pandemic, school campuses worldwide were forced to close, and students had to learn primarily from home. This sudden disruption is estimated to have caused significant learning loss among learners. This paper reports the use of mathematical applications (apps) to bridge the mathematical learning gaps in Grades 1 to 11 in the Philippines after the pandemic, as part of a project funded by a national government agency. The apps include those that strengthen foundational concepts in number and fraction sense in grade school mathematics, develop proving skills in geometry, promote mastery in algebraic and trigonometry through drill and …

Explorations In Well-Rounded Lattices, Tanis Nielsen

HMC Senior Theses

Lattices are discrete subgroups of Euclidean spaces. Analogously to vector spaces, they can be described as spans of collections of linearly independent vectors, but with integer (instead of real) coefficients. Lattices have many fascinating geometric properties and numerous applications, and lattice theory is a rich and active field of theoretical work. In this thesis, we present an introduction to the theory of Euclidean lattices, along with an overview of some major unsolved problems, such as sphere packing. We then describe several more specialized topics, including prior work on well-rounded ideal lattices and some preliminary results on the study of planar …

Elliptic Curves Over Finite Fields, Christopher S. Calger

Honors Theses

The goal of this thesis is to give an expository report on elliptic curves over finite fields. We begin by giving an overview of the necessary background in algebraic geometry to understand the definition of an elliptic curve. We then explore the general theory of elliptic curves over arbitrary fields, such as the group structure, isogenies, and the endomorphism ring. We then study elliptic curves over finite fields. We focus on the number of F_q-rational solutions, Tate modules, supersingular curves, and applications to elliptic curves over Q. In particular, we approach the topic largely through the use …

Toric Bundles As Mori Dream Spaces, Courtney George

Theses and Dissertations--Mathematics

A projective, normal variety is called a Mori dream space when its Cox ring is finitely generated. These spaces are desirable to have, as they behave nicely under the Minimal Model Program, but no complete classification of them yet exists. Some early work identified that all toric varieties are examples of Mori dream spaces, as their Cox rings are polynomial rings. Therefore, a natural next step is to investigate projectivized toric vector bundles. These spaces still carry much of the combinatorial data as toric varieties, but have more variable behavior that means that they aren't as straightforward as Mori dream …

A Cluster Structure On The Coordinate Ring Of Partial Flag Varieties, Fayadh Kadhem

LSU Doctoral Dissertations

The main goal of this dissertation is to show that the (multi-homogeneous) coordinate ring of a partial flag variety C[G/P_K^−] contains a cluster algebra for every semisimple complex algebraic group G. We use derivation properties and a canonical lifting map to prove that the cluster algebra structure A of the coordinate ring C[N_K] of a Schubert cell constructed by Goodearl and Yakimov can be lifted, in an explicit way, to a cluster structure \hat{A} living in the coordinate ring of the corresponding partial flag variety. Then we use a minimality condition to prove that the cluster algebra \hat{A} is equal …

Identifying Trace Affine Linear Sets Using Homotopy Continuation, Julianne Mckay

All Theses

We investigate how the coefficients of a sparse polynomial system influence the sum, or the trace, of its solutions. We discuss an extension of the classical trace test in numerical algebraic geometry to sparse polynomial systems. Two known methods for identifying a trace affine linear subset of the support of a sparse polynomial system use sparse resultants and polyhedral geometry, respectively. We introduce a new approach which provides more precise classifications of trace affine linear sets than was previously known. For this new approach, we developed software in Macaulay2.