arXiv subjects

Sean Tilson

Publications and source records attributed to Sean Tilson.

7 recordsLinked to original sources

arXiv2022

An algebraic $C_2$-equivariant B\'{e}zout's theorem

B\'ezout's theorem, nonequivariantly, can be interpreted as a calculation of the Euler class of a sum of line bundles over complex projective space, expressing it in terms of the rank of the bundle and its degree. We give here a generalization to the $C_2$-equivariant context, using the calculation of the cohomology of a $C_2$-complex projective space from an earlier paper. We use ordinary $C_2$-cohomology with Burnside ring coefficients and an extended grading necessary to define the Euler class, which we express in terms of the equivariant rank of the bundle and the degrees of the bundle and its fixed subbundles. We do similar calculations using constant $\mathbb{Z}$ coefficients and Borel cohomology and compare the results.

math.AT↗

arXiv2020

Steenrod operations and A-module extensions

Explicit extensions representing cocycles $x \in Ext_{A}^{s,t}(F_2,F_2)$ are useful in calculating Steenrod operations $Sq^i : Ext_{A}^{s,t}(F_2,F_2) \longrightarrow Ext_{A}^{s+i,2t}(F_2,F_2)$ by a method devised by the second author. This can be used to identify explicit cocycles in the minimal resolutions produced by the first author's computer programs, and this information is useful in determining differentials in the Adams spectral sequence.

math.AT↗

arXiv2019

The Homology of Connective Morava $E$-theory with coefficients in $\mathbb{F}_p$

Let $e_n$ be the connective cover of the Morava $E$-theory spectrum $E_n$ of height $n$. In this paper we compute its homology $H_*(e_n;\mathbb{F}_p)$ for any prime $p$ and $n \leq 4$ up to possible multiplicative extensions. In order to accomplish this we show that the Künneth spectral sequence based on an $E_3$-algebra $R$ is multiplicative when the $R$-modules in question are commutative $S$-algebras. We then apply this result by working over $BP$ which is known to be an $E_4$-algebra.

math.AT↗

arXiv2018

The $C_2$-equivariant cohomology of complex projective spaces

We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside ring Mackey functor. This extension of the $RO(C_2)$-graded theory allows for the definition of Euler classes, which are used as generators of the cohomology of the projective spaces. As an application, we give an equivariant version of Bezout's theorem.

math.AT↗

arXiv2018

Power operations in the Kunneth spectral sequence and commutative HFp-algebras

In this paper, we prove the multiplicativity of the Künneth spectral sequence. This is established by an analogue of the Comparison Theorem from homological algebra, which we suspect may be useful for other spectral sequences. This multiplicativity is then used to compute the action of the Dyer-Lashof algebra on $\HF_p \wedge_{ku} \HF_p$, $\HF_p \wedge_{\BP} \HF_p$, and part of the action on $\HF_p \wedge_{MU} \HF_p$. We then relate these computations to the construction of commutative $R$-algebra structures on commutative $\HF_p$-algebras. In the case of $MU$, we obtain a necessary closure condition on ideals $I\subset MU_*$ such that $MU/I$ can be realized as a commutative $MU$-algebra.

math.AT↗

arXiv2017

Squaring operations in the $RO(C_2)$-graded and real motivic Adams spectral sequences

In this paper we establish a formula for computing $d_2(sq^i(x))$ where $x$ is a permanent cycle in the $C_2$-equivariant Adams spectral sequence or the motivic Adams spectral sequence over $Spec(\mathbb{R})$. This requires establishing that the Adams towers have an $H_{\infty}$-structure as well as determining the attaching maps for $C_2$-equivariant projective spaces. The attaching maps of $C_2$-equivariant projective spaces can then be used to determine the coefficients of differentials in both the equivariant and motivic case. At the end some sample computations are given.

math.AT↗

arXiv2014

On the moduli space of A-infinity structures

We study the moduli space of A-infinity structures on a topological space as well as the moduli space of A-infinity-ring structures on a fixed module spectrum. In each case we show that the moduli space sits in a homotopy fiber sequence in which the other terms are representing spaces for Hochschild cohomology.

math.AT↗