Related papers: On the hit problem for the polynomial algebra and …

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

We investigate certain categories, associated by Fiebig with the geometric representation of a Coxeter system, via sheaves on Bruhat graphs. We modify Fiebig's definition of translation functors in order to extend it to the singular setting…

Let $f: X \rightarrow S$ be a family of non singular projective varieties parametrized by a complex algebraic variety $S$. Fix $s \in S$, an integer $p$, and a class $h \in {\rm H}^{2p}(X_s,\Z)$ of Hodge type $(p,p)$. We show that the…

We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices $L$. For single finite $L$, these problems are shown tobe $\mc{NP}$-complete; for $L$ of height at…

We study two-dimensional Riemannian metrics which are superintegrable in the class of polynomial in momenta integrals. The study is based on our main technical result, Theorem 3, which states that the Poisson bracket of two polynomial in…

Let $\mathbb{H}=(H_{1},H_{2})$ be a Hopf brace in a symmetric monoidal category ${\sf C}$. In this article it is proved that the category of modules over $\mathbb{H}$ is isomorphic to the category of modules over the smash product algebra…

We study the problem of extending a complex structure to a given Lie algebra g, which is firstly defined on an ideal h of g. We consider the next situations: h is either complex or it is totally real. The next question is to equip g with an…

There are two fundamental problems motivated by Silverman's conversations over the years concerning the nature of the exact values of canonical heights of $f(z)\in\bar{\mathbb{Q}}(z)$ where $f$ has degree $d\geq 2$. The first problem is the…

These are the notes for the talk "Hodge numbers of a hypothetical complex structure on $S^6$" given by the author at the MAM1 "(Non)-existence of complex structures on $S^6$" held in Marburg in March 2017. They are based on [A. Gray, A…

We show how direct integration can be used to solve the closed amplitudes of multi-cut matrix models with polynomial potentials. In the case of the cubic matrix model, we give explicit expressions for the ring of non-holomorphic modular…

The purpose of this paper is twofold. In the first part we concentrate on hyperplane sections of algebraic schemes, and present results for determining when Gr\"obner bases pass to the quotient and when they can be lifted. The main…

We review some aspects of the Racah algebra $R(n)$, including the closure relations, pointing out their role in superintegrability, as well as in the description of the symmetry algebra for several models with coalgebra symmetry. The…

We give a brief review of the cohomological Hall algebra CoHA $\mathcal{H}$ and the K-theoretical Hall algebra KHA $\mathcal{R}$ associated to quivers. In the case of symmetric quivers, we show that there exists a homomorphism of algebras…

Let $G,H$ be groups, $\phi: G \rightarrow H$ a group morphism, and $A$ a $G$-graded algebra. The morphism $\phi$ induces an $H$-grading on $A$, and on any $G$-graded $A$-module, which thus becomes an $H$-graded $A$-module. Given an…

Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…

This article concerns a question asked by M. V. Nori on homotopy of sections of Projective modules defined on the polynomial algebra over a smooth affine domain $R$. While this question has an affirmative answer, it is known that the…

Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

Let $R$ be a commutative local $k$-algebra of Krull dimension one, where $k$ is a field. Let $\alpha$ be a $k$-algebra automorphism of $R$, and define $S$ to be the skew polynomial algebra $R[\theta; \alpha]$. We offer, under some…

The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra $\goth g$ there exists a complete set of commuting polynomials on its dual space $\goth g^*$. In terms of the theory of integrable…