Related papers: \'{E}tale Homotopy Obstructions of Arithmetic Sphe…
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…
Let $p$ be a prime, $F$ a totally real field in which $p$ is unramified, and $X/\overline{\mathbb{F}}_p$ a Shimura variety associated to ${\rm Res}_{F/\mathbb{Q}} {\rm GL}_2$ (or a PEL Hilbert modular variety). A mod $p$ Hilbert modular…
Suppose $X^{N}$ is a closed oriented manifold, $\alpha \in H^*(X;\mathbb{R})$ is a cohomology class, and $Z \in H_{N-k}(X)$ is an integral homology class. We ask the following question: is there an oriented embedded submanifold $Y^{N-k}…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
We interpret the complexes defining rack cohomology in terms of a certain differential graded bialgebra. This yields elementary algebraic proofs of old and new structural results for this cohomology theory. For instance, we exhibit two…
The paper is devoted to the problem when a map from some closed connected manifold to an aspherical closed manifold approximately fibers, i.e., is homotopic to Manifold Approximate Fibration. We define obstructions in algebraic K-theory.…
In this paper we present a way of computing a lower bound for genus of any smooth representative of a homology class of positive self-intersection in a smooth four-manifold $X$ with second positive Betti number $b_2^+(X)=1$. We study the…
In this paper we discuss the topology of the symplectomorphism group of a product of two 2-dimensional spheres when the ratio of their areas lies in the interval (1,2]. More precisely we compute the homotopy type of this symplectomorphism…
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…
We show that in all homotopy classes of mappings from complex projective space to Riemannian manifolds, the infimum of the energy is proportional to the infimal area in the homotopy class of mappings of the 2-sphere which represents the…
For a topological space $X$ we study continuous maps $f : X\to \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We…
We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariant for a principal bundle over the sphere are less than or equal to two. Moreover computational…
We compute the Borel equivariant cohomology ring of the left $K$-action on a homogeneous space $G/H$, where $G$ is a connected Lie group, $H$ and $K$ are closed, connected subgroups and $2$ and the torsion primes of the Lie groups are units…
Let V be a smooth variety defined over the real numbers. Every algebraic vector bundle on V induces a complex vector bundle on the underlying topological space V(C), and the involution coming from complex conjugation makes it a Real vector…
We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function…
Let $X$ be a smooth compact projective variety over $\mathbb C$. Let $H^2(\pi_1(X),\mathbb R)^{1,1}$ be the intersection of $H^{1,1}(X,{\mathbb R})$ with the image of the map $H^2(\pi_1(X),{\mathbb R})\to H^2(X)$ induced by the classifying…
Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…
We present homotopy theoretic and geometric interpretations of the Kane-Mele invariant for gapped fermionic quantum systems in three dimensions with time-reversal symmetry. We show that the invariant is related to a certain 4-equivalence…
The Curtis conjecture predicts that the only spherical classes in $H_*(Q_0S^0;\Z/2)$ are the Hopf invariant one and the Kervaire invariant one elements. We consider Sullivan's decomposition $$Q_0S^0=J\times\cok J$$ where $J$ is the fibre of…