Related papers: Efficient computation of resonance varieties via G…
We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a commutative field K of characteristic zero. In order to reach explicit representatives of some generators of…
Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* \to Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we…
In this paper, we introduce the $k$-adjoint of a given hyperplane arrangement $\mathcal{A}$ associated with rank-$k$ elements in the intersection lattice $L(\mathcal{A})$, which generalizes the classical adjoint proposed by Bixby and…
Let k be a base commutative ring, R a commutative ring of coefficients, X a quasi-compact quasi-separated k-scheme, A a sheaf of Azumaya algebras over X of rank r, and Hmo(R) the category of noncommutative motives with R-coefficients.…
Let A be a collection of n linear hyperplanes in k^l, where k is an algebraically closed field. The Orlik-Terao algebra of A is the subalgebra R(A) of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes…
Given a finitely-generated group $\pi$ and a linear algebraic group $G$, the representation variety Hom$(\pi,G)$ has a natural filtration by the characteristic varieties associated to a rational representation of $G$. Its algebraic…
The main result of this note is an efficient presentation of the $S^1$-equivariant cohomology ring of Peterson varieties (in type $A$) as a quotient of a polynomial ring by an ideal $\mathcal{J}$, in the spirit of the well-known Borel…
We study the structure of mod 2 cohomology rings of oriented Grassmannians $\tilde{\operatorname{Gr}}_k(n)$ of oriented $k$-planes in $\mathbb{R}^n$. Our main focus is on the structure of the cohomology ring ${\rm…
We show that if X is the complement of a complex hyperplane arrangement, then the homology of X has linear free resolution as a module over the exterior algebra on the first cohomology of X. We study invariants of X that can be deduced from…
Let $X$ be a smooth irreducible nondegenerate projective variety and let $X^*$ denote its dual variety. It is well known that $\sigma_2(X)^*$, the dual of the 2-secant variety of $X$, is a component of the singular locus of $X^*$. The locus…
We define a new version of $\mathbb A^1$-homology, called cellular $\mathbb A^1$-homology, for smooth schemes over a field that admit an increasing filtration by open subschemes with cohomologically trivial closed strata. We provide several…
We give an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a…
Let $R$ be a polynomial ring over a field. We describe the extremal rays and the facets of the cone of local cohomology tables of finitely generated graded $R$-modules of dimension at most two. Moreover, we show that any point inside the…
Let R be a commutative ring containing 1/2. We compute the R-cohomology ring of the configuration space F(m,k) of k ordered points in the m-dimensional real projective space. The method uses the observation that the orbit configuration…
A bi-arrangement of hyperplanes in a complex affine space is the data of two sets of hyperplanes along with a coloring information on the strata. To such a bi-arrangement, one naturally associates a relative cohomology group, that we call…
Suppose V is a finite dimensional, complex vector space, A is a finite set of codimension one subspaces of V, and G is a finite subgroup of the general linear group GL(V) that permutes the hyperplanes in A. In this paper we study invariants…
The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative…
Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal…
Simplicial complexes X provide commutative rings A(X) via the Stanley-Reisner construction. We calculated the cotangent cohomology, i.e., T1 and T2 of A(X) in terms of X. These modules provide information about the deformation theory of the…
We consider the interplay of point counts, singular cohomology, \'etale cohomology, eigenvalues of the Frobenius and the Grothendieck ring of varieties for two families of varieties: spaces of rational maps and moduli spaces of marked,…