Related papers: Decomposition theorem and torus actions of complex…
We construct a deformed Morse complex computing the equivariant cohomology of a manifold M endowed with a smooth S^1-action. The deformation of the coboundary operator is given by counting gradient flow lines of a Morse function f that are…
Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on…
We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…
We compute the cohomology with trivial coefficients of two graded infinite-dimensional Lie algebras of maximal class, give explicit formulas for their representative cocycles. Also we discuss the relations with combinatorics and…
We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.
We give the diffeomorphism classification of complete intersections with S^1-symmetry in dimension less than or equal to 6. In particular, we show that a 6-dimensional complete intersection admits a smooth non-trivial S^1-action if and only…
We compute the Betti numbers of the geometric spaces associated to nonrational simple convex polytopes and find that they depend on the combinatorial type of the polytope exactly as in the rational case. This shows that the combinatorial…
We consider the action of a noncompact torus H on the compact quotient G/L, where G is a Lie group containing H and L is a uniform lattice in G. Using harmonic analysis on G we prove a formula relating the compact orbits of H to the action…
A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness…
Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…
We introduce several new quantum algorithms for estimating homological invariants, specifically Betti numbers and persistent Betti numbers, of a simplicial complex given via a structured classical input. At the core of our algorithm lies…
We show how to construct certain homogeneous deformations for rational normal varieties with codimension one torus action. This can then be used to construct homogeneous deformations of any toric variety in arbitrary degree. For locally…
We construct Adams operations on the cohomology theory Tmf of topological modular forms; the first such stable operations on this cohomology theory. These Adams operations are then calculated on the Tmf-cohomology of spheres using a…
Tate cohomology has been generalised by several authors using different constructions that have applications in group theory, ring theory and homotopical algebra. Therefore, there is a need for a uniform account that explains why their…
Let $f$ be a germ of biholomorphism of $\C^n$, fixing the origin. We show that if the germ commutes with a torus action, then we get information on the germs that can be conjugated to $f$, and furthermore on the existence of a holomorphic…
We study the cohomology of broken toric varieties via the derived push-forward of the constant sheaf to a complex of polytopes, proving a Deligne-type decomposition theorem, degeneration of the associated Leray-Serre spectral sequence, and…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…
The tropical (p, q)-homology groups of Itenberg, Katzarkov, Mikhalkin and Zharkov are the tropical analogues of the Hodge decomposition of the cohomology of complex algebraic varieties. There is a well-defined intersection pairing on…
We study the Hilbert function and the graded Betti numbers of almost complete intersection artinian algebras. We show that that every Hilbert function of a complete intersection artinian algebra is the Hilbert function of an almost complete…
The purpose of this paper is to prove the localization theorem for torus actions in equivariant intersection theory. Using the theorem we give another proof of the Bott residue formula for Chern numbers of bundles on smooth complete…