Related papers: The Computation of the Logarithmic Cohomology for …
We compute bifunctors cohomology for matrix polynomials under conjugation and detect candidates for universal classes in higher invariant theory.
Orthogonal polynomials in two variables on cubic curves are considered, including the case of elliptic curves. For an integral with respect to an appropriate weight function defined on a cubic curve, an explicit basis of orthogonal…
We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.
As a part of our program for Geometric Arithmetic, we develop an arithmetic cohomology theory for number fields using theory of locally compact groups.
In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic…
We compute cohomology of the moduli space of genus three curves with level two structure and some related spaces. In particular, we determine the cohomology groups of the moduli space of plane quartics with level two structure as…
In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators…
We study cohomology with coefficients in a rank one local system on the complement of an arrangement of hyperplanes $\A$. The cohomology plays an important role for the theory of generalized hypergeometric functions. We combine several…
We describe a method for counting maps of curves of given genus (and variable moduli) to $\Bbb P^2$, essentially by splitting the $\Bbb P^2$ in two; then specialising to the case of genus 0 we show that the method of quantum cohomology may…
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…
We compute the quantum cohomology relative to a Lagrangian submanifold in some complete intersections. For quadric hypersurfaces, we also give a full computation of the genus zero open Gromov-Witten invariants.
We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with…
We present an algorithm for computing line bundle valued cohomology classes over toric varieties. This is the basic starting point for computing massless modes in both heterotic and Type IIB/F-theory compactifications, where the manifolds…
We present an algorithm for computing curves and families of curves of prescribed degree and geometric genus on real rational surfaces.
We calculate the quantum cohomology of the moduli space of stable $\PGL_2$-bundles over a smooth curve of genus $g\ge 2$.
We compute numerically the homology of several graph complexes in low loop orders, extending previous results.
We introduce a new logarithmic structure on the moduli stack of stable curves, admitting logarithmic gluing maps. Using this we define cohomological field theories taking values in the logarithmic Chow cohomology ring, a refinement of the…
We calculate rational homology groups of spaces of non-resultant (i.e. having no non-trivial common zeros) systems of homogemeous quadratic polynomials in R^3
For any natural $d \ge k \ge 2$ we calculate the cohomology groups of the space of homogeneous polynomials $R^2 \to R$ of degree $d$, which do not vanish with multiplicity $\ge k$ on real lines. For $k=2$ this problem provides the simplest…