Related papers: La conjecture du facteur direct

We first establish a general random Sperner lemma by presenting a completely new approach for the theory of $L^{0}$-simplicial subdivisions of $L^{0}$-simplexes. Based on this, we are able to achieve a new complete proof of the random…

To a planar algebra P in the sense of Jones we associate a natural non- commutative ring, which can be viewed as the ring of non-commutative polynomials in several indeterminates, invariant under a symmetry encoded by P. We show that this…

There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…

Some cases of the LFED Conjecture, proposed by the second author [Z3], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions $k(x)$ of the polynomial algebra $k[x]$,…

In this paper, at first, we show that for a ramified regular local ring $S$, which is an Eisenstein extension of an unramified regular local ring $R$, when an ideal $I$ of $S$ is extended from an ideal $J$ of $R$, the punctured spectrum of…

We show that every quasi-ordinary Weierstrass polynomial $P(Z) = Z^d+a_1 (X) Z^{d-1}+...+a_d(X) \in \K[[X]][Z] $, $X=(X_1,..., X_n)$, over an algebraically closed field of characterisic zero $\K$, and satisfying $a_1=0$, is…

Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…

A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We…

We proved the (local) path-connectedness of certain subset of the singular set of semiconcave functions with linear modulus in general. In some sense this result is optimal. The proof is based on a theorem by Marie-Claude Arnaud (M.-C.…

We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of SL_2(Z). Our result includes also Mason's generalization of the original conjecture to the setting of vector-valued…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

In this paper we deal with optimality conditions that can be verified by a nonlinear optimization algorithm, where only a single Lagrange multiplier is avaliable. In particular, we deal with a conjecture formulated in [R. Andreani, J.M.…

Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

We give an explicit formulation of the weight part of Serre's conjecture for GL_2 using Kummer theory. This avoids any reference to p-adic Hodge theory. The key inputs are a description of the reduction modulo p of crystalline extensions in…

For a perfectoid ring $R$ and a natural number $n$ we investigate the essential image of the category of truncated by $n$ Barsotti-Tate groups under the anti-equivalence between commutative, finite, locally free, $R$-group schemes of…

In analogy with the classical, affine toric rings, we define a local toric ring as the quotient of a regular local ring modulo an ideal generated by binomials in a regular system of parameters with unit coefficients; if the coefficients are…

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension E of F. We show that E|F can be chosen to be Galois, after a finite purely inseparable extension of…

In this paper, we prove several results on the finiteness of local cohomology of polynomial and formal power series rings. In particular, we give a partial affirmative answer for a question of L. N\'{u}\~{n}ez-Betancourt in [J. Algebra 399…