Related papers: Equivalent birational embedding IV: reduced variet…
A well-known construction of associahedra comes from truncations of simplices. Motivated by compactifications of point configurations, we show associahedra as truncations of certain products of simplices. This is then used to provide a…
The Cremona group is connected in any dimension and, endowed with its topology, it is simple in dimension 2. ----- Le groupe de Cremona est connexe en toute dimension et, muni de sa topologie, il est simple en dimension 2.
Wonderful compactifications of adjoint reductive groups over an algebraically closed field play an important role in algebraic geometry and representation theory. In this paper, we construct an equivariant compactification for adjoint…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
We study reduction schemes for functions of "many" variables into system of functions in one variable. Our setting includes infinite-dimensions. Following Cybenko-Kolmogorov, the outline for our results is as follows: We present explicit…
The existence of a projective plane of order $p\equiv3\pmod{4}$, where $p$ is a prime power, is shown to be equivalent to the existence of a balancedly multi-splittable embeddable $p^2\times p(p+1)$ partial Hadamard matrix.
A unified framework to derive optimized compact schemes for a uniform grid is presented. The optimal scheme coefficients are determined analytically by solving an optimization problem to minimize the spectral error subject to equality…
Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…
This is a survey of recent works on the germ-equivalence problem of minimal rational curves on uniruled projective manifolds. Our main interest is when the associated varieties of minimal rational tangents form an isotrivial family of…
Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In…
We classify smooth projective varieties of Picard rank 2 which has two structures of blow-up of projective space along smooth subvarieties of different dimensions. This gives a characterization of the so called quadro-cubic Cremona…
Throughout the paper, among other esults, we give partial analogues of theorem 1.1 for projectivized tangent cone quadrics of rank equal or less than 4, for Prymians.
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under…
We present a notion of bisimulation that induces a reduced network which is semantically equivalent to the given neural network. We provide a minimization algorithm to construct the smallest bisimulation equivalent network. Reductions that…
We present a general scheme that allows for construction of scalar separability criteria from positive but not completely positive maps. The concept is based on a decomposition of every positive map $\Lambda$ into a difference of two…
We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its…
The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple…
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a…
Let $\mu_{\infty}\subseteq\mathbb{C}$ be the collection of roots of unity and $\mathcal{C}_{n}:=\{(s_{1},\cdots,s_{n})\in\mu_{\infty}^{n}:s_{i}\neq s_{j}\text{ for any }1\leq i<j\leq n\}$. Two elements $(s_{1},\cdots,s_{n})$ and…
An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the…