Related papers: A Zariski-Nagata theorem for smooth $\mathbb{Z}$-a…

For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter…

The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We…

Let $R$ be a noncommutative ring, and let $S$ be an $m$-system of $R$. In this paper, we give more results on the concept of almost prime (right) ideals, that were introduced by the first two authors, especially in (right) $S$-unital rings,…

In this paper we discourse basises of representable algebras. This question lead to arithmetic problems. We prove algorithmical solvability of exponential-Diophantine equations in rings represented by matrices over fields of positive…

The aim of this work is to compare symbolic and ordinary powers of monomial ideals using commutative algebra and combinatorics. Monomial ideals whose symbolic and ordinary powers coincide are called Simis ideals. Weighted monomial ideals…

For an ideal of a regular $\cc$-algebra, its Bernstein-Sato polynomial is the monic polynomial of the lowest degree satisfying an Bernstein-Sato functional equation. We generalize the notion of Bernstein-Sato functional equations to the…

Let $J$ be any ideal in a strongly $F$-regular, diagonally $F$-split ring $R$ essentially of finite type over an $F$-finite field. We show that $J^{s+t} \subseteq \tau(J^{s - \epsilon}) \tau(J^{t-\epsilon})$ for all $s, t, \epsilon > 0$ for…

Replacing symmetric powers by divided powers and working over Witt vectors instead of ground fields, I generalize Kawamatas T^1-lifting theorem to characteristic p>0. Combined with the work of Deligne-Illusie on degeneration of the Hodge-de…

Cyclotomic polynomials are basic objects in Number Theory. Their properties depend on the number of distinct primes that intervene in the factorization of their order, and the binary case is thus the first nontrivial case. This paper sees…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed…

In the number theory in positive characteristic, there are analogues of some special values introduced by Carlitz, Carlitz gamma values and Carlitz zeta values for instance. Each of them is further developed to arithmetic gamma values and…

After sketching the basic theory of injective ideals of homogeneous polynomials, we characterize injective polynomial ideals by means of a domination property and applications of this characterization to some classical operator ideals and…

A set of multivariate polynomials, over a field of zero or large characteristic, can be tested for algebraic independence by the well-known Jacobian criterion. For fields of other characteristic p>0, there is no analogous characterization…

Let $\mathbb{P}$ be an algebraic number field. We provide a computational analog of the strong approximation theorem for finitely generated Zariski dense groups $H\leq \mathrm{SL}(n,\mathbb{P})$, $n$ prime. That is, we present algorithms to…

Let $k$ be a field of characteristic $p>0$ and $R$ be a subalgebra of $k[X]=k[x_1,...,x_n]$. Let $J(R)$ be the ideal in $k[X]$ defined by $J(R)\Omega_{k[X]/k}^n=k[X]\Omega_{R/k}^n$. It is shown that if it is a principal ideal then $J(R)^q$…

The N distinct prime numbers that make up a composite number M allow $2^{N-1}$ bi partioning into two relatively prime factors. Each such pair defines a pair of conjugate representations. These pairs of conjugate representations, each of…

We show that for any two proper monomial ideals I and J in the polynomial ring S = k[x_1, ..., x_n] the ring S/IJ is Golod. We also show that if I is squarefree then for large enough k the quotient S/I^{(k)} of S by the kth symbolic power…

This paper investigates the symbolic powers of toric ideals. We first describe them in terms of the kernel of certain linear maps derived from the lattice structure of the toric ideal. Furthermore, we apply our results to show that symbolic…

The aim of this paper is to unveil an unexpected relationship between the normal form of a polynomial with respect to a polynomial ideal and the more geometric concept of orthogonality. We present a new way to calculate the normal form of a…