Related papers: $\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$
We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product…
The classical HKR-theorem gives an isomorphism of the n-th Hochschild cohomology of a smooth algebra and the n-th exterior power of its module of K\"ahler differentials. Here we generalize it for simplicial, graded and anticommutative…
Let f:E -> E be a homeomorphism of the plane E. We define open sets P, called {\em pruning fronts} after the work of Cvitanovi\'c, for which it is possible to construct an isotopy H: E x [0,1] -> E with open support contained in the union…
Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology.…
In this article we present a solution to a conjecture of Vladimir Voevodsky regarding C-systems. This conjecture provides, under some assumptions, a lift of a functor $M\colon \mathrm{CC} \rightarrow \mathcal{C}$, where $\mathrm{CC}$ is a…
To the best of our knowledge, there are very few results on how Heyting-valued models are affected by the morphisms on the complete Heyting algebras that determine them: the only cases found in the literature are concerning automorphisms of…
A point x is a (bow) tie-point of a space X if X setminus {x} can be partitioned into (relatively) clopen sets each with x in its closure. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of betaN setminus N=…
Let $\mathfrak g_i$ be a simple complex Lie algebra, $1\leq i \leq d$, and let $G=G_1\times...\times G_d$ be the corresponding adjoint group. Consider the $G$-module $V=\oplus r_i\mathfrak g_i$ where $r_i\geq 1$ for all $i$. We say that $V$…
Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…
We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial.
We study the conditions under which the cotangent bundle $T^*M$ of a Riemaannian manifold $(M,g)$, endowed with a K\"ahlerian structure $(G,J)$ of general natural lift type (see \cite{Druta1}), is Einstein. We first obtain a general natural…
P.Lecomte has proposed to take into account the covariant derivatives used to build ordering prescriptions for the naturality of transformation properties and has conjectured that there exists an natural ordering prescription for…
What does it mean for a shape to change continuously? Over the space of convex regions, there is only one "reasonable" answer. However, over a broader class of regions, such as the class of star-shaped regions, there can be many different…
Hodge theory associates to a smooth projective variety over $\mathbb{C}$ a piece of linear algebra information, called a $\mathbb{Q}$-Hodge structure. Conversely, it is a natural question which abstract $\mathbb{Q}$-Hodge structures arise…
Consider a dominant rational self-map $f$ on a smooth projective variety $X$ defined over $\overline{\mathbb{Q}}$. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where $h_{Y}$ is a…
Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf…
For any $n\geq k\geq l\in\mathbb{N},$ let $S(n,k,l)$ be the set of all those non-negative definite matrices $a\in M_{n}(\mathbb{C})$ with $l\leq\text{rank }a\leq k$. Motivated by applications to $C^{*}$-algebra theory, we investigate the…
Let $H$ be a H\'enon map of the form $H(x,y)=(y,p(y)-ax)$. We prove that the escaping set $U^+$ (or equivalently, the non-escaping set $K^+$), of $H$ is rigid under the actions of automorphisms of $\mathbb{C}^2$ if the degree of $H=d\le…
There are several ways to generalize characteristic classes for singular algebraic varieties. The simplest ones to describe are Chern-Mather classes obtained by Nash blow up. They serve as an ingredient to construct…
We prove that every (geometrically) quasiconformal homeomorphism between metric measure spaces induces an isomorphism between the cotangent modules constructed by Gigli. We obtain this by first showing that every continuous mapping…