Related papers: Gr\"obner basis and Anick's resolution for U_{F_2}…

Let $G$ be a simply-connected semisimple algebraic group scheme over an algebraically closed field of characteristic $p > 0$. Let $r \geq 1$ and set $q = p^r$. We show that if a rational $G$-module $M$ is projective over the $r$-th…

For A,epsilon>0 and any sufficiently large odd n we show that for almost all k up to n^{1/5-epsilon} there exists a representation n=p1+p2+p3 with primes in residue classes b1,b2,b3 mod k for almost all admissible triplets b1,b2,b3 of…

We define a notion of complexity for modules over infinite groups. We show that if $M$ is a module over the group ring $kG$, and $M$ has complexity $\leq f$ (where $f$ is some complexity function) over some set of finite index subgroups of…

Given an $SL(3)$ spectral curve over a simply connected Riemann surface, we describe in detail the reduction steps necessary to construct the core of a pre-building with versal harmonic map whose differential is given by the spectral curve.

In this paper, we construct, investigate and, in some cases, classify several new classes of (simple) modules over the Takiff $\mathfrak{sl}_{2}$. More precisely, we first explicitly construct and classify, up to isomorphism, all modules…

Gr\"obner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field…

We study equivariant modules over $GL(V)$ over the polynomial ring $R = Sym V$. We introduce for every partition $\lambda$ the elementary equivariant module $M_{\lambda}$. Then we prove that any finitely generated equivariant module admits…

This paper proposes a method for construction of approximate feasible primal solutions from dual ones for large-scale optimization problems possessing certain separability properties. Whereas infeasible primal estimates can typically be…

Let $k$ be an algebraically closed field of characteristic $p$, possibly zero, and $G=q$-$\GL_3(k)$, the quantum group of three by three matrices as defined by Dipper and Donkin. We may also take $G$ to be $\GL_3(k)$. We first determine the…

We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of…

A simple third order compact finite element method is proposed for one-dimensional Sturm-Liouville boundary value problems. The key idea is based on the interpolation error estimate, which can be related to the source term. Thus, a simple…

The modular transformation properties of admissible characters of the affine superalgebra sl(2|1;C) at fractional level k=1/u-1, u=2,3,... are presented. All modular invariants for u=2 and u=3 are calculated explicitly and an A-series and…

We construct affine algebras with an arbitrary amount of simple modules of each dimension.

We consider a nodal curve $C$ in the complex projective plane whose irreducible components $C_i$ are smooth. A minimal set of generators $G$ for the first and second syzygy modules of the Jacobian ideal of $C$ are described, using recent…

We show that the strongly minimal second Painlev\'e equation (y" = 2y^3+ty+\alpha) is geometrically trivial, that is we show that if y_1,...,y_n are distinct solutions such that y_1,y_1',y_2,y_2',...,y_n,y_n' are algebraically dependent…

We present an algorithm for computing the structure of any submodule of the module of points of a Drinfeld $A$-module over a finite field, where $A$ is a function ring over $\mathbb F_q$. When the function ring is $A = \mathbb F_q[T]$, we…

In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii)…

We write a procedure for constructing noncommutative Groebner bases. Reductions are done by particular linear projectors, called reduction operators. The operators enable us to use a lattice construction to reduce simultaneously each…

We provide several extensions of the modular method which were motivated by the problem of completing previous work to prove that, for any integer $n \geq 2$, the equation \[ x^{13} + y^{13} = 3 z^n \] has no non-trivial solutions. In…

Let $\epsilon>0$ and let $q$ be a prime going to infinity. We prove that with high probability given $x,y$ in the projective plane over the finite field $F_q$ there exists $\gamma$ in $SL_3(Z)$, with coordinates bounded by…