Related papers: A note on the homology of $\Sigma_n$, the Schwartz…

Let pi: M^{ell+n} -> B^n be a submersion that presents a regular foliation by its fibers, and let S^n subset M be a closed embedded complementary submanifold, with f = pi|S: S -> B. We give two concise obstructions to keeping S everywhere…

Fagin defined the class $NP$ by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-Order logic (SNP), while the authors used forbidden expanded…

We give a presentation for the cohomology algebra of the Spaltenstein variety of all partial flags annihilated by a fixed nilpotent matrix, generalizing the description of the cohomology algebra of the Springer fiber found by De Concini,…

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…

We give an affirmative answer to the Grunwald problem for new families of non-solvable finite groups G, away from the set of primes dividing |G|. Furthermore, we show that such G verify the condition (BM), that is, the Brauer-Manin…

The structure of the first homology group of a cyclic covering of a knot is an important invariant well known in the knot theory. In the last century, H. Seifert developed a general approach to compute the homology group of the covering.…

Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…

We study the self-dual Hopf algebra $\h\_{\SP}$ of special posets introduced by Malvenuto and Reutenauer and the Hopf algebra morphism from $\h\_{\SP}$ to to the Hopf algebra of free quasi-symmetric functions $\FQSym$ given by linear…

When can a map between manifolds be deformed away from itself? We describe a (normal bordism) obstruction which is often computable and in general much stronger than the classical primary obstruction in cohomology. In particular, it answers…

Consider the semisimple mod p reduction of the Galois representation associated to a Hilbert newform f by Carayol and Taylor. This paper discusses how, under certain conditions on f, the universal ring for deformations of this residual…

We study certain mild degenerations of algebraic varieties which appear in the analysis of a large class of supersymmetric theories, including superstring theory. We analyze Witten's sigma-model and find that the non-transversality of the…

In this paper, we continue the study of the existence problem of compact Clifford-Klein forms from a cohomological point of view, which was initiated by Kobayashi-Ono and extended by Benoist-Labourie and the author. We give an obstruction…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

It is well-known that generic perturbations of the complex Frobenius algebra used to define Khovanov cohomology each give rise to Rasmussen's concordance invariant s. This gives a concordance homomorphism to the integers and a strong lower…

We prove that the group of birational transformations of a Del Pezzo fibration of degree 3 over a curve is not simple, by giving a surjective group homomorphism to a free product of infinitely many groups of order 2. As a consequence we…

We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced…

Let $\sigma(n)$ and $\gamma(n)$ denote the sum of divisors and the product of distinct prime divisors of $n$ respectively. We shall show that, if $n\neq 1, 1782$ and $\sigma(n)=(\gamma(n))^2$, then there exist odd (not necessarily distinct)…

We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the…

We develop an obstruction theory for the existence and uniqueness of a solution to the gluing problem for a destriction functor and apply it to some well-known biset functors. The obstruction groups for this theory are reduced cohomology…

If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a…