Related papers: Higher Du Bois and Higher Rational Pairs
We give new proofs for many injectivity results in analysis that make more careful use of the duality between unital abelian C*-algebras and compact Hausdorff spaces. We then extend many of these results to incorporate group actions. Our…
In this paper, we extend a result of Eisenbud-Reeves-Totaro in the frame of ideals of Borel type. As a consequence, we obtain a linear upper bound for the regularity of a new class of ideals, called $\mathcal D$-fixed ideals.
Let $K$ be a number field and $f: \mathbb{P}^1 \to \mathbb{P}^1$ a rational map of degree $d \geq 2$ with at most $s$ places of bad reduction, where we include all archimedean places. We prove that there exists constants $c_1,c_2 > 0$,…
In this paper, it is shown that for a minimal system $(X,T)$ and $d,k\in \mathbb{N}$, if $(x,x_i)$ is regionally proximal of order $d$ for $1\leq i\leq k$, then $(x,x_1,\ldots,x_k)$ is $(k+1)$-regionally proximal of order $d$. Meanwhile, we…
The iteration of rational maps is well-understood in dimension 1 but less so in higher dimensions. We study some maps on spaces of matrices which present a weak complexity with respect to the ring structure. First we give some properties of…
In this survey, we explain a version of topological $L^2$-Serre duality for singular complex spaces with arbitrary singularities. This duality can be used to deduce various $L^2$-vanishing theorems for the $\overline\partial$-equation on…
The authors review results implicit in their recent paper [2] on the product/quotient representation of rationals by rationals of the type $( an + b )/ ( An+ B )$ and give a detailed account of a particular related non-intuitive…
To any graph and smooth algebraic curve $C$ one may associate a "hypercurve" arrangement and one can study the rational homotopy theory of the complement $X$. In the rational case ($C=\mathbb{C}$), there is considerable literature on the…
We study the $C_{n}$ and $BC_{n}$ Ruijsenaars-Schneider(RS) models with interaction potential of trigonometric and rational types. The Lax pairs for these models are constructed and the involutive Hamiltonians are also given. Taking…
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…
In this short article, we establish a rigidity theorem for pairs of hyperquadrics in a weaker sense, i.e., we impose a condition that minimal rational curves are preserved, which is stronger than inheriting a sub-VMRT structure, a notion…
Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing…
This paper surveys Campana's theory of C-pairs (or "geometric orbifolds") in the complex-analytic setting, to serve as a reference for future work. Written with a view towards applications in hyperbolicity, rational points, and entire…
We give a new proof that all external rays of the Mandelbrot set at rational angles land, and of the relation between the external angle of such a ray and the dynamics at the landing point. Our proof is different from the original one,…
We compute the field of rational local unitary invariants for locally maximally mixed states and symmetrically mixed states of two qubits. In both cases, we prove that the field of rational invariants is purely transcendental. We also…
Symbol-pair codes are proposed to combat pair-errors in symbol-pair read channels. The minimum symbol-pair distance is of significance in determining the error-correcting capability of a symbol-pair code. Maximum distance separable (MDS)…
Motivated by recent proposals of correlation induced insensitivity of d-wave superconductors to impurities, we develop a simple pairing theory for these systems for up to a moderate strength of disorder. Our description implements the key…
Let E = K< y_1, ..., y_n > be the exterior algebra. The ``(cohomological) distinguished pairs" of a graded E-module M describe the growth of a minimal graded injective resolution of M. Roemer gave a duality theorem between the distinguished…
There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…