Related papers: Height four formal groups with quadratic complex m…

Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we…

Fix a prime $p$ and a chromatic height $h$. We prove that the homotopy $(k,1)$-category of $L_h$-local spectra $\mathrm{h}_k\big(\mathrm{Sp}_{p,h}\big)$ is algebraic as a symmetric monoidal category when $p > O(h^2+kh)$. To achieve this, we…

We present an algorithm to compute the automorphism group of a Mori dream space. As an example calculation, we determine the automorphism groups of singular cubic surfaces with general parameters. The strategy is to study graded…

Let $p:E -> B$ be a principal fibration with classifying map $w:B -> C$. It is well-known that the group $[X,\Omega C]$ acts on $[X,E]$ with orbit space the image of $p_#$, where $p_#: [X,E] -> [X,B]$. The isotropy subgroup of the map of…

In this paper, we propose an algorithm to enumerate genus-4 superspecial hyperelliptic curves whose automorphism groups isomorphic to the quaternion group. By implementing this algorithm with Magma, we successfully obtain the number of…

For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This…

The article [14] gives a list of 51 symplectic hypergeometric monodromy groups corresponding to primitive pairs of degree four polynomials, which are products of cyclotomic polynomials, and for which, the absolute value of the leading…

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

Let $X(P,\lambda)$ be a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $\lambda$. Assuming that $X(P,\lambda)$ is locally smooth over a vertex of $P$, we determine the integral cohomology ring…

In this paper, we introduce notions of partitionability and characteristic sets of homogeneous polynomials and give a complete classification of groups faithfully acting on smooth cubic fivefolds. Specifically, we prove that there exist 20…

We construct models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes, generalizing well-known models for the classifying space of a right-angled Coxeter…

We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of…

We compute the cohomology of the quotient algebra $\mathcal{A}(2)$ of the $\mathbb{R}$-motivic dual Steenrod algebra. We do so by running a $\rho$-Bockstein spectral sequence whose input is the cohomology of $\mathbb{C}$-motivic…

This paper studies groups of symplectomorphisms of ruled surfaces for symplectic forms with varying cohomology class. This class is characterized by the ratio R of the size of the base to that of the fiber. By considering appropriate spaces…

Let n be any positive integer and p any prime. Also, let X be any spectrum and let K(n) denote the nth Morava K-theory spectrum. Then we construct a descent spectral sequence with abutment pi_*(L_{K(n)}(X)) and E_2-term equal to the…

We compute the homotopy groups of spectra associated by a theorem of Lurie to the Shimura curves of discriminants 6, 10, and 14, beginning with a computation of integral rings of automorphic forms on these curves. As an application, we find…

An equivariant stable birational invariant of an action of a finite group on a smooth projective variety is the first cohomology group of the Picard module. Bogomolov-Prokhorov and Shinder computed this for actions of cyclic groups on…

We explain a new relationship between formal group laws and ring spectra in stable homotopy theory. We study a ring spectrum denoted DB which depends on a commutative ring B and is closely related to the topological Andre-Quillen homology…

For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert…

We develop a framework for displaying the stable homotopy theory of the sphere, at least after localization at the second Morava K-theory K(2). At the prime 3, we write the spectrum L_{K(2)S^0 as the inverse limit of a tower of fibrations…