Related papers: On linear $\alpha_p$-quotients
We prove a conjecture of B. Gr\"unbaum stating that the set of affine invariant points of a convex body equals to the set of points invariant under all affine linear symmetries of the convex body. As a consequence we give a short proof on…
This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e. the original problem is first reformulated as a nonconvex optimization problem, its well-posedness…
We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…
Let M be a manifold endowed with a symmetric affine connection $\Gamma.$ The aim of this paper is to describe a quantization map between the space of second-order polynomials on the cotangent bundle T^{*} M and the space of second-order…
The link between the tratment of singular Lagrangians as field systems and the canonical Hamiltonian approach is studied. It is shown that the singular Lagrangians as field systems are always in exact agreement with the canonical approach…
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…
Given a hypersurface defined by $f$ in a smooth complex algebraic variety $X$, and a point $P$ on this hypersurface, we consider the invariant $\beta_P(f)$ given by the log canonical threshold at $P$ of ${\mathfrak m}_P\cdot J_f$, where…
We study commutative associative polynomial operations $\mathbb{A}^n\times\mathbb{A}^n\to\mathbb{A}^n$ with unit on the affine space $\mathbb{A}^n$ over an algebraically closed field of characteristic zero. A classification of such…
In this article we study a class of generalised linear systems of difference equations with given non-consistent initial conditions and infinite many solutions. We take into consideration the case that the coefficients are square constant…
The set of morphisms $\f:\PP^1\to\PP^1$ of degree $d$ is parametrized by an affine open subset $\Rat_d$ of $\PP^{2d+1}$. We consider the action of~$\SL_2$ on $\Rat_d$ induced by the {\it conjugation action\/} of $\SL_2$ on rational maps;…
We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by…
We construct a family of canonical connections and surrounding basic theory for almost complex manifolds that are equipped with an affine connection. This framework provides a uniform approach to treating a range of geometries. In…
We study the affine quasi-Einstein equation, a second order linear homogeneous equation, which is invariantly defined on any affine manifold. We prove that the space of solutions is finite-dimensional, and its dimension is a strongly…
Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure includes basic quantum elements such as states, measurements, channels, instruments, non-signalling channels…
We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of…
In characteristic zero, quotient singularities are log terminal. Moreover, we can check whether a quotient variety is canonical or not by using only the age of each element of the relevant finite group if the group does not have…
We describe the variety of fixed points of a unipotent operator acting on the space of matrices. We compute the determinant and the rank of a generic (symmetric, or anti-symmetric) matrix in the fixed variety, yielding information about the…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.