Questions tagged [examples]
For questions requesting examples of a certain structure or phenomenon
555 questions
1
vote
1
answer
2k
views
What are examples of theorems get extensions based on simple observation?
Here are some examples illustrate what I meant:
Bonnet-Myers:Bonnet in 1855 proved n=2 case, Myers in 1941 extended to any dimension using the same idea.
Bishop-Gromov Volume comparison: Bishop knew ...
CommunityBot
- 1
10
votes
2
answers
655
views
Has there been any application of tensor species?
Joyal's combinatorial species, endofunctors in the category of finite sets with bijections $\mathbf B$ have found numerous applications. One generalisation is given by so-called "tensor species" (...
- 9,132
11
votes
3
answers
2k
views
Nonprojective Surface
Let k be an algebraically closed field. It's well known that every complete curve, period, is projective. Also, that every smooth surface is, and that there are smooth 3-folds which are not, and ...
CommunityBot
- 1
13
votes
2
answers
1k
views
Does such an infinite index subgroup exist?
Notation: If $G$ is a countable group and $H$ is a subgroup, for $g\in G$, let $|\mathcal{O}_{gH}|$ be the size of the $H$-orbit of $gH$ in the $H$-set $G/H$.
Does there exist a countable group $G$ ...
- 5,425
6
votes
1
answer
462
views
A counter example in obstruction theory
Let $K$ denote a simplicial complex and $Y$ a path-connected topological space. Let us also denote by $K^n$ the $n$-skeleton of $K$. I would like to have an example for the following situation or a ...
- 56.9k
5
votes
5
answers
3k
views
Easy and Hard problems in Mathematics [closed]
Modified question:
I would like to know some examples of problems in Mathematics, for pedagogical purposes, which do not involve difficult techiques to solve the problem but with a change of context ...
CommunityBot
- 1
7
votes
0
answers
515
views
Principal $G$-bundles as fully extended TQFTs, and $n$-representations
This is a follow up to this MO question: Fully dualizable objects in classical field theories
Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...
CommunityBot
- 1
9
votes
1
answer
782
views
Mean value property with fixed radius
Let $f$ be a continuous function defined on $\mathbb{R^n}$. It is well known that both the spherical mean value property (MVP) of $f$, i.e.
$$f(x)=\frac{1}{|\partial B(x,r)|}\int_{\partial B(x,r)}f,\ ...
CommunityBot
- 1
43
votes
77
answers
10k
views
What is the first interesting theorem in (insert subject here)? [closed]
In most students' introduction to rigorous proof-based mathematics, many of the initial exercises and theorems are just a test of a student's understanding of how to work with the axioms and unpack ...
32
votes
2
answers
3k
views
Graded local rings versus local rings
A lot of times I see theorems stated for local rings, but usually they are also true for "graded local rings", i.e., graded rings with a unique homogeneous maximal ideal (like the polynomial ring). ...
- 13.2k
1
vote
1
answer
241
views
"Highly balanced" periodic functions
The function $f(x) = e^{2\pi ix}$ on the domain $\mathbb{R}/\mathbb{Z}$ has the property that, for every $n > 1$ and every $x$, $\displaystyle \sum_{i = 0}^{n-1} f(x + \frac{i}{n}) = 0$.
Other ...
- 1,723
5
votes
3
answers
551
views
Nonmetrizable uniformities with metrizable topologies
I'm looking for such pathological examples of uniform spaces which are not metrizable, but whose underlying topology is metrizable. Willard in his General Topology text constructs such a uniformity ...
CommunityBot
- 1
8
votes
1
answer
423
views
Examples of exotic modules for the additive group
Let $k$ be an algebraically closed field of positive characteristic $p > 0$, and let $X$ be an intedeterminate over $k$. I am interested in the additive group scheme $\mathbb{G}_a$, that is, the ...
- 52.9k
19
votes
1
answer
1k
views
What are "good" examples of string manifolds?
Based on this mathoverlow question, I would like to have a similar list for the case of string manifolds. An $n$-dim. Riemannian manifold $M$ is said to be string, if the classifying map of its bundle ...
CommunityBot
- 1
46
votes
4
answers
10k
views
What are "good" examples of spin manifolds?
I'm trying to get a grasp on what it means for a manifold to be spin. My question is, roughly:
What are some "good" (in the sense of illustrating the concept) examples of manifolds which are spin (...
CommunityBot
- 1
5
votes
3
answers
235
views
two essentially different concretizaions
It is sometimes emphasized that a "concrete category" is not a property of a category $C$, but rather a structure, i.e. a faithful functor from $C$ to $Set$. Thus, When people talk about a concrete ...
CommunityBot
- 1
8
votes
5
answers
1k
views
Examples of left reversible semigroups
I am looking for concrete examples of cancellative, left reversible semigroups. Left reversible semigroups are also called "Ore semigroups". See this wikipedia page for the definition of a left ...
- 3,110
2
votes
1
answer
229
views
Non-uniruled variety with level one Hodge structure.
I wonder if there exists one example of non-uniruled algebraic variety with level one Hodge structure.
- 35.2k
2
votes
2
answers
862
views
Non-split groups
I am looking for a reference with definitions on what it means for an algebraic group to be split, quasi-split, and non-split. I would like to see some examples of the different "types".
Thanks,
Tom
- 5,654
32
votes
3
answers
3k
views
Wanted: example of a non-algebraic singularity
Given a finitely generated $\def\CC{\mathbb C}\CC$-algebra $R$ and a $\CC$-point (maximal ideal) $p\in Spec(R)$, I define the singularity type of $p\in Spec(R)$ to be the isomorphism class of the ...
CommunityBot
- 1
16
votes
2
answers
3k
views
Is there an example of a formally smooth morphism which is not smooth?
A morphism of schemes is formally smooth and locally of finite presentation iff it is smooth.
What happens if we drop the finitely presented hypothesis? Of course, locally of finite presentation is ...
- 24.1k
5
votes
3
answers
569
views
Natural examples of finite dimensional spaces with interesting 2-type
Riemann surfaces provide interesting examples of 1-types - interesting as they have roles in diverse areas. However, apart from 2-dimensional lens spaces, I can't readily bring to mind natural ...
CommunityBot
- 1
0
votes
0
answers
220
views
Example of function with a certain behavior.
Let $f: R \rightarrow R$. Consider the following properties:
$(1)$ - There are positive constants $a$ and $r$ such that $\forall x, y$
$$|f(x)-f(y)|\leq a(1 + |x|^r+|y|^r)|x-y|.$$
$(2)$ - There is a ...
- 93
4
votes
1
answer
464
views
Examples of "inner products" of parallel morphisms in a dagger category
There is a very interesting abstract notion of the trace of an endomorphism $f : c \to c$ of an object $c$ in a braided monoidal category (although the symmetric case is easier): see, for example, ...
CommunityBot
- 1
4
votes
3
answers
3k
views
Examples of Banach spaces and their duals
There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
- 159
86
votes
6
answers
17k
views
What are the most elegant proofs that you have learned from MO?
One of the things that MO does best is provide clear, concise
answers to specific mathematical questions. I have picked up ideas
from areas of mathematics I normally wouldn't touch, simply because
...
CommunityBot
- 1
3
votes
2
answers
479
views
higher order structure by higher order derivatives
Anyone recall a structure determined by a 3rd order partial derivative?
not the general nth order of recent Baranovsky
- 33.3k
7
votes
2
answers
1k
views
The rank of a not necessarily finitely generated module.
This question is motivated by this one. The main point of the question (was) to try to weaken the notion of rank. After the answers and comments, it seems this is not a good way to do it, but perhaps ...
CommunityBot
- 1
7
votes
1
answer
2k
views
An example of a rank one projective R-Module that is not invertible
Let $R$ be a commutative noetherian ring. I know that an $R$-module is invertible iff it is finitely generated and locally free of rank one. I presume then that there are examples of non-finitely ...
- 63.9k
12
votes
2
answers
1k
views
Cohen-Macaulay domain with non-Cohen-Macaulay normalization?
Is the normalization of a Cohen-Macaulay domain necessarily Cohen-Macaulay? I suspect that the answer is no, but I don't have a counterexample. I am most interested in "geometric" situations, so one ...
CommunityBot
- 1
5
votes
5
answers
1k
views
Appearances of 'exotic' compact Lie Groups
The structure theorem for compact Lie Groups states that all compact Lie groups are finite central quotients of a product of copies of $U(1)$ and simple compact Lie groups. And yet, as easy as ...
- 11.1k
6
votes
1
answer
679
views
On the Existence of Certain Fourier Series
Is there an $f\in L^{1}(T)$ whose partial sums of Fourier series $S_{n}(f)$ satisfies $\|S_{n}(f)\|_{L^{1}(T)} \rightarrow \|f\|_{L^{1}(T)}$ but $S_{n}(f)$ fails to converge to $f$ in $L^1$-norm ?
- 61.9k
2
votes
2
answers
1k
views
description of functions of conditionally negative type on a group
Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties:
1) $\psi(x,x)=0$
2) $\psi(y,x)=\psi(x,y)$
3) for any ...
- 11.1k
19
votes
3
answers
2k
views
Can a coequalizer of schemes fail to be surjective?
Suppose $g,h:Z\to X$ are two morphisms of schemes. Then we say that $f:X\to Y$ is the coequalizer of $g$ and $h$ if the following condition holds: any morphism $t:X\to T$ such that $t\circ g=t\circ h$ ...
- 19.6k
30
votes
8
answers
3k
views
Cryptomorphisms
I am curious to collect examples of equivalent axiomatizations of mathematical structures. The two examples that I have in mind are
Topological Spaces. These can be defined in terms of open sets, ...
CommunityBot
- 1
7
votes
2
answers
845
views
Statements forced by one condition of a poset, but not the whole thing
In order to get the relative consistency of some statement, it suffices to find a notion of forcing, and a condition $p$ in that forcing, such that $p$ forces the desired statement. It seems to be ...
- 32.5k
3
votes
2
answers
857
views
Is there an example of an algebraic stack whose closed points have affine stabilizers but whose diagonal is not affine?
Burt Totaro has a result that for a certain class of algebraic stacks, having affine diagonal is equivalent to the stabilizers at closed points begin affine. Is there an example of this equivalence ...
- 24.1k
4
votes
1
answer
500
views
Is there a category with a subobject classifier but which is not finitely complete?
This is a reverse of the question “Is there a finitely complete category with terminal object but NO subobject classifier?” From “An informal introduction to topos theory” by Tom Leinster I learned ...
CommunityBot
- 1
5
votes
9
answers
2k
views
Examples of two different descriptions of a set that are not obviously equivalent?
I am teaching a course in enumerative combinatorics this semester and one of my students asked for deeper clarification regarding the difference between a "combinatorial" and a "bijective" proof. ...
- 4,636
5
votes
2
answers
1k
views
Simple example of a sequence without computable modulus of convergence
Can anyone give a simple example of a sequence that converges, but there's no computable function that gives $N$ as a function of $\epsilon$, i.e., the modulus of convergence is not computable?
In ...
- 2,762
4
votes
1
answer
778
views
Example in dimension theory
Could you give me an example of a complete metric space wiht covering dimension $> n$ all of which compact subsets have covering dimension $\le n$?
- 1,785
6
votes
2
answers
926
views
Simple examples of equivariant homology and bordism
I'm looking for simple examples of calculations of equivariant homology and of equivariant bordism.
I have a finite group G acting on an CW-complex X. I would like to calculate the equivariant ...
- 11.1k
20
votes
3
answers
3k
views
Is there an additive functor between abelian categories which isn't exact in the middle?
Suppose $F: C\to D$ is an additive functor between abelian categories and that
$$0\to X\xrightarrow f Y\xrightarrow g Z\to 0$$
is and exact sequence in $C$. Does it follow that $F(X)\xrightarrow{F(f)...
- 24.1k
10
votes
3
answers
401
views
Algebraic Curves and Phase Diagrams of Physical Systems
Lots of low degree curves arise naturally as the phase spaces of physical systems (that is, the curve parameterized by $(q,p)$ where $q$ is a generalized position variable and $p$ is a generalized ...
- 485
25
votes
2
answers
2k
views
Examples where the analogy between number theory and geometry fails
The analogy between $O_K$ ($K$ a number field) and affine curves over a field has been very fruitful. It also knows many variations: the field over which the curve is defined may have positive or zero ...
- 30.5k
32
votes
19
answers
6k
views
5
votes
1
answer
653
views
Categories with products that preserve quotients
It is well known that in the category of all topological spaces, quotient maps aren't preserved by products (this follows from the simpler fact that $X\times (-):Top\to Top$ doesn't preserve quotients)...
- 53.3k
4
votes
0
answers
518
views
Example of a Grothendieck pretopology satisfying a weak saturation condition
Recall that a singleton Grothendieck pretopology (henceforth 'singleton pretopology') on a category $C$ is a collection of maps $J$ containing the isomorphisms, closed under composition and stable ...
- 35.5k
12
votes
0
answers
582
views
Pencils with many completely decomposable fibers
Let $F= \frac{G}{H} : \mathbb P^n \to \mathbb P^1$ be a non-constant rational function ($G$ and $H$ homogenous polynomials of the same degree
in $\mathbb C^{n+1})$.
The fiber over $(\lambda:\mu) \in ...
- 8,828
2
votes
0
answers
1k
views
Example of smooth, proper but non-projective curve over an affine, connected base?
Would someone please give an example of a smooth, proper but non-projective curve $C/S$, where $S$ is affine and connected? I believe that whatever your example, $C/S$ must have genus $1$, admit no ...
- 2,270