results for au:Baralic_D in:math

- In this paper we study the $\mathbb Z/2$ action on real Grassmann manifolds $G_{n}(\mathbb R^{2n})$ and $\widetilde{G}_{n}(\mathbb R^{2n})$ given by taking (appropriately oriented) orthogonal complement. We completely evaluate the related $\mathbb Z/2$ Fadell--Husseini index utilizing a novel computation of the Stiefel--Whitney classes of the wreath product of a vector bundle. These results are used to establish the following geometric result about the orthogonal shadows of a convex body: For $n=2^a (2 b+1)$, $k=2^{a+1}-1$, $C$ a convex body in $\mathbb R^{2n}$, and $k$ real valued functions $\alpha_1,\ldots,\alpha_k$ continuous on convex bodies in $\mathbb R^{2n}$ with respect to the Hausdorff metric, there exists a subspace $V\subseteq\mathbb R^{2n}$ such that projections of $C$ to $V$ and its orthogonal complement $V^{\perp}$ have the same value with respect to each function $\alpha_i$, which is $\alpha_i (p_V(C))=\alpha_i (p_{V^\perp} (C))$ for all $1\leq i\leq k$.
- Let $\mathbf{k}$ be the field $\mathbb{F}_p$ or the ring $\mathbb{Z}$. We study combinatorial and topological properties of the universal complexes $X(\mathbf{k}^n)$ and $K(\mathbf{k}^n)$ whose simplices are certain unimodular subsets of $\mathbf{k}^n$. We calculate their $\mathbf f$-vectors, show that they are shellable but not shifted, and find their applications in toric topology and number theory. Using discrete Morse theory, we detect that $X(\mathbf{k}^n)$, $K(\mathbf{k}^n)$ and the links of their simplicies are homotopy equivalent to a wedge of spheres specifying the exact number of spheres in the corresponding wedge decompositions. This is a generalisation of Davis and Januszkiewicz's result that $K(\mathbb{Z}^n)$ and $K(\mathbb{F}_2^n)$ are $(n-2)$-connected simplicial complexes.
- Aug 09 2017 math.CO arXiv:1708.02482v3In the early 1990s, a family of combinatorial CW-complexes named permutoassociahedra was introduced by Kapranov, and it was realized by Reiner and Ziegler as a family of convex polytopes. The polytopes in this family are "hybrids" of permutohedra and associahedra. Since permutohedra and associahedra are simple, it is natural to search for a family of simple permutoassociahedra, which is still adequate for a topological proof of Mac Lane's coherence. This paper presents such a family.
- We investigate small covers and quasitoric over the duals of neighborly simplicial polytopes with small number of vertices in dimensions $4$, $5$, $6$ and $7$. In the most of the considered cases we obtain the complete classification of small covers. The lifting conjecture in all cases is verified to be true. The problem of cohomological rigidity for small covers is also studied and we have found a whole new series of weakly cohomologically rigid simple polytopes. New examples of manifolds provide the first known examples of quasitoric manifolds in higher dimensions whose orbit polytopes have chromatic numbers $\chi (P^n)\geq 3n-5$.
- Sep 14 2016 math.CT arXiv:1609.03979v4Following the pattern of the Frobenius structure usually assigned to the 1-dimensional sphere, we investigate the Frobenius structures of spheres in all other dimensions. Starting from dimension $d=1$, all the spheres are commutative Frobenius objects in categories whose arrows are ${(d+1)}$-dimensional cobordisms. With respect to the language of Frobenius objects, there is no distinction between these spheres---they are all free of additional equations formulated in this language. The corresponding structure makes out of the 0-dimensional sphere not a commutative but a symmetric Frobenius object. This sphere is mapped to a matrix Frobenius algebra by a 1-dimensional topological quantum field theory, which corresponds to the representation of a class of diagrammatic algebras given by Richard Brauer.
- Dec 31 2014 math.MG arXiv:1412.8621v2Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to different classes of convex polytopes (colored in the sense of M. Joswig). We also show that the $n$-dimensional Hex theorem admits a generalization where the $n$-dimensional cube is replaced by a $n$-colorable simple polytope. The use of quasitoric manifolds offers great flexibility and versatility in applying the general method.
- We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two.
- We investigate the collapsibility of systolic finite simplicial complexes of arbitrary dimension. The main tool we use in the proof is discrete Morse theory. We shall consider a convex subcomplex of the complex and project any simplex of the complex onto a ball around this convex subcomplex. These projections will induce a convenient gradient matching on the complex. Besides we analyze the combinatorial structure of both CAT(0) and systolic locally finite simplicial complexes of arbitrary dimensions. We will show that both such complexes possess an arborescent structure. Along the way we make use of certain well known results regarding systolic geometry.
- Aug 29 2013 math.AG arXiv:1308.6144v1We study the Carnot theorem and the configuration of points and lines in connection with it. It is proven that certain significant points in the configuration lie on the same lines and same conics. The proof of an equivalent statement formulated by Bradley is given. An open conjecture, established by Bradley, is proved using the theorems of Carnot and Menelaus.
- Totally skew embeddings are introduced by Ghomi and Tabachnikov. They are naturally related to classical problems in topology, such as the generalized vector field problem and the immersion problem for real projective spaces. In recent paper Topological obstructions to totally skew embeddings, totaly skew embeddings are studied by using the Stiefel-Whitney classes In the same paper it is conjectured that for every $n$-dimensional, compact smooth manifold $M^n$ $(n>1)$, $$N(M^n)≤4n-2\alpha (n)+1,$$ where $N(M^n)$ is defined as the smallest dimension $N$ such that there exists a \em totally skew embedding of a smooth manifold $M^n$ in $\mathbb{R}^N$. We prove that for every $n$, there is a quasitoric manifold $Q^{2n}$ for which the orbit space of $T^n$ action is a cube $I^n$ and $$N(Q^2n)≥8n-4\alpha (n)+1.$$ Using the combinatorial properties of cohomology ring $H^* (Q^{2n}, \mathbb{Z}_2)$, we construct an interesting general non-trivial example different from known example of the product of complex projective spaces.
- Mar 25 2013 math.AG arXiv:1303.5497v1We study quadrilaterals inscribed and circumscribed about conics. Our research is guided by experiments in software Cinderella. We extend the known results in projective geometry of conics and show how modern mathematical software brings new ideas in pure and applied mathematics. Poncelet theorem for quadrilaterals is proved by elementary means together with Poncelet's grid property.
- We study the map degrees between quasitoric 4-manifolds. Our results rely on Theorems proved by Duan and Wang. We determine the set D (M, N) of all possible map degrees from M to N when M and N are certain quasitoric 4-manifolds. The obtained sets of integers are interesting, e. g. those representable as the sum of two squares D (C P^2#C P^2, C P^2) or the sum of three squares D (C P^2 # C P^2 # C P^2, C P^2). Beside the general results about the map degrees between quasitoric 4-manifolds, the connections among Duan-Wang's approach, the quadratic forms, the number theory and the lattices is established.
- We prove general results which include classical facts about 60 Pascal's lines as special cases. Along similar lines we establish analogous results about configurations of 2520 conics arising from Mystic Octagon. We offer a more combinatorial outlook on these results and their dual statements. Bezout's theorem is the main tool, however its application is guided by the empirical evidence and computer experiments with program Cinderella. We also emphasize a connection with $k$-nets of algebraic curves.
- Following Ghomi and Tabachnikov we study topological obstructions to totally skew embeddings of a smooth manifold M in Euclidean spaces. This problem is naturally related to the question of estimating the geometric dimension of the stable normal bundle of the configuration space F_2(M) of ordered pairs of distinct points in M. We demonstrate that in a number of interesting cases the lower bounds obtained by this method are quite accurate and very close to the best known general upper bound. We also provide some evidence for the conjecture that each n-dimensional, compact smooth manifold M^n (n>1), admits a totally skew embedding in the Euclidean space of dimension N = 4n-2alpha(n)+1 where alpha(n)=number of non-zero digits in the binary representation of n. This is a revised version of the paper (accepted for publication in A.M.S. Transactions).