Searcharxiv⌕ Search

arXiv subjects

Mikhail G. Katz

Publications and source records attributed to Mikhail G. Katz.

At least 109 records · Page 6Linked to original sources
arXiv2011

Meaning in Classical Mathematics: Is it at Odds with Intuitionism?

We examine the classical/intuitionist divide, and how it reflects on modern theories of infinitesimals. When leading intuitionist Heyting announced that "the creation of non-standard analysis is a standard model of important mathematical research", he was fully aware that he was breaking ranks with Brouwer. Was Errett Bishop faithful to either Kronecker or Brouwer? Through a comparative textual analysis of three of Bishop's texts, we analyze the ideological and/or pedagogical nature of his objections to infinitesimals a la Robinson. Bishop's famous "debasement" comment at the 1974 Boston workshop, published as part of his Crisis lecture, in reality was never uttered in front of an audience. We compare the realist and the anti-realist intuitionist narratives, and analyze the views of Dummett, Pourciau, Richman, Shapiro, and Tennant. Variational principles are important physical applications, currently lacking a constructive framework. We examine the case of the Hawking-Penrose singularity theorem, already analyzed by Hellman in the context of the Quine-Putnam indispensability thesis.

math.LO↗
arXiv2011

Cauchy's continuum

Cauchy's sum theorem of 1821 has been the subject of rival interpretations ever since Robinson proposed a novel reading in the 1960s. Some claim that Cauchy modified the hypothesis of his theorem in 1853 by introducing uniform convergence, whose traditional formulation requires a pair of independent variables. Meanwhile, Cauchy's hypothesis is formulated in terms of a single variable x, rather than a pair of variables, and requires the error term r_n = r_n(x) to go to zero at all values of x, including the infinitesimal value generated by 1/n, explicitly specified by Cauchy. If one wishes to understand Cauchy's modification/clarification of the hypothesis of the sum theorem in 1853, one has to jettison the automatic translation-to-limits.

math.HO↗
arXiv2011

Two ways of obtaining infinitesimals by refining Cantor's completion of the reals

Cantor's famous construction of the real continuum in terms of Cauchy sequences of rationals proceeds by imposing a suitable equivalence relation. More generally, the completion of a metric space starts from an analogous equivalence relation among sequences of points of the space. Can Cantor's relation among Cauchy sequences of reals be refined so as to produce a Cauchy complete and infinitesimal-enriched continuum? We present two possibilities: one leads to invertible infinitesimals and the hyperreals; the other to nilpotent infinitesimals (e.g. h nonzero infinitesimal such that h^2=0) and Fermat reals. One of our themes is the trade-off between formal power and intuition.

math.LO↗
arXiv2010

Relative systoles of relative-essential 2-complexes

We prove a systolic inequality for the phi-relative 1-systole of a phi-essential 2-complex, where phi is a homomorphism from the fundamental group of the complex, to a finitely presented group G. Indeed we show that universally for any phi-essential Riemannian 2-complex, and any G, the area of X is bounded below by 1/8 of sys(X,phi)^2. Combining our results with a method of Larry Guth, we obtain new quantitative results for certain 3-manifolds: in particular for Sigma the Poincare homology sphere, we have sys(Sigma)^3 < 24 vol(Sigma).

math.DG↗
arXiv2010

When is .999... less than 1?

We examine alternative interpretations of the symbol described as nought, point, nine recurring. Is "an infinite number of 9s" merely a figure of speech? How are such alternative interpretations related to infinite cardinalities? How are they expressed in Lightstone's "semicolon" notation? Is it possible to choose a canonical alternative interpretation? Should unital evaluation of the symbol .999 . . . be inculcated in a pre-limit teaching environment? The problem of the unital evaluation is hereby examined from the pre-R, pre-lim viewpoint of the student.

math.HO↗
arXiv2010

Flat currents modulo p in metric spaces and filling radius inequalities

We adapt the theory of currents in metric spaces, as developed by the first-mentioned author in collaboration with B. Kirchheim, to currents with coefficients in Z_p. Building on S. Wenger's work in the orientable case, we obtain isoperimetric inequalities mod(p) in Banach spaces and we apply these inequalities to provide a proof of Gromov's filling radius inequality (and therefore also the systolic inequality) which applies to nonorientable manifolds, as well. With this goal in mind, we use the Ekeland principle to provide quasi-minimizers of the mass mod(p) in the homology class, and use the isoperimetric inequality to give lower bounds on the growth of their mass in balls.

math.DG↗
arXiv2010

Zooming in on infinitesimal 1-.9.. in a post-triumvirate era

The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the key ideas about infinitesimals via a proceptual analysis of the meaning of the ellipsis"..." in the real formula .999... = 1. Infinitesimal-enriched number systems accomodate quantities in the half-open interval [0,1) whose extended decimal expansion starts with an unlimited number of repeated digits 9. Do such quantities pose a challenge to the unital evaluation of the symbol ".999..."? We present some non-standard thoughts on the ambiguity of the ellipsis, in the context of the cognitive concept of generic limit of B. Cornu and D. Tall. We analyze the vigorous debates among mathematicians concerning the idea of infinitesimals.

math.HO↗
arXiv2009

Cohomological dimension, self-linking, and systolic geometry

Given a closed manifold M, we prove the upper bound of (n+d)/2 for the length of a product of systoles that can form a curvature-free lower bound for the total volume of M, in the spirit of M. Gromov's systolic inequalities. Here n is the dimension of M, while d is the is the cohomological dimension of its fundamental group. We apply this upper bound to show that, in the case of a 4-manifold, the Lusternik--Schnirelmann category is an upper bound for such length. Furthermore we prove a systolic inequality on a manifold M with b_1(M)=2 in the presence of a nontrivial self-linking class of the typical fiber of its Abel--Jacobi map to the 2-torus.

math.DG↗
arXiv2009

A strict non-standard inequality .999... < 1

Is .999... equal to 1? Lightstone's decimal expansions yield an infinity of numbers in [0,1] whose expansion starts with an unbounded number of digits "9". We present some non-standard thoughts on the ambiguity of an ellipsis, modeling the cognitive concept of generic limit of B. Cornu and D. Tall. A choice of a non-standard hyperinteger H specifies an H-infinite extended decimal string of 9s, corresponding to an infinitesimally diminished hyperreal value. In our model, the student resistance to the unital evaluation of .999... is directed against an unspoken and unacknowledged application of the standard part function, namely the stripping away of a ghost of an infinitesimal, to echo George Berkeley. So long as the number system has not been specified, the students' hunch that .999... can fall infinitesimally short of 1, can be justified in a mathematically rigorous fashion.

math.HO↗
arXiv2009

Bi-Lipschitz approximation by finite-dimensional imbeddings

We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional imbedding for every C>0. Our key tool is the first variation formula thought of as a real statement in first-order logic, in the context of non-standard analysis.

math.DG↗
arXiv2009

Loewner's torus inequality with isosystolic defect

We show that Bonnesen's isoperimetic defect has a systolic analog for Loewner's torus inequality. The isosystolic defect is expressed in terms of the probabilistic variance of the conformal factor of the metric g with respect to the flat metric of unit area in the conformal class of g.

math.DG↗
arXiv2008

Cayley 4-form, comass, and triality isomorphisms

Following an idea of Dadok, Harvey and Lawson, we apply the triality property of SO(8) to study the comass of certain self-dual 4-forms on R^8. In particular, we prove that the Cayley 4-form has comass 1 and that any self-dual 4-form realizing the maximal Wirtinger ratio is SO(8)-conjugate to the Cayley 4-form. We also use triality to prove that the stabilizer in SO(8) of the Cayley form is Spin(7). The results have applications in systolic geometry, calibrated geometry, and Spin(7) manifolds.

math.DG↗
arXiv2008

A Zoll counterexample to a geodesic length conjecture

We construct a counterexample to a conjectured inequality L<2D, relating the diameter D and the least length L of a nontrivial closed geodesic, for a Riemannian metric on the 2-sphere. The construction relies on Guillemin's theorem concerning the existence of Zoll surfaces integrating an arbitrary infinitesimal odd deformation of the round metric. Thus the round metric is not optimal for the ratio L/D.

math.DG↗
arXiv2008

Small values of the Lusternik-Schnirelmann category for manifolds

We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher dimensions. We also obtain some general results on the relations between the fundamental group of a closed manifold M, the dimension of M, and the Lusternik-Schnirelmann category of M, and relate the latter to the systolic category of M.

math.AT↗
arXiv2008

E_7, Wirtinger inequalities, Cayley 4-form, and homotopy

We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds turn out not to be the systolically optimal metrics on those manifolds. We point out the unexpected role played by the exceptional Lie algebra E_7 in systolic geometry, via the calculation of Wirtinger constants. Using a technique of pullback with controlled systolic ratio, we calculate the optimal systolic ratio of the quaternionic projective plane, modulo the existence of a Joyce manifold with Spin(7) holonomy and unit middle-dimensional Betti number.

math.DG↗