相关论文: Gr\"obner basis and Anick's resolution for U_{F_2}…

In the hyperalgebra $\mathcal{U}_r$ of the $r$-th Frobenius kernel $({\rm SL}_2)_r$ of the algebraic group ${\rm SL}_2$, we construct a basis of the $\mathcal{U}_r$-module generated by a certain element which was given by the author before.…

Although Buchberger's algorithm, in theory, allows us to compute Gr\"obner bases over any field, in practice, however, the computational efficiency depends on the arithmetic of the ground field. Consider a field $K = \mathbb{Q}(\alpha)$, a…

Consider the Schrodinger equation -\Delta u =(k+V) u in an infinite slab S= \R^{n-1}x (0,1), where V is a bounded potential supported on a set D of finite measure. We prove necessary conditions for the existence of nontrivial admissible…

We construct an algorithm for the minimal model program in dimension three over the field of algebraic numbers. As auxiliary results, we also construct algorithms for computing bigraded global Hom modules and for computing Stein…

We present an elegant, generic and extensive formalization of Gr\"obner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-polynomials, Buchberger's algorithm, Buchberger's criteria…

Let S be an algebraic space, A an S-abelian algebraic space, L an S-fiberwise numerically trivial invertible module on A, and L* the sheaf of regular sections of L considered as a G_m-torsor on A. We classify the S-minimal models of L* into…

In this work we develop the theory of Gr\"obner bases for modules over the ring of univariate linearized polynomials with coefficients from a finite field.

We consider the closest-point projection with respect to the Frobenius norm of a general real square matrix to the set SL($n$) of matrices with unit determinant. As it turns out, it is sufficient to consider diagonal matrices only. We…

For a given monomial ideal $J \subset k[x_1, \ldots, x_n]$ and a given monomial order $\prec$, the moduli functor of all reduced Gr\"obner bases with respect to $\prec$ whose initial ideal is $J$ is determined. In some cases, such a functor…

Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the…

We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic…

We present a general algorithm for constructing a free resolution for unit groups of orders in semisimple rational algebras. The approach is based on computing a contractible $G$-complex employing the theory of minimal classes of quadratic…

We study small non-trivial solutions of quadratic congruences of the form $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$, with $q$ being an odd natural number, in an average sense. This extends previous work of the authors in which…

We use the newly developed technique of inverse quantum hamiltonian reduction to investigate the representation theory of the simple affine vertex algebra $\mathsf{A}_{2}(\mathsf{u},2)$ associated to $\mathfrak{sl}_{3}$ at level $\mathsf{k}…

We construct a simplified resolution for the trivial G-module Z, where G is a finite abelian group, and compare it with the standard resolution. We use it to calculate cohomologies of irreducible G-lattices and their duals.

A trivial projective change of a Finsler metric $F$ is the Finsler metric $F + df$. I explain when it is possible to make a given Finsler metric both forward and backward complete by a trivial projective change. The problem actually came…

Let $A_n(K)$ be the Kostant form of $\mathfrak{U}(sl_n^+)$ and $\Gamma$ the monoid generated by the positive roots of $sl_n$. For each $\lambda\in \Lambda(n,r)$ we construct a functor $F_{\lambda}$ from the category of finitely generated…

In these lectures we cover basics of the theory of heights starting with the heights in the projective space, heights of polynomials, and heights of the algebraic curves. We define the minimal height of binary forms and moduli height for…

For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…

The work of the first author on the moment map for representations of quivers included a classification of the possible dimension vectors of simple modules for deformed preprojective algebras. That classification was later used to solve an…