Searcharxiv⌕ Search

arXiv subjects

Javier Bracho

Publications and source records attributed to Javier Bracho.

14 recordsLinked to original sources
arXiv2025

Generalizing quadratic $\mathbb{R}$-Algebraic sets in $\mathbb{CP}^{n}$

Motivated by our study of the complex Banach conjecture, we characterize a complex ellipsoids $\mathcal E$ as compact subsets of $\mathbb C^n$, with the property that every complex line intersect $\mathcal E$ either in a single point or in the complex affine image of the unit disk. This characterization leads to the main interest of this paper. We study the topological behavior of compact subsets of $\mathbb{CP}^n$ with the property that any complex line that intersects them does either at a single point, at the boundary of a complex disk, or along the entire line. In particular, we are interested in quadratic $\R$-algebraic subsets of $\mathbb{CP}^n$.

math.GT↗
arXiv2024

Harmonic curves and the beauty of Projective Geometry

The purpose of this paper is to present projective geometry in a synthetic, visual and intuitive style through the central notion of harmonicity which leads to harmonic curves. This presentation includes new results, unpublished proofs of some classic theorems and a slight reformulation of its axiomatics.

math.HO↗
arXiv2024

The 10 antipodal pairings of strongly involutive polyhedra

It is known that strongly involutive polyhedra are closely related to self-dual maps where the antipodal function acts as duality isomorphism. Such a family of polyhedra appears in different combinatorial, topological and geometric contexts, and is thus attractive to be studied. In this note, we determine the 10 antipodal pairings among the classification of the 24 self-dual pairings $Dual(G)\rhd Aut(G)$ of self-dual maps G. We also present the orbifold associated to each antipodal pairing and describe explicitly the corresponding fundamental regions. We finally explain how to construct two infinite families of strongly involutive polyhedra (one of them new) by using their doodles and the action of the corresponding orbifolds.

math.GT↗
arXiv2022

An overview of complex ellipsoids

An ellipsoid is the image of a ball under an affine transformation. If this affine transformation is over the complex numbers, we refer to it as a complex ellipsoid. Characterizations of real ellipsoids have received much attention over the years however, characterizations of complex ellipsoids have been studied very little. This paper is a review of what is known about complex ellipsoids from the point of view of convex geometry. In particular, the proof of the Complex Banach Conjecture.

math.MG↗
arXiv2022

Reflections of convex bodies and their sections

The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms of their reflections and, on the other hand, to prove a result deeply related to a conjecture due to K. Bezdek.

math.MG↗
arXiv2021

Complex ellipsoids and complex symmetry

Several characterizations of complex ellipsoids among convex bodies in Cn, in terms of their sections and projections are proved. Characterizing complex symmetry in similar terms is an important tool.

math.MG↗
arXiv2020

Extremal inscribed and circumscribed complex ellipsoids

We prove that if a convex set in Cn contains two inscribed complex ellipsoid of maximal volume then one is a translate of the other. On the other hand, the circumscribed complex elipsoid of minimal volume is unique. As application we prove the complex analoge of Brunn's characterization of ellipsods.

math.MG↗
arXiv2020

On the complex Banach conjecture

The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4.

math.MG↗
arXiv2020

Strongly involutive self-dual polyhedra

A polyhedron is a graph $G$ which is simple, planar and 3-connected. In this note, we classify the family of strongly involutive self-dual polyhedra. The latter is done by using a well-known result due to Tutte characterizing 3-connected graphs. We also show that this special class of polyhedra self-duality behaves topologically as the antipodal mapping. These self-dual polyhedra are related with several problems in convex and discrete geometry including the Vázsonyi problem.

math.CO↗
arXiv2016

Rotors in triangles and tethrahedra

A polytope $P$ is circumscribed about a convex body $Φ\subset \mathbb{R}^n$ if $Φ\subset P$ and each facet of $P$ is contained in a support hyperplane of $Φ$. We say that a convex body $Φ\subset \mathbb{R}^n$ is a rotor of a polytope $P$ if for each rotation $ρ$ of $\mathbb{R}^n$ there exist a translation $τ$ so that $P$ is circumscribed about $τρΦ$. In this paper we shall prove that if $P$ is a triangle, then there is a baricentric formula that describes the curvature of bd$Φ$ at the contact points, $\{A_1, A_2,A_3\}$. We prove also that if $Φ\subset \mathbb{R}^3$ is a convex body which is a rotor in a tetrahedron $T$ and if $Φ$ intersects the faces of $T$ at the points $\{x_1, \dots, x_4\}$, then the normal lines of $Φ$ at the contact points with $T$, $\{x_1, \dots, x_4\}$ generically belong to one ruling of a quadric surface.

math.MG↗
arXiv2013

A finite chiral 4-polytope in $\mathbb{R}^4$

In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].

math.CO↗
arXiv2013

A characterization of triangulations of closed surfaces

In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$.

math.CO↗