Questions tagged [examples]
For questions requesting examples of a certain structure or phenomenon
554 questions
16
votes
12
answers
5k
views
Examples of $G_\delta$ sets
Recall that a subset $A$ of a metric space $X$ is a $G_\delta$ subset if it can be written as a countable intersection of open sets. This notion is related to the Baire category theorem. Here are ...
5
votes
2
answers
215
views
A result on spaces with countable pseudocharacter and countable tightness
There is a statement as follows:
If a Hausdorff (regular, Tychonoff) space $X$ has countable pseudocharacter and countable tightness, then the closure of any set $Y\subset X$ of cardinality $\le \...
17
votes
2
answers
3k
views
Consequences of the Birch and Swinnerton-Dyer Conjecture?
Before asking my short question I had made some research. Unfortunately I did not find a good reference with some examples. My question is the following
What are the consequences of the Birch and ...
24
votes
8
answers
3k
views
Applications of logic to group theory?
There seems to be an ever-growing literature on the first-order theory of groups. While I find this interaction between group theory and logic quite appealing, I was wondering the following:
Are ...
18
votes
6
answers
3k
views
What's the use of Malgrange preparation theorem?
The Malgrange preparation theorem,which is the $C^{\infty}$ version of the classical Weierstrass preparation theorem,says that if $f(t,x)$ is a $C^{\infty}$ function of $(t,x)\in\mathbb{R}^{n+1}$ near ...
7
votes
0
answers
455
views
Is there a list of examples of orthogonal spectra?
Schwede's symmetric spectra book project provides point-set models of many important spectra as symmetric spectra, including (in §I.1) the sphere spectrum, Eilenberg-Mac Lane spectra, several Thom ...
2
votes
1
answer
279
views
An example of Guillemin Sternberg Conjecture
Guillemin Sternberg Conjecture(proved) says that for symplectic manifold $(M,\omega)$ with $[Q,R]=0$ condiction, with compact group action $G$, such that $\mu:M\to \mathfrak g^*$ is regular at $0$, ...
14
votes
4
answers
1k
views
Is the "Moebius Stairway" Graph Already Known?
It is a wellknown fact, that Moebius Ladder Graphs have $2n$ vertices, but nowhere could I find any hint of how to generalize them to Graphs with $2n+1$ vertices.
Last week I had the idea of giving up ...
2
votes
2
answers
187
views
Is there a known construction for heavy topologies of all sizes?
Given a set $A$ is there a known way to find a topological space $X$ such that $|A|=|X|<w(X)$?
Here $w(X)$ is the weight of the topological space.
This is clearly impossible for finite sets $A$. ...
10
votes
3
answers
2k
views
Need examples of homotopy orbit and fixed points
I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...
5
votes
2
answers
212
views
Confusion in some notations in Lie sub-algebras of exceptional Lie algebra
I was following Humphrey's Lie algebra for study, and came to study of Weyl groups of root systems. The book has stated orders of Weyl groups of exceptional Lie algebras, and there were no comments or ...
67
votes
10
answers
12k
views
Non-homeomorphic spaces that have continuous bijections between them
What are nice examples of topological spaces $X$ and $Y$ such that $X$ and $Y$ are not homeomorphic but there do exist continuous bijections $f: X \to Y$ and $g: Y \to X$?
0
votes
3
answers
192
views
Connected $T_2$-spaces with only constant maps between them
If $f:\mathbb{R}\to\mathbb{Q}$ is continuous, then it is constant. Are there infinite connected $T_2$-spaces $X,Y$ such that the only continuous maps $f:X\to Y$ are the constant maps?
63
votes
22
answers
19k
views
What's a groupoid? What's a good example of a groupoid? [closed]
Or more specifically, why do people get so excited about them? And what's your favorite easy example of one, which illustrates why I should care (and is not a group)?
2
votes
1
answer
280
views
Worst Case Region for a Convex Hull Heuristic
I am currently implementing a heuristic algorithm for planar convex hulls hand would like to know, for which kind of strictly convex region it exhibits worst performance.
I know that there are many ...
13
votes
5
answers
3k
views
Example of a projective module which is not a direct sum of f.g. submodules?
This semester I am teaching a graduate course in commutative algebra, and I have been taking the occasion to try to look at the proofs of some the results in my basic source material (Matsumura, ...
6
votes
2
answers
587
views
Applications of isotropic quadratic forms
I will soon be teaching an introductory course on bilinear algebra and quadratic forms. I will likely spend most of the time and effort on positive definite quadratic forms and euclidean spaces. These ...
24
votes
4
answers
2k
views
Examples of compact complex non-Kähler manifolds which satisfy $h^{p,q} = h^{q,p}$
The existence of a Kähler metric on a compact complex manifold $X$ imposes restrictions on it's Dolbeault cohomology; namely, $h^{p,q}(X) = h^{q,p}(X)$ for every $p$ and $q$. I am looking for some ...
13
votes
1
answer
1k
views
A topology on $\Bbb R$ where the compact sets are precisely the countable sets
QUESTION.
In there a topology on $\Bbb R$ where the compact subsets are precisely the countable subsets?
I am trying to create a counterexample to a certain claim, and I found that what I need is a ...
3
votes
1
answer
175
views
p-Group satisfying the minimal condition on abelian subgroups
Are there examples of $p$-groups satisfying the minimal condition on abelian subgroups but do not satisfying the minimal condition on subgroups?
Obviously such a group cannot be locally finite.
I've ...
28
votes
1
answer
2k
views
Example of 4-manifold with $\pi_1=\mathbb Q$
This might be well known for algebraic topologist. So I am looking for an explicit example of a 4 dimensional manifold with fundamental group isomorphic to the rationals $\mathbb Q$.
10
votes
1
answer
495
views
Properties of the petit Zariski topos
What are some (intrinsically formulated) properties of the locally ringed topos $(\mathbf{Sh}(X),\mathcal{O}_X)$ for some scheme $X$, which do not hold for arbitrary locally ringed toposes?
Is there, ...
7
votes
3
answers
555
views
Where can I find explicit descriptions of principal $SL(2,\mathbb{C})$s?
I am interested in an explicit description of the principal homomorphism from $SL(2,\mathbb{C})$ to $G$, for each complex semisimple Lie group $G$. Does any one have specific references please? ...
3
votes
1
answer
331
views
Simply connected 4-manifolds with boundary
I think I've encountered a question about 4-manifolds which maybe easy but I'm not familiar with. Can anyone give me an example of a simply connected 4-manifold $M$ (with boundary, of course) with $...
33
votes
2
answers
1k
views
can another topology be given to $\mathbb R$ so it has the same continuous maps $\mathbb R\rightarrow \mathbb R$?
We say two topologies $\tau$ and $\rho$ on $X$ are similar if the set of continuous functions $f:(X,\tau) \rightarrow (X,\tau)$ is the same as the set of continuous functions $f:(X,\rho)\rightarrow (X,...
3
votes
0
answers
141
views
Are there any interesting examples of geometric triangulated categories with the Jordan-Holder property?
In this paper, Kuznetsov mentions that the following triangulated categories have the Jordan-Holder property
$\mathbf{D}(\Bbb P^1)$ and $\mathbf{D}(\Bbb P^1/\Gamma)$
connected Calabi-Yau categories
...
7
votes
1
answer
2k
views
Rank versus free-rank of a module
Suppose $M$ is a finitely generated left module over a ring $R.$
We define the rank of $M$ as the minimal number of generators of $M.$
If in addition $M$ is free, then we define the free-rank of $...
5
votes
0
answers
240
views
Is the field of invariants $k(V)^G$ purely transcendental over $k$?
Reference: http://www.math.u-psud.fr/~colliot/mumbai04.pdf
Proposition 4.3. on page 18 in the above reference reads as follows:
Assume $k = \overline{k}$. If $V$ is a finite dimensional vector space ...
12
votes
1
answer
914
views
What are types of coalgebras that are more naturally described by cooperads?
Some background. Let $\mathsf{C}$ be a symmetric monoidal category. An object $X \in \mathsf{C}$ has two operads "naturally" (the two constructions aren't functorial) associated to it: the operad of ...
3
votes
0
answers
705
views
Applications of the Weak and Weak$^*$ topologies to PDEs?
Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$.
The most ...
37
votes
12
answers
3k
views
Interesting conjectures "discovered" by computers and proved by humans?
There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite:
Are there interesting conjectures "discovered" by computers and proved by humans?
...
11
votes
2
answers
1k
views
Densest Graphs with Unique Perfect Matching
Given a graph $G$ with $n$ vertices, that has a perfect matching $M$, what is the maximal number of edges that $G$ can have without contradicting the uniqueness of $M$?
Are examples of such extremal ...
4
votes
0
answers
55
views
Looking for a Collection of Examples and Counter Examples for Assumptions about the Properties of Planar Euclidean TSP Instances?
Where can I find example and counter examples to seemingly plausible assumption about the properties of optimal solutions of planar euclidean TSP instances?
The reason for asking is that the ...
1
vote
0
answers
216
views
uniqueness of a limit of a pseudo convergent set
Is there an example of valued field in which any pseudo convergent set has a limit and such that this limit is unique?
19
votes
17
answers
7k
views
Vector spaces without natural bases
Does anyone know any nice examples of vector spaces without a basis that is in some sense "natural".
To clarify what I mean, suppose we look at $\mathbb{R}^2$. We define $\mathbb{R}^2$ as pairs of ...
14
votes
1
answer
897
views
Examples of étale covers of arithmetic surfaces
Define an arithmetic scheme $X$ to be a separated, integral scheme, flat and finite type over $\mathbb{Z}$. I am interested in obtaining examples of finite étale covers of arithmetic schemes. I am ...
5
votes
1
answer
912
views
Uniquely ergodic and strongly mixing transformation
Is there an example of a non-trivial measure preserving transformation that is uniquely ergodic and strongly mixing (in the measure theoretic sense)? This was asked here, but with no answer.
1
vote
0
answers
62
views
Applications of systems with multiple time
A dynamical system with multiple time is an action of a group $\mathbb{Z}^d$ or $\mathbb{R}^d$ on a metric space.
I am interested in informative examples and applications of such systems. I know ...
9
votes
1
answer
617
views
Problems which use S₄ → S₃
I need examples of problems which use, directly or indirectly, the homomorphism $S_4\to S_3$ in the solution (its kernel is $\mathbb{Z}_2\oplus\mathbb{Z}_2$).
Obvious candidates:
Lagrange resolvent (...
3
votes
0
answers
186
views
Groups with probability measures
Are there algebraic structures that integrate groups with probability measures? For instance, can the closure operation on a group be assigned a probability that says "how much" a member belongs to ...
112
votes
6
answers
10k
views
Counterexamples in algebraic topology?
In this thread
Books you would like to read (if somebody would just write them...),
I expressed my desire for a book with the title "(Counter)examples in Algebraic Topology".
My reason for doing so ...
1
vote
1
answer
62
views
Test Instances for Perfect Matchings in Graphs
Are there any graphs with a known set of perfect matchings and other predefined properties, such as vertex connectivity, which can be used for testing the implementation of matching algorithms?
...
48
votes
6
answers
7k
views
What is Yoneda's Lemma a generalization of?
What is Yoneda's Lemma a generalization of?
I am looking for examples that were known before category theory entered the stage resp. can be known by students before they start with category theory.
...
4
votes
1
answer
459
views
simple and non nuclear $C^*$-algebra
Is there an example of simple and non-nuclear(non-amenable) $C^*$-algebra?
8
votes
1
answer
1k
views
obstruction to smooth lifting of smooth schemes
According to general theory, for a square zero thickening defined by an ideal I: SpecA -> SpecA', there is an obstruction of lifting a smooth scheme X over A to a smooth scheme over A' living in H^2(X,...
19
votes
1
answer
843
views
Vector field on a K3 surface with 24 zeroes
In https://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...
4
votes
1
answer
399
views
Examples when one can use the the symmetric power $L$-functions to study topics related to the number theory
"The symmetric power $L$-functions are a powerful tool for studying algebraic or geometric objects through analytic methods." I read this sentence in the introduction of a Master thesis. I want to ...
16
votes
5
answers
2k
views
What are examples when the equality of some invariants is good enough in algebraic topology?
As far as my understanding goes, most of the tools of algebraic topology (homotopy groups, homology groups, cup product, cohomology operations, Hopf invariant, signature, characteristic classes, knot ...
5
votes
0
answers
1k
views
Examples of a topological semidirect product
Let $G$ be a compact topological group, and $\operatorname{Aut}(G)$ the group of autohomeomorphisms of $G$. I have proved some (topological) results about the holomorph $G\leftthreetimes \operatorname{...
1
vote
0
answers
293
views
Examples of value quantales
In his paper "Quantales and continuity spaces" R. C. Flagg gives the following examples of value quantales: the lattice $\bf{2}$ of truth values with usual addition, the lattice $\mathbb{R}_{+}$ of ...