CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction


 Candace Horn
 2 years ago
 Views:
Transcription
1 Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves X P r with secant degree one, i.e., for which a general P Sec k 1 (X) is in a unique ksecant (k 1)dimensional linear subspace. 1. Introduction Let K be an algebraically closed base field. Let X P r be an integral and nondegenerate closed subvariety. For each x {0,..., r}, let G(x, r) denote the Grassmannian of all xdimensional linear subspaces of P r. For each integer k 1 let σ k (X) denote the closure in P r of the union of all A G(k 1, r) spanned by k points of X (the variety σ k (X) is sometimes called the (k 1)secant variety of X and written Sec k 1 (X), but we prefer to call it the ksecant variety of X). The integral variety σ k (X) may be obtained in the following way. Assume that X is nondegenerate. For any closed subscheme E P r let E denote its linear span. Let V (X, k) G(k 1, r) denote the closure in G(k 1, r) of the set of all A G(k 1, r) spanned by kpoints of X. Set S[X, k] := {(P, A) P r G(k 1, r): P A, A V (X, k)}. Let p 1 : P r G(k 1, r) P r denote the projection onto the first factor. We have σ k (X) = p 1 (S[X, k]). Set m X,k := p 1 S[X,k]. If σ k (X) has the expected dimension k (dim(x) + 1) 1 (i.e., if m X,k is generically finite), then we write i k (X) for the inseparable degree of m X,k and s k (X) for its separable degree. For any P X reg, let T P X P r denote the tangent space to X at P. If k 2, we say that X is kunconstrained if dim( T P1 X T Pk X ) = dim(σ k (X)) for a general (P 1,..., P k ) X k. Terracini s lemma says that dim( T P1 X T Pk X ) dim(σ k (X))) Received May 22, 2011; revised November 3, Mathematics Subject Classification. Primary 14N05; 14H50. Key words and phrases. Join; secant variety; rational normal curve. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).
2 72 E. BALLICO and that in characteristic zero equality always holds ([1, 1] or [3, 2]). The case k = 2 of this notion was introduced in [3]. A nondegenerate curve Y P r is 2unconstrained if and only if either r = 2 or Y is not strange [3, Example (e1) at page 333]. From now on we assume dim(x) = 1. We first prove the following result. Theorem 1. Fix integers r 2k 4. Let X P r be an integral, nondegenerate and kunconstrained curve. Then s k (X) = 1. For each integer i such that 2 2i r we define the integer e i (X) in the following way. Fix a general (P 1,..., P i ) X i. Thus P j X reg for all j. Set V := T P1 X T Pi X. Notice that (V X) red {P 1,..., P i } and the scheme V X is zerodimensional. Varying (P 1,..., P i ) in X i we see that each P j appears with the same multiplicity in the zerodimensional scheme V X. We call e i (X) this multiplicity. In characteristic zero we always have e i (X) = 2. The integer e 1 (X) is the intersection multiplicity of X with its general tangent line at its contact point. Hence if char(k) is odd the curve X is reflexive if and only if e 1 (X) = 2 ([4, 3.5]). In the general case we have e 1 (X) 2 and e i (X) e i+1 (X). For any P X reg and any integer t {1,..., r}, let O(X, P, t) G(t, r) denote the tdimensional osculating plane of X at P. Thus O(X, P, 1) = T P X. Fix integers i 1, and j h 0, 1 h i. We only need the case 2i+ i h=1 j h r. Fix a general (P 1,..., P i ) X i and set V := i h=1 O(X, P h, 1 + j h ). For any h {1,..., i}, let E(X; i; j 1,... j i ; h) be the multiplicity of P h in the scheme V X. We will only use the case j 1 = 1 and j h = 0 for all h 1. If either char(k) = 0 or char(k) > deg(x), then E(X; i; j 1,... j i ; h) = 2 + j h (Lemma 9). Here we prove the following result. Theorem 2. Let X P 2k 1, k 2, be an integral, nondegenerate and k unconstrained curve. Set j 1 := 1 and j h := 0 for all h {2,..., k 1}. (a) If s k (X) = 1 and E(X; k 1; j 1,..., j k 1 ; 1) = e k 1 (X) + 1, then X is smooth and rational and deg(x) = (k 1)e k 1 (X) + 1. (b) X is a rational normal curve if and only if s k (X) = 1, e k 1 (X) = 2 and E(X; k 1; j 1,..., j k 1 ; 1) = 3. We do not know if in the statement of Theorem 2 we may drop the conditions e k 1 (X) = 2 and E(X; k 1; j 1,..., j k 1 ; 1) = 3. We are able to prove that we may drop the first one in the case k = 2, i.e., we prove the following result. Proposition 1. Let X P 3 be an integral and nondegenerate curve. following conditions are equivalent: (a) X is not strange, s 2 (X) = 1 and E(X; 1; 1; 1) = e 1 (X) + 1; (b) i 2 (X) = s 2 (X) = 1 and E(X; 1; 1; 1) = e 1 (X) + 1; (c) X is a rational normal curve. The picture is very easy if char(k) > deg(x). As a byproduct of Theorem 2 we give the following result. Theorem 3. Let X P 2k 1 be an integral and nondegenerate curve. Assume char(k) > deg(x). X is a rational normal curve if and only if s k (X) = 1. The
3 SECANT VARIETIES The proofs Remark 1. Assume X of arbitrary dimension and that dim(σ k (X)) = k(dim(x) + 1) 1. As in [3] (the case k = 2) X is kunconstrained if and only if i k (X) = 1. Lemma 1. Fix integers c > 0, s > y 2 and r s(c + 1) 1. Let X P r be an integral and nondegenerate cdimensional subvariety such that dim(σ s (X)) = s(c + 1) 1. If X is sunconstrained, then X is yunconstrained. Proof. Since dim(σ s (X)) = s(c + 1) 1 and X is sunconstrained, we have dim( T P1 X T Ps X = s(c + 1) 1 for a general (P 1,..., P s ) X s. Hence dim( T P1 X T Py (X) = y(c + 1) 1. Hence X is yunconstrained. We recall the following very useful result ([1, 1]). Lemma 2. Let X P r be an integral and nondegenerate curve. Then X is nondefective, i.e., dim(σ a (X)) = min{r, 2a 1} for all integers a 2. From Lemmas 1 and 2 we get the following result. Lemma 3. Fix integers s > y 2 and r 2s 1. Let X P r be an integral and nondegenerate curve. If X is sunconstrained, then X is yunconstrained and not strange. We recall that a finite set S P x is said to be in linearly general position if dim( S ) = min{x, (S ) 1} for every S S. The general hyperplane section of a nondegenerate curve X P r is in linearly general position if X is not strange ([6, Lemma 1.1]). Hence Lemma 3 implies the following result. Lemma 4. Fix integers r, s such that r 2s 1 3. Let X P r be an integral and nondegenerate curve. Assume that X is sunconstrained. Then X is not strange and a general hyperplane section of X is in linearly general position. Proof of Theorem 1. We extend the proof of the case k = 2 given in [3, 4]. By Lemma 4 a general (k 1)dimensional ksecant plane of X meets X at exactly k points. Fix a general (P 1,..., P k ) X k and set V := T P1 X T Pk. Since X is kunconstrained, we have dim(v ) = 2k 1. Since 2k 1 < r and X is nondegenerate, the set S := (V X) red is finite. Fix a general P {P 1,..., P k }. Assume s k (X) 2. Since a general hyperplane section of X is in linearly general position (Lemma 4), the integer s k (X) is the number of different kples of points of X such that a general point of σ k (X) is in their linear span. Since P may be considered as a general point of σ k (X) and s k (X) 2, there is (Q 1,..., Q k ) X k such that P {Q 1,..., Q k } and {P 1,..., P k } {Q 1,..., Q k }. For general P we may also assume that (Q 1,..., Q k ) is general in X k. Hence each P i and each Q j is a smooth point of X. Terracini s lemma gives T P1 X T Pk X T P σ k (X) and T Q1 X T Qk X T P σ k (X). Since X is kunconstrained and both (P 1,..., P k )
4 74 E. BALLICO and (Q 1,..., Q k ) are general in X k, we have T P1 X T Pk = T P σ k (X) and T Q1 X T Qk X = T P σ k (X). Hence {Q 1,..., Q k } S. Since S is finite, the union of the linear spans of all S S with (S ) = k is a finite number of linear subspaces of dimension at most k 1 and S = {P 1,..., P k } if and only if S = {P 1,..., P k }, because {P 1,..., P k } X = {P 1,..., P k }. Hence dim( S {P 1,..., P k } ) k 2 for all S {P 1,..., P k }. Varying P {P 1,..., P k } = P k 1, we get a contradiction. Lemma 5. Let X P r, r 2k 1 5, be an integral, nondegenerate and kunconstrained curve. Fix an integer s such that 1 s k 2. Fix a general (A 1,..., A s ) X s and set W := T A1 X T As X. Then dim(w ) = 2s 1. Let l W : P r \ W P r 2s denote the linear projection from W. Let Y P r 2s denote the closure of l W (Y \ Y W ). Then Y is (k s)unconstrained and it is not strage. Proof. Fix a general A s+1,..., A k X k s. Notice that (l W (A s+1 ),..., l W (A k )) is general in Y k s and l W ( W T As+1 X T Ak X \ W ) = T lw (A s+1)y T lw (A k ))Y. Hence the latter space has dimension 2k 2s 1. Hence Y is (k s)unconstrained. Since k s 2, Y is not strange. Lemma 6. Fix integers c > 0, k 2 and r (c + 1)k 1. Let X P r be a kunconstrained cdimensional variety such that dim(σ k (X)) = (c + 1)k 1. Fix an integer s {1,..., k 1} and a general (P 1,..., P s ) X s. Set V := T P1 X T Ps X. Then dim(v ) = (c + 1)s 1 and the restriction to X of the linear projection l V : P r \V P r (c+1)s is a generically finite separable morphism. Proof. Since s + 1 k and dim(σ k (X)) = (c + 1)k 1, we have dim(σ s (X)) = (c + 1)s 1. Lemma 1 gives that X is sunconstrained. Since X is (s + 1)unconstrained and dim(σ s+1 (X)) = (c + 1)(s + 1) 1, we have dim( V T P X ) = dim(v ) + dim(t P X) + 1 for a general P X, i.e., V T P X = for a general P X. Thus l V (X \ V ) has differential with rank c, i.e., it is separable and generically finite. Proof of Theorem 2. If X is a rational normal curve, then it is kunconstrained, s k (X) = 1 ([2, First 4 lines of page 128]) and i k (X) = 1 (Remark 1). Now assume s k (X) = 1. In step (c) we will use the assumption E(X; k 1; 1, 0,..., 0; 1) = e k 1 (X) + 1. We need to adapt a part of the characteristic zero proof given in [2] to the positive characteristic case. We will follow [2] as much as possible. Fix a general (P 1,..., P k 1 ) X k 1 and set V := T P1 X T Pk 1 X. Since X is kunconstrained, we have dim(v ) = 2k 3. Since X is nondegenerate, the set S := (V X) red is finite. (a) Here we check that S X reg. If k = 2, then for a general P 1 we have T P1 X Sing(X) =, because X is not strange by [3, Example (e1) at page 333]. Now assume k 3. Since X is not strange (use Lemma 1), for general P 1 X, we have T P1 X Sing(X) =. Then by induction on i we check using a linear
5 SECANT VARIETIES 75 projection from T Pi X as in Lemma 5 that T P1 X T Pi X Sing(X) = (more precisely, for any finite set Σ X we check by induction on i that T P1 X T Pi X Σ = for a general (P 1,..., P i ) X i ). For i = k 1 we get S X reg. (b) Obviously {P 1,..., P k 1 } S. Here we check that S = {P 1,..., P k 1 }. Assume for the moment the existence of Q S \ {P 1,..., P k 1 }. Since X is not strange, it is not very strange, i.e., a general hyperplane section of X is in linearly general position ([6, Lemma 1.1]). Since (P 1,..., P k 1 ) is general in X k 1, we get {P 1,..., P k 1 } X = {P 1,..., P k 1 }. Thus dim( {P 1,..., P k 1, Q} ) = k 1. Fix a general z {P 1,..., P k 1, Q}. We have P 2k 1 = T z σ k (X) T P1 X T Pk 1 X T Q X (Terracini s lemma ([3, 2] or [1, Proposition 1.9]). The additive map giving Terracini s lemma for joins in the proof of [1, Proposition 1.9], shows that the map m X,k has noninvertible differential over the point z. Since P 2k 1 is smooth and m X,k is separable, we get that m X,k is not finite of degree 1 near z. Since s k (X) = 1, m X,k contracts a curve over z. Since z lies in infinitely many (k 1)dimensional ksecant subspaces, we get that dim(σ k (X)) 2k 2, contradicting Lemma 2. The contradiction proves S = {P 1,..., P k 1 }. (c) Step (b) means that {P 1,..., P k 1 } is the reduction of the scheme theoretically intersection X V. Let Z i denote the connected component of the scheme X V supported by P i. Set e := deg(z 1 ). Since T P1 X V, we have e 2. Varying (P 1,..., P k 1 ) in X k 1 we get deg(z i ) = e for all i. The definition of the integer e k 1 (X) gives e = e k 1 (X). Set φ := l V (X \ V X). Since X V X reg, φ is dominant and X reg is a smooth curve, φ induces a finite morphism ψ : X P 1. Bezout s theorem gives deg(x) = (k 1)e + deg(ψ). Lemma 6 gives that ψ is separable. Hence deg(ψ) is the separable degree of ψ. Assume deg(ψ) 2. Since P 1 is algebraically simply connected, there is Q X at which ψ ramifies. First assume Q X reg. Since E(X; k 1; 1, 0,..., 0; 1) = e k 1 (X) + 1, ψ is not ramified at P 1. Moving P 1,..., P k 1 we get Q / {P 1,..., P k 1 }. The definition of φ gives dim(v T Q X) dim(v ) + 1. Hence the additive map giving Terracini s lemma for joins in the proof of [1, Proposition 1.9], shows that the map m X,k has noninvertible differential over the general point z {P 1,..., P k 1, Q}. As in step (b) we get a contradiction. Now assume Q Sing(X). Let u: C X denote the normalization map. Since we assumed deg(ψ) 2, we have deg(ψ u) 2. Since P 1 is algebraically simply connected, there is Q C such that ψ u is ramified at Q. We repeat the construction of joins and secant variety starting from the nonembedded curve C and get a contradiction using Q instead of Q. Thus deg(ψ) = 1, i.e. deg(x) = (k 1)e k 1 (X) + 1, and X is rational. X is a rational normal curve if and only if deg(x) = 2k 1, i.e., if and only if e = 2. Take any P Sing(X) (if any). Set H := {P } V. Since X is singular
6 76 E. BALLICO at P, we have deg(h X) 2 + (k 1)e > deg(x), that is contradiction. Thus X is smooth. Proof of Proposition 1. We have i 2 (X) = 1 if and only if X is 2unconstrained ([3] or Remark 1). Obviously X is 2unconstrained. Hence it is sufficient to prove that if X is 2unconstrained, s 2 (X) = 1, and E(X; 1; 1; 1) = e 1 (X) + 1, then X is a rational normal curve. Theorem 2 says that X is smooth and rational and deg(x) = e 1 (X) + 1. Thus it is sufficient to prove e 1 (X) = 2. Assume e 1 (X) 3. Since deg(x) = e 1 (X) + 1, Bezout s theorem says that any two different tangent lines are disjoint. Let T X P 3 denote the tangent developable of X. Fix a general P P 3 and let l P : P 3 \ {P } P 2 be the linear projection from P. Set l := l P X. Since P / T X, l is unramified. Since X is smooth, s 2 (X) = 1 and P is general, the map l is birational onto its image and the curve l(x) has a unique singular point (the point l(p 1 ) = l(p 2 ) with P {P 1, P 2 } and (P 1, P 2 ) X 2 ). We have p a (l(x)) = e 1 (X)(e 1 (X) 1)/2 2. Since P / T X, we have P / T Pi X, i = 1, 2. Since T P1 X T P2 (X) =, the line T P2 X is not contained in the plane {P } T P1 X. Thus l P (T P1 X) l P (T P2 X). Thus l(p 1 ) is an ordinary double point of l(x). Hence l(x) has geometric genus p a (X) 1 > 0, thath is contradiction. Lemma 7. Let X P r be an integral and nondegenerate curve. Assume char(k) > deg(x). Then e i (X) = 2 for all positive integers i such that 2i r. Proof. We have e 1 (X) = 2, because in large characteristic the Hermite sequence of X at its general point is the classical one ([5, Theorem 15]). The case i 2 is obtained by induction on i taking instead of X its image by the linear projection from T Pi X, P i general in X. Lemma 8. Let X P r be an integral and nondegenerate curve. Assume char(k) > deg(x). Then X is iunconstrained for all integers i 2. Proof. Fix a linear subspace V P r such that v := dim(v ) r 2. Let l V : P r \ V P r v 1 denote the linear projection from V. Since char(k) > deg(x), the restriction of l V to X is separable. Hence T Pi X V = for a general P i X. Take V = T P1 X T Pi 1 X with (P 1,..., P i 1 ) general in X i 1 and use induction on i. Lemma 9. Let X P r be an integral and nondegenerate curve. Assume char(k) > deg(x). Then E(X; i; j 1,..., j i ; h) = 2 + j h for all i, j 1,..., j i such that i 2i + j x r and for a general (P 1,..., P i ) X i, the linear span of the osculating spaces has dimension 2i 1 + i x=1 j x. x=1 O(X, P x, 1 + j x ), 1 x i,
7 SECANT VARIETIES 77 Proof. The case i = 1 is true by [5, Theorem 15]. Hence we may assume i 2. Fix an index c {1,..., i} \ {h}. For a general P c X, the point P c appears with multiplicity exactly j c + 2 in the scheme O(X, P c, j c + 1) ([5, Theorem 15]). Since char(k) > deg(x), the rational map l obtained restricting to X the linear projection from O(X, P c, 1 + j c ) is separable. Call Y the closure in P r jc 2 of l(x \ O(X, P, 1 + j c ) X). Take P x, x c, such that (P 1,..., P i ) is general in X c and write Q x := l(p x ) for all x c. Let V be the linear span of the osculating spaces O(X, P x, 1 + j x ), 1 x i, U the linear span of the osculating spaces O(X, P x, 1 + j x ), x c, and W the linear span of the osculating spaces O(Y, Q x, 1 + j x ), x c. By the inductive assumption U and W have dimension 2i 3 + x c j x. Hence l(u) = W and dim(v ) = 2i 1 + i x=1 j x. Since the points Q i are general and l is separable, the scheme l 1 ((2 + j x )Q x )), x c, is a divisor of X whose connected component supported by P x has degree 2 + j x. Use the inductive assumption on Y to get E(X; i; j 1,..., j i ; h) = 2 + j h. Proof of Theorem 3. Apply Theorem 2 and Lemmas 7, 8 and 9. We want to thank the referee for her/his useful observa Acknowledgment. tions. References 1. Ådlandsvik B., Joins and higher secant varieties, Math. Scand. 61 (1987), CatalanoJohnson M., The homogeneous ideal of higher secant varieties, J. Pure Appl. Algebra 158 (2001), Dale M., Terracini s lemma and the secant variety of a curve, Proc. London Math. Soc. 49(3) (1984), Hefez A. and Kleiman S. L., Notes on the duality of projective varieties. Geometry today (Rome, 1984), , Progr. Math., 60, Birkhäuser Boston, Boston, MA, Laksov D., Wronskians and Plücker formulas for linear systems on curves, Ann. Scient. École Norm. Sup. 17 (1984), Rathmann J., The uniform position principle for curves in characteristic p, Math. Ann. 276(4) (1987), E. Ballico, Department of Mathematics, University of Trento, Povo (TN), Italy,
Row Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationGEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE
GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE
Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 00192082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More information1 Chapter I Solutions
1 Chapter I Solutions 1.1 Section 1 (TODO) 1 2 Chapter II Solutions 2.1 Section 1 1.16b. Given an exact sequence of sheaves 0 F F F 0 over a topological space X with F flasque show that for every open
More informationMATH1231 Algebra, 2015 Chapter 7: Linear maps
MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationOn Smooth Surfaces of Degree 10 in the Projective Fourspace
On Smooth Surfaces of Degree 10 in the Projective Fourspace Kristian Ranestad Contents 0. Introduction 2 1. A rational surface with π = 8 16 2. A rational surface with π = 9 24 3. A K3surface with π =
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More informationGROUP ALGEBRAS. ANDREI YAFAEV
GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite
More informationLecture 4 Cohomological operations on theories of rational type.
Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationOn the representability of the biuniform matroid
On the representability of the biuniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every biuniform matroid is representable over all sufficiently large
More informationRESEARCH STATEMENT AMANDA KNECHT
RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i
More informationSINTESI DELLA TESI. EnriquesKodaira classification of Complex Algebraic Surfaces
Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI EnriquesKodaira classification of Complex Algebraic Surfaces
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alggeom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationMultiplicity. Chapter 6
Chapter 6 Multiplicity The fundamental theorem of algebra says that any polynomial of degree n 0 has exactly n roots in the complex numbers if we count with multiplicity. The zeros of a polynomial are
More informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More informationON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with socalled BirkhoffWitt algebras of Lie
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationDegree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationProof. The map. G n i. where d is the degree of D.
7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials
Hilbert Polynomials For a monomial ideal, we derive the dimension counting the monomials in the complement, arriving at the notion of the Hilbert polynomial. The first half of the note is derived from
More informationThe topology of smooth divisors and the arithmetic of abelian varieties
The topology of smooth divisors and the arithmetic of abelian varieties Burt Totaro We have three main results. First, we show that a smooth complex projective variety which contains three disjoint codimensionone
More informationHigher secant varieties of the Segre varieties
Journal of Pure and Applied Algebra 01 (005) 367 380 www.elsevier.com/locate/jpaa Higher secant varieties of the Segre varieties P 1 P 1 M.V. Catalisano a, A.V. Geramita a,b,, A. Gimigliano c a Dipartimento
More informationMaxMin Representation of Piecewise Linear Functions
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 43 (2002), No. 1, 297302. MaxMin Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department,
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationLOWDEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO
LOWDEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova GeometryTopology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationDEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsionfree abelian groups, one of isomorphism
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationComputer Aided Geometric Design. Axial moving planes and singularities of rational space curves
Computer Aided Geometric Design 26 (2009) 300 316 Contents lists available at ScienceDirect Computer Aided Geometric Design www.elsevier.com/locate/cagd Axial moving planes and singularities of rational
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More information1 VECTOR SPACES AND SUBSPACES
1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such
More informationSMALL POINT SETS OF PG(n, p 3h ) INTERSECTING EACH LINE IN 1 mod p h POINTS. 1. Introduction
SMALL POINT SETS OF PG(n, p 3h ) INTERSECTING EACH LINE IN 1 mod p h POINTS NÓRA V. HARRACH, KLAUS METSCH, TAMÁS SZŐNYI, AND ZSUZSA WEINER Abstract. The main result of this paper is that point sets of
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationCyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
More informationOn deformation of nef values. Jaros law A. Wiśniewski
On deformation of nef values Jaros law A. Wiśniewski Introduction. Let L be an ample line bundle over a smooth projective variety X. It follows from a theorem of Kawamata that if the canonical divisor
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationResearch Article On the Rank of Elliptic Curves in Elementary Cubic Extensions
Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the rth
More informationSOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction
italian journal of pure and applied mathematics n. 35 2015 (487 492) 487 SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS Abdelaziz Tajmouati Mohammed El berrag Sidi Mohamed Ben Abdellah University
More informationAssociativity condition for some alternative algebras of degree three
Associativity condition for some alternative algebras of degree three Mirela Stefanescu and Cristina Flaut Abstract In this paper we find an associativity condition for a class of alternative algebras
More informationFIXED POINT SETS OF FIBERPRESERVING MAPS
FIXED POINT SETS OF FIBERPRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 email: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationOn the KleimanMori cone
80 Proc. Japan Acad., 81, Ser. A (2005) [Vol. 81(A), On the KleimanMori cone By Osamu Fujino Graduate School of Mathematics, Nagoya University Chikusaku, Nagoya, Aichi 4648602 (Communicated by Shigefumi
More informationThe Brauer Manin obstruction for curves having split Jacobians
Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 The Brauer Manin obstruction for curves having split Jacobians par Samir SIKSEK Résumé. Soit X A un morphism (qui n est pas constant) d une
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationOur goal first will be to define a product measure on A 1 A 2.
1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ algebra A 1 A 2 with the unit element is the σ algebra generated by the
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction
ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationModern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh
Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh Peter Richtárik Week 3 Randomized Coordinate Descent With Arbitrary Sampling January 27, 2016 1 / 30 The Problem
More informationBounds for the Hilbert Function of Polynomial Ideals and for the Degrees in the Nullstellensatz
Bounds for the Hilbert Function of Polynomial Ideals and for the Degrees in the Nullstellensatz Martín Sombra 1 Departamento de Matemática, Facultad de Ciencias Exactas, Universidad de Buenos Aires, 1428
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationCONICS ON THE PROJECTIVE PLANE
CONICS ON THE PROJECTIVE PLANE CHRIS CHAN Abstract. In this paper, we discuss a special property of conics on the projective plane and answer questions in enumerative algebraic geometry such as How many
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationLines in higgledypiggledy position
Lines in higgledypiggledy position arxiv:1402.4028v1 [math.co] 17 Feb 2014 Szabolcs L. Fancsali MTAELTE Geometric and Algebraic Combinatorics Research Group Péter Sziklai MTAELTE Geometric and Algebraic
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationDEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES.
DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. JAN O. KLEPPE Abstract. Let R be a polynomial ring and M a finitely generated graded Rmodule of maximal grade
More informationCONVERGENCE OF SEQUENCES OF ITERATES OF RANDOMVALUED VECTOR FUNCTIONS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 97 2003 NO. 1 CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOMVALUED VECTOR FUNCTIONS BY RAFAŁ KAPICA (Katowice) Abstract. Given a probability space (Ω,
More informationAPPLICATIONS OF THE ORDER FUNCTION
APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationThe Australian Journal of Mathematical Analysis and Applications
The Australian Journal of Mathematical Analysis and Applications Volume 7, Issue, Article 11, pp. 114, 011 SOME HOMOGENEOUS CYCLIC INEQUALITIES OF THREE VARIABLES OF DEGREE THREE AND FOUR TETSUYA ANDO
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationLectures on rationally connected varieties
Lectures on rationally connected varieties by Joe Harris at the EAGER Advanced School in Algebraic Geometry in Levico Terme, Trento, September 2001. Notes by Joachim Kock. Contents 1 Definition and good
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An ndimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0534405967. Systems of Linear Equations Definition. An ndimensional vector is a row or a column
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationSECRET sharing schemes were introduced by Blakley [5]
206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has
More informationARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE
ARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE MARKUS BRODMANN AND PETER SCHENZEL ABSTRACT. We study the arithmetic properties of projective varieties of almost minimal degree,
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationResearch Article Stability Analysis for HigherOrder Adjacent Derivative in Parametrized Vector Optimization
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for HigherOrder Adjacent Derivative
More informationsconvexity, model sets and their relation
sconvexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationCARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE
CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify
More information