This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15https://archive.org/details/riemannsurfaces00fark_192/page/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n18https://archive.org/details/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Weierstrass_point
rdf:type
yago:Surface104362025 yago:Object100002684 yago:WikicatRiemannSurfaces yago:PhysicalEntity100001930 yago:Artifact100021939 yago:Whole100003553
rdfs:label
Weierstrass point
rdfs:comment
In mathematics, a Weierstrass point on a nonsingular algebraic curve defined over the complex numbers is a point such that there are more functions on , with their poles restricted to only, than would be predicted by the Riemann–Roch theorem. The concept is named after Karl Weierstrass. Consider the vector spaces for Our knowledge of the sequence is therefore Assume therefore . There will be steps up, and steps where there is no increment. A non-Weierstrass point of occurs whenever the increments are all as far to the right as possible: i.e. the sequence looks like
dcterms:subject
dbc:Algebraic_curves dbc:Riemann_surfaces
dbo:wikiPageID
3124143
dbo:wikiPageRevisionID
1123284340
dbo:wikiPageWikiLink
dbr:Vector_space dbr:Adolf_Hurwitz dbr:Riemann–Roch_theorem dbr:Numerical_semigroup dbr:Subsemigroup dbr:Genus_(mathematics) dbr:Meromorphic_function dbr:Projective_line dbc:Riemann_surfaces dbr:Characteristic_(field) dbr:Field_(mathematics) dbr:Riemann_surface dbr:Karl_Weierstrass dbr:Algebraic_curve dbr:Hyperelliptic_curve dbc:Algebraic_curves dbr:Mathematics dbr:Clifford's_theorem_on_special_divisors dbr:Pole_(complex_analysis) dbr:Ramified_covering
dbo:wikiPageExternalLink
n15:n43 n18:riemannsurfaces00fark_192
owl:sameAs
freebase:m.08szvw wikidata:Q7979825 yago-res:Weierstrass_point n19:4xJEC
dbp:wikiPageUsesTemplate
dbt:Refimprove dbt:Reflist dbt:Algebraic_curves_navbox dbt:Cite_journal dbt:Cite_book
dbo:abstract
In mathematics, a Weierstrass point on a nonsingular algebraic curve defined over the complex numbers is a point such that there are more functions on , with their poles restricted to only, than would be predicted by the Riemann–Roch theorem. The concept is named after Karl Weierstrass. Consider the vector spaces where is the space of meromorphic functions on whose order at is at least and with no other poles. We know three things: the dimension is at least 1, because of the constant functions on ; it is non-decreasing; and from the Riemann–Roch theorem the dimension eventually increments by exactly 1 as we move to the right. In fact if is the genus of , the dimension from the -th term is known to be for Our knowledge of the sequence is therefore What we know about the ? entries is that they can increment by at most 1 each time (this is a simple argument: has dimension as most 1 because if and have the same order of pole at , then will have a pole of lower order if the constant is chosen to cancel the leading term). There are question marks here, so the cases or need no further discussion and do not give rise to Weierstrass points. Assume therefore . There will be steps up, and steps where there is no increment. A non-Weierstrass point of occurs whenever the increments are all as far to the right as possible: i.e. the sequence looks like Any other case is a Weierstrass point. A Weierstrass gap for is a value of such that no function on has exactly a -fold pole at only. The gap sequence is for a non-Weierstrass point. For a Weierstrass point it contains at least one higher number. (The Weierstrass gap theorem or Lückensatz is the statement that there must be gaps.) For hyperelliptic curves, for example, we may have a function with a double pole at only. Its powers have poles of order and so on. Therefore, such a has the gap sequence In general if the gap sequence is the weight of the Weierstrass point is This is introduced because of a counting theorem: on a Riemann surface the sum of the weights of the Weierstrass points is For example, a hyperelliptic Weierstrass point, as above, has weight Therefore, there are (at most) of them.The ramification points of the ramified covering of degree two from a hyperelliptic curve to the projective line are all hyperelliptic Weierstrass points and these exhausts all the Weierstrass points on a hyperelliptic curve of genus . Further information on the gaps comes from applying Clifford's theorem. Multiplication of functions gives the non-gaps a numerical semigroup structure, and an old question of Adolf Hurwitz asked for a characterization of the semigroups occurring. A new necessary condition was found by R.-O. Buchweitz in 1980 and he gave an example of a subsemigroup of the nonnegative integers with 16 gaps that does not occur as the semigroup of non-gaps at a point on a curve of genus 16 (see ). A definition of Weierstrass point for a nonsingular curve over a field of positive characteristic was given by F. K. Schmidt in 1939.
prov:wasDerivedFrom
wikipedia-en:Weierstrass_point?oldid=1123284340&ns=0
dbo:wikiPageLength
6544
foaf:isPrimaryTopicOf
wikipedia-en:Weierstrass_point