Factorizations in Geometric Lattices
Authors:
Alex Aguila,
Elvis Cabrera,
Jyrko Correa-Morris
Abstract:
This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $Π(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these lattices, building on concepts introduced by D.D. Anderson, D.F. Anderson, and M. Zafrullah within the context of factorization theory in commutative algebra. As p…
▽ More
This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $Π(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these lattices, building on concepts introduced by D.D. Anderson, D.F. Anderson, and M. Zafrullah within the context of factorization theory in commutative algebra. As part of the study, we first examine the main characteristics of the function $\mathfrak{N}\colon Π(X) \rightarrow \mathbb{N}$, which assigns to each partition $π$ the number of minimal atomic decompositions of $π$. We then consider a distinguished subset of atoms, $\mathcal{R}$, referred to as the set of red atoms, and derive a recursive formula for $\pmbπ(X, j, s, \mathcal{R})$, which enumerates the rank-$j$ partitions expressible as the join of exactly $s$ red atoms.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
Separatrices for real analytic vector fields in the plane
Authors:
Eduardo Cabrera,
Rogério Mol
Abstract:
Let $X$ be a germ of real analytic vector field at $({\mathbb R}^{2},0)$ with an algebracally isolated singularity. We say that $X$ is a topological generalized curve if there are no topological saddle-nodes in its reduction of singularities. In this case, we prove that if either the order $ν_{0}(X)$ or the Milnor number $μ_{0}(X)$ is even, then $X$ has a formal separatrix, that is, a formal invar…
▽ More
Let $X$ be a germ of real analytic vector field at $({\mathbb R}^{2},0)$ with an algebracally isolated singularity. We say that $X$ is a topological generalized curve if there are no topological saddle-nodes in its reduction of singularities. In this case, we prove that if either the order $ν_{0}(X)$ or the Milnor number $μ_{0}(X)$ is even, then $X$ has a formal separatrix, that is, a formal invariant curve at $0 \in {\mathbb R}^{2}$. This result is optimal, in the sense that these hypotheses do not assure the existence of a convergent separatrix.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.