Algebraic Geometry 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 …

Classes Of Analytic Functions Defined By Salagean Derivative Operator Associated With Neutrosophic Generalized Poisson Distribution, Soliu O. Opeyemi Okunola, Olushola Adeyemo, Sayo A. Abidemi Gbangbala, Folorunso I. Isola Akinwale

Neutrosophic Systems with Applications

This study introduces and analyses new subclasses of analytic functions by applying the Salagean derivative operator to the Neutrosophic Generalized Poisson Distribution (NGPD) series. We develop a model where the mean parameter is treated as an interval or set to account for indeterminacy in complex systems. By employing Stirling numbers of the second kind and decreasing factorials, we derive necessary and sufficient coefficient inequalities and inclusion relations for these new subclasses. Numerical results and graphical illustrations demonstrate the sensitivity of these functions to orientation and the neutrosophic parameter, providing a framework for applications in fields like medical imaging and network …

Toward The Salmon Prize: A Computational Certificate For The M5, M6, And M9 Equation Families Of Σ4(P3 × P3 × P3), John Trevino

Theatre Faculty Publications

We present a computational certificate for three families of explicit polyno- mial equations whose zero locus contains the fourth secant variety σ4(P3×P3×P3) inside P63. The three families are: 192 degree-5 Strassen commutation equa- tions (M5); 160 degree-6 equations lifted from the Bates–Oeding generators of σ4(P2 × P2 × P3) via the Landsberg–Manivel–Friedland theorem (M6); and 64 degree-9 Ottaviani 9 × 9 determinant equations (M9). All 416 generators are explicit polynomials in the coordinate ring Z[Zijk | i, j, k ∈ {0, 1, 2, 3}]. We verify by exact integer arithmetic that every generator vanishes on rank-4 test tensors (six independent …

Parameterized Polynomial Systems: Monodromy, Sparse Polynomials, And Solutions, Julianne Barnhart

All Dissertations

The lift of a loop in the base space of a branched cover to the cover induces a permutation of points in a fibre. The monodromy group of the branched cover is the permutation group generated by all such permutations. When loops are restricted to a particular subset of the base space, the corresponding permutation group induced by these loops is the restricted monodromy group. Monodromy groups encode structure and symmetries of many enumerative problems. We describe the relationship between the restricted monodromy group and the monodromy group of the original branched cover. Our main result is a local-to-global property: …

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 …

Geovig And Purevig: Geometry-Aware Architectures For Efficient Computer Vision, Omar Ismail

Theses and Dissertations (Comprehensive)

Deploying deep learning models for medical image analysis on mobile devices requires a balance between inference latency, memory footprint, and delineating anatomical boundaries with high accuracy. While Convolutional Neural Networks (CNNs) and mobile Vision Transformers (ViTs) offer efficiency, they often struggle to model the irregular, non-local geometric structures inherent in biological tissues without incurring prohibitive computational costs. In this thesis, we introduce GeoViG (Geometric Vision Graph), an architecture that bridges the gap between efficient grid-based processing and explicit Geometric Deep Learning. GeoViG introduces a novel transition from high-resolution pixel grids to low-resolution dynamic graphs via a SpreadEdgePool operator, a geometry-aware …

Arrangements Of N Planes Resulting In One Bounded Tetrahedral Chamber, Ava Knight

Williams Honors College, Honors Research Projects

This paper investigates the combinatorial geometry of plane arrangements in three-dimensional space, focusing on configurations that produce exactly one bounded tetrahedral chamber. We define T(n) as the number of face-combinatorial equivalence classes of arrangements of n planes in ℝ³ containing exactly one bounded tetrahedral chamber. Known values — T(3) = 0, T(4) = 1, and T(5) = 2 — are established through direct construction, while T(6) remains an open problem. This paper contributes experimental evidence toward resolving T(6) by systematically extending the two valid 5-plane arrangements and verifying, through a plane removal argument, that each yields a valid plane configuration …

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 …

Growth Mindset In The Mathematics Classroom: Studying The Effects Of A Growth Mindset Intervention On High School Students In A Geometry Classroom, Katelyn Strauss

Mathematics Graduate Theses

Having a growth mindset is crucial to being successful in a mathematics classroom. However, many students believe themselves to be either “mathematics people” or “not mathematics people”. When students believe they are not a mathematics person, they are far less likely to engage in material where they face struggles, and thus they miss out on valuable learning. A review of the literature has show that students have been able to shift their mindset from fixed to growth through a series of interventions. I used a unit in Geometry to see how a growth mindset intervention would affect the mindset of …

(Si15-022) Five Efficient Cryptography Authentication Schemes With Functional Relation On General Spaces, L. Sreenivasulu Reddy, S. Lakshmisri

Applications and Applied Mathematics: An International Journal (AAM)

This work addresses the growing demand for diversification in cryptographic schemes to secure communication. This work proposes a novel suite of algorithms, including two block ciphers (TPBlock and TAP-Block), two stream ciphers (TP-Stream and TAP-Stream), and a zero-knowledge proof scheme (F-zero knowledge proof). All schemes leverage functional relations defined over the real number space with a dimension greater than one for encryption, decryption, and key generation, offering an alternative to the number-theoretical aspects and algebraic structures commonly used in existing schemes. The main goal of this work is to introduce and propose these five novel cryptographic schemes to provide authentication …

Certified Approximation Algorithms Of Algebraic Curves, Michael Byrd Jr.

All Dissertations

One of the fundamental problems in mathematics is to determine the set of solutions to a system of equations. In algebraic geometry, the equations studied are polynomials, and the solution set is called an algebraic variety. For single variable polynomials of degree less than five, the roots can be determined exactly using algebraic methods, but for polynomials of degree five or higher, numerical methods are required. When using numerical methods, it is important to know when the computed approximation is indeed a correct solution, which leads to the idea of a certified algorithm. An algorithm is said to be …

Certified Computation Of Julia Sets Via Numerical Methods, Hannah Kaufman

All Theses

The chaotic and fractal nature of Julia sets makes them difficult to graph. This research aims to provide graphical approximations of Julia sets with known and guaranteed levels of accuracy. We implement three methods to approximate Julia sets with c values chosen from the main cardioid of the Mandelbrot set. Each method utilizes different properties of these Julia sets. The exclusion method makes use of the fact that a Julia set of this type is topologically a circle. Attracting and repelling fixed points are used to find a region on the interior of the Julia set and a region on …

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 …

Computer Vision In Soccer: Yolov11 Analytics Engine For Quantifying Game Strategy, Connor S. Maurer

Data Science Undergraduate Honors Theses

Single-shot object detection capabilities significantly reduce computational overhead for real-time computer vision in sports analytics at 60 FPS. YOLO11’s lightweight CNN gives promising accuracy while meeting the low-latency demand of dynamic soccer matches. As data-driven approaches take over the sport of soccer, efficient player tracking systems become critical for informing coach’s strategies. I prototype the ETL (Extract, Transform, Load) process of data collected from a single- shot detection program and evaluate its viability for estimating player fatigue. YOLO11 detects players, the ball, and other characteristics, with the output transformed by homography to estimate the positions in the real world. These …

Navigating Geometry With Interactive Lessons: A Collection Of Resources In Geogebra That Address Frequently Held Misconceptions, Sara Vance

Honors Program: Senior Projects (Public)

Nearly every high school student in the United States is required to take a geometry class, and for many, it’s unlike any math class they’ve taken before. Additionally, there are certain topics with which past and present geometry students alike tend to struggle. This project was created to address these issues; my goal is that these materials will help students better understand these topics and clear up their frequently held misconceptions about geometry. This project was supported by interviews I conducted with veteran high school geometry teachers with over 75 years of teaching math between them.

This collection of interactive …

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 …

The Computational Algebra Of Conformal Blocks, Casey B. Hill

Theses and Dissertations--Mathematics

Conformal blocks are objects in quantum field theory that arise from conformal trans- formations, which are symmetries that preserve angles but not length. This aspect of conformal field theory has various interactions with algebraic geometry.

In this dissertation, we explore the underlying algebra and geometry of spaces and algebras of conformal blocks over SLn. We then use this information along with techniques from combinatorial commutative algebra, algebraic geometry, and representation theory to find a presentation of the algebra of SL4-conformal blocks. With this presentation, we then use computational methods to learn about some of the geometric properties of this algebra.

A Bibliographic And Topic Modeling Analysis Of The P-Adic Theory Literature Using Latent Dirichlet Allocation, Humberto Llinás, Ismael Gutiérrez, Anselmo Torresblanca, Javier De La Hoz, Brian Llinás

Computer Science Faculty Publications

P-adic analysis, introduced by Kurt Hensel in the early 20th century, has developed into a fundamental area of mathematical research with broad applications in number theory, algebraic geometry, and mathematical physics. This study aims to examine the thematic evolution and scholarly impact of p-adic research through a comprehensive topic modeling and bibliometric analysis. Using classical bibliometric techniques (e.g., performance analysis, co-authorship, and co-citation networks) combined with Latent Dirichlet Allocation (LDA), we analyzed 7388 peer-reviewed documents published between 1965 and 2024. The computational workflow was conducted using R (version 4.4.1) and VOSviewer (version 1.6.20), which enabled the identification of 20 distinct …

A Question Of Transparency: Solutions For Fermi Questions, March 2025, John Adam

Mathematics & Statistics Faculty Publications

Question 1: Why is it easier to see through rain than fog?

Start thinking about this by imagining a fixed volume (V) of water being dispersed into, say, N identical droplets of diameter d. Surface area and volume considerations should lead to the answer in terms of V and d.

Solution to Question 1: N = VI(πd³/6) = 6V/πd³ ≈ 2V/d³.

The cross-sectional area A of each drop is πd²/4 ≈ 3d²/4, so the total area blocked off (assuming no overlapping drops—so this is an upper bound) is NA ≈ 1.5V/d, so the area blocked off is inversely proportional to …

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 …

Model-Free Organization Of Patient Reported Outcomes Data: Geometrical Rep-Resentation Of The Modified Compartmen-Talization Method, Manasi Sheth, N. Rao Chaganty

Mathematics & Statistics Faculty Publications

There is a recent advancement in the field of mathematics and statistics to understand the geometry or connectedness of the data due to the massive amounts of data being generated. The data provided for analyses are usually very large and need to be organized and minimized in order to make it more useful and meaningful. In biostatistics or medical field, it is important for patients to have access to high-quality, safe and effective and/ or efficacious medical products. It is quite necessary to ascertain that the patients and their care-partners stay at the center of the regulatory decision-making process. In …

A Question Of Transparency, John Adam

Mathematics & Statistics Faculty Publications

Question 1: Why is it easier to see through rain than fog?

Start thinking about this by imagining a fixed volume (V) of water being dispersed into, say, N identical droplets of diameter d. Surface area and volume considerations should lead to the answer in terms of V and d.

Question 2: (a) How "long" (in meters) might such a rain shower or fog bank be?

Hint: Suppose you are looking along a linear stack of S cubes with 1-m sides (through the rain or fog). Each cube contains N drops. If p is the visibility (i.e., the fraction of …

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 …

Deterministic Global 3d Fractal Cloud Model For Synthetic Scene Generation, Aaron M. Schinder, Shannon R. Young, Bryan J. Steward, Michael L. Dexter, Andrew Kondrath, Stephen Hinton, Ricardo Davila

Faculty Publications

This paper describes the creation of a fast, deterministic, 3D fractal cloud renderer for the AFIT Sensor and Scene Emulation Tool (ASSET). The renderer generates 3D clouds by ray marching through a volume and sampling the level-set of a fractal function. The fractal function is distorted by a displacement map, which is generated using horizontal wind data from a Global Forecast System (GFS) weather file. The vertical windspeed and relative humidity are used to mask the creation of clouds to match realistic large-scale weather patterns over the Earth. Small-scale detail is provided by the fractal functions which are tuned to …