Geometry and Topology Commons^™

On Stripping And Antipodes In Motivic Steenrod Algebras, Joshua A. Peterson

Theses and Dissertations--Mathematics

We generalize the stripping process to the (mod 2) $\mathbb{C}$- and $\mathbb{R}$-motivic settings. Throughout, we include discussion on how the process changes and the difficulties moving to more general settings. We also introduce antipodes and consider what a potential $\mathbb{R}$-motivic analogue may look like. Finally, we elaborate on how the results may be used in future work to generalize a nilpotence result of Walker and Wood.

A Character Theory For Loop Representations Of Symmetric Monoidal Bicategories, Jordan Sawdy

Theses and Dissertations--Mathematics

Character theory arises in many distinct fields of mathematics, but its many instantiations often share a few key features: they arise in contexts where one object is acted on or parametrized by another, and they are often computed via "trace-like" formulas. Focusing on these properties, we present a categorical formalism for constructing such characters. We first define a notion of "loop representation" for symmetric monoidal bicategories, then build a character for such representations via the canonical symmetric monoidal trace. We then show that this character defines a symmetric monoidal functor which satisfies commutativity properties with respect to both restriction- and …

Bicategorical Character Theory, Travis Wheeler

Theses and Dissertations--Mathematics

In 2007, Nora Ganter and Mikhail Kapranov defined the categorical trace, which they used to define the categorical character of a 2-representation. In 2008, Kate Ponto defined a shadow functor for bicategories. With the shadow functor, Dr. Ponto defined the bicategorical trace, which is a generalization of the symmetric monoidal trace for bicategories. How are these two notions of trace related to one another? We’ve used bicategorical traces to define a character theory for 2-representations, and the categorical character is an example.

Adams Operations On The Burnside Ring From Power Operations, Lewis Dominguez

Theses and Dissertations--Mathematics

Topology furnishes us with many commutative rings associated to finite groups. These include the complex representation ring, the Burnside ring, and the G-equivariant K-theory of a space. Often, these admit additional structure in the form of natural operations on the ring, such as power operations, symmetric powers, and Adams operations. We will discuss two ways of constructing Adams operations. The goal of this work is to understand these in the case of the Burnside ring.

Bicategorical Traces And Cotraces, Justin Barhite

Theses and Dissertations--Mathematics

Familiar constructions like the trace of a matrix and the Euler characteristic of a closed smooth manifold are generalized by a notion of trace of an endomorphism of a dualizable object in a bicategory equipped with a piece of additional structure called a shadow functor. Another example of this bicategorical trace, in the form of maps between Hochschild homology of bimodules, appears in a 1987 paper by Joseph Lipman, alongside a more mysterious ”cotrace” map involving Hochschild cohomology. Putting this cotrace on the same category-theoretic footing as the trace has led us to propose a ”bicategorical cotrace” in a closed …

Slices Of C_2, Klein-4, And Quaternionic Eilenberg-Mac Lane Spectra, Carissa Slone

Theses and Dissertations--Mathematics

We provide the slice (co)towers of \(\Si{V} H_{C_2}\ul M\) for a variety of \(C_2\)-representations \(V\) and \(C_2\)-Mackey functors \(\ul M\). We also determine a characterization of all 2-slices of equivariant spectra over the Klein four-group \(C_2\times C_2\). We then describe all slices of integral suspensions of the equivariant Eilenberg-MacLane spectrum \(H\ulZ\) for the constant Mackey functor over \(C_2\times C_2\). Additionally, we compute the slices and slice spectral sequence of integral suspensions of $H\ulZ$ for the group of equivariance $Q_8$. Along the way, we compute the Mackey functors \(\mpi_{k\rho} H_{K_4}\ulZ\) and $\mpi_{k\rho} H_{Q_8}\ulZ$.

The V1-Periodic Region In Complex Motivic Ext And A Real Motivic V1-Selfmap, Ang Li

Theses and Dissertations--Mathematics

My thesis work consists of two main projects with some connections. In the first project we establish a v₁ periodicity theorem in Ext over the complex motivic Steenrod algebra. The element h₁ of Ext, which detects the homotopy class \eta in the motivic Adams spectral sequence, is non-nilpotent and therefore generates h₁-towers. Our result is that, apart from these h₁-towers, v₁ periodicity operators give isomorphisms in a range near the top of the Adams chart. This result generalizes well-known classical behavior.

In the second project we consider a nontrivial action of C_{2 …}

Periodic Points On Tori: Vanishing And Realizability, Shane Clark

Theses and Dissertations--Mathematics

Let $X$ be a finite simplicial complex and $f\colon X \to X$ be a continuous map. A point $x\in X$ is a fixed point if $f(x)=x$. Classically fixed point theory develops invariants and obstructions to the removal of fixed points through continuous deformation. The Lefschetz Fixed number is an algebraic invariant that obstructs the removal of fixed points through continuous deformation. \[L(f)=\sum_{i=0}^\infty (-1)^i \tr\left(f_i:H_i(X;\bQ)\to H_i(X;\bQ)\right). \] The Lefschetz Fixed Point theorem states if $L(f)\neq 0$, then $f$ (and therefore all $g\simeq f$) has a fixed point. In general, the converse is not true. However, Lefschetz Number is a complete invariant …

Graph-Theoretic Simplicial Complexes, Hajos-Type Constructions, And K-Matchings, Julianne Vega

Theses and Dissertations--Mathematics

A graph property is monotone if it is closed under the removal of edges and vertices. Given a graph G and a monotone graph property P, one can associate to the pair (G,P) a simplicial complex, which serves as a way to encode graph properties within faces of a topological space. We study these graph-theoretic simplicial complexes using combinatorial and topological approaches as a way to inform our understanding of the graphs and their properties.

In this dissertation, we study two families of simplicial complexes: (1) neighborhood complexes and (2) k-matching complexes. A neighborhood complex is a simplicial …

On Independence, Matching, And Homomorphism Complexes, Wesley K. Hough

Theses and Dissertations--Mathematics

First introduced by Forman in 1998, discrete Morse theory has become a standard tool in topological combinatorics. The main idea of discrete Morse theory is to pair cells in a cellular complex in a manner that permits cancellation via elementary collapses, reducing the complex under consideration to a homotopy equivalent complex with fewer cells. In chapter 1, we introduce the relevant background for discrete Morse theory.

In chapter 2, we define a discrete Morse matching for a family of independence complexes that generalize the matching complexes of suitable "small" grid graphs. Using this matching, we determine the dimensions of the …

The Partition Lattice In Many Guises, Dustin G. Hedmark

Theses and Dissertations--Mathematics

This dissertation is divided into four chapters. In Chapter 2 the equivariant homology groups of upper order ideals in the partition lattice are computed. The homology groups of these filters are written in terms of border strip Specht modules as well as in terms of links in an associated complex in the lattice of compositions. The classification is used to reproduce topological calculations of many well-studied subcomplexes of the partition lattice, including the d-divisible partition lattice and the Frobenius complex. In Chapter 3 the box polynomial B_{m,n}(x) is defined in terms of all integer partitions that fit in an m …

In Search Of A Class Of Representatives For Su-Cobordism Using The Witten Genus, John E. Mosley

Theses and Dissertations--Mathematics

In algebraic topology, we work to classify objects. My research aims to build a better understanding of one important notion of classification of differentiable manifolds called cobordism. Cobordism is an equivalence relation, and the equivalence classes in cobordism form a graded ring, with operations disjoint union and Cartesian product. My dissertation studies this graded ring in two ways:

1. by attempting to find preferred class representatives for each class in the ring.

2. by computing the image of the ring under an interesting ring homomorphism called the Witten Genus.

Spin Cobordism And Quasitoric Manifolds, Clinton M. Hines

Theses and Dissertations--Mathematics

This dissertation demonstrates a procedure to view any quasitoric manifold as a “minimal” sub-manifold of an ambient quasitoric manifold of codimension two via the wedge construction applied to the quotient polytope. These we term wedge quasitoric manifolds. We prove existence utilizing a construction on the quotient polytope and characteristic matrix and demonstrate conditions allowing the base manifold to be viewed as dual to the first Chern class of the wedge manifold. Such dualization allows calculations of KO characteristic classes as in the work of Ochanine and Fast. We also examine the Todd genus as it relates to two types of …

Toric Varieties And Cobordism, Andrew Wilfong

Theses and Dissertations--Mathematics

A long-standing problem in cobordism theory has been to find convenient manifolds to represent cobordism classes. For example, in the late 1950's, Hirzebruch asked which complex cobordism classes can be represented by smooth connected algebraic varieties. This question is still open. Progress can be made on this and related problems by studying certain convenient connected algebraic varieties, namely smooth projective toric varieties. The primary focus of this dissertation is to determine which complex cobordism classes can be represented by smooth projective toric varieties. A complete answer is given up to dimension six, and a partial answer is described in dimension …