It is shown that the maximum size of a set $S$ of vectors of a $k$-dimensional vector space over ${𝔽}_q$, with the property that every subset of size $k$ is a basis, is at most $q+1$, if $k\le p$, and at most $q+k-p$, if $q\ge k\ge p+1\ge 4$, where $q=p^k$ and $p$ is prime. Moreover, for $k\le p$, the sets $S$ of maximum size are classified, generalising Beniamino Segre’s “arc is a conic” theorem. These results have various implications. One such implication is that a $k\times (p+2)$ matrix, with $k\le p$ and entries from ${𝔽}_p$, has $k$ columns which are linearly dependent....

For a finite Coxeter group $W$ and a Coxeter element $c$ of $W$; the $c$-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of $W$. Its maximal cones are naturally indexed by the $c$-sortable elements of $W$. The main result of this paper is that the known bijection cl${}_c$ between $c$-sortable elements and $c$-clusters induces a combinatorial isomorphism of fans. In particular, the $c$-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

The symbol ${\left(X_I\right)}_{\kappa }$ (with κ ≥ ω) denotes the space $X_I:={\prod }_{i\in I}{X}_i$ with the κ-box topology; this has as base all sets of the form $U={\prod }_{i\in I}{U}_i$ with $U_i$ open in $X_i$ and with $|i\in I:U_i\ne X_i|<\kappa$. The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_i$ contains the discrete space 0,1 and satisfies $w\left(X_i\right)\le \alpha$, then $w\left(X_{\kappa }\right)={\alpha }^{<\kappa }$. Theorem 4.3.2. If $\omega \le \kappa \le \left|I\right|\le 2^{\alpha }$ and $X={\left(D\left(\alpha \right)\right)}^I$ with D(α) discrete, |D(α)| = α, then $d\left({\left(X_I\right)}_{\kappa }\right)={\alpha }^{<\kappa }$. Corollaries 5.2.32(a)...

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

A real form $G$ of a complex semi-simple Lie group $G^{ℂ}$ has only finitely many orbits in any given $G^{ℂ}$-flag manifold $Z=G^{ℂ}/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle...

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

In the following text for a discrete finite nonempty set $K$ and a self-map $\varphi :X\to X$ we investigate interaction between different entropies of generalized shift ${\sigma }_{\varphi }:K^X\to K^X$, ${\left(x_{\alpha }\right)}_{\alpha \in X}\mapsto {\left(x_{\varphi \left(\alpha \right)}\right)}_{\alpha \in X}$ and cellularities of some Alexandroff topologies on $X$.

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

Let $G$ be a finite group and $H$ a subgroup. Denote by $D(G;H)$ (or $D\left(G\right)$) the crossed product of $C\left(G\right)$ and $ℂH$ (or $ℂG$) with respect to the adjoint action of the latter on the former. Consider the algebra $\langle D\left(G\right),e\rangle$ generated by $D\left(G\right)$ and $e$, where we regard $E$ as an idempotent operator $e$ on $D\left(G\right)$ for a certain conditional expectation $E$ of $D\left(G\right)$ onto $D(G;H)$. Let us call $\langle D\left(G\right),e\rangle$ the basic construction from the conditional expectation $E:D\left(G\right)\to D(G;H)$. The paper constructs a crossed product algebra $C(G/H\times G)⋊ℂG$, and proves that there is an algebra isomorphism between...