Showing 1–36 of 36 results for author: Nowik, T

The homology of random simplicial complexes in the multi-parameter upper model

Authors: Michael Farber, Tahl Nowik

Abstract: We study random simplicial complexes in the multi-parameter upper model. In this model simplices of various dimensions are taken randomly and independently, and our random simplicial complex $Y$ is then taken to be the minimal simplicial complex containing this collection of simplices. We study the asymptotic behavior of the homology of $Y$ as the number of vertices goes to $\infty$. We observe… ▽ More We study random simplicial complexes in the multi-parameter upper model. In this model simplices of various dimensions are taken randomly and independently, and our random simplicial complex $Y$ is then taken to be the minimal simplicial complex containing this collection of simplices. We study the asymptotic behavior of the homology of $Y$ as the number of vertices goes to $\infty$. We observe the following phenomenon asymptotically almost surely. The given probabilities with which the simplices are taken determine a range of dimensions $\ell \leq k \leq \ell'$ with $\ell' \leq 2\ell +1$, outside of which the homology of $Y$ vanishes. Within this range, the homologies diminish drastically from dimension to dimension. In particular, the homology in the critical dimension $\ell$ is significantly the largest. △ Less

Submitted 12 September, 2022; originally announced September 2022.

A systolic inequality with remainder in the real projective plane

Authors: Mikhail G. Katz, Tahl Nowik

Abstract: The first paper in systolic geometry was published by Loewner's student P. M. Pu over half a century ago. Pu proved an inequality relating the systole and the area of an arbitrary metric on the real projective plane. We prove a stronger version of Pu's systolic inequality with a remainder term. The first paper in systolic geometry was published by Loewner's student P. M. Pu over half a century ago. Pu proved an inequality relating the systole and the area of an arbitrary metric on the real projective plane. We prove a stronger version of Pu's systolic inequality with a remainder term. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: 5 pages, to appear in Open Mathematics

MSC Class: 53C23; 53A30

Metric completions, the Heine-Borel property, and approachability

Authors: Vladimir Kanovei, Mikhail G. Katz, Tahl Nowik

Abstract: We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine-Borel property of the met… ▽ More We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine-Borel property of the metric completion of a metric space M in terms of the absence of inapproachable finite points in *M. △ Less

Submitted 4 March, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: 8 pages, to appear in Open Mathematics

MSC Class: 53A99; 26E35; 03H05

Topological embeddings into random 2-complexes

Authors: Michael Farber, Tahl Nowik

Abstract: We consider 2-dimensional random simplicial complexes $Y$ in the multi-parameter model. We establish the multi-parameter threshold for the property that every 2-dimensional simplicial complex $S$ admits a topological embedding into $Y$ asymptotically almost surely. Namely, if in the procedure of the multi-parameter model, each $i$-dimensional simplex is taken independently with probability… ▽ More We consider 2-dimensional random simplicial complexes $Y$ in the multi-parameter model. We establish the multi-parameter threshold for the property that every 2-dimensional simplicial complex $S$ admits a topological embedding into $Y$ asymptotically almost surely. Namely, if in the procedure of the multi-parameter model, each $i$-dimensional simplex is taken independently with probability $p_i=p_i(n)$, from a set of $n$ vertices, then the threshold is $p_0 p_1^3 p_2^2 = \frac{1}{n}$. This threshold happens to coincide with the previously established thresholds for uniform hyperbolicity and triviality of the fundamental group. Our claim in one direction is in fact slightly stronger, namely, we show that if $p_0 p_1^3 p_2^2$ is sufficiently larger than $\frac{1}{n}$ then every $S$ has a fixed subdivision $S'$ which admits a simplicial embedding into $Y$ asymptotically almost surely. The main geometric result we prove to this end is that given $ε>0$, there is a subdivision $S'$ of $S$ such that every subcomplex $T \subseteq S'$ has $\frac{f_0(T)}{f_1(T)}>\frac{1}{3}-ε$ and $\frac{f_0(T)}{f_2(T)}>\frac{1}{2}-ε$, where $f_i(T)$ denotes the number of simplices in $T$ of dimension $i$. In the other direction we show that if $p_0 p_1^3 p_2^2$ is sufficiently smaller than $\frac{1}{n}$, then asymptotically almost surely, the torus does not admit a topological embedding into $Y$. Here we use a result of Z. Gao which bounds the number of different triangulations of a surface. △ Less

Submitted 7 January, 2020; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: acknowledgement added

Random Simplicial Complexes, Duality and The Critical Dimension

Authors: Michael Farber, Lewis Mead, Tahl Nowik

Abstract: In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complex… ▽ More In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complexes in the lower model are homologically approximated by a wedge of spheres of dimension equal the critical dimension. In this paper we study the Betti numbers in the upper model and introduce new notions of critical dimension and spread. We prove that (under certain conditions) an upper random simplicial complex is homologically approximated by a wedge of spheres of the critical dimension. △ Less

Submitted 4 January, 2022; v1 submitted 28 January, 2019; originally announced January 2019.

Comments: 31 pages Fixed an error in the proofs approximating the number of simplices in the upper model

MSC Class: 55-xx (Primary); 05-xx (Secondary)

Universal Knot Diagrams

Authors: Chaim Even-Zohar, Joel Hass, Nati Linial, Tahl Nowik

Abstract: We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of meanders and braids. We also introduce and apply a method to compare the efficiency of various classes of curves that represent all knots. We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of meanders and braids. We also introduce and apply a method to compare the efficiency of various classes of curves that represent all knots. △ Less

Submitted 15 August, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

MSC Class: 57M25

Journal ref: Journal of Knot Theory and Its Ramifications, Vol. 28, No. 07, 1950031 (June 2019)

Monotone subsequence via ultrapower

Authors: Piotr Blaszczyk, Vladimir Kanovei, Mikhail G. Katz, Tahl Nowik

Abstract: An ultraproduct can be a helpful organizing principle in presenting solutions of problems at many levels, as argued by Terence Tao. We apply it here to the solution of a calculus problem: every infinite sequence has a monotone infinite subsequence, and give other applications. Keywords: ordered structures; monotone subsequence; ultrapower; saturation; compactness An ultraproduct can be a helpful organizing principle in presenting solutions of problems at many levels, as argued by Terence Tao. We apply it here to the solution of a calculus problem: every infinite sequence has a monotone infinite subsequence, and give other applications. Keywords: ordered structures; monotone subsequence; ultrapower; saturation; compactness △ Less

Submitted 1 March, 2018; originally announced March 2018.

Comments: 7 pages, to appear in Open Mathematics

MSC Class: 26A06; 26A48; 26E35; 40-99

Journal ref: Open Mathematics 16 (2018), 149-153

The Distribution of Knots in the Petaluma Model

Authors: Chaim Even-Zohar, Joel Hass, Nati Linial, Tahl Nowik

Abstract: The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relat… ▽ More The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relating the crossing number and the petal number of a knot. This implies that the n-petal model represents at least exponentially many distinct knots. Past approaches to showing, in some random models, that individual knot types occur with vanishing probability, rely on the prevalence of localized connect summands as the complexity of the knot increases. However this phenomenon is not clear in other models, including petal diagrams, random grid diagrams, and uniform random polygons. Thus we provide a new approach to investigate this question. △ Less

Submitted 8 June, 2018; v1 submitted 20 June, 2017; originally announced June 2017.

MSC Class: 57M25; 60B05

Journal ref: Algebr. Geom. Topol. 18 (2018) 3647-3667

Gregory's sixth operation

Authors: Tiziana Bascelli, Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Tahl Nowik, David M. Schaps, David Sherry

Abstract: In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians' approach to interpreting James Grego… ▽ More In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians' approach to interpreting James Gregory's expression ultimate terms in his paper attempting to prove the irrationality of pi. Here Gregory referred to the last or ultimate terms of a series. More broadly, we analyze the following questions: which modern framework is more appropriate for interpreting the procedures at work in texts from the early history of infinitesimal analysis? as well as the related question: what is a logical theory that is close to something early modern mathematicians could have used when studying infinite series and quadrature problems? We argue that what has been routinely viewed from the viewpoint of classical analysis as an example of an "unrigorous" practice, in fact finds close procedural proxies in modern infinitesimal theories. We analyze a mix of social and religious reasons that had led to the suppression of both the religious order of Gregory's teacher degli Angeli, and Gregory's books at Venice, in the late 1660s. △ Less

Submitted 18 December, 2016; originally announced December 2016.

Comments: 17 pages, published in Foundations of Science

MSC Class: 01A45; 26E35

Small oscillations of the pendulum, Euler's method, and adequality

Authors: Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Tahl Nowik

Abstract: Small oscillations evolved a great deal from Klein to Robinson. We propose a concept of solution of differential equation based on Euler's method with infinitesimal mesh, with well-posedness based on a relation of adequality following Fermat and Leibniz. The result is that the period of infinitesimal oscillations is independent of their amplitude. Keywords: harmonic motion; infinitesimal; pendul… ▽ More Small oscillations evolved a great deal from Klein to Robinson. We propose a concept of solution of differential equation based on Euler's method with infinitesimal mesh, with well-posedness based on a relation of adequality following Fermat and Leibniz. The result is that the period of infinitesimal oscillations is independent of their amplitude. Keywords: harmonic motion; infinitesimal; pendulum; small oscillations △ Less

Submitted 13 April, 2016; originally announced April 2016.

Comments: 9 pages, to appear in Quantum Studies: Mathematics and Foundations

MSC Class: 34A26; 26E35; 70K42

Journal ref: Quantum Studies: Mathematics and Foundations 3 (2016), no. 3, 231-236

Blotto Games with Costly Winnings

Authors: Irit Nowik, Tahl Nowik

Abstract: We introduce a new variation of the m-player asymmetric Colonel Blotto game, where the n battles occur as sequential stages of the game, and the winner of each stage needs to spend resources for maintaining his win. The limited resources of the players are thus needed both for increasing the probability of winning and for the maintenance costs. We show that if the initial resources of the players… ▽ More We introduce a new variation of the m-player asymmetric Colonel Blotto game, where the n battles occur as sequential stages of the game, and the winner of each stage needs to spend resources for maintaining his win. The limited resources of the players are thus needed both for increasing the probability of winning and for the maintenance costs. We show that if the initial resources of the players are not too small, then the game has a unique Nash equilibrium, and the given equilibrium strategies guarantee the given expected payoff for each player. △ Less

Submitted 4 March, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Resolution of the Surprise Exam Paradox

Authors: Tahl Nowik

Abstract: We present a resolution of the celebrated "Surprise Exam Paradox". We argue that if the surprise exam story is analyzed using the exact same meaning of the notion of "surprise" as is dictated by the story itself, then no paradox arises. We present a resolution of the celebrated "Surprise Exam Paradox". We argue that if the surprise exam story is analyzed using the exact same meaning of the notion of "surprise" as is dictated by the story itself, then no paradox arises. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Invariants of Random Knots and Links

Authors: Chaim Even-Zohar, Joel Hass, Nati Linial, Tahl Nowik

Abstract: We study random knots and links in R^3 using the Petaluma model, which is based on the petal projections developed by Adams et al. (2012). In this model we obtain a formula for the distribution of the linking number of a random two-component link. We also obtain formulas for the expectations and the higher moments of the Casson invariant and the order-3 knot invariant v3. These are the first preci… ▽ More We study random knots and links in R^3 using the Petaluma model, which is based on the petal projections developed by Adams et al. (2012). In this model we obtain a formula for the distribution of the linking number of a random two-component link. We also obtain formulas for the expectations and the higher moments of the Casson invariant and the order-3 knot invariant v3. These are the first precise formulas given for the distributions of invariants in any model for random knots or links. We also use numerical computation to compare these to other random knot and link models, such as those based on grid diagrams. △ Less

Submitted 16 June, 2016; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: 30 pages

MSC Class: 57M25 (Primary) 60B05 (Secondary)

Journal ref: Discrete & Computational Geometry, 2016, vol. 56, pp. 274--314

Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow

Authors: Tiziana Bascelli, Emanuele Bottazzi, Frederik Herzberg, Vladimir Kanovei, Karin Katz, Mikhail Katz, Tahl Nowik, David Sherry, Steven Shnider

Abstract: Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding "negligible" terms, so as to obtain a correct analytic answer. Their inferential moves find suitable proxies in the context of modern theories of infinitesimals, and specifically the concept of shadow. We give an application to decreasing rearrangements of real functions. Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding "negligible" terms, so as to obtain a correct analytic answer. Their inferential moves find suitable proxies in the context of modern theories of infinitesimals, and specifically the concept of shadow. We give an application to decreasing rearrangements of real functions. △ Less

Submitted 1 July, 2014; originally announced July 2014.

Comments: 35 pages, 2 figures, to appear in Notices of the American Mathematical Society 61 (2014), no. 8

MSC Class: 26E35; 26A48; 00A30; 01A85

Differential geometry via infinitesimal displacements

Authors: Tahl Nowik, Mikhail G. Katz

Abstract: We present a new formulation of some basic differential geometric notions on a smooth manifold M, in the setting of nonstandard analysis. In place of classical vector fields, for which one needs to construct the tangent bundle of M, we define a prevector field, which is an internal map from *M to itself, implementing the intuitive notion of vectors as infinitesimal displacements. We introduce regu… ▽ More We present a new formulation of some basic differential geometric notions on a smooth manifold M, in the setting of nonstandard analysis. In place of classical vector fields, for which one needs to construct the tangent bundle of M, we define a prevector field, which is an internal map from *M to itself, implementing the intuitive notion of vectors as infinitesimal displacements. We introduce regularity conditions for prevector fields, defined by finite differences, thus purely combinatorial conditions involving no analysis. These conditions replace the more elaborate analytic regularity conditions appearing in previous similar approaches, e.g. by Stroyan and Luxemburg or Lutz and Goze. We define the flow of a prevector field by hyperfinite iteration of the given prevector field, in the spirit of Euler's method. We define the Lie bracket of two prevector fields by appropriate iteration of their commutator. We study the properties of flows and Lie brackets, particularly in relation with our proposed regularity conditions. We present several simple applications to the classical setting, such as bounds related to the flow of vector fields, analysis of small oscillations of a pendulum, and an instance of Frobenius' Theorem regarding the complete integrability of independent vector fields. △ Less

Submitted 23 December, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: Improved presentation in various places. To appear in Journal of Logic and Analysis

MSC Class: 26E35

Journal ref: Journal of Logic and Analysis 7:5 (2015), 1-44

Complexity of relations in the braid group

Authors: Joel Hass, Arkadius Kalka, Tahl Nowik

Abstract: We show that for any given n, there exists a sequence of words a_k in the generators sigma_1, ... sigma_{n-1} of the braid group B_n, representing the identity element of B_n, such that the number of braid relations of the form sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1} needed to pass from a_k to the empty word is quadratic with respect to the length of a_k. We show that for any given n, there exists a sequence of words a_k in the generators sigma_1, ... sigma_{n-1} of the braid group B_n, representing the identity element of B_n, such that the number of braid relations of the form sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1} needed to pass from a_k to the empty word is quadratic with respect to the length of a_k. △ Less

Submitted 31 May, 2009; originally announced June 2009.

MSC Class: 20F36

The expected genus of a random chord diagram

Authors: Nathan Linial, Tahl Nowik

Abstract: To any generic curve in an oriented surface there corresponds an oriented chord diagram, and any oriented chord diagram may be realized by a curve in some oriented surface. The genus of an oriented chord diagram is the minimal genus of an oriented surface in which it may be realized. Let g_n denote the expected genus of a randomly chosen oriented chord diagram of order n. We show that g_n satisf… ▽ More To any generic curve in an oriented surface there corresponds an oriented chord diagram, and any oriented chord diagram may be realized by a curve in some oriented surface. The genus of an oriented chord diagram is the minimal genus of an oriented surface in which it may be realized. Let g_n denote the expected genus of a randomly chosen oriented chord diagram of order n. We show that g_n satisfies: g_n = n/2 - Theta(ln n). △ Less

Submitted 28 April, 2009; originally announced April 2009.

On The Structure and Automorphism Group of Finite Alexander Quandles

Authors: Amiel Ferman, Tahl Nowik, Mina Teicher

Abstract: We prove that an Alexander quandle of prime order is generated by any pair of distinct elements. Furthermore, we prove for such a quandle that any ordered pair of distinct elements can be sent to any other such pair by an automorphism of the quandle. We prove that an Alexander quandle of prime order is generated by any pair of distinct elements. Furthermore, we prove for such a quandle that any ordered pair of distinct elements can be sent to any other such pair by an automorphism of the quandle. △ Less

Submitted 25 November, 2008; originally announced November 2008.

Comments: 16pp

MSC Class: 57M27; 57M25

New Permutation Representations of the Braid Group

Authors: Amiel Ferman, Tahl Nowik, Robert Schwartz, Mina Teicher

Abstract: We give a new infinite family of group homomorphisms from the braid group B_k to the symmetric group S_{mk} for all k and m \geq 2. Most known permutation representations of braids are included in this family. We prove that the homomorphisms in this family are non-cyclic and transitive. For any divisor l of m, 1\leq l < m, we prove in particular that if \frac{m}{l} is odd then there are 1 + \fra… ▽ More We give a new infinite family of group homomorphisms from the braid group B_k to the symmetric group S_{mk} for all k and m \geq 2. Most known permutation representations of braids are included in this family. We prove that the homomorphisms in this family are non-cyclic and transitive. For any divisor l of m, 1\leq l < m, we prove in particular that if \frac{m}{l} is odd then there are 1 + \frac{m}{l} non-conjugate homomorphisms included in our family. We define a certain natural restriction on homomorphisms B_k to S_n, common to all homomorphisms in our family, which we term 'good', and of which there are two types. We prove that all good homomorphisms B_k to S_{mk} of type 1 are included in the infinite family of homomorphisms we gave. For m=3, we prove that all good homomorphisms B_k to S_{3k} of type 2 are also included in this family. Finally, we refute a conjecture made by Matei and Suciu regarding permutation representations of braids and give an updated conjecture. △ Less

Submitted 25 November, 2008; originally announced November 2008.

Comments: 64pp

MSC Class: 20B30; 20B35; 57M99

Complexity of planar and spherical curves

Authors: Tahl Nowik

Abstract: We show that the maximal number of singular moves required to pass between any two regularly homotopic planar or spherical curves with at most n crossings, grows quadratically with respect to n. Furthermore, this can be done with all curves along the way having at most n+2 crossings. We show that the maximal number of singular moves required to pass between any two regularly homotopic planar or spherical curves with at most n crossings, grows quadratically with respect to n. Furthermore, this can be done with all curves along the way having at most n+2 crossings. △ Less

Submitted 21 February, 2008; originally announced February 2008.

Order one invariants of planar curves

Authors: Tahl Nowik

Abstract: We give a complete description of all order 1 invariants of planar curves. We give a complete description of all order 1 invariants of planar curves. △ Less

Submitted 25 December, 2007; originally announced December 2007.

Unknot diagrams requiring a quadratic number of Reidemeister moves to untangle

Authors: Joel Hass, Tahl Nowik

Abstract: We present a sequence of diagrams of the unknot for which the minimum number of Reidemeister moves required to pass to the trivial diagram is quadratic with respect to the number of crossings. These bounds apply both in $S^2$ and in $\R^2$. We present a sequence of diagrams of the unknot for which the minimum number of Reidemeister moves required to pass to the trivial diagram is quadratic with respect to the number of crossings. These bounds apply both in $S^2$ and in $\R^2$. △ Less

Submitted 15 November, 2007; originally announced November 2007.

MSC Class: 57M25

Order one invariants of spherical curves

Authors: Tahl Nowik

Abstract: We give a complete description of all order 1 invariants of spherical curves. We also identify the subspaces of all J-invariants and S-invariants, and present two equalities satisfied by any spherical curve. We give a complete description of all order 1 invariants of spherical curves. We also identify the subspaces of all J-invariants and S-invariants, and present two equalities satisfied by any spherical curve. △ Less

Submitted 10 October, 2007; v1 submitted 10 October, 2007; originally announced October 2007.

Invariants of Knot Diagrams

Authors: Joel Hass, Tahl Nowik

Abstract: We construct a new order 1 invariant for knot diagrams. We use it to determine the minimal number of Reidemeister moves needed to pass between certain pairs of knot diagrams. We construct a new order 1 invariant for knot diagrams. We use it to determine the minimal number of Reidemeister moves needed to pass between certain pairs of knot diagrams. △ Less

Submitted 18 August, 2007; originally announced August 2007.

MSC Class: 57M25

Complementary regions for immersions of surfaces

Authors: Tahl Nowik

Abstract: Let F be a closed surface and i:F \to S^3 a generic immersions. Then S^3 - i(F) is a union of connected regions, which may be separated into two sets {U_j} and {V_j} by a checkerboard coloring. For k \geq 0, let a_k, b_k be the number of components U_j, V_j with χ(U_j) = 1-k, χ(V_j)=1-k, respectively. Two more integers attached to i are the number N of triple points of i, and χ=χ(F). In this wor… ▽ More Let F be a closed surface and i:F \to S^3 a generic immersions. Then S^3 - i(F) is a union of connected regions, which may be separated into two sets {U_j} and {V_j} by a checkerboard coloring. For k \geq 0, let a_k, b_k be the number of components U_j, V_j with χ(U_j) = 1-k, χ(V_j)=1-k, respectively. Two more integers attached to i are the number N of triple points of i, and χ=χ(F). In this work we determine what sets of data ({a_k}, {b_k}, χ, N) may appear in this way. △ Less

Submitted 7 January, 2007; originally announced January 2007.

Dissecting the 2-sphere by immersions

Authors: Tahl Nowik

Abstract: The self intersection of an immersion i : S^2 \to R^3 dissects S^2 into pieces which are planar surfaces (unless i is an embedding). In this work we determine what collections of planar surfaces may be obtained in this way. In particular, for every n we construct an immersion i : S^2 \to R^3 with 2n triple points, for which all pieces are discs. The self intersection of an immersion i : S^2 \to R^3 dissects S^2 into pieces which are planar surfaces (unless i is an embedding). In this work we determine what collections of planar surfaces may be obtained in this way. In particular, for every n we construct an immersion i : S^2 \to R^3 with 2n triple points, for which all pieces are discs. △ Less

Submitted 27 December, 2006; originally announced December 2006.

Immersions of Surfaces into Aspherical 3-Manifolds

Authors: Tahl Nowik

Abstract: We study finite order invariants of null-homotopic immersions of a closed orientable surface into an aspherical orientable 3-manifold. We give the foundational constructions, and classify all order one invariants. We study finite order invariants of null-homotopic immersions of a closed orientable surface into an aspherical orientable 3-manifold. We give the foundational constructions, and classify all order one invariants. △ Less

Submitted 27 October, 2005; originally announced October 2005.

Framings and Projective Framings for 3-Manifolds

Authors: Tahl Nowik

Abstract: We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in 3-space. We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in 3-space. △ Less

Submitted 16 December, 2003; originally announced December 2003.

Immersions of Non-orientable Surfaces

Authors: Tahl Nowik

Abstract: Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R^3, with values in any Abelian group. We show they are all functions of the universal order 1 invariant that we construct as T \oplus P \oplus Q where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the pr… ▽ More Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R^3, with values in any Abelian group. We show they are all functions of the universal order 1 invariant that we construct as T \oplus P \oplus Q where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the property that for any regularly homotopic immersions i,j:F\to R^3, P(i)-P(j) \in Z/2 (respectively Q(i)-Q(j) \in Z/2) is the number mod 2 of tangency points (respectively quadruple points) occurring in any generic regular homotopy between i and j. For immersion i:F\to R^3 and diffeomorphism h:F\to F such that i and i \circ h are regularly homotopic we show: P(i\circ h)-P(i) = Q(i\circ h)-Q(i) = (rank(h_* - Id) + E(\det h_**)) mod 2 where h_* is the map induced by h on H_1(F;Z/2), h_** is the map induced by h on H_1(F;Q) (Q=the rationals), and for 0 \neq q \in Q, E(q) \in Z/2 is 0 or 1 according to whether q is positive or negative, respectively. △ Less

Submitted 2 October, 2003; originally announced October 2003.

Formulae for order one invariants of immersions and embeddings of surfaces

Authors: Tahl Nowik

Abstract: The universal order 1 invariant f^U of immersions of a closed orientable surface into R^3, whose existence has been established in [N3], takes values in the group G_U = K \oplus Z/2 \oplus Z/2 where K is a countably generated free Abelian group. The projections of f^U to K and to the first and second Z/2 factors are denoted f^K, M, Q respectively. An explicit formula for the value of Q on any em… ▽ More The universal order 1 invariant f^U of immersions of a closed orientable surface into R^3, whose existence has been established in [N3], takes values in the group G_U = K \oplus Z/2 \oplus Z/2 where K is a countably generated free Abelian group. The projections of f^U to K and to the first and second Z/2 factors are denoted f^K, M, Q respectively. An explicit formula for the value of Q on any embedding has been given in [N2]. In the present work we give an explicit formula for the value of f^K on any immersion, and for the value of M on any embedding. △ Less

Submitted 5 May, 2003; originally announced May 2003.

Higher Order Invariants of Immersions of Surfaces into 3-Space

Authors: Tahl Nowik

Abstract: We classify all finite order invariants of immersions of a closed orientable surface into R^3, with values in any Abelian group. We show that they are all functions of order one invariants. We classify all finite order invariants of immersions of a closed orientable surface into R^3, with values in any Abelian group. We show that they are all functions of order one invariants. △ Less

Submitted 10 July, 2002; originally announced July 2002.

Order One Invariants of Immersions

Authors: Tahl Nowik

Abstract: We classify all order one invariants of immersions of a closed orientable surface F into R^3, with values in an arbitrary Abelian group G. We show that for any F and G and any regular homotopy class A of immersions of F into R^3, the group of all order one invariants on A is isomorphic to G^\aleph_0 \oplus B \oplus B where G^\aleph_0 is the group of all functions from a set of cardinality \aleph… ▽ More We classify all order one invariants of immersions of a closed orientable surface F into R^3, with values in an arbitrary Abelian group G. We show that for any F and G and any regular homotopy class A of immersions of F into R^3, the group of all order one invariants on A is isomorphic to G^\aleph_0 \oplus B \oplus B where G^\aleph_0 is the group of all functions from a set of cardinality \aleph_0 into G and B={x\in G : 2x=0}. Our work includes foundations for the study of finite order invariants of immersions of a closed orientable surface into R^3, analogous to chord diagrams and the 1-term and 4-term relations of knot theory. △ Less

Submitted 25 March, 2001; originally announced March 2001.

Comments: 6 figures

Embeddings of Surfaces into 3-Space and Quadruple Points of Regular Homotopies

Authors: Tahl Nowik

Abstract: Let F be a closed orientable surface. We give an explicit formula for the number mod 2 of quadruple points occurring in any generic regular homotopy between any two regularly homotopic embeddings e,e':F -> R^3. The formula is in terms of homological data extracted from the two embeddings. Let F be a closed orientable surface. We give an explicit formula for the number mod 2 of quadruple points occurring in any generic regular homotopy between any two regularly homotopic embeddings e,e':F -> R^3. The formula is in terms of homological data extracted from the two embeddings. △ Less

Submitted 10 November, 1999; originally announced November 1999.

Comments: 11 pages, 2 figures

Subgroups of the Map** Class Group and Quadruple Points of Regular Homotopies

Authors: Tahl Nowik

Abstract: Let F be a closed orientable surface. If i,i':F \to R^3 are two regularly homotopic generic immersions, then it has been shown in [N] that all generic regular homotopies between i and i' have the same number mod 2 of quadruple points. We denote this number by Q(i,i') \in Z/2. We show that for any generic immersion i:F\to R^3 and any diffeomorphism h:F\to F such that i and i\circ h are regularly… ▽ More Let F be a closed orientable surface. If i,i':F \to R^3 are two regularly homotopic generic immersions, then it has been shown in [N] that all generic regular homotopies between i and i' have the same number mod 2 of quadruple points. We denote this number by Q(i,i') \in Z/2. We show that for any generic immersion i:F\to R^3 and any diffeomorphism h:F\to F such that i and i\circ h are regularly homotopic, Q(i,i\circ h) = (rank(h_*-Id) + (n+1)e(h)) mod 2, where h_* is the map induced by h on H_1(F,Z/2), n is the genus of F and e(h) is 0 or 1 according to whether h is orientation preserving or reversing, respectively. △ Less

Submitted 2 September, 1999; originally announced September 1999.

Comments: 24 pages, 10 figures

Finite Order q-Invariants of Immersions of Surfaces into 3-Space

Authors: Tahl Nowik

Abstract: Given a surface F, we are interested in Z/2 valued invariants of immersions of F into R^3, which are constant on each connected component of the complement of the quadruple point discriminant in Imm(F,R^3). Such invariants will be called ``q-invariants.'' Given a regular homotopy class A in Imm(F,R^3), we denote by V_n(A) the space of all q-invariants on A of order <= n. We show that if F is o… ▽ More Given a surface F, we are interested in Z/2 valued invariants of immersions of F into R^3, which are constant on each connected component of the complement of the quadruple point discriminant in Imm(F,R^3). Such invariants will be called ``q-invariants.'' Given a regular homotopy class A in Imm(F,R^3), we denote by V_n(A) the space of all q-invariants on A of order <= n. We show that if F is orientable, then for each regular homotopy class A and each n, dim(V_n(A) / V_{n-1}(A)) <= 1. △ Less

Submitted 28 March, 1999; originally announced March 1999.

Quadruple Points of Regular Homotopies of Surfaces in 3-Manifolds

Authors: Tahl Nowik

Abstract: Let GI denote the space of all generic immersions of a surface F into a 3-manifold M. Let q(H_t) denote the number mod 2 of quadruple points of a generic regular homotopy H_t : F -> M. We are interested in defining an invariant Q : GI -> Z/2 such that q(H_t) = Q(H_0) - Q(H_1) for any generic regular homotopy H_t : F -> M. Such an invariant exists iff q=0 for any "closed" generic regular homotopy… ▽ More Let GI denote the space of all generic immersions of a surface F into a 3-manifold M. Let q(H_t) denote the number mod 2 of quadruple points of a generic regular homotopy H_t : F -> M. We are interested in defining an invariant Q : GI -> Z/2 such that q(H_t) = Q(H_0) - Q(H_1) for any generic regular homotopy H_t : F -> M. Such an invariant exists iff q=0 for any "closed" generic regular homotopy (abbreviated CGRH.) Max and Banchoff proved that for any CGRH H_t: S^2 -> R^3 indeed q(H_t)=0. We generalize their result as follows: Theorem 3.9: Let F be a system of closed surfaces, and let H_t : F -> R^3 be any CGRH, then q(H_t)=0. Theorem 3.15: Let M be an orientable irreducible 3-manifold with pi_3(M)=0. Let F be a system of closed orientable surfaces. If H_t : F -> M is any CGRH in the regular homotopy class of an embedding, then q(H_t)=0. We demonstrate the need for the assumptions of Theorem 3.15 in various counter-examples. We give an explicit formula for the above mentioned invariant Q for embeddings of a system of tori in R^3. △ Less

Submitted 11 August, 1998; originally announced August 1998.