Related papers: The normality of macrocubes and hyperballeans
We reduce the problem of the projective normality of polarized abelian varieties to check the rank of very explicit matrices. This allow us to prove some results on normal generation of primitive line bundles on abelian threefolds and…
Two normal functionals on a JBW$^*$-triple are known to be orthogonal if and only if they are $L$-orthogonal (meaning that they span an isometric copy of $\ell_1(2)$). This is shown to be stable under small norm perturbations in the…
In the first part of this article, we study linear cones over totally ordered fields. We show that for each such cone there uniquely exists a universal vector space (called its spanned vector space) into which it embeds as a generating…
An acute look at \underbar{basic} facts concerning \underbar{unbounded} subnormal operators is taken here. These operators have the richest structure and are the most exciting among the whole family of beneficiaries of the normal ones.…
We study a family of polytopes and their duals, that appear in various optimization problems as the unit balls for certain norms. These two families interpolate between the hypercube, the unit ball for the $\infty$-norm, and its dual…
We give a set of sufficient and necessary conditions for parabolicity and hyperbolicity of a submanifold with controlled mean curvature in a Riemannian manifold with a pole and with sectional curvatures bounded from above or from below.
The singular and regular type of a point on a real hypersurface $\mathcal H$ in $\mathbb C^n$ are shown to agree when the regular type is strictly less than 4. If $\mathcal H$ is pseudoconvex, we show they agree when the regular type is 4.…
Given a metric space $\langle X,\rho \rangle$, consider its hyperspace of closed sets $CL(X)$ with the Wijsman topology $\tau_{W(\rho)}$. It is known that $\langle{CL(X),\tau_{W(\rho)}}\rangle$ is metrizable if and only if $X$ is separable…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
Finite dimensional linear spaces (both complex and real) with indefinite scalar product [.,.] are considered. Upper and lower bounds are given for the size of an indecomposable matrix that is normal with respect to this scalar product in…
We show that if $\mathbb{R} = A \cup B$ is a partition of $\mathbb{R}$ into two suborders $A$ and $B$, then there is an open interval $I$ such that $A \cap I$ is not order-isomorphic to $B \cap I$. The proof depends on the completeness of…
We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusi\'nski proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of…
Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that if there is no inner model with large cardinals, $u (\kappa, \lambda)$ is regular, where $u (\kappa, \lambda)$ denotes the least size of a…
In this note, we shall overview some results related to ultraparacompactness and ultranormality in the general topological and point-free contexts. This note contains some standard results and counterexamples along with some results which…
We prove that a holonomic binomial $D$--module $M_A (I,\beta)$ is regular if and only if certain associated primes of $I$ determined by the parameter vector $\beta\in \CC^d$ are homogeneous. We further describe the slopes of $M_A(I,\beta)$…
Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…
Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<theta}-normal if given B_e in J for e in P_theta(delta), the set of all a in P_kappa(lambda) such that a in B_e for some e…
We consider the Arveson-Douglas conjecture on the essential normality of homogeneous submodules corresponding to algebraic subvarieties of the unit ball. We prove that the property of essential normality is preserved by isomorphisms between…
After a short review of the historical milestones on normal numbers, we introduce the Borel numbers as the reals admitting a probability function on their different bases representations. In this setting, we provide two probabilistic…