Related papers: A Simple proof of Curtis' connectivity theorem for…
Let $X$ be an irreducible smooth complex projective variety. Let $G$ be a linear algebraic group over $\mathbb{C}$. We define the notion of Lie algebroid valued connection on holomorphic principal $G$--bundles on $X$, and study their basic…
Let $F \hookrightarrow X \to B$ be a fibre bundle with structure group $G$, where $B$ is $(d{-}1)$-connected and of finite dimension, $d \geq 1$. We prove that the strong L-S category of $X$ is less than or equal to $m + \frac{\dim B}{d}$,…
We derive an analog of Melvin-Morton bound on the power series expansion of Jones polynomial of algebraically split links and boundary links. This allows us to produce a simple formula for the trivial connection contribution to Witten's…
We present a modern formulation of \'Elie Cartan's structure theory for Lie pseudogroups and prove a reduction theorem that clarifies the role of Cartan's systatic system. The paper is divided into three parts. In part one, using notions…
A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified,…
A special case of a conjecture raised by Forrest and Runde (Math. Zeit., 2005) asserts that the Fourier algebra of every non-abelian connected Lie group fails to be weakly amenable; this was aleady known to hold in the non-abelian compact…
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented…
An R-link is an $n$-component link $L$ in $S^3$ such that Dehn surgery on $L$ yields $\#^n(S^1 \times S^2)$. Every R-link $L$ gives rise to a geometrically simply-connected homotopy 4-sphere $X_L$, which in turn can be used to produce a…
Lie groups and quantum algebras are connected through their common universal enveloping algebra. The adjoint action of Lie group on its algebra is naturally extended to related q-algebra and q-coalgebra. In such a way, quantum structure can…
We verify Curtis conjecture on a class of elements of ${_2\pi_*^s}$ that satisfy a certain factorisation property. To be more precise, suppose $f\in{_2\pi_n^s}$ pulls back to $g\in{_2\pi_n^s}P$ through the Kahn-Priddy map $\lambda:QP\to…
We prove a discretized Product Theorem for general simple Lie groups, in the spirit of Bourgain's Discretized Sum-Product Theorem.
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
The (reduced) characteristic group of a locally conformally product manifold is obtained by restricting the action of its fundamental group to the non-flat factor of the universal cover, and taking the connected component of the identity in…
We prove that if $A$ is a non-separable abelian tracial von Neuman algebra then its free powers $A^{*n}, 2\leq n \leq \infty$, are mutually non-isomorphic and with trivial fundamental group, $\mathcal F(A^{*n})=1$, whenever $2\leq…
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies…
We prove that the Heisenberg groups can be distinguished from the other connected and simply connected Lie groups via their group $C^*$-algebras. The main step of the proof is a characterization of the nilpotent Lie groups among the…
We study the Leibniz $n$-algebra $\textbf{U}_n(\mathfrak{L})$, whose multiplication is defined via the bracket of a Leibniz algebra $\mathfrak{L}$ as $[x_1,\dots,x_n]=[x_1,[\dots, [x_{n-2},[x_{n-1},x_n]]\dots]]$. We show that…
Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…
The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent…
We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem…