arXiv subjects
Publications and source records attributed to Paolo Tripoli.
We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.
Our aim in the present work is to identify all the possible standing wave configurations involving few vortices of different charges in an atomic Bose-Einstein condensate (BEC). In this effort, we deploy the use of a computational algebra approach in order to identify stationary multi-vortex states with up to 6 vortices. The use of invariants and symmetries enables deducing a set of equations in elementary symmetric polynomials, which can then be fully solved via computational algebra packages within Maple. We retrieve a number of previously identified configurations, including collinear ones and polygonal (e.g. quadrupolar and hexagonal) ones. However, importantly, we also retrieve a configuration with 4 positive charges and 2 negative ones which is unprecedented, to the best of our knowledge, in BEC studies. We corroborate these predictions via numerical computations in the fully two-dimensional PDE system of the Gross-Pitaevskii type which characterizes the BEC at the mean-field level.
Given a tropical fan curve $Σ$ and a family of algebraic curves $X \rightarrow \mathbb{A}^k$ we define the realization locus $\mathop{Real}_Σ\subseteq \mathbb{A}^k$ as the set of fibers $X_a$ whose tropicalization is $Σ$. We produce an algorithm that describes the Zariski closure of $\mathop{Real}_Σ$ by imposing algebraic conditions for each ray of $Σ$.
A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwitz hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ of all lines which are tangent to $S$. We show that its singular locus has two components for general enough $S$: the congruence of bitangents and the congruence of inflectional tangents. We give new proofs for the bidegrees of the secant, bitangent and inflectional congruences, using geometric techniques such as duality, polar loci and projections. We also study the singularities of these congruences.
Given a projective variety $X$ of codimension $k+1$ in $\mathbb{P}^n$ the Chow hypersurface $Z_X$ is the hypersurface of the Grassmannian $\operatorname{Gr}(k, n)$ parametrizing projective linear spaces that intersect $X$. We introduce the tropical Chow hypersurface $\operatorname{Trop}(Z_X)$. This object only depends on the tropical variety $\operatorname{Trop}(X)$ and we provide an explicit way to obtain $\operatorname{Trop}(Z_X)$ from $\operatorname{Trop}(X)$. We also give a geometric description of $\operatorname{Trop}(Z_X)$. We conjecture that, as in the classical case, $\operatorname{Trop}(X)$ can be reconstructed from $\operatorname{Trop}(Z_X)$ and prove it for the case when $X$ is a curve in $\mathbb{P}^3$. This suggests that the tropical Chow hypersurface can be used to construct a tropical Chow variety.