Portrait of Nick Meyer

Hi, I'm Nick Meyer

Nick Meyer

Assistant Professor of Mathematics at Winona State University

Mathematician, Educator, and Low-Dimensional Topologist

3- & 4-Manifolds Knot Theory Trisections Computational Topology Accessible STEM & LaTeX

I am an Assistant Professor of Mathematics at Winona State University specializing in low-dimensional topology, focusing on the geometric and algebraic topology of 3- and 4-manifolds. My research centers on knot theory in dimensions three and four, Heegaard splittings, and trisections of 4-manifolds, alongside computational topology for experimentation and visualization.

In the classroom, I emphasize conceptual understanding, mathematical reasoning, and student research mentorship. Alongside research and teaching, I am committed to advancing digital accessibility in mathematics, implementing best practices for accessible LaTeX documents, slide presentations, and barrier-free mathematical web content.

For more about my hobbies outside the classroom, see here.

Email Me My CV (PDF)

Calendar

Office Hours, Teaching Schedule, & Appointments

Office Hours Teaching Schedule Appointments

Education

Academic Background & Degrees

Low-Dimensional Topology Geometric Topology Algebraic Topology Knot Theory

MS in Mathematics

BS in Mathematics; Minor: Physics

Publications

Research Papers, Preprints, & Publications

We define a pants distance for knotted surfaces in 4-manifolds which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not surpass a theoretical bound in terms of the multisection genus, then the (4-manifold, surface) pair has a simple topology. Furthermore, we calculate the exact values of our invariants for many new examples such as the spun lens spaces. We provide a characterization of genus two quadrisections with distance at most six.

Extending Fibrations of the $3$-Torus and Applications to Torus Surgery in $4$-Manifolds

arXiv, Submitted. December 2025

Suppose that $W$ and $W’$ are smooth, compact, and oriented $4$-manifolds that are either diffeomorphic to $S^1$ times the exterior $E_Y(K)$ of a fibered knot $K$ in a closed, connected, orientable $3$-manifold $Y$, or are diffeomorphic to $\Sigma_{g,1}$ bundles over the $2$-torus with monodromy fixing the boundary of the fiber pointwise. If $f: \partial W’ \to \partial W$ is an orientation-preserving diffeomorphism of the $3$-torus boundaries, we have that $X = W \cup_f W’$ is a closed, oriented $4$-manifold that fibers over $S^1$. In particular, if $W’ = T^2 \times D^2$ and $W = S^1 \times E_Y(K)$, then our result shows that the result of doing torus surgery in $S^1\times Y$ along $S^1 \times K$ is a $4$-manifold that fibers over $S^1$. Furthermore, we extend work of Zentner by showing that the result of torus surgery along $S^1$ times the unknot $\mathcal{U}$ in $S^1 \times S^3$ is diffeomorphic to $S^1$ times a lens space.

Torus Surgery, Fibrations, Multisections, and Spun 4-Manifolds

ProQuest July 2024

A compact $n$-manifold $X$ is fibered if it is a fiber bundle where the fiber $F$ and base space $B$ are manifolds. Fibered manifolds are particularly nice, as they are essentially classified by their monodromy maps. Two common examples of 4-dimensional fibered manifolds are surface bundles over surfaces and 3-manifold bundles over the circle.

The main focus of this dissertation is to investigate fibered 4-manifolds whose boundaries are the 3-torus and how these manifolds glue together to give new closed, fibered 4-manifolds. In particular, suppose W is diffeomorphic to $S^1\times E_Y(K)$ where $Y$ is a closed, oriented 3-manifold and $K$ is a fibered knot in $Y$, or that $W$ is diffeomorphic to a $\Sigma_{g,1}$-bundle over the torus, and let $W’$ be defined similarly. If $f:\partial W’ \to \partial W$ is an orientation-preserving diffeomorphism of the $T^3$ -boundary, we have that $X = W \cup_f W’$ fibers over the circle. We also study spun 4-manifolds and construct 4-secting Morse 2-functions on these manifolds. Suppose that $Y$ is a compact, oriented, connected 3-manifold with connected boundary $F = \partial Y$ and that $f:F \times S^1 \to F \times S^1$ is an orientation-preserving diffeomorphism. Then, we show that the $f$-spin of $Y$ admits a $(2g - h; g)$ 4-section if $h \neq -1$ or if $h = 1$ and $f$ is isotopic to the identity, where $h$ is the genus of $F$ and $g$ is the Heegaard genus of $Y$. This generalizes the work of Meier on trisections of spun 4-manifolds and of Kegel and Schmäschke on trisections of $4$-dimensional open book decompositions.

Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted. We determine the minimal crossing numbers of nonorientable unknotted surfaces in $S^4$, proving that $c(\mathcal{P}^{n,m}) = \max\{1,|n-m|\}$, where $\mathcal{P}^{n,m}$ denotes the connected sum of $n$ unknotted projective planes with normal Euler number $+2$ and $m$ unknotted projective planes with normal Euler number $-2$. In addition, we convert Yoshikawa’s table of knotted surface ch-diagrams to tri-plane diagrams, finding the minimal bridge number for each surface in the table and providing upper bounds for the crossing numbers.

Students Advised

Graduate Research, Theses, & Mentorship
Interested in research? Read the Undergraduate Research Onboarding Guide

advising students mentorship

Parker Smiley

University of Central Missouri January 2025 – May 2026

Master’s Thesis: Vanishing Obstructions to Sliceness of Weaving Links
Independent Study: Topology II (Algebraic Topology)
Connect: LinkedIn Profile

Bethany Harms

University of Central Missouri January 2026 – May 2026

Master’s Project: Knot and Link Polynomials

Technology

Tools, Languages, and Computational Environments for Mathematics & Education

Python & SageMath

Scientific & Symbolic Math

Primary language and computational system for mathematical research, symbolic algebra, and topological experimentation with NumPy, SymPy, and Matplotlib.

Python SageMath SymPy NumPy

Jupyter & JupyterLite

Interactive Notebooks & Teaching

Client-side WebAssembly environment running at jupyter.nickmeyer.phd providing zero-install interactive notebooks for student coursework.

JupyterLite WebAssembly Pyodide Desmos

LaTeX

Mathematical Typesetting & Accessibility

Mathematical publishing workflow using LuaLaTeX and ltx-talk for research papers and slides, implementing best practices for accessible LaTeX, TikZ diagrams, and tagged PDFs.

LuaLaTeX ltx-talk TikZ Tagged PDF

Obsidian

Knowledge Base & Notes

Research vault and portable plain-text authoring system interlinking topology ideas, seminar notes, and syllabi via MathJax.

Obsidian Markdown MathJax

Hugo & Web (Go / JS)

Static Architecture & Interactivity

Static site generation with Go modules and custom Toha theme engineering, coupled with lightweight vanilla JavaScript for dynamic UI behavior.

Hugo (Extended) Golang JavaScript HTML5

MacBook Air & Homebrew

Workstation & Toolchain

Daily driver Apple MacBook Air with language runtimes, TeX Live, and developer utilities deterministically provisioned via Homebrew and Mise.

MacBook Air Homebrew Mise Git / GitHub

Service

Professional Service, Committees, & Academic Community

Peer Review Committees Academic Service Community Engagement

Reviewer for Algebraic & Geometric Topology

Algebraic & Geometric Topology December 2025 – Present

Serves as a peer reviewer for Algebraic & Geometric Topology, contributing to the evaluation and advancement of research in low-dimensional topology and related fields.

Member of MAA Committee for Minority Participation in Mathematics (CMPM)

Mathematical Association of America July 2025 – June 2028

Member of the Mathematical Association of America CMPM, supporting national efforts to advance diversity, equity, and inclusion in mathematics.

Vice Chair of Missouri Section of the MAA

Assisted the Chair in overseeing section activities.

Selected Talks

Conference Presentations, Colloquia, & Seminar Talks

Telling the Warp from the Weft — Fibering and Surgery in Dimension 4

MAA North Central Section Meeting, University of Minnesota — Morris, Morris, MN October 2026

Torus surgery provides a flexible way to construct new 4-manifolds, but it generally destroys geometric structures present before surgery. In this talk, we study when fibrations over the circle survive torus gluings. We show that if two compact oriented 4-manifolds are diffeomorphic to $S^1\times E_Y(K)$ for a fibered knot $K$, or more generally are $\Sigma_{g,1}$-bundles over $T^2$, then any orientation-preserving gluing of their $T^3$ boundaries produces a 4-manifold that fibers over $S^1$. The key ingredient is the flexibility of fibrations of $T^3$. We discuss applications to torus surgery, including generalized Fintushel–Stern knot surgery.

Slides.

Telling the Warp from the Weft — Fibering and Surgery in Dimension 4

University of Arkansas Topology Seminar March 2026

Torus surgery is a fundamental operation in $4$-manifold topology, generalizing $3$-dimensional Dehn surgery to dimension $4$ and underpinning constructions such as Fintushel-Stern knot surgery. A natural question is how this operation interacts with fibered structures. In particular, we partially answer the question “When does drilling-and-filling a $4$-manifold along an embedded $2$-torus preserve the existence of a fibration?”

In this talk, we develop a framework for extending circle fibrations of a $3$-torus boundary across $4$-manifolds of the form $S^1 \times E_Y(K)$, where $K$ is a fibered knot in a closed, oriented $3$-manifold $Y$, as well as across oriented $\Sigma_{g,1}$-bundles over $T^2$. The key mechanism is the rigidity of essential tori in $T^3$, which forces boundary fibrations to extend uniquely under natural geometric conditions.

As applications, we show that broad families of $4$-manifolds obtained by torus surgery admit fibrations over the circle. We also discuss consequences for torus surgeries in $S^1 \times S^3$ and structural constraints on $4$-manifolds containing “torus fibered torus knots” (a generalization of a fibered knot in a $3$-manifold).

Extending Fibrations of the $3$-Torus and Applications to Torus Surgery in $4$-Manifolds

AMS Western Sectional Meeting, Boise State University, Boise, ID March 2026
If $W$ and $W’$ are smooth, compact, and oriented $4$-manifolds that are either diffeomorphic to $S^1$ times the exterior $E_Y(K)$ of a fibered knot $K$ in a closed, connected, orientable $3$-manifold $Y$, or are diffeomorphic to $\Sigma_{g,1}$ bundles over the $2$-torus with monodromy fixing the boundary of the fiber pointwise. If $f: \partial W’ \to \partial W$ is an orientation-preserving diffeomorphism of the $3$-torus boundaries, we have that $X = W \cup_f W’$ is a closed, oriented $4$-manifold that fibers over $S^1$. In particular, if $W’ = T^2 \times D^2$ and $W = S^1 \times E_Y(K)$, then our result shows that the result of doing torus surgery in $S^1 \times Y$ along $S^1\times K$ is a $4$-manifold that fibers over $S^1$. Furthermore, we extend work of Zentner by showing that the result of torus surgery along $S^1$ times the unknot $\mathcal{U}$ in $S^1\times S^3$ is diffeomorphic to $S^1$ times a lens space.

Morse Theory in Dimensions One and Two

Kappa Mu Epsilon Meeting, University of Central Missouri, Warrensburg, MO November 2024

Geometric topology is a subfield of topology that studies manifolds and maps between manifolds. Originating in roughly 1935, the past eighty-nine years have seen unprecedented growth and development, especially in low-dimensional topology, which studies nice shapes, called manifolds, in dimensions one through four.

In this talk, I will give an overview of one tool used to study topology in low dimensions, Morse theory. Particular focus will be given to Morse theory in dimensions one and two, which is essentially the study of critical points of functions of the form $y=f(x)$ and $z=f(x,y)$.

No background higher than Calculus I will be assumed, but this talk will be most accessible to those who have seen some Multivariable Calculus (Calculus III).

Torus Surgeries on the Hopf Surface

AMS Fall Central Sectional Meeting, Creighton University, Omaha, NE October 2023

The Hopf surface is diffeomorphic to $S^1\times S^3$, and fibers over $S^2$ with fiber $T^2$. The result of doing torus surgery along an embedded $2$-torus $T$ of self-intersection zero in a closed $4$-manifold $X$ is the $4$-manifold $X_\varphi(T)$ obtained by removing a regular neighborhood of $T$ and replacing it with a copy of $T^2\times D^2$ along some diffeomorphism $\varphi$ of the resulting $2$-torus boundary.

Zentner showed that if the result of doing torus surgery along two fibers of the Hopf surface results in a homology Hopf surface, then the result is diffeomorphic to the standard Hopf surface. We extend these results to show that every manifold obtained by performing torus surgery along two fibers of the Hopf surface is diffeomorphic to $Y \times S^1$ where $Y$ is a $3$-manifold obtained by Dehn surgery along the unknot in $S^3$.

Group Deficiencies from a $4$-Manifold Perspective

Groups, Semigroups, and Topology Seminar, University of Nebraska — Lincoln, Lincoln, NE March 2023
Last week, Kathryn started us on our exploration of group deficiency from a topological perspective. Today, I will pick up the torch and show how groups, 4-manifolds, and group deficiencies interact. In particular, I’ll state a theorem of A. A. Markov’s from the mid 1950s that gives a structural theorem on the fundamental groups of compact 4-manifolds. Then, I’ll dive into an exploration of the consequences of this theorem, namely how one can use homology of a compact 4-manifold to bound the deficiency of its fundamental group. Finally, if time permits, I’ll talk about recent work connecting torus surgery to group deficiency.

The Casson-Gordon Signature Invariant and Sliceness Obstructions

Groups, Semigroups, and Topology Seminar, University of Nebraska — Lincoln, Lincoln, NE September 2022

In this talk, I construct the Casson-Gordon signature invariants of a knot K. In doing so, we will take a voyage through an ocean of abstract nonsense, touching on twisted homology, cobordism groups, representation theory, and more!

Time permitting, we will also see how a particularly interesting subset of these 3-dimensional invariants were triviallized by the groundbreaking work in 4-dimensions of Micheal Freedman.

Meier-Zupan Square Links and the Andrews-Curtis Conejecture

New Developments in Four Dimensions, University of Victoria, Victoria, BC Canada June 2022
In this talk, we will go over the construction of Meier-Zupan generalized square knots and their associated R-links. We then will discuss how to turn an R-link into a balanced presentation of the trivial group, which yields many potential counterexamples to the Andrews-Curtis conjecture.

A Quest for Residual Finiteness: Geometrization and the Word Problem for 3-Manifolds

Groups, Semigroups, and Topology Seminar, University of Nebraska — Lincoln, Lincoln, NE February 2022
Last week, Audrey introduced us to the word problem (WP) for groups, and showed that residually finite (RF) groups have solvable WP. In this talk, I will outline how Thurston’s Geometrization Program (famously proved by Perelman) can be used to show that fundamental groups of compact 3-manifolds are residually finite, and hence have solvable WP. Along the way, we’ll acquire a “Who’s Who” gallery of important theorems in the theory of 3-manifolds and their fundamental groups.

A Geometric Introduction to Heegaard Splittings and Trisections

Graduate Online Seminar Series (GOSS), Online. June 2021

In this talk, I will discuss Heegaard splittings of 3-manifolds and trisections of 4-manifolds. These decompositions cut the manifold into 1-handlebodies of appropriate dimension whose common intersection is a closed, orientable surface. By studying these decompositions, we obtain lots of information about the manifolds that they determine. This talk is based in part on David Gay’s “From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4.”

YouTube.

Outside the Classroom

Beyond topology, research, and teaching—a few of the pursuits, hobbies, and pastimes that keep me active and inspired.

Photography Magic: The Gathering Driftless Biking Coffee

Photography

Visual Arts & Optics

Passionate about landscape, night scene, and portrait photography (both human and pet). Alongside Lumix Micro Four Thirds cameras (GX85 and G97)—which I used to take the landscape photo at the top of this site—I also love shooting with an Insta360 Ace Pro 2 and creating tactile, Polaroid-style prints.

Magic: The Gathering

Fun & Games

Semi-retired competitive MTG player with extensive tournament experience before and during graduate school. I competed in Pioneer, Modern, and cEDH, typically piloting Blue-Green (Simic) combo and midrange decks. My all-time favorite commander is Rashmi, Eternities Crafter.

Biking the Driftless Area

Outdoors & Exploration

Recently got a new bike and love getting outside to ride the scenic roads, bluffs, and river valleys of the Driftless Area with my partner.

Coffee

Craft & Fuel

Sustained by serious caffeine and brewed at home on a Ninja Luxe Café Premier. My go-to drink is an Iced Caramel Mocha powered by 6 total shots of espresso.