Related papers: Chow's Theorem Revisited
In this paper we present a series of seemingly unrelated results of Complex Analysis which are in fact connected via a different approach to their proofs using the results of Errett Bishop of volumes and limits of analytic varieties. We…
In his constructive development of complex analysis, Errett Bishop used restrictive notions of homotopy and simple connectedness. Working in Bishop-style constructive mathematics, we prove Cauchy's integral theorem using the standard…
The paper discusses four approaches to the biextension of Chow groups and their equivalences. These are the following: an explicit construction given by S.Bloch, a construction in terms of the Poincare biextension of dual intermediate…
Within Bishop Set Theory, a reconstruction of Bishop's theory of sets, we study the so-called completely separated sets, that is sets equipped with a positive notion of an inequality, induced by a given set of real-valued functions. We…
Chow varieties are a parameter space for cycles of a given variety of a given codimension and degree. We construct their analog for differential algebraic varieties with differential algebraic subvarieties, answering a question of Gao, Li…
We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results,…
A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper we generalize Chow's theorem to semi-abelian varieties. This contributes to different proofs of a well-known result…
In this mostly expository note, I give a very quick proof of the definable Chow theorem of Peterzil and Starchenko using the Bishop-Stoll theorem and a volume estimate for definable sets due to Nguyen and Valette. The volume estimate says…
We prove an approximation theorem on a class of domains in $\mathbb{C}^n$ on which the $\overline{\partial}$-problem is solvable in $L^{\infty}$. Furthermore, as a corollary, we obtain a version of the Axler-\v{C}u\v{c}kovi\'c-Rao Theorem…
In this short note, we prove a comparision theorem between Levine-Serp\'e's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a…
We explain how complexity of rational points on projective varieties can be interpreted via the theories of Chow forms and Okounkov bodies. Precisely, we study discrete measures on filtered linear series and build on work of Boucksom and…
Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this…
This paper is motivated by a 2001 paper of Choie and Kim and a 2006 paper of Bump and Choie. The paper of Choie and Kim extends an earlier result of Bol for elliptic modular forms to the setting of Siegel and Jacobi forms. The paper of Bump…
We present a new proof to a general result due to Kestelman. Our proof differs completely from the other proofs we know and we hope that readers will find it clearer. We also include a quite exhaustive bibliographical analysis on related…
The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become…
This paper studies the canonical Chow quotient of a smooth projective variety by a reductive algebraic group. The main purpose is to give some topological interpretations and characterization of Chow quotient which have the advantage to be…
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal…
The Bishop-Gromov theorem is a comparison theorem of differential geometry that upperbounds the growth of volume of a geodesic ball in a curved space. For many spaces, this bound is far from tight. We identify a major reason the bound fails…
We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward…
In their recent article, Min Ru and Paul Vojta, among other things, proved the so-called general theorem (arithmetic part) which can be viewed as an extension of Schmidt's subspace theorem. In this note, we extend their result by replacing…