Algebraic Boundaries of \mathrm{SO}(2)-Orbitopes

Let $X\subset \mathbb{A }^{2r}$ X ? A 2 r be a real curve embedded into an even-dimensional affine space. We characterise when the $r$ r th secant variety to $X$ X is an irreducible component of the algebraic boundary of the convex hull of the real points $X(\mathbb{R })$ X ( R ) of $X$ X . This fact is then applied to $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes and to the so called Barvinok–Novik orbitopes to study when they are basic closed semi-algebraic sets. In the case of $4$ 4 -dimensional $\mathrm{SO}(2)$ SO ( 2 ) -orbitopes, we find all irreducible components of their algebraic boundary.     

Many Empty Triangles have a Common Edge

Given a finite point set $X$ X in the plane, the degree of a pair $\{x,y\} \subset X$ { x , y } ? X is the number of empty triangles $t=\mathrm {conv} \{x,y,z\},$ t = conv { x , y , z } , where empty means $t\cap X=\{x,y,z\}.$ t ∩ X = { x , y , z } . Define $\deg X$ deg X as the maximal degree of a pair in $X.$ X . Our main result is that if $X$ X is a random sample of $n$ n independent and uniform points from a fixed convex body, then $\deg X \ge cn/\ln n$ deg X ≥ cn / ln n in expectation.     

Recovering an Homogeneous Polynomial from Moments of Its Level Set

Let $\mathbf{K }:=\left\{ \mathbf{x }: g(\mathbf{x })\le 1\right\} $ K : = x : g ( x ) ≤ 1 be the compact (and not necessarily convex) sub-level set of some homogeneous polynomial $g$ g . Assume that the only knowledge about $\mathbf{K }$ K is the degree of $g$ g as well as the moments of the Lebesgue measure on $\mathbf{K }$ K up to order $2d$ 2 d . Then the vector of coefficients of $g$ g is the solution of a simple linear system whose associated matrix is nonsingular. In other words, the moments up to order $2d$ 2 d of the Lebesgue measure on $\mathbf{K }$ K encode all information on the homogeneous polynomial $g$ g that defines $\mathbf{K }$ K (in fact, only moments of order $d$ d and $2d$ 2 d are needed).     

Triangle-Free Geometric Intersection Graphs with Large Chromatic Number

Several classical constructions illustrate the fact that the chromatic number of a graph may be arbitrarily large compared to its clique number. However, until very recently no such construction was known for intersection graphs of geometric objects in the plane. We provide a general construction that for any arc-connected compact set $X$ X in $\mathbb{R }^2$ R 2 that is not an axis-aligned rectangle and for any positive integer $k$ k produces a family $\mathcal{F }$ F of sets, each obtained by an independent horizontal and vertical scaling and translation of $X$ X , such that no three sets in $\mathcal{F }$ F pairwise intersect and $\chi (\mathcal{F })>k$ χ ( F ) > k . This provides a negative answer to a question of Gyárfás and Lehel for L-shapes. With extra conditions we also show how to construct a triangle-free family of homothetic (uniformly scaled) copies of a set with arbitrarily large chromatic number. This applies to many common shapes, like circles, square boundaries or equilateral L-shapes. Additionally, we reveal a surprising connection between coloring geometric objects in the plane and on-line coloring of intervals on the line.     

Approximating Tverberg Points in Linear Time for Any Fixed Dimension

Let $P \subseteq \mathbb{R }^d$ P ? R d be a $d$ d -dimensional $n$ n -point set. A Tverberg partition is a partition of $P$ P into $r$ r sets $P_1, \dots , P_r$ P 1 , ? , P r such that the convex hulls $\hbox {conv}(P_1), \dots , \hbox {conv}(P_r)$ conv ( P 1 ) , ? , conv ( P r ) have non-empty intersection. A point in $\bigcap _{i=1}^{r} \hbox {conv}(P_i)$ ? i = 1 r conv ( P i ) is called a Tverberg point of depth $r$ r for $P$ P . A classic result by Tverberg shows that there always exists a Tverberg partition of size $\lceil n/(d+1) \rceil $ ? n / ( d + 1 ) ? , but it is not known how to find such a partition in polynomial time. Therefore, approximate solutions are of interest. We describe a deterministic algorithm that finds a Tverberg partition of size $\lceil n/4(d+1)^3 \rceil $ ? n / 4 ( d + 1 ) 3 ? in time $d^{O(\log d)} n$ d O ( log d ) n . This means that for every fixed dimension we can compute an approximate Tverberg point (and hence also an approximate centerpoint) in linear time. Our algorithm is obtained by combining a novel lifting approach with a recent result by Miller and Sheehy (Comput Geom Theory Appl 43(8):647–654, 2010).     

Tilings of Parallelograms with Similar Right Triangles

We say that a triangle $T$ T tiles the polygon $\mathcal A $ A if $\mathcal A $ A can be decomposed into finitely many non-overlapping triangles similar to $T$ T . A tiling is called regular if there are two angles of the triangles, say $\alpha $ α and $\beta $ β , such that at each vertex $V$ V of the tiling the number of triangles having $V$ V as a vertex and having angle $\alpha $ α at $V$ V is the same as the number of triangles having angle $\beta $ β at $V$ V . Otherwise the tiling is called irregular. Let $\mathcal P (\delta )$ P ( δ ) be a parallelogram with acute angle $\delta $ δ . In this paper we prove that if the parallelogram $\mathcal P (\delta )$ P ( δ ) is tiled with similar triangles of angles $(\alpha , \beta , \pi /2)$ ( α , β , π / 2 ) , then $(\alpha , \beta )=(\delta , \pi /2-\delta )$ ( α , β ) = ( δ , π / 2 - δ ) or $(\alpha , \beta )=(\delta /2, \pi /2-\delta /2)$ ( α , β ) = ( δ / 2 , π / 2 - δ / 2 ) , and if the tiling is regular, then only the first case can occur.     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

Explicit Constructions of Centrally Symmetric k-Neighborly Polytopes and Large Strictly Antipodal Sets

We present explicit constructions of centrally symmetric $2$ -neighborly $d$ -dimensional polytopes with about $3^{d/2}\approx (1.73)^d$ vertices and of centrally symmetric $k$ -neighborly $d$ -polytopes with about $2^{{3d}/{20k^2 2^k}}$ vertices. Using this result, we construct for a fixed $k\ge 2$ and arbitrarily large $d$ and $N$ , a centrally symmetric $d$ -polytope with $N$ vertices that has at least $\left( 1-k^2\cdot (\gamma _k)^d\right) \genfrac(){0.0pt}{}{N}{k}$ faces of dimension $k-1$ , where $\gamma _2=1/\sqrt{3}\approx 0.58$ and $\gamma _k = 2^{-3/{20k^2 2^k}}$ for $k\ge 3$ . Another application is a construction of a set of $3^{\lfloor d/2 -1\rfloor }-1$ points in $\mathbb R ^d$ every two of which are strictly antipodal as well as a construction of an $n$ -point set (for an arbitrarily large $n$ ) in $\mathbb R ^d$ with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

Constructible \nabla -modules on curves

Let $\mathcal{V }$ be a complete discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal{V }$ . We introduce the notion of constructible convergent $\nabla $ -module on the analytification $X_{K}^{\mathrm{an}}$ of the generic fiber of $X$ . A constructible module is an $\mathcal{O }_{X_{K}^{\mathrm{an}}}$ -module which is not necessarily coherent, but becomes coherent on a stratification by locally closed subsets of the special fiber $X_{k}$ of $X$ . The notions of connection, of (over-) convergence and of Frobenius structure carry over to this situation. We describe a specialization functor from the category of constructible convergent $\nabla $ -modules to the category of $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules. We show that specialization induces an equivalence between constructible $F$ - $\nabla $ -modules and perverse holonomic $F$ - $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules.     

Equivariant map superalgebras

Suppose a group $\Gamma $ acts on a scheme $X$ and a Lie superalgebra $\mathfrak {g}$ . The corresponding equivariant map superalgebra is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak {g}$ . We classify the irreducible finite dimensional modules for these superalgebras under the assumptions that the coordinate ring of $X$ is finitely generated, $\Gamma $ is finite abelian and acts freely on the rational points of $X$ , and $\mathfrak {g}$ is a basic classical Lie superalgebra (or $\mathfrak {sl}\,(n,n)$ , $n \ge 1$ , if $\Gamma $ is trivial). We show that they are all (tensor products of) generalized evaluation modules and are parameterized by a certain set of equivariant finitely supported maps defined on $X$ . Furthermore, in the case that the even part of $\mathfrak {g}$ is semisimple, we show that all such modules are in fact (tensor products of) evaluation modules. On the other hand, if the even part of $\mathfrak {g}$ is not semisimple (more generally, if $\mathfrak {g}$ is of type I), we introduce a natural generalization of Kac modules and show that all irreducible finite dimensional modules are quotients of these. As a special case, our results give the first classification of the irreducible finite dimensional modules for twisted loop superalgebras.     

On the bicanonical map of primitive varieties with q(X) = \mathrm{dim }X: the degree and the Euler number

Let $X$ be a variety of maximal Albanese dimension and of general type. Assume that $q(X) = \mathrm{dim }X$ , the Albanese variety $\mathrm {Alb} (X)$ is a simple abelian variety, and the bicanonical map is not birational. We prove that the Euler number $\chi (X, \omega _X)$ is equal to 1, and $|2K_X|$ separates two distinct points over the same general point on $\mathrm {Alb} (X)$ via $\mathrm {alb}_X$ (Theorem 1.1).     

f-algebras with a \sigma -bounded approximate unit

Let $X$ be a lattice ordered algebra ( $\ell $ -algebra). A positive element $x\in $ $X$ is said to be totally bounded if $x^{2}\le x$ . The $\ell $ -algebra $X$ is said to have a $\sigma $ -bounded approximate unit if for each positive linear functional $f$ on $X$ the set $\left\{ f(x)\text{: } x \text{ totally } \text{ bounded }\right\} $ is bounded in $\mathbb R $ . In this paper we study the class of $f$ -algebras with a $\sigma $ -bounded approximate unit which contains the class of all unital $f$ -algebras. In particular It is shown that an $f$ -algebra $X$ has a $\sigma $ -bounded approximate unit if and only if the order bidual $X^{\sim \sim }$ is a unital $f$ -algebra.     

Vector bundles and regulous maps

Let $X$ be a compact nonsingular affine real algebraic variety. We prove that every pre-algebraic vector bundle on $X$ becomes algebraic after finitely many blowing ups. Using this theorem, we then prove that the Stiefel-Whitney classes of any pre-algebraic $\mathbb{R }$ -vector bundle on $X$ are algebraic. We also derive that the Chern classes of any pre-algebraic $\mathbb{C }$ -vector bundles and the Pontryagin classes of any pre-algebraic $\mathbb{R }$ -vector bundle are blow- $\mathbb{C }$ -algebraic. We also provide several results on line bundles on $X$ .     

*-Quantizations of Fourier–Mukai Transforms

We study deformations of Fourier–Mukai transforms in general complex analytic settings. Suppose X and Y are complex manifolds, and let P be a coherent sheaf on X ×  Y. Suppose that the Fourier–Mukai transform ${\Phi}$ Φ given by the kernel P is an equivalence between the coherent derived categories of X and of Y. Suppose also that we are given a formal *-quantization ${\mathbb{X}}$ X of X. Our main result is that ${\mathbb{X}}$ X gives rise to a unique formal *-quantization ${\mathbb{Y}}$ Y of Y. For the statement to hold, *-quantizations must be understood in the framework of stacks of algebroids. The quantization ${\mathbb{Y}}$ Y is uniquely determined by the condition that ${\Phi}$ Φ deforms to an equivalence between the derived categories of ${\mathbb{X}}$ X and ${\mathbb{Y}}$ Y . Equivalently, the condition is that P deforms to a coherent sheaf ${\tilde{P}}$ P ~ on the formal *-quantization ${\mathbb{X} \times\mathbb{Y}^{op}}$ X × Y o p of X × Y; here ${\mathbb{Y}^{op}}$ Y o p is the opposite of the quantization ${\mathbb{Y}}$ Y .     

Open Gromov–Witten invariants in dimension six

Let $L$ be a closed orientable Lagrangian submanifold of a closed symplectic six-manifold $(X , \omega )$ . We assume that the first homology group $H_1 (L ; A)$ with coefficients in a commutative ring $A$ injects into the group $H_1 (X ; A)$ and that $X$ contains no Maslov zero pseudo-holomorphic disc with boundary on $L$ . Then, we prove that for every generic choice of a tame almost-complex structure $J$ on $X$ , every relative homology class $d \in H_2 (X , L ; \mathbb{Z })$ and adequate number of incidence conditions in $L$ or $X$ , the weighted number of $J$ -holomorphic discs with boundary on $L$ , homologous to $d$ , and either irreducible or reducible disconnected, which satisfy the conditions, does not depend on the generic choice of $J$ , provided that at least one incidence condition lies in $L$ . These numbers thus define open Gromov–Witten invariants in dimension six, taking values in the ring $A$ .     

Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension

For a polyhedron $P$ P let $B(P)$ B ( P ) denote the polytopal complex that is formed by all bounded faces of $P$ P . If $P$ P is the intersection of $n$ n halfspaces in $\mathbb R ^D$ R D , but the maximum dimension $d$ d of any face in $B(P)$ B ( P ) is much smaller, we show that the combinatorial complexity of $P$ P cannot be too high; in particular, that it is independent of $D$ D . We show that the number of vertices of $P$ P is $O(n^d)$ O ( n d ) and the total number of bounded faces of the polyhedron is $O(n^{d^2})$ O ( n d 2 ) . For inputs in general position the number of bounded faces is $O(n^d)$ O ( n d ) . We show that for certain specific values of $d$ d and $D$ D , our bounds are tight. For any fixed $d$ d , we show how to compute the set of all vertices, how to determine the maximum dimension of a bounded face of the polyhedron, and how to compute the set of bounded faces in polynomial time, by solving a number of linear programs that is polynomial in  $n$ n .