Source author record

Gabriel Katz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
5topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Detecting intrinsic global geometry of an obstacle via layered scattering

Given a closed kk-dimensional submanifold KK, incapsulated in a compact domain M⊂EnM \subset \mathbb E^n, k≤n−2k \leq n-2, we consider the problem of determining the intrinsic geometry of the obstacle KK (like volume, integral curvature) from the scattering data, produced by the reflections of geodesic trajectories from the boundary of a tubular εε-neighborhood T(K,ε)\mathsf T(K, ε) of KK in MM. The geodesics that participate in this scattering emanate from the boundary ∂M\partial M and terminate there after a few reflections from the boundary ∂T(K,ε)\partial \mathsf T(K, ε). However, the major problem in this setting is that a ray (a billiard trajectory) may get stuck in the vicinity of KK by entering some trap there so that this ray will have infinitely many reflections from ∂T(K,ε)\partial \mathsf T(K, ε). To rule out such a possibility, we modify the geometry of a tube T(K,ε)\mathsf T(K, ε) by building it from spherical bubbles. We need to use ⌈dim⁡(K)/2⌉\lceil \dim(K)/2\rceil many bubbling tubes {T(K,εj)}j\{\mathsf T(K, ε_j)\}_j for detecting certain global invariants of KK, invariants which reflect its intrinsic geometry. Thus the words "layered scattering" in the title. These invariants were studied by Hermann Weyl in his classical theory of tubes T(K,ε)\mathsf T(K, ε) and their volumes.

preprint2022arXiv

Detecting intrinsic global geometry of an obstacle via the layered scattering

Given a compact kk-dimensional submanifold K⊂RnK \subset \mathbf R^n, incapsulated in a compact domain M⊂RnM \subset \mathbf R^n, we consider the problem of determining the inner geometry of the obstacle KK from the scattering data, produced by the reflections of geodesic trajectories from the boundary of a tubular εε-neighborhood T(K,ε)\mathsf T(K, ε) of KK in MM. The geodesics emanate from ∂M\partial M and terminate there, after a number of reflections from the boundary ∂T(K,ε)\partial \mathsf T(K, ε). We use ⌈dim⁡(K)/2⌉\lceil \dim(K)/2\rceil many tubes {T(K,εj)}j\{\mathsf T(K, ε_j)\}_j for detecting certain global intrinsic geometry invariants of KK, thus the words "layered scattering" in the title. These invariants were studied by Hermann Weyl in his theory of tubes.

preprint2022arXiv

Holography of geodesic flows, harmonizing metrics, and billiards' dynamics

Let (M,g)(M, g) be a Riemannian manifold with boundary, where gg is a non-trapping metric. Let SMSM be the space of the spherical tangent to MM bundle, and vgv^g the geodesic vector field on SMSM. We study the scattering maps Cvg:∂1+SM→∂1−SMC_{v^g}: \partial^+_1SM \to \partial^-_1SM, generated by the vgv^g-flow, and the dynamics of the billiard maps Bvg,τ:∂1+SM→∂1+SMB_{v^g, τ}: \partial^+_1SM \to \partial^+_1SM, where ττ denotes an involution, mimicking the elastic reflection from the the boundary ∂M\partial M. We getting a variety of holography theorems that tackle the inverse scattering problems for CvgC_{v^g} and theorems that describe the dynamics of Bvg,τB_{v^g, τ}. Our main tools are a Lyapunov function F:SM→RF: SM \to \mathbb R for vgv^g and a special harmonizing Riemannian metrics g∙g^\bullet on SMSM, a metric in which dFdF is harmonic. For such metrics g∙g^\bullet, we get a family of isoperimetric inequalities of the type volg∙(SM)≤volg∙∣(∂(SM))vol_{g^\bullet}(SM) \leq vol_{g^\bullet |}(\partial(SM)) and formulas for the average volume of the minimal hypesufaces {F−1(c)}c∈F(SM)\{F^{-1}(c)\}_{c \in F(SM)}. We investigate the interplay between the harmonizing metrics g∙g^\bullet and the classical Sasaki metric gggg on SMSM. Assuming ergodicity of Bvg,τB_{v^g, τ}, we also get Santaló-Chernov type formulas for the average length of free geodesic segments in MM and for the average variation of the Lyapunov function FF along the vgv^g-trajectories.

preprint2022arXiv

Spaces of polynomials as Grassmanians for immersions and embeddings

Let YY be a smooth compact nn-manifold. We study smooth embeddings and immersions β:M→R×Yβ: M \to \mathbb R \times Y of compact nn-manifolds MM such that β(M)β(M) avoids some a priory chosen closed poset ΘΘ of {\sf tangent patterns} to the fibers of the obvious projection π:R×Y→Yπ: \mathbb R \times Y \to Y. Then, for a fixed YY, we introduce an equivalence relation between such ββ's; it is a crossover between pseudo-isotopies and bordisms. We call this relation {\sf quasitopy}. In the study of quasitopies, the spaces PdcΘ\mathcal P_d^{\mathbf cΘ} of real univariate polynomials of degree dd with real divisors, whose combinatorial patterns avoid a given closed poset ΘΘ, play the classical role of Grassmanians. We compute the quasitopy classes QTdemb(Y,cΘ)\mathcal{QT}_d^{\mathsf{emb}}(Y, \mathbf cΘ) of ΘΘ-constrained embeddings ββ in terms of homotopy/homology theory of spaces YY and PdcΘ\mathcal P_d^{\mathbf cΘ}. We prove also that the quasitopies of emeddings stabilize, as d→∞d \to \infty.

preprint2022arXiv

Spaces of polynomials with constrained divisors as Grassmanians for traversing flows

We study {\sf traversing} vector flows vv on smooth compact manifolds XX with boundary. For a given compact manifold X^\hat X, equipped with a traversing vector field v^\hat v which is {\sf convex} with respect to ∂X^\partial\hat X, we consider submersions/embeddings α:X→X^α: X \to \hat X such that dim⁡X=dim⁡X^\dim X = \dim \hat X and α(∂X)α(\partial X) avoids a priory chosen tangency patterns ΘΘ to the v^\hat v-trajectories. In particular, for each v^\hat v-trajectory γ^\hatγ, we restrict the cardinality of γ^∩α(∂X)\hatγ\cap α(\partial X) by an even number dd. We call (X^,v^)(\hat X, \hat v) a {\sf convex pseudo-envelop/envelop} of the pair (X,v)(X, v). Here the vector field v=α†(v^)v = α^\dagger(\hat v) is the αα-transfer of v^\hat v to XX. For a fixed (X^,v^)(\hat X, \hat v), we introduce an equivalence relation among convex pseudo-envelops/ envelops α:(X,v)→(X^,v^)α: (X, v) \to (\hat X, \hat v), which we call a {\sf quasitopy}. The notion of quasitopy is a crossover between bordisms of pseudo-envelops and their pseudo-isotopies. In the study of quasitopies QTd(Y,cΘ)\mathcal{QT}_d(Y, \mathbf cΘ), the spaces PdcΘ\mathcal P_d^{\mathbf cΘ} of real univariate polynomials of degree dd with real divisors whose combinatorial types avoid the closed poset ΘΘ play the classical role of Grassmanians. We compute, in the homotopy-theoretical terms that involve (X^,v^)(\hat X, \hat v) and PdcΘ\mathcal P_d^{\mathbf cΘ}, the quasitopies of convex envelops which avoid the ΘΘ-tangency patterns. We introduce characteristic classes of pseudo-envelops and show that they are invariants of their quasitopy classes. Then we prove that the quasitopies QTd(Y,cΘ)\mathcal{QT}_d(Y, \mathbf cΘ) often stabilize, as d→∞d \to \infty.

preprint2021arXiv

Spaces of polynomials with constrained real divisors, II. (Co)homology & stabilization

In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity. These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.

preprint2020arXiv

Causal Holography of Traversing Flows

We study smooth {\sf traversing} vector fields vv on compact manifolds XX with boundary. A traversing vv admits a Lyapunov function f:X→Rf: X \to \Bbb R such that df(v)>0df(v) > 0. We show that the trajectory spaces T(v)\mathcal T(v) of {\sf traversally generic} vv-flows are {\sf Whitney stratified spaces}, and thus admit triangulations amenable to their natural stratifications. Despite being spaces with singularities, T(v)\mathcal T(v) retain some residual smooth structure of XX. Let F(v)\mathcal F(v) denote the oriented 11-dimensional foliation on XX, produced by a traversing vv-flow. With the help of a {\sf boundary generic} vv, we divide the boundary ∂X\partial X of XX into two complementary compact manifolds, ∂+X(v)\partial^+X(v) and ∂−X(v)\partial^-X(v). Then, for a traversing vv, we introduce the {\sf causality map} Cv:∂+X(v)→∂−X(v)C_v: \partial^+X(v) \to \partial^-X(v). Our main result claims that, for boundary generic traversing vector fields vv, the causality map CvC_v is allows for a reconstruction of the pair (X,F(v))(X, \mathcal F(v)), up to a homeomorphism Φ:X→XΦ: X \to X such that Φ∣∂X=id∂XΦ|_{\partial X} = id_{\partial X}. In other words, for a massive class of ODEs, we show that the topology of their solutions, satisfying a given boundary value problem, is {\sf rigid}. We call these results ``{\sf holographic}" since the (n+1)(n+1)-dimensional XX and the un-parameterized dynamics of the vv-flow are captured by a single map CvC_v between two nn-dimensional screens, ∂+X(v)\partial^+X(v) and ∂−X(v)\partial^-X(v). This holography of traversing flows has numerous applications to the dynamics of general flows. Some of them are described in the paper. Others, are just outlined.

preprint2015arXiv

Complexity of Shadows & Traversing Flows in Terms of the Simplicial Volume

We combine Gromov's amenable localization technique with the Poincaré duality to study the traversally generic vector flows on smooth compact manifolds XX with boundary. Such flows generate well-understood stratifications of XX by the trajectories that are tangent to the boundary in a particular canonical fashion. Specifically, we get lower estimates of the numbers of connected components of these flow-generated strata of any given codimension. These universal bounds are basically expressed in terms of the normed homology of the fundamental groups π1(D(X))π_1(D(X)), where D(X)D(X) denotes the double of XX. The norm here is the Gromov simplicial semi-norm in homology. It turns out that some close relatives of the normed spaces H∗(D(X);R)H_\ast(D(X); \R) form obstructions to the existence of kk-convex traversally generic vector flows on XX.

preprint2015arXiv

Using simplicial volume to count multi-tangent trajectories of traversing vector fields

For a non-vanishing gradient-like vector field on a compact manifold Xn+1X^{n+1} with boundary, a discrete set of trajectories may be tangent to the boundary with reduced multiplicity nn, which is the maximum possible. (Among them are trajectories that are tangent to ∂X\partial X exactly nn times.) We prove a lower bound on the number of such trajectories in terms of the simplicial volume of XX by adapting methods of Gromov, in particular his "amenable reduction lemma". We apply these bounds to vector fields on hyperbolic manifolds.

preprint2014arXiv

Stratified convexity & concavity of gradient flows on manifolds with boundary

As has been observed by Morse \cite{Mo}, any generic vector field vv on a compact smooth manifold XX with boundary gives rise to a stratification of the boundary $\d X$ by compact submanifolds $\{\d_j^\pm X(v)\}_{1 \leq j \leq \dim(X)}$, where $\textup{codim}(\d_j^\pm X(v))= j$. Our main observation is that this stratification reflects the stratified convexity/concavity of the boundary $\d X$ with respect to the vv-flow. We study the behavior of this stratification under deformations of the vector field vv. We also investigate the restrictions that the existence of a convex/concave traversing vv-flow imposes on the topology of XX. Let v1v_1 be the orthogonal projection of vv on the tangent bundle of $\d X$. We link the dynamics of the v1v_1-flow on the boundary with the property of vv in XX being convex/concave. This linkage is an instance of more general phenomenon that we call "holography of traversing fields"---a subject of a different paper to follow.

preprint2014arXiv

The Stratified Spaces of Real Polynomials & Trajectory Spaces of Traversing Flows

This paper is the third in a series that researches the Morse Theory, gradient flows, concavity and complexity on smooth compact manifolds with boundary. Employing the local analytic models from \cite{K2}, for \emph{traversally generic flows} on (n+1)(n+1)-manifolds XX, we embark on a detailed and somewhat tedious study of universal combinatorics of their tangency patterns with respect to the boundary $\d X$. This combinatorics is captured by a universal poset Ω′⟨n]∙Ω^\bullet_{'\langle n]} which depends only on the dimension of XX. It is intimately linked with the combinatorial patterns of real divisors of real polynomials in one variable of degrees which do not exceed 2(n+1)2(n+1). Such patterns are elements of another natural poset Ω⟨2n+2]Ω_{\langle 2n+2]} that describes the ways in which the real roots merge, divide, appear, and disappear under deformations of real polynomials. The space of real degree dd polynomials Pd\mathcal P^d is stratified so that its pure strata are cells, labelled by the elements of the poset Ω⟨d]Ω_{\langle d]}. This cellular structure in Pd\mathcal P^d is interesting on its own right (see Theorem \ref {th4.1} and Theorem \ref {th4.2}). Moreover, it helps to understand the \emph{localized} structure of the trajectory spaces T(v)\mathcal T(v) for traversally generic fields vv, the main subject of Theorem \ref {th5.2} and Theorem \ref {th5.3}.

preprint2014arXiv

Traversally Generic & Versal Vector Flows: Semi-Algebraic Models of Tangency to the Boundary

Let XX be a compact smooth manifold with boundary. In this article, we study the spaces V†(X)\mathcal V^\dagger(X) and V‡(X)\mathcal V^\ddagger(X) of so called boundary generic and traversally generic vector fields on XX and the place they occupy in the space V(X)\mathcal V(X) of all fields (see Theorems \ref{th3.4} and Theorem \ref{th3.5}). The definitions of boundary generic and traversally generic vector fields vv are inspired by some classical notions from the singularity theory of smooth Bordman maps \cite{Bo}. Like in that theory (cf. \cite{Morin}), we establish local versal algebraic models for the way a sheaf of vv-trajectories interacts with the boundary $\d X$. For fields from the space V‡(X)\mathcal V^\ddagger(X), the finite list of such models depends only on dim⁡(X)\dim(X); as a result, it is universal for all equidimensional manifolds. In specially adjusted coordinates, the boundary and the vv-flow acquire descriptions in terms of universal deformations of real polynomials whose degrees do not exceed 2⋅dim⁡(X)2\cdot \dim(X).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.