Physical Sciences and Mathematics Commons^™

The Cohomology Of The Mod 2 Steenrod Algebra, Robert R. Bruner, John Rognes

Open Data at Wayne State

The dataset contains a minimal resolution of the mod 2 Steenrod algebra in the range 0 <= s <= 128, 0 <= t <= 200, together with chain maps for each cocycle in that range and for the squaring operation Sq^0 in the cohomology of the Steenrod algebra. The included document CohomA2.pdf explains the contents and usage of the dataset in detail (also available as supplemental material in this record).

Dataset is also available at the NIRD Research Data Archive, https://doi.org/10.11582/2021.00077; Data Description also available at arXiv.org, https://doi.org/10.48550/arXiv.2109.13117.

Higher Cohomologies For Presheaves Of Commutative Monoids, Pilar Carrasco, Antonio M. Cegarra

Turkish Journal of Mathematics

We present an extension of the classical Eilenberg-MacLane higher order cohomology theories of abelian groups to presheaves of commutative monoids (and of abelian groups, then) over an arbitrary small category. These high-level cohomologies enjoy many desirable properties and the paper aims to explore them. The results apply directly in several settings such as presheaves of commutative monoids on a topological space, simplicial commutative monoids, presheaves of simplicial commutative monoids on a topological space, commutative monoids or simplicial commutative monoids on which a fixed monoid or group acts, and so forth. As a main application, we state and prove a precise …

Frobenius Objects In The Category Of Relations, Rajan Amit Mehta, Ruoqi Zhang

Mathematics Sciences: Faculty Publications

We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certain cohomology classes in a compact oriented Riemannian manifold.

Higher Chow Cycles On The Jacobian Of Curves., Subham Sarkar Dr.

Doctoral Theses

The following formula, usually called Beilinson’s formula — though independently due to Deligne as well — describes the motivic cohomology group of a smooth projective variety X over a number field as the group of extensions in a conjectured abelian category of mixed motives, MMQ.The aim of this thesis is to describe this construction in the case of the motivic cohomology group of the Jacobian of a curve. The first work in this direction is due to Harris [Har83] and Pulte [Pul88], [Hai87]. They showed that the Abel-Jacobi image of the modified diagonal cycle on the triple product of a …

Non-Associative Algebraic Structures In Knot Theory, Emanuele Zappala

USF Tampa Graduate Theses and Dissertations

In this dissertation we investigate self-distributive algebraic structures and their cohomologies, and study their relation to topological problems in knot theory. Self-distributivity is known to be a set-theoretic version of the Yang-Baxter equation (corresponding to Reidemeister move III) and is therefore suitable for producing invariants of knots and knotted surfaces. We explore three different instances of this situation. The main results of this dissertation can be, very concisely, described as follows. We introduce a cohomology theory of topological quandles and determine a class of topological quandles for which the cohomology can be computed, at least in principle, by means of …

Calculating The Cohomology Of A Lie Algebra Using Maple And The Serre Hochschild Spectral Sequence, Jacob Kullberg

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Lie algebra cohomology is an important tool in many branches of mathematics. It is used in the Topology of homogeneous spaces, Deformation theory, and Extension theory. There exists extensive theory for calculating the cohomology of semi simple Lie algebras, but more tools are needed for calculating the cohomology of general Lie algebras. To calculate the cohomology of general Lie algebras, I used the symbolic software program called Maple. I wrote software to calculate the cohomology in several different ways. I wrote several programs to calculate the cohomology directly. This proved to be computationally expensive as the number of differential forms …

Local Higher Category Theory, Nicholas Meadows

Electronic Thesis and Dissertation Repository

The purpose of this thesis is to give presheaf-theoretic versions of three of the main extant models of higher category theory: the Joyal, Rezk and Bergner model structures. The construction of these model structures takes up Chapters 2, 3 and 4 of the thesis, respectively. In each of the model structures, the weak equivalences are local or ‘stalkwise’ weak equivalences. In addition, it is shown that certain Quillen equivalences between the aforementioned models of higher category theory extend to Quillen equivalences between the various models of local higher category theory.

Throughout, a number of features of local higher category theory …

Generalizations Of Quandles And Their Cohomologies, Matthew J. Green

USF Tampa Graduate Theses and Dissertations

Quandles are distributive algebraic structures originally introduced independently by David Joyce and Sergei Matveev in 1979, motivated by the study of knots. In this dissertation, we discuss a number of generalizations of the notion of quandles. In the first part of this dissertation we discuss biquandles, in the context of augmented biquandles, a representation of biquandles in terms of actions of a set by an augmentation group. Using this representation we are able to develop a homology and cohomology theory for these structures.

We then introduce an n-ary generalization of the notion of quandles. We discuss a number of properties …

Contributions To Quandle Theory: A Study Of F-Quandles, Extensions, And Cohomology, Indu Rasika U. Churchill

USF Tampa Graduate Theses and Dissertations

Quandles are distributive algebraic structures that were introduced by David Joyce [24] in his Ph.D. dissertation in 1979 and at the same time in separate work by Matveev [34]. Quandles can be used to construct invariants of the knots in the 3-dimensional space and knotted surfaces in 4-dimensional space. Quandles can also be studied on their own right as any non-associative algebraic structures.

In this dissertation, we introduce f-quandles which are a generalization of usual quandles. In the first part of this dissertation, we present the definitions of f-quandles together with examples, and properties. Also, we provide a …

Some Examples Of The Interplay Between Algebra And Topology, Joseph D. Malionek

Honors Theses

This thesis presents several undergraduate and graduate level concepts in the fields of algebraic topology and topological group theory in a manner which requires very little mathematical background of the reader. It uses non-rigorous interpretations of concepts while introducing the reader to the rigorous ideas with which they are associated. In order to give the reader an idea of how the fields of algebra and topology are closely affiliated, the paper goes over five main concepts, the fundamental group, homology, cohomology, Eilenberg-Maclane spaces, and group dimension.

On The Derivative Of 2-Holonomy For A Non-Abelian Gerbe, Cheyne J. Miller

Dissertations, Theses, and Capstone Projects

The local 2-holonomy for a non abelian gerbe with connection is first studied via a local zig-zag Hochschild complex. Next, by locally integrating the cocycle data for our gerbe with connection, and then glueing this data together, an explicit definition is offered for a global version of 2-holonomy. After showing this definition satisfies the desired properties for 2-holonomy, its derivative is calculated whereby the only interior information added is the integration of the 3-curvature. Finally, for the case when the surface being mapped into the manifold is a sphere, the derivative of 2-holonomy is extended to an equivariant closed form …

Almost Analytic Forms With Respect To A Quadratic Endomorphism And Their Cohomology, Mircea Crasmareanu, Cristian Ida

Turkish Journal of Mathematics

The goal of this paper is to consider the notion of almost analytic form in a unifying setting for both almost complex and almost paracomplex geometries. We use a global formalism, which yields, in addition to generalizations of the main results of the previously known almost complex case, a relationship with the Frölicher-Nijenhuis theory. A cohomology of almost analytic forms is also introduced and studied as well as deformations of almost analytic forms with pairs of almost analytic functions.

Deformations Associated With Rigid Algebras, M Gerstenhaber, Anthony Giaquinto

Mathematics and Statistics: Faculty Publications and Other Works

The deformations of an infinite dimensional algebra may be controlled not just by its own cohomology but by that of an associated diagram of algebras, since an infinite dimensional algebra may be absolutely rigid in the classical deformation theory for single algebras while depending essentially on some parameters. Two examples studied here, the function field of a sphere with four marked points and the first Weyl algebra, show, however, that the existence of these parameters may be made evident by the cohomology of a diagram (presheaf) of algebras constructed from the original. The Cohomology Comparison Theorem asserts, on the other …

Split Abelian Chief Factors And First Degree Cohomology For Lie Algebras, Jorg Feldvoss, Salvatore Siciliano, Thomas Weigel

University Faculty and Staff Publications

In this paper we investigate the relation between the multiplicities of split abelian chief factors of finite-dimensional Lie algebras and first degree cohomology. In particular, we obtain a characterization of modular solvable Lie algebras in terms of the vanishing of first degree cohomology or in terms of the multiplicities of split abelian chief factors. The analogues of these results are well known in the modular representation theory of finite groups. An important tool in the proof of these results is a refinement of a non-vanishing theorem of Seligman for the first degree cohomology of non-solvable finite-dimensional Lie algebras in prime …

Pointwise Slant Submanifolds In Almost Hermitian Manifolds, Bang-Yen Chen, Oscar J. Garay

Turkish Journal of Mathematics

An interesting class of submanifolds of almost Hermitian manifolds (\tilde M,\tilde g,J) is the class of slant submanifolds. Slant submanifolds were introduced by the first author in [6] as submanifolds M of (\tilde M,\tilde g,J) such that, for any nonzero vector X \in T_pM, p \in M, the angle \theta(X) between JX and the tangent space T_pM is independent of the choice of p\in M and X \in T_pM. The first results on slant submanifolds were summarized in the book [7]. Since then slant submanifolds have been studied by many geometers. Many nice results on slant submanifolds have been obtained …

Some Products Involving The Fourth Greek Letter Family Element \Tilde{\Delta}_S In The Adams Spectral Sequence, Xiu-Gui Liu, He Wang

Turkish Journal of Mathematics

Let p be an odd prime and A be the mod p Steenrod algebra. For computing the stable homotopy groups of spheres with the classical Adams spectral sequence, we must compute the E_2-term of the Adams spectral sequence, Ext_A^{\ast,\ast} (Z_p,Z_p). In this paper we prove that in the cohomology of A, the product k_0 h_n \tilde \delta _{s + 4} \in Ext_A^{s + 7, t(s,n) + s} (Z_p, Z_p), is nontrivial for n \geq 5, and trivial for n=3, 4, where \tilde\delta_{s + 4} is actually \tilde\alpha_{s + 4}^{(4)} described by Wang and Zheng, p \geq 11, 0 \leq s < p - 4 and t(s,n)=2(p-1)[(s + 2) + (s + 4)p + (s + 3)p^2 + (s + 4)p^3 + p^n].

Descending Central Series Of Free Pro-P-Groups, German A. Combariza

Electronic Thesis and Dissertation Repository

In this thesis, we study the first three cohomology groups of the quotients of the descending central series of a free pro-p-group. We analyse the Lyndon-Hochschild- Serre spectral sequence up to degree three and develop what we believe is a new technique to compute the third cohomology group. Using Fox-Calculus we express the cocycles of a finite p-group G with coefficients on a certain module M as the kernel of a matrix composed by the derivatives of the relations of a minimal presentation for G. We also show a relation between free groups and finite fields, this is a new …

Topics In Random Knots And R-Matrices From Frobenius Algebras, Enver Karadayi

USF Tampa Graduate Theses and Dissertations

In this dissertation, we study two areas of interest in knot theory: Random knots in the unit cube, and the Yang-Baxter solutions constructed from Frobenius algebras.

The study of random knots can be thought of as a model of DNA strings situated in confinement. A random knot with n vertices is a polygonal loop formed by selecting n distinct points in the unit cube, for a positive integer n, and connecting these points by straight line segments successively, such that the last point selected is joined with the first one. We present a step by step description of our algorithm …

On The Validity Of The Borel-Hirzebruch Formula For Topological Actions, D. Dönmez

Turkish Journal of Mathematics

We defined an equivalence among group actions and find sufficient conditions for actions of compact connected Lie groups on Euclidean spaces for which the topological version of the Borel-Hirzebruch formula holds.

Moore Cohomology, Principal Bundles, And Actions Of Groups On C*-Algebras, Ian Raeburn, Dana P. Williams

Dartmouth Scholarship

In recent years both topological and algebraic invariants have been associated to group actions on C*-algebras. Principal bundles have been used to describe the topological structure of the spectrum of crossed products [18, 19], and as a result we now know that crossed products of even the very nicest non-commutative algebras can be substantially more complicated than those of commutative algebras [19, 5]. The algebraic approach involves group cohomological invariants, and exploits the associated machinery to classify group actions on C*-algebras; this originated in [2], and has been particularly successful for actions of R and tori ([19; Section 4], [21]). …

Math 752 Algebraic Topology Ii - Winter '84, David Handel

Mathematics Faculty Research Publications

A collection of notes for the course MAT 752, Algebraic Topology II, prepared by Professor David Handel of the Wayne State University Mathematics Department. This course builds on MAT 751, Algebraic Topology I, and the notes include examples, exercises, and suggestions for further reading.