Related papers: Formality on rationalizations of simply connected …

We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbf{F}_7)$, $\mathfrak{A}_6$,…

After a short review on foliations, we prove that a codimension 1 holomorphic foliation on $\mathbb P^3_{\mathbb C}$ with simple singularities is given by a closed rational 1-form. The proof uses Hironaka-Matsumura prolongation theorem of…

The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an $A_\infty$-minimal model of this DGA. When only the cohomology is needed to determine the…

We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres.

We consider compact connected six dimensional symplectic manifolds with Hamiltonian SU(2) or SO(3) actions with cyclic principal stabilizers. We classify such manifolds up to equivariant symplectomorphisms.

We give a geometric characterization of finite rational groups. In particular, we prove that a finite group is rational if and only if there exists a finite geometry $\Gamma$ of type $I$ and action of $G$ on $\Gamma$ as a group of…

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

Let G be a real semisimple Lie group with finite center, with a finite number of connected components and without compact factor. We are interested in the homogeneous space of Cartan subgroups of G, which can be also seen as the space of…

As deep neural models in NLP become more complex, and as a consequence opaque, the necessity to interpret them becomes greater. A burgeoning interest has emerged in rationalizing explanations to provide short and coherent justifications for…

We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular…

Simplicial approximation provides a framework for constructing simplicial complexes that are homotopy equivalent to a given manifold, provided a CW structure is explicitly known. However, its conventional implementation quickly becomes…

In order to realize all possible KMS-bundles on the Jiang-Su algebra, we introduce a class of C*-algebras which we call rationally approximately finite dimensional (RAF). Using these, we show that for a given proper simplex bundle $(S,…

Let $\Sigma$ be a closed surface, $G$ a compact Lie group, not necessarily connected, with Lie algebra $g$, endowed with an adjoint action invariant scalar product, let $\xi \colon P \to \Sigma$ be a principal $G$-bundle, and pick a…

Let $f: X \rightarrow A$ be an abelian cover from a complex algebraic variety with quotient singularities to an abelian variety. We show that $f^*$ induces an isomorphism between the rational cohomology rings $H^\bullet(A, \mathbb{Q})$ and…

We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid…

We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

All compact K\"ahler, or even $\partial\bar\partial$-manifolds, are rationally formal. Not all of them are strongly formal. Yet some of them are: For complete smooth complex toric varieties and homogeneous compact K\"ahler manifolds we show…

When studying families in the moduli space of dynamical systems, choosing an appropriate representative function for a conjugacy class can be a delicate task. The most delicate questions surround rationality of the conjugacy class compared…