相关论文: Proof of the De Concini-Kac-Procesi conjecture

In 2009 Lurie published an expository article outlining a proof for a higher version of the cobordism hypothesis conjectured by Baez and Dolan in 1995. In this note we give a proof for the 1-dimensional case of this conjecture. The proof…

Kifer, Peres, and Weiss proved that there exists $c_0>0,$ such that $\dim \mu\leq 1-c_0$ for any probability measure $\mu$ which makes the digits of the continued fraction expansion i.i.d. random variables. In this paper we prove that…

A result by C. C.-A. Cheng, J. H. Mckay and S. S.-S. Wang says the following: Suppose the Jacobian of $A$ and $B$ is invertible in $\mathbb{C}[x,y]$ and the Jacobian of $A$ and $w$ is zero for $A,B,w \in \mathbb{C}[x,y]$. Then $w \in…

The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…

We study the Lane-Emden conjecture, which asserts the non-existence of non-trivial, non-negative solutions to the Lane-Emden system \[ -\Delta u = v^p, \quad -\Delta v = u^q, \quad x \in \mathbb{R}^n\] in the subcritical regime. By…

The Jacobian Conjecture states that any locally invertible polynomial system in C^n is globally invertible with polynomial inverse. C. W. Bass et al. (1982) proved a reduction theorem stating that the conjecture is true for any degree of…

We consider the set of monic irreducible polynomials $P$ over a finite field $\mathbb{F}_q$ such that the multiplicative order modulo $P$ of some a in $\mathbb{F}_q(T)$ is divisible by a fixed positive integer $d$. Call $R_q(a,d)$ this set.…

In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a…

We define the lower and upper mutual dimensions $mdim(x:y)$ and $Mdim(x:y)$ between any two points $x$ and $y$ in Euclidean space. Intuitively these are the lower and upper densities of the algorithmic information shared by $x$ and $y$. We…

We give a short, case-free and combinatorial proof of de Concini and Procesi's formula for the volume of the simplicial cone spanned by the simple roots of any finite root system. The argument presented here also extends their formula to…

This paper proves a conjecture proposed by Ren and Li (2015: 393, \emph{Journal of Inequalities and Applications}). Our result eliminates the constraints on the parity and size of $m$, as well as the restriction $x > 1$, required in Ren and…

The CQC conjecture by Schneeloch et al. (Physical Review A 90.6, 2014) asserts that the sum of classical mutual information between two parties obtained by measuring individual systems in two mutually unbiased bases cannot exceed their…

We compute, for a compact set $K\subset\mathbb R^d$, the value of the upper and of the lower $L^q$-dimension of a typical probability measure with support contained in $K$, for any $q\in\mathbb R$. Different definitions of the "dimension"…

The inequality $|X| \leq 2^{\chi(X)}$ has been proved to be true for Lindel\"of spaces (Arhangel'ski\u\i, 1969), $H$-closed spaces (Dow-Porter, 1982) and ccc spaces (Hajnal-Ju\'asz 1967), by quite different arguments. We present a common…

We study the extraordinary dimension function dim_{L} introduced by \v{S}\v{c}epin. An axiomatic characterization of this dimension function is obtained. We also introduce inductive dimensions ind_{L} and Ind_{L} and prove that for…

The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent…

We present a proof of the full Mari\~no-Vafa Conjecture that identifies certain open string invariants of the resolved conifold with the Chern-Simons knot invariant of the unknot, i.e. the quantum dimensions.

We prove Manin's conjecture for two del Pezzo surfaces of degree four which are split over Q and whose singularity types are respectively 3A_1 and A_1+A_2. For this, we study a certain restricted divisor function and use a result about the…

We prove a version of Manin's conjecture (over $\mathbb{F}_{q}$ for $q$ large) and the Cohen--Jones--Segal conjecture (over $\mathbb{C}$) for maps from rational curves to split quartic del Pezzo surfaces. The proofs share a common method…

Given a germ of holomorphic map $f$ from $\mathbb C^n$ to $\mathbb C^{n+1}$, we define a module $M(f)$ whose dimension over $\mathbb C$ is an upper bound for the $\mathscr A$-codimension of $f$, with equality if $f$ is weighted homogeneous.…