Related papers: Formality on rationalizations of simply connected …

In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…

It is formally constructed a normal form for a class of real-formal surfaces defined near a CR Singularity.

We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally…

The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the…

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…

We show that a $2k$-current $T$ on a complex manifold is a real holomorphic $k$-chain if and only if $T$ is locally real rectifiable, $d$-closed and has $\mathcal{H}^{2k}$-locally finite support. This result is applied to study homology…

A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient…

The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional…

Let C be the centralizer in a finite Weyl group of an elementary abelian 2-subgroup. We show that every complex representation of C can be realized over the field of rational numbers. The same holds for a Sylow 2-subgroup of C.

Koll\'ar's conjecture states that a complex projective surface $S$ with quotient singularities and with $H^2(S,\bbQ)\cong \bbQ$ should be rational if its smooth part $S^0$ is simply connected. We confirm the conjecture under the additional…

We give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate…

In his 1970 ICM report, Sullivan proposes the program of l-adic formalization of the concept of manifolds. In this program, he claims that smooth positive characteristic varieties should carry l-adic formal manifold structures. He also…

This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$.

We study the following question, asked to us By Pandharipande and Starr: Let $X$ be a rationally connected $3$-fold, and $Y$ be a compact Kaehler $3$-fold symplectically equivalent to it. Is $Y$ rationally connected? We show that the answer…

We establish some upper and lower bounds of the rational topological complexity for certain classes of elliptic spaces. Our techniques permit us in particular to show that the rational topological complexity coincides with the dimension of…

For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

We study symplectic geometry of rationally connected $3$-folds. The first result shows that rationally connectedness is a symplectic deformation invariant in dimension $3$. If a rationally connected $3$-fold $X$ is Fano or $b_2(X)=2$, we…

Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative…

We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology, over fields of characteristic zero. The key ingredient is the construction of a degree one Hochschild cohomology…