Showing 1–21 of 21 results for author: Stojanoska, V

Bounding the $K(p-1)$-local exotic Picard group at $p>3$

Authors: Irina Bobkova, Andrea Lachmann, Ang Li, Alicia Lima, Vesna Stojanoska, Adela YiYu Zhang

Abstract: In this paper, we bound the descent filtration of the exotic Picard group $κ_n$, for a prime number p>3 and n=p-1. Our method involves a detailed comparison of the Picard spectral sequence, the homotopy fixed point spectral sequence, and an auxiliary $β$-inverted homotopy fixed point spectral sequence whose input is the Farrell-Tate cohomology of the Morava stabilizer group. Along the way, we dedu… ▽ More In this paper, we bound the descent filtration of the exotic Picard group $κ_n$, for a prime number p>3 and n=p-1. Our method involves a detailed comparison of the Picard spectral sequence, the homotopy fixed point spectral sequence, and an auxiliary $β$-inverted homotopy fixed point spectral sequence whose input is the Farrell-Tate cohomology of the Morava stabilizer group. Along the way, we deduce that the K(n)-local Adams-Novikov spectral sequence for the sphere has a horizontal vanishing line at $3n^2+1$ on the $E_{2n^2+2}$-page. The same analysis also allows us to express the exotic Picard group of $K(n)$-local modules over the homotopy fixed points spectrum $\mathrm{E}_n^{hN}$, where N is the normalizer in $\mathbb{G}_n$ of a finite cyclic subgroup of order p, as a subquotient of a single continuous cohomology group $H^{2n+1}(N,π_{2n}\mathrm{E}_n)$. △ Less

Submitted 2 July, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

Report number: CPH-GEOTOP-DNRF151

The Exotic $K(2)$-Local Picard Group at the Prime $2$

Authors: Agnes Beaudry, Irina Bobkova, Paul G. Goerss, Hans-Werner Henn, Viet-Cuong Pham, Vesna Stojanoska

Abstract: We calculate the group $κ_2$ of exotic elements in the $K(2)$-local Picard group at the prime $2$ and find it is a group of order $2^9$ isomorphic to $(\mathbb{Z}/8)^2 \times (\mathbb{Z}/2)^3$. In order to do this we must define and exploit a variety of different ways of constructing elements in the Picard group, and this requires a significant exploration of the theory. The most innovative techni… ▽ More We calculate the group $κ_2$ of exotic elements in the $K(2)$-local Picard group at the prime $2$ and find it is a group of order $2^9$ isomorphic to $(\mathbb{Z}/8)^2 \times (\mathbb{Z}/2)^3$. In order to do this we must define and exploit a variety of different ways of constructing elements in the Picard group, and this requires a significant exploration of the theory. The most innovative technique, which so far has worked best at the prime $2$, is the use of a $J$-homomorphism from the group of real representations of finite quotients of the Morava stabilizer group to the $K(n)$-local Picard group. △ Less

Submitted 29 April, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: Minor revisions in version 2

Report number: HIM-Spectral-2022 MSC Class: 55P42; 55Q51; 55Q10; 55P60; 14C22; 55Q50

Cohomology of the Morava stabilizer group through the duality resolution at $n=p=2$

Authors: Agnes Beaudry, Irina Bobkova, Paul G. Goerss, Hans-Werner Henn, Viet-Cuong Pham, Vesna Stojanoska

Abstract: We compute the continuous cohomology of the Morava stabilizer group with coefficients in Morava $E$-theory, $H^*(\mathbb{G}_2, E_t)$, at $p=2$, for $0\leq t < 12$, using the Algebraic Duality Spectral Sequence. Furthermore, in that same range, we compute the $d_3$-differentials in the homotopy fixed point spectral sequence for the $K(2)$-local sphere spectrum. These cohomology groups and different… ▽ More We compute the continuous cohomology of the Morava stabilizer group with coefficients in Morava $E$-theory, $H^*(\mathbb{G}_2, E_t)$, at $p=2$, for $0\leq t < 12$, using the Algebraic Duality Spectral Sequence. Furthermore, in that same range, we compute the $d_3$-differentials in the homotopy fixed point spectral sequence for the $K(2)$-local sphere spectrum. These cohomology groups and differentials play a central role in $K(2)$-local stable homotopy theory. △ Less

Submitted 19 December, 2022; v1 submitted 28 October, 2022; originally announced October 2022.

Comments: Minor edits. Some new figures

Report number: HIM-Spectral-2022

Picard sheaves, local Brauer groups, and topological modular forms

Authors: Benjamin Antieau, Lennart Meier, Vesna Stojanoska

Abstract: We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group. We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 41 pages

Report number: HIM-Spectral-2022 MSC Class: 14F22; 14H52; 14K10; 55N34

Dualizing spheres for compact $p$-adic analytic groups and duality in chromatic homotopy

Authors: Agnès Beaudry, Paul G. Goerss, Michael J. Hopkins, Vesna Stojanoska

Abstract: The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal group law of height $n$, in the implicit characteristic $p$. It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account… ▽ More The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal group law of height $n$, in the implicit characteristic $p$. It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account the action of the Morava stabilizer group $\mathbb{G}_n$, or even its subgroup of automorphisms of the formal group in question. In this paper we find that the $\mathbb{G}_n$-equivariant dual of $E_n$ is in fact $E_n$ twisted by a sphere with a non-trivial (when $n>1$) action by $\mathbb{G}_n$. This sphere is a dualizing module for the group $\mathbb{G}_n$, and we construct and study such an object $I_{\mathcal{G}}$ for any compact $p$-adic analytic group $\mathcal{G}$. If we restrict the action of $\mathcal{G}$ on $I_{\mathcal{G}}$ to certain type of small subgroups, we identify $I_{\mathcal{G}}$ with a specific representation sphere coming from the Lie algebra of $\mathcal{G}$. This is done by a classification of $p$-complete sphere spectra with an action by an elementary abelian $p$-group in terms of characteristic classes, and then a specific comparison of the characteristic classes in question. The setup makes the theory quite accessible for computations, as we demonstrate in the later sections of this paper, determining the $K(n)$-local Spanier-Whitehead duals of $E_n^{hH}$ for select choices of $p$ and $n$ and finite subgroups $H$ of $\mathbb{G}_n$. △ Less

Submitted 17 May, 2022; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: Final version, accepted for publication in Invent. Math. Comments always welcome!

MSC Class: 55P92; 55R25; 55R50; 55U30; 20E18; 22E41

Invertible $K(2)$-Local $E$-Modules in $C_4$-Spectra

Authors: Agnes Beaudry, Irina Bobkova, Michael Hill, Vesna Stojanoska

Abstract: We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of $K(2)$-local $E$-modules in genuine $C_4$-spectra. We show that in addition to a cyclic subgroup of order 32 generated by… ▽ More We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of $K(2)$-local $E$-modules in genuine $C_4$-spectra. We show that in addition to a cyclic subgroup of order 32 generated by $ E\wedge S^1$ the Picard group contains a subgroup of order 2 generated by $E\wedge S^{7+σ}$, where $σ$ is the sign representation of the group $C_4$. In the process, we completely compute the $RO(C_4)$-graded Mackey functor homotopy fixed point spectral sequence for the $C_4$-spectrum $E$. △ Less

Submitted 27 January, 2021; v1 submitted 7 January, 2019; originally announced January 2019.

MSC Class: 55M05; 55P42; 20J06; 55Q91; 55Q51; 55P60

Journal ref: Algebr. Geom. Topol. 20 (2020) 3423-3503

Constructing the determinant sphere using a Tate twist

Authors: Tobias Barthel, Agnès Beaudry, Paul G. Goerss, Vesna Stojanoska

Abstract: Following an idea of Hopkins, we construct a model of the determinant sphere $S\langle det \rangle$ in the category of $K(n)$-local spectra. To do this, we build a spectrum which we call the Tate sphere $S(1)$. This is a $p$-complete sphere with a natural continuous action of $\mathbb{Z}_p^\times$. The Tate sphere inherits an action of $\mathbb{G}_n$ via the determinant and smashing Morava $E$-the… ▽ More Following an idea of Hopkins, we construct a model of the determinant sphere $S\langle det \rangle$ in the category of $K(n)$-local spectra. To do this, we build a spectrum which we call the Tate sphere $S(1)$. This is a $p$-complete sphere with a natural continuous action of $\mathbb{Z}_p^\times$. The Tate sphere inherits an action of $\mathbb{G}_n$ via the determinant and smashing Morava $E$-theory with $S(1)$ has the effect of twisting the action of $\mathbb{G}_n$. A large part of this paper consists of analyzing continuous $\mathbb{G}_n$-actions and their homotopy fixed points in the setup of Devinatz and Hopkins. △ Less

Submitted 13 September, 2021; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: Revised version, including a correction and a newly included example in the last section

Report number: CPH-SYM-DNRF92 MSC Class: 55P42; 55P92; 55P91; 55Q51

Gross-Hopkins Duals of Higher Real K-theory Spectra

Authors: Tobias Barthel, Agnes Beaudry, Vesna Stojanoska

Abstract: We determine the Gross-Hopkins duals of certain higher real $K$-theory spectra. More specifically, let $p$ be an odd prime, and consider the Morava $E$-theory spectrum of height $n=p-1$. It is known, in the expert circles, that for certain finite subgroups $G$ of the Morava stabilizer group, the homotopy fixed point spectra $E_n^{hG}$ are Gross-Hopkins self-dual up to a shift. In this paper, we de… ▽ More We determine the Gross-Hopkins duals of certain higher real $K$-theory spectra. More specifically, let $p$ be an odd prime, and consider the Morava $E$-theory spectrum of height $n=p-1$. It is known, in the expert circles, that for certain finite subgroups $G$ of the Morava stabilizer group, the homotopy fixed point spectra $E_n^{hG}$ are Gross-Hopkins self-dual up to a shift. In this paper, we determine the shift for those finite subgroups $G$ which contain $p$-torsion. This generalizes previous results for $n=2$ and $p=3$. △ Less

Submitted 16 June, 2020; v1 submitted 19 May, 2017; originally announced May 2017.

Report number: CPH-SYM-DNRF92 MSC Class: 55P99

Journal ref: Trans. Amer. Math. Soc., Volume 372, Number 5, 1 September 2019, Pages 3347-3368

Anderson and Gorenstein duality

Authors: J. P. C. Greenlees, V. Stojanoska

Abstract: The paper relates the Gorenstein duality statements studied by the first author to the Anderson duality statements studied by the second author, and explains how to use local cohomology and invariant theory to understand the numerology of shifts in simple cases. The paper relates the Gorenstein duality statements studied by the first author to the Anderson duality statements studied by the second author, and explains how to use local cohomology and invariant theory to understand the numerology of shifts in simple cases. △ Less

Submitted 22 October, 2017; v1 submitted 7 May, 2017; originally announced May 2017.

Comments: new version corrects numerous typos and adds an explanation of the connection to Mahowald-Rezk duality

Motivic Homotopical Galois Extensions

Authors: Agnes Beaudry, Kathryn Hess, Magdalena Kedziorek, Mona Merling, Vesna Stojanoska

Abstract: We establish a formal framework for Rognes's homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra. We establish a formal framework for Rognes's homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra. △ Less

Submitted 1 November, 2016; originally announced November 2016.

MSC Class: 55P42; 14F42

The Galois action and cohomology of a relative homology group of Fermat Curves

Authors: Rachel Davis, Rachel Pries, Vesna Stojanoska, Kirsten Wickelgren

Abstract: For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve. For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve. △ Less

Submitted 14 February, 2018; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: Minor improvements based on referee report

MSC Class: 11D41; 11R18; 11R34; 14F35; 14G25; 55S35

Picard groups of higher real $K$-theory spectra at height $p-1$

Authors: Drew Heard, Akhil Mathew, Vesna Stojanoska

Abstract: Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite sub… ▽ More Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension. △ Less

Submitted 25 November, 2015; originally announced November 2015.

Comments: 33 pages, comments welcome

Journal ref: Compositio Math. 153 (2017) 1820-1854

On the ring of cooperations for 2-primary connective topological modular forms

Authors: Mark Behrens, Kyle Ormsby, Nathaniel Stapleton, Vesna Stojanoska

Abstract: We analyze the ring tmf_*tmf of cooperations for the connective spectrum of topological modular forms (at the prime 2) through a variety of perspectives: (1) the E_2-term of the Adams spectral sequence for tmf ^ tmf admits a decomposition in terms of Ext groups for bo-Brown-Gitler modules, (2) the image of tmf_*tmf in the rationalization of TMF_*TMF admits a description in terms of 2-variable modu… ▽ More We analyze the ring tmf_*tmf of cooperations for the connective spectrum of topological modular forms (at the prime 2) through a variety of perspectives: (1) the E_2-term of the Adams spectral sequence for tmf ^ tmf admits a decomposition in terms of Ext groups for bo-Brown-Gitler modules, (2) the image of tmf_*tmf in the rationalization of TMF_*TMF admits a description in terms of 2-variable modular forms, and (3) modulo v_2-torsion, tmf_*tmf injects into a certain product of copies of TMF_0(N)_*, for various values of N. We explain how these different perspectives are related, and leverage these relationships to give complete information on tmf_*tmf in low degrees. We reprove a result of Davis-Mahowald-Rezk, that a piece of tmf ^ tmf gives a connective cover of TMF_0(3), and show that another piece gives a connective cover of TMF_0(5). To help motivate our methods, we also review the existing work on bo_*bo, the ring of cooperations for (2-primary) connective K-theory, and in the process give some new perspectives on this classical subject matter. △ Less

Submitted 26 November, 2018; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: v4: Minor changes made in response to referee report. To appear in J. Topology. 87 pages, 19 figures

Galois action on the homology of Fermat curves

Authors: Rachel Davis, Rachel Pries, Vesna Stojanoska, Kirsten Wickelgren

Abstract: In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology grou… ▽ More In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{Q}(ζ_p)$ is an elementary abelian $p$-group of rank $(p+1)/2$. Using an explicit basis for this Galois group, we completely compute the relative homology, the homology, and the homology of an open subset of the degree $3$ Fermat curve as Galois modules. We then compute several Galois cohomology groups which arise in connection with obstructions to rational points. △ Less

Submitted 3 April, 2015; v1 submitted 18 November, 2014; originally announced November 2014.

MSC Class: 11D41; 11R18; 11R34; 14F35; 14G25; 55S35

The Picard group of topological modular forms via descent theory

Authors: Akhil Mathew, Vesna Stojanoska

Abstract: This paper starts with an exposition of descent-theoretic techniques in the study of Picard groups of $\mathbf{E}_{\infty}$-ring spectra, which naturally lead to the study of Picard spectra. We then develop tools for the efficient and explicit determination of differentials in the associated descent spectral sequences for the Picard spectra thus obtained. As a major application, we calculate the P… ▽ More This paper starts with an exposition of descent-theoretic techniques in the study of Picard groups of $\mathbf{E}_{\infty}$-ring spectra, which naturally lead to the study of Picard spectra. We then develop tools for the efficient and explicit determination of differentials in the associated descent spectral sequences for the Picard spectra thus obtained. As a major application, we calculate the Picard groups of the periodic spectrum of topological modular forms $TMF$ and the non-periodic and non-connective $Tmf$. We find that $\mathrm{Pic} (TMF)$ is cyclic of order 576, generated by the suspension $ΣTMF $ (a result originally due to Hopkins), while $\mathrm{Pic}(Tmf) = \mathbb{Z}\oplus \mathbb{Z}/24$. In particular, we show that there exists an invertible $Tmf$-module which is not equivalent to a suspension of $Tmf$. △ Less

Submitted 8 December, 2015; v1 submitted 26 September, 2014; originally announced September 2014.

Comments: 59 pages. Final version - to appear in Geometry and Topology

Journal ref: Geom. Topol. 20 (2016) 3133-3217

Fibers of partial totalizations of a pointed cosimplicial space

Authors: Akhil Mathew, Vesna Stojanoska

Abstract: Let $X^\bullet$ be a cosimplicial object in a pointed $\infty$-category. We show that the fiber of $\mathrm{Tot}_m(X^\bullet) \to \mathrm{Tot}_n(X^\bullet)$ depends only on the pointed cosimplicial object $Ω^k X^\bullet$ and is in particular a $k$-fold loop object, where $k = 2n - m+2$. The approach is explicit obstruction theory with quasicategories. We also discuss generalizations to other types… ▽ More Let $X^\bullet$ be a cosimplicial object in a pointed $\infty$-category. We show that the fiber of $\mathrm{Tot}_m(X^\bullet) \to \mathrm{Tot}_n(X^\bullet)$ depends only on the pointed cosimplicial object $Ω^k X^\bullet$ and is in particular a $k$-fold loop object, where $k = 2n - m+2$. The approach is explicit obstruction theory with quasicategories. We also discuss generalizations to other types of homotopy limits and colimits. △ Less

Submitted 7 July, 2015; v1 submitted 7 August, 2014; originally announced August 2014.

Comments: 14 pages. Final version, to appear in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 1, 445--458

Classification of problematic subgroups of U(n)

Authors: Julia E. Bergner, Ruth Joachimi, Kathryn Lesh, Vesna Stojanoska, Kirsten Wickelgren

Abstract: We classify p-toral subgroups of U(n) that can have non-contractible fixed points under the action of U(n) on the complex of partitions of complex n-space into mutually orthogonal subspaces. We classify p-toral subgroups of U(n) that can have non-contractible fixed points under the action of U(n) on the complex of partitions of complex n-space into mutually orthogonal subspaces. △ Less

Submitted 18 October, 2017; v1 submitted 30 June, 2014; originally announced July 2014.

Comments: 50 pages. Minor expansion of the previous version, adding material on homotopy fixed points and pushout squares

MSC Class: 55N91 (Primary) 55P65; 55R45 (Secondary)

K-theory, reality, and duality

Authors: Drew Heard, Vesna Stojanoska

Abstract: We show that the real K-theory spectrum KO is Anderson self-dual using the method previously employed in the second author's calculation of the Anderson dual of Tmf. Indeed the current work can be considered as a lower chromatic version of that calculation. Emphasis is given to an algebro-geometric interpretation of this result in spectrally derived algebraic geometry. We finish by applying the re… ▽ More We show that the real K-theory spectrum KO is Anderson self-dual using the method previously employed in the second author's calculation of the Anderson dual of Tmf. Indeed the current work can be considered as a lower chromatic version of that calculation. Emphasis is given to an algebro-geometric interpretation of this result in spectrally derived algebraic geometry. We finish by applying the result to a calculation of 2-primary Gross-Hopkins duality at height 1, and obtain an independent calculation of the group of exotic elements of the K(1)-local Picard group. △ Less

Submitted 15 May, 2014; v1 submitted 11 January, 2014; originally announced January 2014.

Comments: 24 pages; 6 figures. Updated to include reviewers comments, section 9 rewritten. Comments welcome

Journal ref: J. K-Theory 14 (2014), no. 3, 526-555

Fixed points of $p$-toral groups acting on partition complexes

Authors: Julia E. Bergner, Ruth Joachimi, Kathryn Lesh, Vesna Stojanoska, Kirsten Wickelgren

Abstract: We consider the action of $p$-toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$. We show that if $H\subseteq U(n)$ is $p$-toral and has noncontractible fixed points on $\mathcal L_n$, then the image of $H$ in the projective unitary group $U(n)/S^{1}$ is an elementary abelian $p$-group. We consider the action of $p$-toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$. We show that if $H\subseteq U(n)$ is $p$-toral and has noncontractible fixed points on $\mathcal L_n$, then the image of $H$ in the projective unitary group $U(n)/S^{1}$ is an elementary abelian $p$-group. △ Less

Submitted 28 April, 2014; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 14 pages; added examples and made substantial revisions from the first version

Journal ref: Women in topology: collaborations in homotopy theory, 83-96, Contemp. Math., 641, Amer. Math. Soc., Providence, RI, 2015

Duality for Topological Modular Forms

Authors: Vesna Stojanoska

Abstract: It has been observed that certain localizations of the spectrum of topological modular forms are self-dual (Mahowald-Rezk, Gross-Hopkins). We provide an integral explanation of these results that is internal to the geometry of the (compactified) moduli stack of elliptic curves $ \M $, yet is only true in the derived setting. When $ 2 $ is inverted, a choice of level $ 2 $ structure for an elliptic… ▽ More It has been observed that certain localizations of the spectrum of topological modular forms are self-dual (Mahowald-Rezk, Gross-Hopkins). We provide an integral explanation of these results that is internal to the geometry of the (compactified) moduli stack of elliptic curves $ \M $, yet is only true in the derived setting. When $ 2 $ is inverted, a choice of level $ 2 $ structure for an elliptic curve provides a geometrically well-behaved cover of $ \M $, which allows one to consider $ Tmf $ as the homotopy fixed points of $ Tmf(2) $, topological modular forms with level $ 2 $ structure, under a natural action by $ GL_2(\Z/2) $. As a result of Grothendieck-Serre duality, we obtain that $ Tmf(2) $ is self-dual. The vanishing of the associated Tate spectrum then makes $ Tmf $ itself Anderson self-dual. △ Less

Submitted 10 June, 2012; v1 submitted 19 May, 2011; originally announced May 2011.

Comments: Final version, to appear in Documenta Mathematica

MSC Class: 55N34 (Primary) 55N91; 55P43; 14H52; 14D23 (Secondary)

Journal ref: Doc. Math. 17 (2012) 271-311

Touching the $Z_2$ in Three-Dimensional Rotations

Authors: Vesna Stojanoska, Orlin Stoytchev

Abstract: A simple and self-contained proof is presented of the well-known fact that the fundamental group of SO(3) is $Z_2$, using a relationship between closed paths in SO(3) and braids. A simple and self-contained proof is presented of the well-known fact that the fundamental group of SO(3) is $Z_2$, using a relationship between closed paths in SO(3) and braids. △ Less

Submitted 11 August, 2005; originally announced August 2005.

Comments: 10 pages, 8 figures

MSC Class: 00A08; 20F36; 55-01

Journal ref: Mathematics Magazine, vol. 81, no. 5, December 2008, pp. 345-357