Related papers: The space of commuting elements in a Lie group and…
Let $G$ be a real linear algebraic group and $L$ a finitely generated cosimplicial group. We prove that the space of homomorphisms $Hom(L_n,G)$ has a homotopy stable decomposition for each $n\geq 1$. When $G$ is a compact Lie group, we show…
Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…
Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We examine the Lefschetz homomorphism $\Lambda: \mathcal{E}_k(G) \to O(T(kG))$ from the group of endotrivial complexes, i.e. the Picard group of the bounded homotopy…
The theta map sends code polynomials into the ring of Siegel modular forms of even weights. Explicit description of the image is known for $g\leq 3$ and the surjectivity of the theta map follows. Instead it is known that this map is not…
Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…
Given a closed oriented surface $\Sigma$ of genus at least two, the Goldman trace map defines a function from the vector space generated by the free homotopy classes of oriented closed curves to the Poisson algebra of regular functions on…
Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive…
The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic…
For a semisimple complex algebraic group $G$ we determine the rational cohomology and the Hodge-Tate structure of the moduli stack ${\mathscr B}un_{G,X}$ of principal $G$-bundles over a connected smooth complex projective variety $X$ of…
We give a complete description of which non-torsion generators are not in the image of the Thom morphism from complex cobordism to integral cohomology for the classifying space of exceptional Lie groups except for E_8. We then show that the…
We establish certain conditions which imply that a map $f:X\to Y$ of topological spaces is null homotopic when the induced integral cohomology homomorphism is trivial; one of them is: $H^*(X)$ and $\pi_*(Y)$ have no torsion and $H^*(Y)$ is…
For any natural numbers $k \leq n$, the rational cohomology ring of the space of continuous maps $S^{2k-1} \to S^{2n-1}$ (respectively, $S^{4k-1} \to S^{4n-1}$) equivariant under the Hopf action of the circle (respectively, of the group…
If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $\Phi$. Let $\beta$ be in the centre of $K$. The reduction…
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…
Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least…
The main purpose of this paper is to introduce a method to stabilize certain spaces of homomorphisms from finitely generated free abelian groups to a Lie group $G$, namely $Hom(\mathbb Z^n,G)$. We show that this stabilized space of…
We give a complete description of the potential failure of the surjectivity of the Thom morphism from complex cobordism to integral cohomology for compact Lie groups via a detailed study of the Atiyah-Hirzebruch spectral sequence and the…
We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…
Let $R$ be a commutative $\mathbb{Z}[1/p]$-algebra, let $m \leq n$ be positive integers, and let $G_n=\text{GL}_n(F)$ and $G_m=\text{GL}_m(F)$ where $F$ is a $p$-adic field. The Weil representation is the smooth $R[G_n\times G_m]$-module…
Let $G$ be an elementary abelian $p$-group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$. Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be…