|
H-vector
In algebraic combinatorics, the ''h''-vector of a simplicial polytope is a fundamental Invariant (mathematics), invariant of the polytope which encodes the number of faces of different dimensions and allows one to express the Dehn–Sommerville equations in a particularly simple form. A characterization of the set of ''h''-vectors of simplicial polytopes was conjectured by Peter McMullen and proved by Louis Billera, Lou Billera and Carl W. Lee and Richard P. Stanley, Richard Stanley (g-theorem, ''g''-theorem). The definition of ''h''-vector applies to arbitrary abstract simplicial complexes. The g-conjecture, ''g''-conjecture stated that for simplicial spheres, all possible ''h''-vectors occur already among the ''h''-vectors of the boundaries of convex simplicial polytopes. It was proven in December 2018 by Karim Adiprasito. Stanley introduced a generalization of the ''h''-vector, the toric ''h''-vector, which is defined for an arbitrary ranked poset, and proved that for the class o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Combinatorics
Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and representation theory, in various combinatorial contexts and, conversely, applies combinatorial techniques to problems in algebra. History The term "algebraic combinatorics" was introduced in the late 1970s. Through the early or mid-1990s, typical combinatorial objects of interest in algebraic combinatorics either admitted a lot of symmetries (association schemes, strongly regular graphs, posets with a group action) or possessed a rich algebraic structure, frequently of representation theoretic origin (symmetric functions, Young tableaux). This period is reflected in the area 05E, ''Algebraic combinatorics'', of the AMS Mathematics Subject Classification, introduced in 1991. Scope Algebraic combinatorics has come to be seen more expansively as an area of mathematics where the interaction of combinatorial and algebraic methods is particularly strong and signific ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler Characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by \chi (Greek alphabet, Greek lower-case letter chi (letter), chi). The Euler characteristic was originally defined for polyhedron, polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. It was stated for Platonic solids in 1537 in an unpublished manuscript by Francesco Maurolico. Leonhard Euler, for whom the concept is named, introduced it for convex polyhedra more generally but failed to rigorously prove that it is an invariant. In modern mathematics, the Euler characteristic arises from homology (mathematics), homology and, more abstractly, homological algebra. Polyhedra The Euler characteristic was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kalle Karu
Kalle is a masculine given name of North Germanic origin, a variation of Karl. In Sweden, people named Karl are commonly nicknamed Kalle. The name is also found in Finland and Estonia. Notable people with the name include: Given name * Kalle Anttila (1887–1975), Finnish freestyle and Greco-Roman wrestler and Olympic medalist * Kalle Bask (born 1982), Finnish sailor and Olympic competitor * Kalle Björklund (born 1953), Swedish footballer * Kalle Brink (born 1975), Swedish professional golfer * Kalle Coster (born 1982), Dutch sailor and Olympic medalist * Kalle Dalin (born 1975), Swedish orienteering competitor * Kalle Eerola (born 1983), Finnish professional football midfielder * Kalle Eller (1940–2023), Estonian poet, publisher, neopagan and writer * Kalle Grünthal (born 1960), Estonian politician *Kalle Hakala (1880-1947), Finnish politician *Kalle Havulinna (1924–2016), Finnish professional ice hockey player * Kalle Jalkanen (1907–1941), Finnish cross-country skie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology (mathematics), homology and cohomology group (mathematics), groups of manifolds. It states that if ''M'' is an ''n''-dimensional Orientability, oriented closed manifold (Compact space, compact and without boundary), then the ''k''th cohomology group of ''M'' is Group isomorphism, isomorphic to the th homology group of ''M'', for all integers ''k'' : H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring (mathematics), ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and th Betti numbers of a closed (i.e., compact and witho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toric Variety
In algebraic geometry, a toric variety or torus embedding is an algebraic variety containing an algebraic torus as an open dense subset, such that the action of the torus on itself extends to the whole variety. Some authors also require it to be normal. Toric varieties form an important and rich class of examples in algebraic geometry, which often provide a testing ground for theorems. The geometry of a toric variety is fully determined by the combinatorics of its associated fan, which often makes computations far more tractable. For a certain special, but still quite general class of toric varieties, this information is also encoded in a polytope, which creates a powerful connection of the subject with convex geometry. Familiar examples of toric varieties are affine space, projective spaces, products of projective spaces and bundles over projective space. Toric varieties from tori The original motivation to study toric varieties was to study torus embeddings. Given the algebr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Cohomology
In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them over the next few years. Intersection cohomology was used to prove the Kazhdan–Lusztig conjectures and the Riemann–Hilbert correspondence. It is closely related to ''L''2 cohomology. Goresky–MacPherson approach The homology groups of a compact, oriented, connected, ''n''-dimensional manifold ''X'' have a fundamental property called Poincaré duality: there is a perfect pairing : H_i(X,\Q) \times H_(X,\Q) \to H_0(X,\Q) \cong \Q. Classically—going back, for instance, to Henri Poincaré—this duality was understood in terms of intersection theory. An element of :H_j(X) is represented by a ''j''-dimensional cycle. If an ''i''-dimensional and an (n-i)-dimensional cycle are in general position, then their intersection is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Octahedron
In geometry, an octahedron (: octahedra or octahedrons) is any polyhedron with eight faces. One special case is the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Many types of irregular octahedra also exist, including both convex set, convex and non-convex shapes. Combinatorially equivalent to the regular octahedron The following polyhedra are combinatorially equivalent to the regular octahedron. They all have six vertices, eight triangular faces, and twelve edges that correspond one-for-one with the features of it: * Triangular antiprisms: Two faces are equilateral, lie on parallel planes, and have a common axis of symmetry. The other six triangles are isosceles. The regular octahedron is a special case in which the six lateral triangles are also equilateral. * Tetragonal bipyramids, in which at least one of the equatorial quadrilaterals lies on a plane. The regular octahedron is a special case in which all thr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pascal's Triangle
In mathematics, Pascal's triangle is an infinite triangular array of the binomial coefficients which play a crucial role in probability theory, combinatorics, and algebra. In much of the Western world, it is named after the French mathematician Blaise Pascal, although other mathematicians studied it centuries before him in Persia, India, China, Germany, and Italy. The rows of Pascal's triangle are conventionally enumerated starting with row n = 0 at the top (the 0th row). The entries in each row are numbered from the left beginning with k = 0 and are usually staggered relative to the numbers in the adjacent rows. The triangle may be constructed in the following manner: In row 0 (the topmost row), there is a unique nonzero entry 1. Each entry of each subsequent row is constructed by adding the number above and to the left with the number above and to the right, treating blank entries as 0. For example, the initial number of row 1 (or any other row) is 1 (the sum of 0 and 1), whereas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ehrhart Polynomial
In mathematics, an integral polytope has an associated Ehrhart polynomial that encodes the relationship between the volume of a polytope and the number of integer points the polytope contains. The theory of Ehrhart polynomials can be seen as a higher-dimensional generalization of Pick's theorem in the Euclidean plane. These polynomials are named after Eugène Ehrhart who introduced them in the 1960s. Definition Informally, if is a polytope, and is the polytope formed by expanding by a factor of in each dimension, then is the number of integer lattice points in . More formally, consider a lattice \mathcal in Euclidean space \R^n and a -dimensional polytope in \R^n with the property that all vertices of the polytope are points of the lattice. (A common example is \mathcal = \Z^n and a polytope for which all vertices have integer coordinates.) For any positive integer , let be the -fold dilation of (the polytope formed by multiplying each vertex coordinate, in a basis fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Dimension
In commutative algebra, the Krull dimension of a commutative ring ''R'', named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules. The Krull dimension was introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal ''I'' in a polynomial ring ''R'' is the Krull dimension of ''R''/''I''. A field ''k'' has Krull dimension 0; more generally, ''k'' 'x''1, ..., ''x''''n''has Krull dimension ''n''. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent. There are several other ways that have been used to define the dimension of a ring. Most of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Algebra
In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups R_i such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading. A graded module is defined similarly (see below for the precise definition). It generalizes graded vector spaces. A graded module that is also a graded ring is called a graded algebra. A graded ring could also be viewed as a graded -algebra. The associativity is not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies to non-associative algebras as well; e.g., one can consider a graded Lie algebra. First properties Generally, the index set of a graded ring is assumed to be the set of nonnegative integers, unless otherwise explicitly specified. This is the case in this article. A graded r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
