相关论文: A short proof of the Buchstaber-Rees theorem
This is a survey of our results on the theory of $n$-homomorphisms of Buchstaber--Rees and its generalization that we obtained. In short, we are concerned with classes of linear maps between commutative rings that can be described the "next…
The classical Kolmogorov-Gelfand theorem gives an embedding of a (compact Hausdorff) topological space X into the linear space of all linear functionals C(X)^* on the algebra of continuous functions C(X). The image is specified by algebraic…
The purpose of this paper is to give an elementary proof to the theorem due to Avramov on certain determinantal ideals of linear type.
We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle's libraries for analysis and measure-theoretic probability. The proof of…
Cauchy's interlace theorem states that the characteristic polynomial of a symmetric matrix is interlaced by the characteristic polynomial of any principle submatrix. We prove this in two sentences using only the linearity of the…
A very simple and short proof of the polynomial matrix spectral factorization theorem (on the unit circle as well as on the real line) is presented, which relies on elementary complex analysis and linear algebra.
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with…
We present short proofs of Toru\'nczyk's well-known characterization theorems of the Hilbert cube and Hilbert space, respectively.
A very short proof of the Fej\'er-Riesz lemma is presented in the matrix case
We present a formula for the trace of any symmetric power of a $n\times n$ matrix (with coefficients in a field) in terms of the ordinary powers of the matrix, an arbitrarily chosen linear function which vanishes on the identity matrix, and…
We give a simple proof of Strassen's theorem on stochastic dominance using linear programming duality, without requiring measure-theoretic arguments. The result extends to generalized inequalities using conic optimization duality and…
A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$.…
The theory of Rees algebras of monomial ideals has been extensively studied, and as a consequence, many (sometimes partial) equivalences between algebraic properties of monomial ideals, and combinatorial properties of simplicial complexes…
Under the assumption of the existence of Stahl's $S$-compact set we give a short proof of the limit zeros distribution of Pad\'e polynomials and convergence in capacity of diagonal Pad\'e approximants for a generic class of algebraic…
This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…
We investigate border ranks of twisted powers of polynomials and smoothability of symmetric powers of algebras. We prove that the latter are smoothable. For the former, we obtain upper bounds for the border rank in general and prove that…
In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for…
We show that under mild hypotheses on a proper algebraic space $X$, the functors of taking its symmetric powers and its \'{e}tale realisation commute up to weak equivalence. We conclude an effective version of the Dold-Thom theorem for the…
The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].