/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Problem 8 We say a (singular) integral cur... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

We say a (singular) integral curve in \(\mathbf{P}^{n}\) is strange if there is a point which lies on all the tangent lines at nonsingular points of the curve. (a) There are many singular strange curves, e.g., the curve given parametrically by \(x=t, y=t^{p}, z=t^{2 p}\) over a field of characteristic \(p>0\). (b) Show, however, that if char \(k=0,\) there aren't even any singular strange curves besides \(\mathbf{P}^{1}\).

Short Answer

Expert verified
If the characteristic of the field is zero, the only singular strange curve in projective space \(\mathbf{P}^{n}\) is \(\mathbf{P}^{1}\)

Step by step solution

01

Understanding the Integral Curve and the Term 'Strange'

An integral curve in \(\mathbf{P}^{n}\) is a curve which can be parametrized by a single real-valued parameter. Here we define a singular integral curve as 'strange' if there exists a point which is on every tangent line at each nonsingular point of the curve.
02

Confirming the Existence of Singular Strange Curves

Given an example of a parametric representation of a singular strange curve \(x=t, y=t^{p}, z=t^{2 p}\), if the field's characteristic is \(p > 0\). This parameterization accounts for the singular points and thus, confirms the existence of singular strange curves.
03

Proving the Non-existence of Singular Strange Curves for Field Characteristic Zero

When the characteristic of the field is 0. Considering any curve different from \(\mathbf{P}^{1}\), it can be assumed without loss of generality that it has degree at least two. Otherwise, any point in such curve would have its tangent at every point, hence we deduce that such point fails to exist in curves other than \(\mathbf{P}^{1}\) of degree more than 1. Therefore, the only singular strange curve when the characteristic is zero, happens to be \(\mathbf{P}^{1}\).

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Integral Curve
Integral curves in algebraic geometry refer to curves that can be represented through a single parameter, often labeled as a "real-valued parameter". These curves are fundamental in understanding the geometry in projective spaces, such as \( \mathbf{P}^{n} \). To visualize, think of an integral curve as a path traced out by a continuous function of one variable.

In the context of the exercise, these curves can be either singular or nonsingular depending on their characteristics at certain points. If smooth and lacking intersections or self-intersections, the curve is nonsingular. When abnormalities or intersections occur, it becomes singular. Comprehending integral curves is crucial in analyzing more complex curves, especially those deemed 'strange'.
  • Key Points: Representation through a single parameter allows for more straightforward analysis.
  • Nonsingular means smooth; singular means some form of disruption in the curve.
Singular Curve
A singular curve is one where certain "abnormal" points exist, causing disruptions in the otherwise smooth conduct of the curve. These points are typically locations where the curve might cross itself, exhibit cusps, or not have a well-defined tangent.

In the solution's context, singular curves are essential to understanding what a 'strange' curve is. Singular strange curves feature a unique point that every tangent at a nonsingular point intersects. This is like magically finding a point that all threads of a tangled knot touch, illustrating the curve's peculiar property.
  • Characteristics of Singularity: At a singular point, the derivative does not exist or the curve "misbehaves" geometrically.
  • Application in Integral Curves: Helps determine if a curve can be described as 'strange' by examining singular points.
Characteristic of a Field
The characteristic of a field is a fundamental algebraic concept that influences behavior in algebraic geometry. It's essentially the smallest number of times one must add a field’s multiplicative identity (often 1) to itself to get zero.

Two main characteristics arise:
  • Characteristic 0: Fields, like \( \mathbb{Q} \), \( \mathbb{R} \), and \( \mathbb{C} \), where no finite number of additions equals zero.
  • Characteristic \( p \) (where \( p \) is prime): Typical of finite fields wherein at \( p \) times addition, you revisit zero.

In this exercise, these characteristics play a pivotal role in determining the existence of singular strange curves. For characteristic \( p > 0 \), specific parameterizations (\( x = t, y = t^{p}, z = t^{2p} \)) create such curves. However, in a characteristic 0 field, these curves are severely limited.
Parametric Representation
A parametric representation is a systematic approach to describe a curve using parameters. In algebraic geometry, this usually involves expressing the coordinates of points on a curve as functions of one or more parameters.

For example, the exercise gives the parametric form \( x = t, y = t^{p}, z = t^{2p} \). Here, 't' serves as the parameter that efficiently dictates the curve's position and shape as 't' varies.
  • Benefits: Simplifies understanding complex curves by mapping them through familiar functions and equations.
  • Applications: Essential for determining curve-specific properties like tangents, singularities, and intersections.

Parametric equations not only ease describing geometric objects but also enhance comprehension of how characteristics dictate algebraic behavior, particularly in strangeness related to integral or singular curve properties.

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Again let \(X\) be a curve, and let \(P_{1}, \ldots, P_{r} \in X\) be points. Then there is a rational function \(f \in K(X)\) having poles (of some order) at cach of the \(P_{i}\), and regular elsewhere.

For any curve \(X,\) the algebraic fundamental group \(\pi_{1}(X)\) is defined as \(\lim \operatorname{Gal}\left(K^{\prime} / K\right),\) where \(K\) is the function field of \(X,\) and \(K^{\prime}\) runs over all Galois extensions of \(K\) such that the corresponding curve \(X^{\prime}\) is étale over \(X(\mathrm{III}, \mathrm{Ex} .10 .3)\) Thus, for example, \(\pi_{1}\left(\mathbf{P}^{1}\right)=1(2.5 .3) .\) Show that for an elliptic curve \(X\) \(\pi_{1}(X)=\prod_{\text {prime }} \mathbf{Z}_{l} \times \mathbf{Z}_{l} \quad \text { if char } k=0\) \(\pi_{1}(X)=\prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l}\) if char \(k=p\) and Hasse \(X=0\) \(\pi_{1}(X)=\mathbf{Z}_{p} \times \prod_{l \neq p} \mathbf{Z}_{l} \times \mathbf{Z}_{l} \quad\) if char \(k=p\) and Hasse \(X \neq 0\) where \(\mathbf{Z}_{l}=\lim \mathbf{Z} / l^{n}\) is the \(l\) -adic integers. [Hints: Any Galois étale cover \(X^{\text {' }}\) of an elliptic curve is again an elliptic curve If the degree of \(X\) ' over \(X\) is relatively prime to \(p\), then \(X\) ' can be dominated by the cover \(n_{X}: X \rightarrow X\) for some integer \(n\) with \((n, p)=1 .\) The Galois group of the covering \(n_{X}\) is \(\mathbf{Z}\) in \(\times \mathbf{Z}\),n. Etale covers of degree divisible by \(p\) can occur only if the Hasse invariant of \(X\) is not zero. Note: More generally, Grothendieck has shown [SGA 1, X, 2.6, p. 272] that the algebraic fundamental group of any curve of genus \(g\) is isomorphic to a quotient of the completion, with respect to subgroups of finite index, of the ordinary topological fundamental group of a compact Riemann surface of genus \(g,\) i.e., a group with \(2 g\) generators \(a_{1}, \ldots, a_{q}, b_{1}, \ldots, b_{q}\) and the relation \(\left(a_{1} b_{1} a_{1}^{-1} b_{1}^{-1}\right) \cdots\) \(\left(a_{q} b_{q} a_{q}^{-1} b_{q}^{-1}\right)=1.\)

The Fermat curve \(X: x^{3}+y^{3}=z^{3}\) gives a nonsingular curve in characteristic \(p\) for every \(p \neq 3 .\) Determine the set \(\mathfrak{P}=\left\\{p \neq 3 | X_{(p)}\right.\) has Hasse invariant and observe (modulo Dirichlet's theorem) that it is a set of primes of density \(\frac{1}{2}.\)

(a) Any automorphism of a curve of genus 3 is induced by an automorphism of \(\mathbf{P}^{2}\) via the canonical embedding. "(b) Assume char \(k \neq 3\). If \(X\) is the curve given by \\[ x^{3} y+y^{3} z+z^{3} x=0, \\] the group Aut \(X\) is the simple group of order 168 , whose order is the maximum \(84(g-1)\) allowed by (Ex. 2.5). See Burnside \([1, \$ 232]\) or Klein [1] "(c) Most curves of genus 3 have no automorphisms except the identity. [Hint: For each \(n,\) count the dimension of the family of curves with an automorphism \(T\) of order \(n\). For example, if \(n=2\), then for suitable choice of coordinates, \(T\) can be written as \(x \rightarrow-x, y \rightarrow y, z \rightarrow z .\) Then there is an 8 -dimensional family of curves fixed by \(T ;\) changing coordinates there is a 4 -dimensional family of such \(T\), so the curves having an automorphism of degree 2 form a family of dimensional 12 inside the 14 -dimensional family of all plane curves of degree \(4 .]\) Note: More generally it is true (at least over \(\mathbf{C}\) ) that for any \(g \geqslant 3\), a "sufficiently general" curve of genus \(g\) has no automorphisms except the identity-see Baily [1].

A curve \(X\) is called hyperelliptic if \(g \geqslant 2\) and there exists a finite morphism \(f: X \rightarrow \mathbf{P}^{1}\) of degree 2 (a) If \(X\) is a curve of genus \(g=2,\) show that the canonical divisor defines a complete linear system \(|K|\) of degree 2 and dimension 1 , without base points. Use \((\mathrm{II}, 7.8 .1)\) to conclude that \(X\) is hyperelliptic. (b) Show that the curves constructed in \((1.1 .1)\) all admit a morphism of degree 2 to \(\mathbf{P}^{1}\). Thus there exist hyperelliptic curves of any genus \(g \geqslant 2\) Note. We will see later (Ex. 3.2) that there exist nonhyperelliptic curves. See also \((\mathrm{V}, \mathrm{Ex} .2 .10)\).

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.