Related papers: Infinitesimal ideal systems and the Atiyah class
For symplectic Lie algebras $\mathfrak{sp}(2n,\mathbb{C})$, denote by $\mathfrak{b}$ and $\mathfrak{n}$ its Borel subalgebra and maximal nilpotent subalgebra, respectively. We construct a relationship between the abelian ideals of…
Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…
Ideals that share properties with the Frattini ideal of a Leibniz algebra are studied. Similar investigations have been considered in group theory. However most of the results are new for Lie algebras. Many of the results involve nilpotency…
We extend the notion of connection in order to be able to study singular geometric structures, namely, we consider a notion of connection on a Lie algebroid which is a natural extension of the usual concept of connection. Using connections,…
We give a new proof of the equivalence between the existence of a complete action of a Lie algebroid on a surjective submersion and its integrability. The main tools in our approach are double Lie groupoids and multiplicative foliations,…
Binomial ideals are special polynomial ideals with many algorithmically and theoretically nice properties. We discuss the problem of deciding if a given polynomial ideal is binomial. While the methods are general, our main motivation and…
Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely…
Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a…
The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…
Given two determinantal rings over a field k. We consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety.…
Let $K$ be a global field and let $Z$ be a geometrically irreducible algebraic variety defined over $K$. We show that if a big set $S\subseteq Z$ of rational points of bounded height occupies few residue classes modulo $\mathfrak{p}$ for…
We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers.…
If $G$ is a finite Coxeter group, then symplectic reflection algebra $H:=H_{1,\eta}(G)$ has Lie algebra $\mathfrak {sl}_2$ of inner derivations and can be decomposed under spin: $H=H_0 \oplus H_{1/2} \oplus H_{1} \oplus H_{3/2} \oplus ...$.…
Let $k$ be an infinite field and $I\subset k [x_1, \ldots ,x_n]$ be an ideal such that dim $V(I)=q$. Denote by $(f_1, \ldots, f_s)$ a set of generators of $I$. One can see that in the set $I\cap k [x_{1},...,x_{q+1}]$ there exist non-zero…
For a Lie algebroid $L$ and a Lie subalgebroid $A$, i.e. a Lie pair $(L,A)$, we study the Atiyah class and the Todd class of the pullback dg (i.e. differential graded) Lie algebroid $\pi^! L$ of $L$ along the bundle projection $\pi:A[1] \to…
In a previous joint paper with Wu and Yakimov, we gave an explicit description of the lowest discriminant ideal in Cayley-Hamilton Hopf algebras $(H,C,\mathrm{tr})$ with basic identity fiber, i.e. all irreducible representations over the…
$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…
For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is an ideal in…
Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of…
Let $E$ be a vector bundle and $L$ be a line bundle over a smooth projective variety $X$. In this article, we give a condition for the vanishing of Dolbeault cohomology groups of the form $H^{p,q}(X,\SSS^{\alpha}E\otimes \wedge^{\beta}…