arXiv research

Paper constructs subcomplexes from filtered Riemannian manifolds.

We define an n-plectic structure as a commutative and torsionless Lie Rinehart pair, together with a distinguished cocycle from its Chevalley-Eilenberg complex. This 'n-plectic cocycle' gives rise to an extension of the Chevalley-Eilenberg complex by so called symplectic tensors. The cohomology of this extension genera…

Given a Lie algebra with a scalar product, one may consider the latter as a symplectic structure on a $dg$-scheme, which is the spectrum of the Chevalley--Eilenberg algebra. In the first section we explicitly calculate the first order deformation of the differential on the Hochschild complex of the Chevalley--Eilenberg…

Study cohomology of hemistrict Lie 2-algebras, proving isomorphic results.

Inspired by the work of Chevalley and Eilenberg on the de Rham cohomology on compact Lie groups, we prove that, under certain algebraic and topological conditions, the cohomology associated to left-invariant elliptic, and even hypocomplex, involutive structures on compact Lie groups can be computed by using only Lie al…

We investigate when the Chevalley-Eilenberg differential of a complex Lie algebroid on a manifold with boundary admits a Hodge decomposition. We introduce the concepts of Cauchy-Riemann structures, elliptic and non-elliptic boundary points and Levi-forms, which we use to define the notion of q-convexity. We show that t…

Researchers calculate cohomological dimensions of manifold configuration spaces, proving arithmeticity and providing bounds.

Novel proof technique for Gelfand-Fuks cohomology.

Geometrically solves differentiating simplicial manifolds.

New algebra structure derived from Lie pairs.

New construction of Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.

We study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy …

New internal symmetry found for Lie pair algebra.

We continue the study the Dolbeault dga of the formal neighborhood of an arbitary closed embedding of complex manifolds previously defined by the author in \cite{DolbeaultDGA}. The special case of the diagonal embedding has been studied in \cite{Diagonal}. We describe the Dolbeault dga explicitly in terms of the formal…

Global theory of relative invariants and equivariant line bundles established.

The Van Est homomorphism for a Lie groupoid $G \rightrightarrows M$, as introduced by Weinstein-Xu, is a cochain map from the complex $C^\infty(BG)$ of groupoid cochains to the Chevalley-Eilenberg complex $C(A)$ of the Lie algebroid $A$ of $G$. It was generalized by Weinstein, Mehta, and Abad-Crainic to a morphism from…

Proves cohomology of elliptic structures on Lie groups can be algebraic.

We construct a spectral sequence converging to the Morava $E$-theory of unordered configuration spaces and identify its E$^2$-page as the homology of a Chevalley-Eilenberg-like complex for Hecke Lie algebras. Based on this, we compute the $E$-theory of the weight $p$ summands of iterated loop spaces of spheres (paramet…

We extend the classical characterization of a finite-dimensional Lie algebra g in terms of its Maurer-Cartan algebra-the familiar differential graded algebra of alternating forms on g with values in the ground field, endowed with the standard Lie algebra cohomology operator-to sh Lie-Rinehart algebras. To this end, we …

Lie n-algebroids and Lie infinity algebroids are usually thought of exclusively in supergeometric or algebraic terms. In this work, we apply the higher derived brackets construction to obtain a geometric description of Lie n-algebroids by means of brackets and anchors. Moreover, we provide a geometric description of mo…

We introduce and study the Wilson loops in a general 3D topological field theories (TFTs), and show that the expectation value of Wilson loops also gives knot invariants as in Chern-Simons theory. We study the TFTs within the Batalin-Vilkovisky (BV) and Alexandrov-Kontsevich-Schwarz-Zaboronsky (AKSZ) framework, and the…

An involutive distribution $C$ on a smooth manifold $M$ is a Lie-algebroid acting on sections of the normal bundle $TM/C$. It is known that the Chevalley-Eilenberg complex associated to this representation of $C$ possesses the structure $\mathbb{X}$ of a strong homotopy Lie-Rinehart algebra. It is natural to interpret …

A well-known theorem of Kapranov states that the Atiyah class of the tangent bundle $TX$ of a complex manifold $X$ makes the shifted tangent bundle $TX[-1]$ into a Lie algebra object in the derived category $D(X)$. Moreover, he showed that there is an $L_\infty$-algebra structure on the Dolbeault resolution of $TX[-1]$…

Researchers determined the second homology group of a specific symplectic derivation Lie algebra.

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of `transverse symmetries', by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a `quantum group' counterpart of the infinite-dimensional primitive Lie algeb…

Abstract: Tangent categories get a Cartan calculus with scalar multiplication by a commutative ring.

The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of functions which vanish on a constraint locus. This ideal is called first class if $I$…

Study probabilistic category and complexity bounds, comparing with classical invariants.

Analytic torsion expansions for symmetric and complex homogeneous spaces.

This paper undertakes a study of the structure of the fibers of the Chevalley exponentiation maps $f_{(i_1,\dots ,i_d)}$. The fibers of these maps $f_{(i_1,\dots ,i_d)}$ encode the nonnegative real relations amongst exponentiated Chevalley generators. Our main theorems show that the fibers admit cell stratifications, t…

We give a new proof of the Jantzen sum formula for integral representations of Chevalley schemes over Spec Z. This is done by applying the fixed point formula of Lefschetz type in Arakelov geometry to generalized flag varieties. Our proof involves the computation of the equivariant Ray-Singer torsion for all equivarian…

We prove that to every inclusion $A\hookrightarrow L$ of Lie algebroids over the same base manifold $M$ corresponds a Kapranov dg-manifold structure on $A[1]\oplus L/A$, which is canonical up to isomorphism. As a consequence, $Γ(Λ^\bullet A^\vee\otimes L/A)$ carries a canonical $L_\infty[1]$ algebra structure whose una…

New theorem bounds group quotient size to subgroups index.

Normal forms and moduli stacks for flat connections on complex manifolds.

Describes the relationship between two spectral sequences and their joint refinement.

Study finds conditions for operator fields to be in strictly upper triangular form in small dimensions.

The abstract discusses extensions of Jacobi groups and their orbit space properties.

Study on descent properties of complex affine surfaces under proper morphisms.

A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Ei…

Let $X$ be a locally symmetric space defined by a simple Chevalley group $G$ and a congruence subgroup of $G(\mathbb Q)$. In this generality, the Weyl law for $X$ was proved by Lindenstrauss--Venkatesh. In the case where $G$ is simply connected, we sharpen their result by giving a power saving estimate for the remainde…

We prove that every homomorphism from the elementary Chevalley group over a finitely generated unital commutative ring associated with reduced irreducible classical root system of rank at least 2, and ME analogues of such groups, into acylindrically hyperbolic groups has an absolutely elliptic image. This result provid…

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely that a freely-…

We show that if G is a Chevalley group of rank n and F_q[t,t^{-1}] is the ring of Laurent polynomials over a finite field, then G(F_q[t,t^{-1}]) is of type F_{2n-1}. This bound is optimal because it is known -- and we show again -- that the group is not of type F_{2n}.

Let X be a subcomplex of the standard CW-decomposition of the n-dimensional torus. We exhibit an explicit optimal motion planning algorithm for X. This construction is used to calculate the topological complexity of complements of general position arrangements and Eilenberg-Mac Lane spaces associated to right-angled Ar…

We create a 3-skeleton for a symmetric group's classifying space.

Let X be a finite CW-complex of dimension q. If its fundamental group $π_{1}(X)$ is polycyclic of Hirsch number h>q we show that at least one of the homotopy groups $π_{i}(X)$ is not finitely generated. If h=q or h=q-1 the same conclusion holds unless X is an Eilenberg-McLane space $K(π_{1}(X),1)$.

We continue the study of the distribution of closed geodesics on nilmanifolds constructed from a simply connected 2-step nilpotent Lie group with a left invariant metric and a lattice. We consider a Lie group with an associated 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact sem…

An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity …