arXiv subjects

Alex Pieloch

Publications and source records attributed to Alex Pieloch.

7 recordsLinked to original sources

arXiv2025

Homotopy rigidity of nearby Lagrangian cocores

An exact Lagrangian submanifold $L \subset X^{2n}$ in a Weinstein sector is called a nearby Lagrangian cocore if it avoids all Lagrangian cocores and is equal to a shifted Lagrangian cocore at infinity. Let $k$ be the dimension of the core of the subcritical part of $X$. For $n \geq 2k+2$ we prove that that the inclusion of $L$ followed by the retract to the Lagrangian core of $X$ and the quotient by the $(n-k-1)$-skeleton of the core, is null-homotopic. As a consequence, in many examples, a nearby Lagrangian cocore is smoothly isotopic (rel boundary) to a Lagrangian cocore in the complement of the missed Lagrangian cocores. The proof uses the spectral wrapped Donaldson-Fukaya category with coefficients in the ring spectrum representing the bordism group of higher connective covers of the orthogonal group.

math.SG↗

arXiv2024

Spectral equivalence of nearby Lagrangians

Let $R$ be a commutative ring spectrum. We construct the wrapped Donaldson--Fukaya category with coefficients in $R$ of any stably polarized Liouville sector. We show that any two $R$-orientable and isomorphic objects admit $R$-orientations so that their $R$-fundamental classes coincide. Our main result is that any closed exact Lagrangian $R$-brane in the cotangent bundle of a closed manifold is isomorphic to an $R$-brane structure on the zero section in the wrapped Donaldson--Fukaya category, generalizing a well-known result over the integers. To achieve this, we prove that the Floer homotopy type of the cotangent fiber is given by the stable homotopy type of the based loop space of the zero section.

math.SG↗

arXiv2022

Fundamental groups of rationally connected symplectic manifolds

We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov-Witten invariant with two point insertions, then it has finite fundamental group. We also show that if the spherical homology class associated to such a non-zero Gromov-Witten invariant is holomorphically indecomposable, then the rational second homology of the symplectic manifold has rank one.

math.SG↗

arXiv2021

Sections and unirulings of families over $\mathbb{P}^1$

We consider morphisms $\pi: X \to \mathbb{P}^1$ of smooth projective varieties over $\mathbb{C}$. We show that if $\pi$ has at most one singular fibre, then $X$ is uniruled and $\pi$ admits sections. We reach the same conclusions, but with genus zero multisections instead of sections, if $\pi$ has at most two singular fibres, and the first Chern class of $X$ is supported in a single fibre of $\pi$. To achieve these result, we use action completed symplectic cohomology groups associated to compact subsets of convex symplectic domains. These groups are defined using Pardon's virtual fundamental chains package for Hamiltonian Floer cohomology. In the above setting, we show that the vanishing of these groups implies the existence of unirulings and (multi)sections.

math.SG↗

arXiv2018

Supervised Learning of Labeled Pointcloud Differences via Cover-Tree Entropy Reduction

We introduce a new algorithm, called CDER, for supervised machine learning that merges the multi-scale geometric properties of Cover Trees with the information-theoretic properties of entropy. CDER applies to a training set of labeled pointclouds embedded in a common Euclidean space. If typical pointclouds corresponding to distinct labels tend to differ at any scale in any sub-region, CDER can identify these differences in (typically) linear time, creating a set of distributional coordinates which act as a feature extraction mechanism for supervised learning. We describe theoretical properties and implementation details of CDER, and illustrate its benefits on several synthetic examples.

cs.LG↗

arXiv2018

On the topology of moduli spaces of real algebraic curves

We show that mapping class groups associated to all types of real algebraic curves are virtual duality groups. We also deduce some results about the orbifold homotopy groups of the moduli spaces of real algebraic curves. We achieve these results by defining a new complex associated to a not necessarily orientable surface with boundary called the $\mathcal{A}\mathcal{B}\mathcal{C}$-complex. This complex encodes the intersection patterns of isotopy classes of essential simple arcs, boundary components, and essential simple closed curves. We show that this complex is homotopy equivalent to an infinite wedge of spheres; its dimension is dependent on the topological type of the surface.

math.GT↗

arXiv2014

Persistent homology analysis of brain artery trees

New representations of tree-structured data objects, using ideas from topological data analysis, enable improved statistical analyses of a population of brain artery trees. A number of representations of each data tree arise from persistence diagrams that quantify branching and looping of vessels at multiple scales. Novel approaches to the statistical analysis, through various summaries of the persistence diagrams, lead to heightened correlations with covariates such as age and sex, relative to earlier analyses of this data set. The correlation with age continues to be significant even after controlling for correlations from earlier significant summaries

stat.AP↗